Spaces:
Running
Running
Download style.css from ritwika96/beam-verified-python: direct link, hf CLI and curl.
- Browser
- Download file 11.4 kB
-
https://huggingface.co/spaces/ritwika96/beam-verified-python/resolve/main/style.css
- Command line
-
hf download hf://spaces/ritwika96/beam-verified-python/style.css
-
curl -L -o style.css https://huggingface.co/spaces/ritwika96/beam-verified-python/resolve/main/style.css
11.4 kB
| :root { | |
| --prussian: #0f2a52; | |
| --deep: #0a1f3f; | |
| --line: #2c4b7a; | |
| --paper: #eef3f8; | |
| --muted: #9db2cf; | |
| --pass: #8ee3b8; | |
| --fail: #f4b860; | |
| --sans: "Schibsted Grotesk", system-ui, sans-serif; | |
| --mono: "JetBrains Mono", ui-monospace, monospace; | |
| --measure: 66ch; | |
| } | |
| * { box-sizing: border-box; } | |
| html { background: var(--prussian); } | |
| body { | |
| margin: 0; | |
| color: var(--paper); | |
| font: 400 17px/1.55 var(--sans); | |
| /* Cyanotype blueprint grid */ | |
| background-color: var(--prussian); | |
| background-image: | |
| linear-gradient(rgba(238, 243, 248, 0.045) 1px, transparent 1px), | |
| linear-gradient(90deg, rgba(238, 243, 248, 0.045) 1px, transparent 1px); | |
| background-size: 28px 28px; | |
| -webkit-font-smoothing: antialiased; | |
| } | |
| :focus-visible { outline: 2px solid var(--pass); outline-offset: 3px; } | |
| h1, h2, h3 { margin: 0; font-weight: 800; letter-spacing: -0.02em; } | |
| p { margin: 0; } | |
| code, pre { font-family: var(--mono); } | |
| /* Header bar */ | |
| .bar { | |
| display: flex; justify-content: space-between; align-items: baseline; gap: 1rem; flex-wrap: wrap; | |
| padding: 1.1rem clamp(1.25rem, 4vw, 3.5rem); | |
| border-bottom: 1px solid var(--line); | |
| } | |
| .wordmark { font-weight: 800; letter-spacing: -0.01em; } | |
| .bar-status { color: var(--muted); font-size: 0.9rem; } | |
| main { padding: 0 clamp(1.25rem, 4vw, 3.5rem); max-width: 1320px; margin: 0 auto; } | |
| /* Hero */ | |
| .hero { | |
| display: grid; grid-template-columns: minmax(0, 1.05fr) minmax(0, 1fr); gap: clamp(2rem, 5vw, 5rem); | |
| align-items: start; padding: clamp(3rem, 8vw, 6.5rem) 0 clamp(3rem, 6vw, 5rem); | |
| } | |
| .hero h1 { | |
| font-size: clamp(2.3rem, 4.6vw, 4.1rem); line-height: 1.02; letter-spacing: -0.035em; max-width: 16ch; | |
| } | |
| .lede { margin-top: 1.6rem; max-width: 52ch; color: var(--muted); font-size: 1.06rem; } | |
| .headline-status { margin-top: 1.8rem; font-size: 1.15rem; font-weight: 500; max-width: 40ch; } | |
| .headline-status strong { color: var(--pass); font-weight: 700; } | |
| /* Specimen: one problem on the test bench */ | |
| .specimen { | |
| margin: 0; padding: 1.6rem 1.6rem 1.3rem; | |
| background: var(--deep); border: 1px solid var(--line); border-radius: 4px; | |
| box-shadow: 10px 10px 0 rgba(10, 31, 63, 0.55); | |
| } | |
| .spec-head { display: flex; justify-content: space-between; gap: 1rem; align-items: baseline; flex-wrap: wrap; } | |
| .spec-title { font-size: 1.35rem; font-weight: 700; letter-spacing: -0.015em; } | |
| .spec-tags { color: var(--muted); font-size: 0.88rem; } | |
| .spec-sig { | |
| display: block; margin-top: 0.9rem; padding: 0.7rem 0.85rem; overflow-x: auto; white-space: pre; | |
| font-size: 0.82rem; color: var(--paper); background: rgba(238, 243, 248, 0.05); border-radius: 3px; | |
| } | |
| .spec-row { margin-top: 1.4rem; } | |
| .spec-row h3 { font-size: 0.92rem; font-weight: 500; color: var(--muted); letter-spacing: 0; margin-bottom: 0.6rem; } | |
| .cells { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px; } | |
| .cells li { | |
| width: 26px; height: 26px; border: 1px solid var(--line); border-radius: 3px; | |
| display: grid; place-items: center; font: 500 0.66rem var(--mono); color: transparent; | |
| transition: background-color 180ms ease, border-color 180ms ease, color 180ms ease; | |
| } | |
| .cells li.on { background: var(--pass); border-color: var(--pass); color: var(--deep); } | |
| .spec-note { margin-top: 0.55rem; font-size: 0.88rem; color: var(--muted); min-height: 1.4em; } | |
| .fakes { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px 8px; } | |
| .fakes li { | |
| font: 400 0.8rem var(--mono); padding: 0.28rem 0.55rem; border: 1px dashed var(--line); border-radius: 3px; | |
| color: var(--muted); transition: color 200ms ease, border-color 200ms ease, text-decoration-color 200ms ease; | |
| text-decoration: line-through; text-decoration-color: transparent; text-decoration-thickness: 2px; | |
| } | |
| .fakes li.caught { color: var(--fail); border-color: rgba(244, 184, 96, 0.55); text-decoration-color: var(--fail); } | |
| .ghost { | |
| margin-top: 1.4rem; font: 500 0.9rem var(--sans); color: var(--paper); cursor: pointer; | |
| background: none; border: 1px solid var(--line); border-radius: 3px; padding: 0.5rem 0.9rem; | |
| } | |
| .ghost:hover { border-color: var(--muted); } | |
| /* Section blocks */ | |
| .block { padding: clamp(2.5rem, 5vw, 4rem) 0; border-top: 1px solid var(--line); } | |
| .block-head { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.4fr); gap: 2rem; align-items: baseline; margin-bottom: 2rem; } | |
| .block-head h2 { font-size: clamp(1.6rem, 2.6vw, 2.2rem); line-height: 1.1; } | |
| .block-head p { color: var(--muted); max-width: 56ch; } | |
| /* Funnel: a real sequence, so the steps are numbered */ | |
| .funnel-wrap { display: grid; grid-template-columns: minmax(0, 1fr) 260px; gap: 3rem; align-items: start; } | |
| .funnel { list-style: none; margin: 0; padding: 0; counter-reset: step; } | |
| .funnel li { | |
| counter-increment: step; display: grid; grid-template-columns: 2rem minmax(0, 1fr); gap: 0.2rem 1rem; | |
| padding: 0.85rem 0; border-bottom: 1px dashed var(--line); | |
| } | |
| .funnel li::before { content: counter(step); grid-row: span 2; font: 500 0.95rem var(--mono); color: var(--muted); padding-top: 0.1rem; } | |
| .f-top { display: flex; justify-content: space-between; gap: 1rem; align-items: baseline; } | |
| .f-label { font-weight: 700; } | |
| .f-count { font: 500 1rem var(--mono); } | |
| .f-bar { height: 10px; background: rgba(238, 243, 248, 0.07); border-radius: 2px; overflow: hidden; margin-top: 0.45rem; } | |
| .f-bar span { display: block; height: 100%; background: var(--paper); } | |
| .funnel li:last-child .f-bar span { background: var(--pass); } | |
| .f-lost { grid-column: 2; font-size: 0.86rem; color: var(--fail); } | |
| .f-lost.none { color: var(--muted); } | |
| .ledger { border-left: 1px solid var(--line); padding-left: 1.5rem; } | |
| .ledger dl { margin: 0; display: grid; gap: 1.1rem; } | |
| .ledger dt { color: var(--muted); font-size: 0.86rem; } | |
| .ledger dd { margin: 0.15rem 0 0; font: 500 1.15rem var(--mono); } | |
| .ledger dd small { display: block; font: 400 0.8rem var(--sans); color: var(--muted); margin-top: 0.2rem; } | |
| /* Coverage grid */ | |
| .coverage { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem 3rem; } | |
| .cov-col { display: grid; grid-template-columns: minmax(0, 1fr) repeat(3, 56px); gap: 4px 6px; align-items: center; align-content: start; } | |
| .cov-h { font-size: 0.78rem; color: var(--muted); text-align: center; } | |
| .cov-t { font-size: 0.88rem; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; padding-right: 0.5rem; } | |
| .cov-c { | |
| height: 22px; border: 1px solid var(--line); border-radius: 2px; display: grid; place-items: center; | |
| font: 500 0.7rem var(--mono); color: var(--deep); | |
| } | |
| .cov-c.has { background: var(--pass); border-color: var(--pass); } | |
| /* Rejections */ | |
| .rej-empty { color: var(--muted); max-width: 60ch; } | |
| .rej-list { list-style: none; margin: 0; padding: 0; display: grid; gap: 0.9rem; max-width: 820px; } | |
| .rej-list li { display: grid; grid-template-columns: 3.5rem minmax(0, 1fr); gap: 1rem; align-items: baseline; } | |
| .rej-n { font: 500 1.25rem var(--mono); color: var(--fail); text-align: right; } | |
| .rej-why { font-weight: 700; } | |
| .rej-desc { color: var(--muted); font-size: 0.92rem; } | |
| /* Browser */ | |
| .browser { display: grid; grid-template-columns: 320px minmax(0, 1fr); gap: 2rem; align-items: start; } | |
| .filters { display: grid; gap: 0.7rem; margin-bottom: 1rem; } | |
| .filters input { | |
| width: 100%; font: 400 0.95rem var(--sans); color: var(--paper); background: var(--deep); | |
| border: 1px solid var(--line); border-radius: 3px; padding: 0.55rem 0.7rem; | |
| } | |
| .filters input::placeholder { color: var(--muted); } | |
| .seg { display: flex; border: 1px solid var(--line); border-radius: 3px; overflow: hidden; } | |
| .seg button { | |
| flex: 1; font: 500 0.85rem var(--sans); color: var(--muted); background: none; border: 0; padding: 0.45rem 0; cursor: pointer; | |
| } | |
| .seg button + button { border-left: 1px solid var(--line); } | |
| .seg button[aria-checked="true"] { background: var(--paper); color: var(--deep); } | |
| .plist { list-style: none; margin: 0; padding: 0; max-height: 640px; overflow-y: auto; border-top: 1px solid var(--line); } | |
| .plist button { | |
| display: block; width: 100%; text-align: left; background: none; border: 0; border-bottom: 1px solid var(--line); | |
| color: var(--paper); padding: 0.75rem 0.4rem; cursor: pointer; font: inherit; | |
| } | |
| .plist button:hover { background: rgba(238, 243, 248, 0.04); } | |
| .plist button[aria-current="true"] { background: rgba(142, 227, 184, 0.1); box-shadow: inset 3px 0 0 var(--pass); } | |
| .p-title { display: block; font-weight: 700; font-size: 0.97rem; } | |
| .p-meta { display: block; color: var(--muted); font-size: 0.82rem; margin-top: 0.1rem; } | |
| .plist .none { padding: 1rem 0.4rem; color: var(--muted); } | |
| .detail { | |
| background: var(--deep); border: 1px solid var(--line); border-radius: 4px; padding: clamp(1.25rem, 3vw, 2rem); min-height: 400px; | |
| } | |
| .d-meta { color: var(--muted); font-size: 0.88rem; margin-bottom: 1.2rem; } | |
| .prose { max-width: var(--measure); } | |
| .prose h1, .prose h2, .prose h3 { font-weight: 700; letter-spacing: -0.015em; margin: 1.4em 0 0.5em; line-height: 1.2; } | |
| .prose h1:first-child, .prose h2:first-child, .prose h3:first-child { margin-top: 0; } | |
| .prose h1, .prose h2 { font-size: 1.45rem; } | |
| .prose h3 { font-size: 1.1rem; } | |
| .prose p, .prose ul, .prose ol { margin: 0 0 0.9em; } | |
| .prose code { font-size: 0.86em; background: rgba(238, 243, 248, 0.07); padding: 0.1em 0.3em; border-radius: 2px; } | |
| .prose pre code { background: none; padding: 0; } | |
| pre { | |
| margin: 0 0 1em; padding: 0.9rem 1rem; overflow-x: auto; font-size: 0.82rem; line-height: 1.55; | |
| background: rgba(238, 243, 248, 0.05); border: 1px solid var(--line); border-radius: 3px; | |
| } | |
| .tabs { display: flex; gap: 1.4rem; margin-top: 2rem; border-bottom: 1px solid var(--line); } | |
| .tabs button { | |
| background: none; border: 0; color: var(--muted); font: 500 0.95rem var(--sans); padding: 0.6rem 0; cursor: pointer; | |
| border-bottom: 2px solid transparent; margin-bottom: -1px; | |
| } | |
| .tabs button[aria-selected="true"] { color: var(--paper); border-bottom-color: var(--pass); } | |
| .tabpanel { padding-top: 1.1rem; } | |
| .tests { list-style: none; margin: 0; padding: 0; } | |
| .tests li { font: 400 0.8rem/1.5 var(--mono); padding: 0.45rem 0 0.45rem 1.4rem; border-bottom: 1px dashed var(--line); position: relative; word-break: break-word; } | |
| .tests li::before { content: ""; position: absolute; left: 0; top: 0.85rem; width: 8px; height: 8px; border-radius: 1px; background: var(--pass); } | |
| /* highlight.js tokens in palette */ | |
| .hljs-keyword, .hljs-built_in { color: #a9c7ff; } | |
| .hljs-string { color: var(--pass); } | |
| .hljs-number, .hljs-literal { color: var(--fail); } | |
| .hljs-comment { color: #6f86a8; font-style: italic; } | |
| .hljs-title, .hljs-title.function_ { color: #ffffff; font-weight: 500; } | |
| .hljs-params { color: var(--paper); } | |
| .foot { | |
| border-top: 1px solid var(--line); padding: 2rem clamp(1.25rem, 4vw, 3.5rem) 3rem; color: var(--muted); font-size: 0.88rem; | |
| } | |
| .foot p { max-width: 80ch; } | |
| .foot a { color: var(--paper); } | |
| .load-error { padding: 4rem 0; max-width: 60ch; } | |
| @media (max-width: 960px) { | |
| .hero, .block-head, .funnel-wrap, .browser, .coverage { grid-template-columns: minmax(0, 1fr); } | |
| .ledger { border-left: 0; border-top: 1px solid var(--line); padding: 1.5rem 0 0; } | |
| .ledger dl { grid-template-columns: repeat(auto-fit, minmax(140px, 1fr)); } | |
| .plist { max-height: 320px; } | |
| } | |
| @media (prefers-reduced-motion: reduce) { | |
| *, *::before, *::after { transition: none ; animation: none ; } | |
| } | |