Spaces:
Running
Running
Download preview/styles.css from skailiner/common-proof: direct link, hf CLI and curl.
- Browser
- Download file 13.4 kB
-
https://huggingface.co/spaces/skailiner/common-proof/resolve/main/preview/styles.css
- Command line
-
hf download hf://spaces/skailiner/common-proof/preview/styles.css
-
curl -L -o styles.css https://huggingface.co/spaces/skailiner/common-proof/resolve/main/preview/styles.css
13.4 kB
| :root { | |
| --background: #f1f0e9; --foreground: #17201f; --card: #faf9f3; --muted: #e5e4dc; | |
| --muted-foreground: #65706d; --border: #c9cbc2; --accent: #d9ff69; | |
| --fact: #b9e7ea; --interpretation: #ddd1ff; --assumption: #f7d99b; | |
| --prediction: #ffc2aa; --value: #f5b7d1; --proposal: #d9ff69; | |
| --sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; | |
| --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace; | |
| } | |
| * { box-sizing: border-box; } | |
| html { scroll-behavior: smooth; } | |
| body { margin: 0; background: var(--background); color: var(--foreground); font-family: var(--sans); } | |
| button, a { -webkit-tap-highlight-color: transparent; } | |
| button { font: inherit; } | |
| [hidden] { display: none ; } | |
| .topbar { position: sticky; top: 0; z-index: 30; display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; min-height: 68px; padding: 10px 24px; border-bottom: 1px solid var(--border); background: color-mix(in srgb, var(--background) 88%, transparent); backdrop-filter: blur(18px); } | |
| .brand { display: inline-flex; width: fit-content; align-items: center; gap: 11px; color: inherit; text-decoration: none; } | |
| .brand-mark { display: grid; width: 36px; height: 36px; place-items: center; border-radius: 50%; background: var(--foreground); color: var(--background); font: 700 10px/1 var(--mono); letter-spacing: .08em; } | |
| .brand strong { display: block; font-size: 13px; letter-spacing: .09em; } | |
| .brand small { display: block; margin-top: 2px; color: var(--muted-foreground); font: 9px/1.2 var(--mono); text-transform: uppercase; letter-spacing: .08em; } | |
| .view-switch { display: flex; gap: 2px; padding: 3px; border: 1px solid var(--border); border-radius: 999px; background: var(--card); } | |
| .view-switch button { min-height: 32px; padding: 0 13px; border: 0; border-radius: 999px; background: transparent; color: var(--muted-foreground); font-size: 12px; cursor: pointer; } | |
| .view-switch button[data-active="true"] { background: var(--foreground); color: var(--background); } | |
| .export-button { justify-self: end; height: 38px; padding: 0 16px; border: 1px solid var(--foreground); border-radius: 999px; background: var(--foreground); color: var(--background); font-weight: 650; cursor: pointer; } | |
| .export-button:hover { background: #31413f; } | |
| .question-bar { display: grid; grid-template-columns: minmax(0, 1fr) 280px; gap: 56px; align-items: end; padding: 42px 24px 36px; border-bottom: 1px solid var(--border); } | |
| .question-meta { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; color: var(--muted-foreground); font: 10px/1.2 var(--mono); text-transform: uppercase; letter-spacing: .1em; } | |
| .preview-badge, .type-badge { display: inline-flex; align-items: center; height: 24px; padding: 0 9px; border: 1px solid var(--foreground); border-radius: 999px; background: var(--accent); color: var(--foreground); } | |
| .question-bar h1 { max-width: 1050px; margin: 18px 0 0; font-family: Georgia, "Times New Roman", serif; font-size: clamp(2rem, 4.15vw, 4.7rem); font-weight: 400; line-height: .98; letter-spacing: -.055em; text-wrap: balance; } | |
| .question-note { display: grid; grid-template-columns: 26px 1fr; gap: 10px; padding-top: 18px; border-top: 1px solid var(--foreground); } | |
| .question-note p { margin: 0; color: var(--muted-foreground); font-size: 12px; line-height: 1.55; } | |
| .question-note strong { color: var(--foreground); } | |
| .workspace { display: grid; grid-template-columns: 210px minmax(560px, 1fr) 330px; min-height: 670px; border-bottom: 1px solid var(--border); } | |
| .filter-panel, .evidence-panel { background: var(--card); } | |
| .filter-panel { padding: 22px 16px; border-right: 1px solid var(--border); } | |
| .panel-heading { display: flex; gap: 8px; padding: 0 7px 16px; font: 700 10px/1 var(--mono); text-transform: uppercase; letter-spacing: .1em; } | |
| .filter-list { display: grid; gap: 3px; } | |
| .filter-list button { display: grid; grid-template-columns: 10px 1fr auto; gap: 9px; align-items: center; width: 100%; min-height: 36px; padding: 0 9px; border: 1px solid transparent; border-radius: 8px; background: transparent; color: var(--muted-foreground); font-size: 11px; text-align: left; cursor: pointer; } | |
| .filter-list button:hover { background: var(--muted); color: var(--foreground); } | |
| .filter-list button[data-active="true"] { border-color: var(--border); background: var(--background); color: var(--foreground); font-weight: 650; } | |
| .filter-list small { font: 9px/1 var(--mono); } | |
| .filter-dot { width: 8px; height: 8px; border: 1px solid #68716e; border-radius: 50%; background: var(--node-color); } | |
| .filter-dot.all { background: var(--foreground); } | |
| .method-card { margin-top: 30px; padding: 18px; border-radius: 12px; background: var(--foreground); color: var(--background); } | |
| .method-icon { font-size: 22px; } | |
| .method-label { margin: 28px 0 8px; color: #9ea6a1; font: 9px/1 var(--mono); text-transform: uppercase; letter-spacing: .1em; } | |
| .method-card strong { display: block; font-family: Georgia, "Times New Roman", serif; font-size: 17px; font-weight: 400; line-height: 1.2; } | |
| .method-card > p:last-child { margin: 14px 0 0; color: #adb2ae; font-size: 10px; line-height: 1.5; } | |
| .map-shell { min-width: 0; background-color: #ebeae2; background-image: radial-gradient(#bec1b8 1px, transparent 1px); background-size: 20px 20px; } | |
| .map-caption { display: flex; justify-content: space-between; padding: 14px 18px; border-bottom: 1px solid var(--border); background: rgb(241 240 233 / 84%); color: var(--muted-foreground); font: 9px/1 var(--mono); text-transform: uppercase; letter-spacing: .1em; } | |
| .map-caption span { display: flex; align-items: center; gap: 7px; } | |
| .status-light { width: 7px; height: 7px; border-radius: 50%; background: #4b8b56; box-shadow: 0 0 0 3px rgb(75 139 86 / 18%); } | |
| .map-scroll { overflow: auto; } | |
| .claim-map { position: relative; width: 100%; min-width: 820px; height: 620px; } | |
| .relations { position: absolute; inset: 0; width: 100%; height: 100%; overflow: visible; } | |
| .relations line { stroke: #7f8984; stroke-width: .16; stroke-dasharray: .7 .55; opacity: .22; vector-effect: non-scaling-stroke; transition: opacity .2s ease; } | |
| .relations line[data-visible="true"] { opacity: .75; } | |
| .claim-node { --node-color: var(--muted); position: absolute; z-index: 2; width: 168px; min-height: 98px; padding: 11px 12px 12px; border: 1px solid rgb(23 32 31 / 22%); border-radius: 10px; background: color-mix(in srgb, var(--node-color) 88%, white); color: var(--foreground); text-align: left; box-shadow: 0 6px 22px rgb(23 32 31 / 7%); cursor: pointer; transform: translate(-2%, -2%); transition: opacity .18s ease, transform .18s ease, box-shadow .18s ease; } | |
| .claim-node:hover { transform: translate(-2%, -6%); box-shadow: 0 12px 26px rgb(23 32 31 / 14%); } | |
| .claim-node[data-selected="true"] { outline: 2px solid var(--foreground); outline-offset: 2px; } | |
| .claim-node[data-dimmed="true"] { opacity: .18; } | |
| .node-topline { display: flex; align-items: center; gap: 7px; margin-bottom: 12px; font: 8px/1 var(--mono); text-transform: uppercase; letter-spacing: .08em; } | |
| .node-topline b { display: grid; width: 22px; height: 22px; place-items: center; border-radius: 50%; background: var(--foreground); color: var(--background); font-size: 8px; } | |
| .claim-node > strong { display: block; font-size: 11px; line-height: 1.35; } | |
| .kind-fact { --node-color: var(--fact); }.kind-interpretation { --node-color: var(--interpretation); }.kind-assumption { --node-color: var(--assumption); }.kind-prediction { --node-color: var(--prediction); }.kind-value { --node-color: var(--value); }.kind-proposal { --node-color: var(--proposal); } | |
| .evidence-panel { position: relative; padding: 28px 24px; border-left: 1px solid var(--border); overflow: hidden; } | |
| .evidence-accent { position: absolute; top: 0; right: 0; left: 0; height: 6px; background: var(--node-color); } | |
| .evidence-head { display: flex; align-items: center; justify-content: space-between; } | |
| .evidence-head > span:first-child { display: grid; width: 34px; height: 34px; place-items: center; border-radius: 50%; background: var(--foreground); color: var(--background); font: 9px/1 var(--mono); } | |
| .type-badge { border-color: var(--border); background: var(--background); font: 8px/1 var(--mono); text-transform: uppercase; letter-spacing: .07em; } | |
| .evidence-eyebrow, .kicker { margin: 42px 0 11px; color: var(--muted-foreground); font: 9px/1 var(--mono); text-transform: uppercase; letter-spacing: .12em; } | |
| .evidence-panel h2 { margin: 0; font-family: Georgia, "Times New Roman", serif; font-size: 27px; font-weight: 400; line-height: 1.08; letter-spacing: -.035em; } | |
| .evidence-detail { margin: 17px 0 0; color: var(--muted-foreground); font-size: 12px; line-height: 1.65; } | |
| .confidence-row { display: grid; grid-template-columns: 28px 1fr; gap: 9px; align-items: center; margin-top: 24px; padding: 13px 0; border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); } | |
| .confidence-row small, .source-link small { display: block; margin-bottom: 4px; color: var(--muted-foreground); font: 8px/1 var(--mono); text-transform: uppercase; letter-spacing: .08em; } | |
| .confidence-row strong, .source-link strong { display: block; font-size: 10px; line-height: 1.35; } | |
| .source-link { display: grid; grid-template-columns: 1fr 18px; gap: 10px; align-items: center; margin-top: 14px; padding: 14px; border-radius: 10px; background: var(--background); color: inherit; text-decoration: none; } | |
| .source-link:hover { outline: 1px solid var(--foreground); } | |
| .source-gap { display: grid; grid-template-columns: 22px 1fr; gap: 9px; margin-top: 14px; padding: 14px; border-radius: 10px; background: var(--background); } | |
| .source-gap p { margin: 0; color: var(--muted-foreground); font-size: 10px; line-height: 1.5; } | |
| .related-list { margin-top: 26px; }.related-list > p { font: 9px/1 var(--mono); text-transform: uppercase; letter-spacing: .1em; } | |
| .related-list button { display: grid; grid-template-columns: 26px 1fr 14px; gap: 8px; align-items: start; width: 100%; padding: 11px 0; border: 0; border-top: 1px solid var(--border); background: transparent; color: inherit; text-align: left; cursor: pointer; } | |
| .related-list button > span { padding-top: 2px; color: var(--muted-foreground); font: 8px/1 var(--mono); }.related-list button p { margin: 0; font-size: 10px; line-height: 1.4; } | |
| .brief-view { padding: 64px 24px 84px; } | |
| .brief-intro { display: grid; grid-template-columns: .55fr 1.25fr .7fr; gap: 40px; align-items: start; padding-bottom: 50px; border-bottom: 1px solid var(--border); } | |
| .brief-intro .kicker { margin: 6px 0 0; }.brief-intro h2 { margin: 0; font-family: Georgia, "Times New Roman", serif; font-size: clamp(2.4rem, 4vw, 4.7rem); font-weight: 400; line-height: .95; letter-spacing: -.055em; }.brief-intro > p:last-child { margin: 4px 0 0; color: var(--muted-foreground); font-size: 13px; line-height: 1.7; } | |
| .brief-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 1px; margin-top: 1px; background: var(--border); border: 1px solid var(--border); } | |
| .brief-card { min-height: 320px; padding: 34px; background: var(--card); }.brief-icon { font-size: 21px; }.brief-card .kicker { margin-top: 55px; }.brief-card h3 { max-width: 600px; margin: 0; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.7rem, 3vw, 3rem); font-weight: 400; line-height: 1; letter-spacing: -.045em; }.brief-card ul, .brief-card > p:last-child { margin: 24px 0 0; padding-left: 18px; color: var(--muted-foreground); font-size: 12px; line-height: 1.7; } | |
| .brief-card.fact-card { background: color-mix(in srgb, var(--fact) 45%, var(--card)); }.brief-card.question-card { background: color-mix(in srgb, var(--assumption) 42%, var(--card)); }.brief-card.value-card { background: color-mix(in srgb, var(--value) 35%, var(--card)); }.brief-card.proposal-card { background: color-mix(in srgb, var(--proposal) 48%, var(--card)); } | |
| footer { display: flex; justify-content: space-between; gap: 24px; padding: 28px 24px; color: var(--muted-foreground); font: 9px/1.4 var(--mono); text-transform: uppercase; letter-spacing: .08em; } footer p { margin: 0; } footer strong { color: var(--foreground); } | |
| @media (max-width: 1120px) { .workspace { grid-template-columns: 190px minmax(560px, 1fr); }.evidence-panel { grid-column: 1 / -1; border-top: 1px solid var(--border); border-left: 0; }.evidence-panel h2, .related-list { max-width: 720px; } } | |
| @media (max-width: 760px) { .topbar { grid-template-columns: 1fr auto; padding: 9px 14px; }.view-switch { grid-column: 1 / -1; grid-row: 2; justify-self: stretch; margin-top: 8px; }.view-switch button { flex: 1; }.export-button { padding: 0 12px; }.question-bar { grid-template-columns: 1fr; gap: 28px; padding: 34px 16px 28px; }.question-bar h1 { font-size: 2.55rem; }.workspace { display: block; }.filter-panel { border-right: 0; border-bottom: 1px solid var(--border); }.filter-list { grid-template-columns: repeat(2, 1fr); }.method-card { display: none; }.claim-map { min-width: 790px; }.evidence-panel { padding: 26px 18px; }.brief-view { padding: 44px 16px 64px; }.brief-intro { grid-template-columns: 1fr; gap: 20px; }.brief-grid { grid-template-columns: 1fr; }.brief-card { min-height: 280px; padding: 28px; }footer { flex-direction: column; padding: 24px 16px; } } | |
| @media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto ; transition-duration: .01ms ; } } | |