patent2sysml / styles.css
cmuchancel's picture
Upload folder using huggingface_hub
f3a006a verified
Raw History Blame Contribute Delete
16.4 kB
/* Light styling for the native Gradio upload, method, sign-in and result controls. */
:root {
color-scheme: light;
--patent-bg: #f8fafc;
--patent-surface: #ffffff;
--patent-text: #17202d;
--patent-muted: #657084;
--patent-line: #e0e6ed;
--patent-accent: #315de8;
/* Reserved for future method/patent-specific progress updates. */
--patent-progress-height: 5px;
--patent-progress-accent: var(--patent-accent);
--patent-progress-duration: 2.4s;
}
body, gradio-app { background: var(--patent-bg) !important; }
.gradio-container {
--body-background-fill: #f8fafc;
--background-fill-primary: #ffffff;
--background-fill-secondary: #f1f5f9;
--body-text-color: #17202d;
--body-text-color-subdued: #657084;
--block-background-fill: #ffffff;
--block-border-color: #e0e6ed;
--block-label-background-fill: #ffffff;
--block-label-text-color: #657084;
--block-title-text-color: #17202d;
--border-color-primary: #e0e6ed;
--border-color-accent: #315de8;
--input-background-fill: #ffffff;
--input-border-color: #d7dee8;
--input-text-color: #17202d;
--button-primary-background-fill: #315de8;
--button-primary-background-fill-hover: #244bcc;
--button-primary-text-color: #ffffff;
--button-primary-border-color: #315de8;
--button-secondary-background-fill: #f6f8fb;
--button-secondary-background-fill-hover: #edf1f7;
--button-secondary-text-color: #293449;
--button-secondary-border-color: #dce3ec;
--link-text-color: #315de8;
--block-radius: 16px;
--button-large-radius: 11px;
--button-small-radius: 8px;
font-family: 'Inter', 'Helvetica Neue', Arial, sans-serif !important;
width: 100% !important;
max-width: 980px !important;
margin: 0 auto !important;
padding: clamp(35px, 7vw, 74px) clamp(20px, 4vw, 44px) 50px !important;
background: transparent !important;
color: var(--patent-text) !important;
}
.gradio-container .main { width: 100% !important; padding: 0 !important; background: transparent; }
.gradio-container main > .column { gap: 19px; }
.gradio-container .prose, .gradio-container button { font-family: inherit; }
/* The actual heading is plain Gradio Markdown, with no decorative brand copy. */
.gradio-container main > .column > .block:has(h1) {
padding: 22px 0 31px !important;
overflow: visible !important;
border: 0 !important;
background: transparent !important;
text-align: center;
}
.gradio-container .prose h1 {
max-width: 710px;
margin: 0 auto 18px !important;
color: var(--patent-text) !important;
font-size: clamp(36px, 4.7vw, 58px) !important;
font-weight: 550 !important;
line-height: 1.13 !important;
letter-spacing: -2.7px !important;
text-wrap: balance;
}
.gradio-container .prose h1 + p {
margin: 0 !important;
color: var(--patent-muted) !important;
font-size: 16px !important;
line-height: 1.7 !important;
}
/* Preserve the native file input, upload state, and clear/download controls. */
.gradio-container main > .column > .block:has(> [data-testid="block-label"]) {
min-height: 298px;
border: 1.5px dashed #c4cede !important;
border-radius: 20px !important;
background: #ffffff !important;
box-shadow: 0 8px 40px #20345404;
transition: border-color .2s ease, box-shadow .2s ease;
}
.gradio-container main > .column > .block:has(> [data-testid="block-label"]):hover,
.gradio-container main > .column > .block:has(> [data-testid="block-label"]):focus-within {
border-color: #6483e6 !important;
box-shadow: 0 0 0 5px #315de808;
}
.gradio-container main > .column > .block > [data-testid="block-label"] {
top: 19px !important;
left: 22px !important;
padding: 0 !important;
border: 0 !important;
background: transparent !important;
color: #718096 !important;
font-size: 11px !important;
font-weight: 450;
}
.gradio-container .upload-container { height: 298px !important; min-height: 298px; padding: 47px 20px 24px !important; }
.gradio-container [data-testid="upload-text"] {
height: auto !important;
min-height: 0 !important;
gap: 8px;
color: #263346;
font-size: 17px;
font-weight: 500;
line-height: 1.5;
}
.gradio-container [data-testid="upload-icon"] {
width: 54px !important;
height: 54px !important;
margin-bottom: 14px;
padding: 14px;
border: 1px solid #e0e7fb;
border-radius: 16px;
background: #f0f4ff;
color: #315de8;
}
.gradio-container [data-testid="upload-icon"] svg { width: 100%; height: 100%; }
.gradio-container [data-testid="upload-text"] .or { color: #7d8797; font-size: 11px; font-weight: 400; }
.gradio-container main > .column > .block:has(> [data-testid="block-label"]):not(:has([data-testid="upload-text"])) {
min-height: 103px;
border-style: solid !important;
border-color: #ced9f3 !important;
}
/* Visibility is controlled by Gradio events, not CSS guesses about upload state. */
.gradio-container #method-options { gap: 15px; margin-top: 5px; }
.gradio-container #method-options > button {
display: flex;
flex-direction: column;
align-items: flex-start;
justify-content: center;
gap: 10px;
min-height: 128px;
padding: 22px 25px;
border-radius: 14px;
text-align: left;
color: #17202d;
font-size: 19px;
font-weight: 550;
letter-spacing: -.4px;
box-shadow: none;
transition: background .2s, border-color .2s;
}
.gradio-container #method-agents.primary {
background: #f2f5ff !important;
border: 1px solid #a4b8f2 !important;
color: #233b78 !important;
}
.gradio-container #method-agents::after {
content: 'Use your connected ChatGPT account';
font-size: 12px;
font-weight: 400;
letter-spacing: 0;
color: #5c6f99;
}
.gradio-container #method-agents.primary:hover { background: #eaf0ff !important; border-color: #6483e6 !important; }
.gradio-container #method-nlp {
opacity: 1 !important;
background: #f5f7fa !important;
border: 1px solid #e1e6ed !important;
color: #6d788b !important;
cursor: pointer;
}
.gradio-container #method-nlp::after {
content: 'Run locally on ZeroGPU';
color: #737f90;
font-size: 12px;
font-weight: 400;
letter-spacing: 0;
}
.gradio-container #process-button {
min-height: 52px;
border-radius: 11px;
border: 1px solid #315de8 !important;
background: #315de8 !important;
color: #ffffff !important;
font-size: 14px;
font-weight: 550;
box-shadow: 0 4px 10px #315de81a;
transition: background .2s;
}
.gradio-container #process-button::after { content: ' →'; padding-left: 7px; }
.gradio-container #process-button:hover { background: #244bcc !important; }
.gradio-container #research-disclosure .prose p { color: #718096; font-size: 11px; line-height: 1.75; }
/* Unframed Markdown must not inherit Gradio's rounded overflow clipping. */
.gradio-container :is(#research-disclosure, #login-note, #process-status) {
border-radius: 0 !important; overflow: visible !important;
}
.gradio-container #research-disclosure { padding: 3px 4px !important; }
.gradio-container #process-status { padding: 6px 0 6px 12px !important; border-left: 2px solid #c9d6f8 !important; min-height: 34px; }
.gradio-container #process-status .prose p { color: #5b6980; font-size: 12px; line-height: 1.7; }
.gradio-container .block:has(> .label) { border-radius: 14px !important; border-color: #dce3ed !important; background: #fff !important; }
.gradio-container .block:has(> .label) .prose p { color: #66748b; font-size: 13px; line-height: 1.7; }
.gradio-container .prose a { color: #315de8 !important; text-underline-offset: 4px; }
.gradio-container .tabs { margin-top: 16px; padding: 9px 18px 18px; border: 1px solid #e0e6ed; border-radius: 16px; background: #fff; }
.gradio-container .tab-wrapper { border-bottom: 1px solid #e5eaf1; }
.gradio-container [role="tablist"] { gap: 18px; border: 0; }
.gradio-container [role="tab"] { padding: 14px 5px; background: transparent !important; border-radius: 0; border: 0 !important; border-bottom: 2px solid transparent !important; color: #6e7b8f; font-size: 12px; }
.gradio-container [role="tab"][aria-selected="true"] { color: #315de8 !important; border-bottom-color: #315de8 !important; }
.gradio-container [role="tabpanel"] { padding: 20px 0 0; border: 0 !important; }
.gradio-container .tabs ~ .block .prose p { color: #78869b; font-size: 10px; line-height: 1.65; }
#diagram { overflow: auto !important; padding: 24px; }
#diagram svg { max-width: 100%; height: auto; }
#diagram text { fill: #24354d; }
#diagram .node path, #diagram .node polygon { fill: #f4f7ff; stroke: #869ecc; }
#diagram .edge path, #diagram .edge polygon { stroke: #607cae; }
#diagram .edge polygon { fill: #607cae; }
.gradio-container .cm-editor { border-radius: 10px; background: #f9fbfe !important; }
.gradio-container .cm-gutters { background: #f0f4f9 !important; color: #8391a5 !important; }
.gradio-container .cm-content { color: #27374f !important; }
.gradio-container .download { border-radius: 9px; font-size: 12px; }
.gradio-container [data-testid="status-tracker"] { border-radius: 12px; color: #315de8; }
/* Future progress slot: method colors and real progress values can be supplied later. */
#patent-progress, .patent-progress { min-height: 100px; padding: 24px; border: 1px solid var(--patent-line); border-radius: 16px; background: #fff; }
.patent-progress[data-method="nlp"] { --patent-progress-accent: #7959c4; }
.patent-progress__track { height: var(--patent-progress-height); overflow: hidden; border-radius: 99px; background: #e7edf9; }
.patent-progress__fill { height: 100%; background: var(--patent-progress-accent); border-radius: inherit; transition: width .35s ease; }
.patent-progress[aria-busy="true"] .patent-progress__fill { width: 34%; animation: patent-indeterminate var(--patent-progress-duration) ease-in-out infinite; }
.gradio-container footer { opacity: .65; margin-top: 35px; font-size: 10px; }
.gradio-container :is(button, a, [tabindex]):focus-visible { outline: 2px solid #315de8 !important; outline-offset: 4px; }
@keyframes patent-indeterminate { from { transform: translateX(-110%); } to { transform: translateX(400%); } }
@media (max-width: 640px) {
.gradio-container main > .column { gap: 17px; }
.gradio-container main > .column > .block:has(h1) { padding: 14px 0 19px !important; }
.gradio-container .prose h1 { font-size: clamp(32px, 8.5vw, 44px) !important; letter-spacing: -1.4px !important; line-height: 1.16 !important; }
.gradio-container .prose h1 + p { font-size: 13px !important; }
.gradio-container .upload-container { height: 265px !important; min-height: 265px; }
.gradio-container #patent-upload { min-height: 265px; }
.gradio-container #method-options { flex-direction: column; }
.gradio-container #method-options > button { width: 100%; min-height: 115px; padding: 22px; }
.gradio-container .tabs { padding: 6px 12px 12px; }
.gradio-container [role="tablist"] { gap: 9px; }
.gradio-container [role="tab"] { font-size: 11px; padding: 13px 3px; }
#diagram { padding: 13px; }
}
@media (prefers-reduced-motion: reduce) {
*, *::before, *::after { animation: none !important; transition: none !important; }
.patent-progress[aria-busy="true"] .patent-progress__fill { width: 100%; opacity: .6; }
}
/* Explicit neutral method state; only the selected card uses the blue treatment. */
.gradio-container #method-agents.secondary {
background: #fff !important; border: 1px solid #d9e1ec !important; color: #263346 !important;
}
.gradio-container #method-agents.secondary:hover { border-color: #7896e9 !important; background: #f8faff !important; }
.gradio-container #process-button:disabled { opacity: 1; background: #e7ecf5 !important; border-color: #e0e6ef !important; color: #6e7c92 !important; box-shadow: none; }
.gradio-container #reconnect-chatgpt { width: auto; align-self: flex-start; min-height: 40px; padding: 9px 16px; font-size: 13px; color: #315de8 !important; background: #f0f4ff !important; border: 1px solid #d5dff8 !important; }
/* Override table colors explicitly, including when the visitor prefers dark mode. */
.gradio-container #patent-upload:has(.file-preview-holder) { padding: 19px 20px 17px !important; }
.gradio-container #patent-upload:has(.file-preview-holder) > [data-testid="block-label"] { position: static !important; margin: 0 30px 13px 0 !important; }
.gradio-container #patent-upload .file-preview-holder { background: transparent !important; padding: 0 !important; border: 0 !important; }
.gradio-container #patent-upload :is(table, tbody, tr, td) { background: #f2f5fb !important; color: #263346 !important; border: 0 !important; }
.gradio-container #patent-upload table { border-collapse: separate; border-spacing: 0; border-radius: 11px; overflow: hidden; }
.gradio-container #patent-upload td { padding: 17px 15px !important; font-size: 13px; }
.gradio-container #patent-upload :is(.filename, .stem, .ext) { color: #263346 !important; }
.gradio-container #patent-upload .download-link { color: #315de8 !important; font-size: 12px; white-space: nowrap; }
.gradio-container #patent-upload .icon-button-wrapper {
top: 10px !important; right: 10px !important; padding: 0 !important;
border: 0 !important; border-radius: 9px !important;
background: transparent !important; box-shadow: none !important;
}
.gradio-container #patent-upload button[aria-label="Clear"] {
display: grid; place-items: center; width: 28px; height: 28px;
margin: 0 !important; padding: 6px !important;
background: #f3f6fa !important; color: #64748b !important; border-radius: 9px;
}
.gradio-container #patent-upload button[aria-label="Clear"] > div { width: 16px; height: 16px; }
/* Gradio Column overlay; it is absent until the user chooses AI agents. */
.gradio-container #login-modal {
position: fixed !important; inset: 0 !important; z-index: 10000 !important;
width: 100vw !important; height: 100dvh !important; max-width: none !important;
min-width: 0 !important; margin: 0 !important; padding: 24px !important;
align-items: center; justify-content: flex-start; overflow-y: auto;
background: #17203366 !important;
}
.gradio-container #login-card {
position: relative; flex: 0 0 auto !important; width: min(440px, 100%); min-width: 0 !important;
min-height: 0 !important; margin: auto 0 !important;
gap: 19px; padding: 38px 30px 25px !important; border: 1px solid #dce4ef;
border-radius: 20px; background: #fff !important; color: #17202d !important;
box-shadow: 0 24px 100px #16233c30;
}
.gradio-container #login-card h2 { color: #17202d !important; font-size: 27px !important; font-weight: 600 !important; line-height: 1.2; letter-spacing: -.8px; margin: 9px 0 15px !important; }
.gradio-container #login-description { color: #5c6a80 !important; font-size: 14px; line-height: 1.7; }
.gradio-container #close-login { position: absolute; top: 12px; right: 12px; z-index: 1; width: 34px; min-width: 34px; min-height: 34px; padding: 0; border: 0; background: #f3f6fa !important; color: #526178 !important; }
.gradio-container #login-status { padding: 16px !important; border: 1px solid #dce5f6 !important; border-radius: 11px; background: #f4f7fd !important; }
.gradio-container #login-status .prose { color: #34445e !important; font-size: 13px; line-height: 1.75; }
.gradio-container #login-status strong { color: #17202d !important; }
.gradio-container #connect-chatgpt { min-height: 48px; background: #315de8 !important; color: #fff !important; border: 1px solid #315de8 !important; border-radius: 10px; font-size: 14px; }
.gradio-container #connect-chatgpt:disabled { background: #e7ecf5 !important; color: #526178 !important; border-color: #dbe3ef !important; opacity: 1 !important; }
.gradio-container #login-note p { color: #6c7a8e !important; font-size: 11px; line-height: 1.6; }
@media (max-width: 640px) {
.gradio-container #login-modal { padding: 16px !important; }
.gradio-container #login-card { padding: 36px 22px 23px !important; }
.gradio-container #patent-upload:has(.file-preview-holder) { min-height: 0 !important; padding: 17px 13px !important; }
.gradio-container #patent-upload td { padding: 15px 10px !important; }
}