Download assets/style.css from skyan1002/math-lab: direct link, hf CLI and curl.
- Browser
- Download file 11 kB
-
https://huggingface.co/spaces/skyan1002/math-lab/resolve/main/assets/style.css
- Command line
-
hf download hf://spaces/skyan1002/math-lab/assets/style.css
-
curl -L -o style.css https://huggingface.co/spaces/skyan1002/math-lab/resolve/main/assets/style.css
11 kB
| /* ---------- tokens ---------- */ | |
| :root{ | |
| --bg:#fdfdfb; | |
| --surface:#ffffff; | |
| --ink:#1b1b1a; | |
| --ink-soft:#4a4a46; | |
| --ink-faint:#83837c; | |
| --rule:#e6e4dd; | |
| --rule-soft:#f0eee8; | |
| --accent:#2f4f9e; | |
| --accent-soft:#eef1f9; | |
| --accent-ink:#223b78; | |
| --warm:#9a6b2f; | |
| --warm-soft:#faf4e9; | |
| --serif:"Iowan Old Style","Palatino Linotype",Palatino,Georgia,"Times New Roman",serif; | |
| --sans:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif; | |
| --mono:"SFMono-Regular",Menlo,Consolas,"Liberation Mono",monospace; | |
| --measure:43rem; | |
| } | |
| *{box-sizing:border-box} | |
| html{-webkit-text-size-adjust:100%} | |
| body{ | |
| margin:0; | |
| background:var(--bg); | |
| color:var(--ink); | |
| font-family:var(--sans); | |
| font-size:16px; | |
| line-height:1.65; | |
| -webkit-font-smoothing:antialiased; | |
| } | |
| a{color:var(--accent);text-decoration:none} | |
| a:hover{text-decoration:underline} | |
| img{max-width:100%} | |
| [hidden]{display:none} | |
| .wrap{max-width:var(--measure);margin:0 auto;padding:0 20px} | |
| .wrap--wide{max-width:56rem} | |
| /* ---------- masthead ---------- */ | |
| .masthead{border-bottom:1px solid var(--rule);background:var(--surface)} | |
| .masthead__in{ | |
| max-width:56rem;margin:0 auto;padding:18px 20px; | |
| display:flex;align-items:baseline;gap:14px;flex-wrap:wrap; | |
| } | |
| .brand{ | |
| font-family:var(--serif);font-size:1.25rem;font-weight:600; | |
| color:var(--ink);letter-spacing:.01em; | |
| } | |
| .brand:hover{text-decoration:none;color:var(--accent)} | |
| .brand__mark{color:var(--accent)} | |
| .masthead__tag{font-size:.82rem;color:var(--ink-faint)} | |
| .masthead__nav{margin-left:auto;display:flex;gap:16px;font-size:.85rem} | |
| .masthead__nav a{color:var(--ink-soft)} | |
| .masthead__nav a:hover{color:var(--accent)} | |
| /* ---------- home ---------- */ | |
| .hero{padding:56px 0 34px} | |
| .hero h1{ | |
| font-family:var(--serif);font-weight:600;font-size:2.1rem; | |
| line-height:1.2;margin:0 0 14px;letter-spacing:-.01em; | |
| } | |
| .hero p{margin:0;color:var(--ink-soft);font-size:1.02rem;max-width:34rem} | |
| .filters{ | |
| display:flex;flex-wrap:wrap;gap:8px;align-items:center; | |
| padding:16px 0 22px;border-top:1px solid var(--rule); | |
| } | |
| .filters__label{font-size:.72rem;letter-spacing:.09em;text-transform:uppercase;color:var(--ink-faint);margin-right:6px} | |
| .chip{ | |
| font:inherit;font-size:.83rem;cursor:pointer; | |
| border:1px solid var(--rule);background:var(--surface);color:var(--ink-soft); | |
| border-radius:999px;padding:5px 13px;transition:.15s; | |
| } | |
| .chip:hover{border-color:#cfcabd;color:var(--ink)} | |
| .chip[aria-pressed="true"]{background:var(--accent);border-color:var(--accent);color:#fff} | |
| .chip__n{opacity:.6;margin-left:5px;font-variant-numeric:tabular-nums} | |
| .postlist{list-style:none;margin:0;padding:0 0 64px} | |
| .postlist li{border-top:1px solid var(--rule-soft)} | |
| .postlist li:first-child{border-top:1px solid var(--rule)} | |
| .card{display:block;padding:24px 0;color:inherit} | |
| .card:hover{text-decoration:none} | |
| .card:hover .card__title{color:var(--accent)} | |
| .card__meta{ | |
| display:flex;gap:10px;align-items:center;flex-wrap:wrap; | |
| font-size:.74rem;color:var(--ink-faint);letter-spacing:.04em;margin-bottom:7px; | |
| } | |
| .card__cat{color:var(--accent-ink);background:var(--accent-soft);border-radius:4px;padding:2px 8px;font-weight:500;letter-spacing:.02em} | |
| .card__title{ | |
| font-family:var(--serif);font-size:1.32rem;font-weight:600;line-height:1.3; | |
| margin:0 0 6px;color:var(--ink);transition:color .15s; | |
| } | |
| .card__sub{font-family:var(--serif);font-style:italic;color:var(--ink-faint);margin:-2px 0 8px;font-size:1rem} | |
| .card__summary{margin:0;color:var(--ink-soft);font-size:.94rem;max-width:40rem} | |
| .card__tags{margin-top:10px;display:flex;gap:6px;flex-wrap:wrap} | |
| .tag{font-size:.72rem;color:var(--ink-faint);border:1px solid var(--rule);border-radius:4px;padding:1px 7px} | |
| .planned{ | |
| border:1px dashed var(--rule);border-radius:10px;padding:18px 20px;margin:0 0 56px; | |
| background:var(--surface); | |
| } | |
| .planned h2{font-family:var(--serif);font-size:1rem;margin:0 0 10px;font-weight:600} | |
| .planned ul{margin:0;padding-left:18px;color:var(--ink-soft);font-size:.92rem} | |
| .planned li{margin:5px 0} | |
| .planned .muted{color:var(--ink-faint)} | |
| /* ---------- article ---------- */ | |
| .article{padding-top:48px} /* side padding comes from .wrap — never use the shorthand here */ | |
| .article__cat{ | |
| font-size:.74rem;letter-spacing:.08em;text-transform:uppercase; | |
| color:var(--accent-ink);font-weight:600; | |
| } | |
| .article h1{ | |
| font-family:var(--serif);font-weight:600;font-size:2.05rem;line-height:1.22; | |
| margin:10px 0 10px;letter-spacing:-.01em; | |
| } | |
| .article__sub{font-family:var(--serif);font-style:italic;font-size:1.12rem;color:var(--ink-faint);margin:0 0 16px} | |
| .article__meta{font-size:.8rem;color:var(--ink-faint);padding-bottom:22px;border-bottom:1px solid var(--rule)} | |
| .prose{font-family:var(--serif);font-size:1.075rem;line-height:1.72;color:var(--ink)} | |
| .prose p{margin:1.15em 0} | |
| .prose h2{ | |
| font-family:var(--serif);font-size:1.42rem;font-weight:600;line-height:1.3; | |
| margin:2.4em 0 .6em;padding-top:.3em;scroll-margin-top:20px; | |
| } | |
| .prose h2 .num{color:var(--ink-faint);font-weight:400;margin-right:.45em} | |
| .prose h3{font-family:var(--serif);font-size:1.12rem;font-weight:600;margin:1.9em 0 .4em;scroll-margin-top:20px} | |
| .prose ul,.prose ol{padding-left:1.4em} | |
| .prose li{margin:.45em 0} | |
| .prose strong{font-weight:600} | |
| .prose hr{border:0;border-top:1px solid var(--rule);margin:2.4em 0} | |
| .prose code{font-family:var(--mono);font-size:.88em;background:var(--rule-soft);padding:1px 5px;border-radius:4px} | |
| .lede{font-size:1.14rem;color:var(--ink-soft)} | |
| .lede::first-letter{font-size:1.1em} | |
| blockquote{ | |
| margin:1.6em 0;padding:2px 0 2px 20px;border-left:3px solid var(--rule); | |
| color:var(--ink-soft);font-style:italic; | |
| } | |
| .callout{ | |
| margin:1.8em 0;padding:16px 20px;border-radius:10px; | |
| background:var(--accent-soft);border:1px solid #dbe2f2; | |
| font-family:var(--sans);font-size:.95rem;line-height:1.6; | |
| } | |
| .callout--warm{background:var(--warm-soft);border-color:#eddfc4} | |
| .callout__h{ | |
| display:block;font-size:.72rem;letter-spacing:.1em;text-transform:uppercase; | |
| font-weight:600;color:var(--accent-ink);margin-bottom:7px; | |
| } | |
| .callout--warm .callout__h{color:var(--warm)} | |
| .callout p{margin:.5em 0} | |
| .callout p:first-of-type{margin-top:0} | |
| .callout p:last-child{margin-bottom:0} | |
| .boxed{ | |
| margin:1.8em 0;padding:16px 20px;border:1px solid var(--rule);border-radius:10px; | |
| background:var(--surface); | |
| } | |
| .boxed__h{font-family:var(--sans);font-size:.78rem;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);font-weight:600;margin-bottom:8px} | |
| /* table of contents */ | |
| .toc{ | |
| margin:28px 0 8px;padding:16px 20px;border:1px solid var(--rule);border-radius:10px; | |
| background:var(--surface);font-family:var(--sans); | |
| } | |
| .toc__h{font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-weight:600;margin-bottom:9px} | |
| .toc ol{margin:0;padding-left:1.25em;font-size:.92rem} | |
| .toc li{margin:4px 0} | |
| .toc a{color:var(--ink-soft)} | |
| .toc a:hover{color:var(--accent)} | |
| /* tables */ | |
| /* position:relative so KaTeX's absolutely positioned MathML is clipped here | |
| instead of escaping and widening the page */ | |
| .tbl-wrap{overflow-x:auto;margin:1.6em 0;position:relative} | |
| table.tbl{border-collapse:collapse;width:100%;font-family:var(--sans);font-size:.88rem} | |
| table.tbl th,table.tbl td{ | |
| text-align:right;padding:7px 12px;border-bottom:1px solid var(--rule-soft); | |
| font-variant-numeric:tabular-nums;white-space:nowrap; | |
| } | |
| table.tbl th{ | |
| color:var(--ink-faint);font-weight:600;font-size:.76rem;letter-spacing:.04em; | |
| border-bottom:1px solid var(--rule); | |
| } | |
| table.tbl th:first-child,table.tbl td:first-child{text-align:left} | |
| table.tbl tbody tr:hover{background:var(--rule-soft)} | |
| /* ---------- widgets ---------- */ | |
| .widget{ | |
| margin:2.2em 0;border:1px solid var(--rule);border-radius:12px; | |
| background:var(--surface);font-family:var(--sans);overflow:hidden; | |
| } | |
| .widget__head{padding:14px 18px;border-bottom:1px solid var(--rule-soft)} | |
| .widget__title{font-size:.78rem;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);font-weight:600} | |
| .widget__desc{font-size:.88rem;color:var(--ink-soft);margin:6px 0 0;line-height:1.5} | |
| .widget__body{padding:16px 18px} | |
| .widget__row{display:flex;gap:18px;flex-wrap:wrap} | |
| .widget__col{flex:1 1 260px;min-width:0} | |
| .widget__col--plot{flex:0 0 auto} | |
| .presets{display:flex;gap:7px;flex-wrap:wrap;margin-bottom:14px} | |
| .preset{ | |
| font:inherit;font-size:.8rem;cursor:pointer;border:1px solid var(--rule); | |
| background:var(--bg);color:var(--ink-soft);border-radius:7px;padding:5px 11px;transition:.15s; | |
| } | |
| .preset:hover{border-color:#cfcabd;color:var(--ink)} | |
| .preset[aria-pressed="true"]{background:var(--accent);border-color:var(--accent);color:#fff} | |
| .knobs{display:flex;gap:12px;flex-wrap:wrap;align-items:flex-end;margin-bottom:12px} | |
| .knob{display:flex;flex-direction:column;gap:3px} | |
| .knob label{font-size:.72rem;color:var(--ink-faint);letter-spacing:.04em} | |
| .knob input{ | |
| font:inherit;font-family:var(--mono);font-size:.85rem;width:5.2rem; | |
| padding:5px 8px;border:1px solid var(--rule);border-radius:6px;background:var(--bg);color:var(--ink); | |
| } | |
| .knob input:focus{outline:2px solid var(--accent-soft);border-color:var(--accent)} | |
| .knob--wide input{width:6.4rem} | |
| canvas{display:block;max-width:100%;border-radius:8px;background:var(--surface);touch-action:pan-y} | |
| .readout{ | |
| font-size:.85rem;color:var(--ink-soft);line-height:1.7; | |
| border-top:1px solid var(--rule-soft);margin-top:12px;padding-top:12px; | |
| } | |
| .readout b{color:var(--ink);font-weight:600} | |
| .readout .k{font-family:var(--mono);font-size:.92em} | |
| .badge{ | |
| display:inline-block;font-size:.72rem;padding:1px 8px;border-radius:999px; | |
| background:var(--accent-soft);color:var(--accent-ink);font-weight:600; | |
| } | |
| .badge--warm{background:var(--warm-soft);color:var(--warm)} | |
| /* ---------- series / footer ---------- */ | |
| .series{ | |
| margin:56px 0 0;padding:20px;border:1px solid var(--rule);border-radius:12px;background:var(--surface); | |
| font-family:var(--sans); | |
| } | |
| .series__h{font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-weight:600;margin-bottom:10px} | |
| .series a{display:block;font-family:var(--serif);font-size:1.06rem;font-weight:600;margin-bottom:3px} | |
| .series p{margin:0;font-size:.9rem;color:var(--ink-soft)} | |
| .series .soon{color:var(--ink-faint);font-family:var(--serif);font-size:1.06rem;font-weight:600} | |
| .pagenav{display:flex;justify-content:space-between;gap:16px;margin:36px 0 0;font-size:.88rem} | |
| .sitefoot{ | |
| margin-top:72px;border-top:1px solid var(--rule);background:var(--surface); | |
| padding:26px 0;font-size:.82rem;color:var(--ink-faint); | |
| } | |
| .sitefoot__in{max-width:56rem;margin:0 auto;padding:0 20px;display:flex;gap:14px;flex-wrap:wrap} | |
| .sitefoot a{color:var(--ink-soft)} | |
| /* ---------- katex / responsive ---------- */ | |
| .katex-display{overflow-x:auto;overflow-y:hidden;padding:2px 0;position:relative} | |
| .katex{font-size:1.04em} | |
| @media (max-width:640px){ | |
| .hero{padding:40px 0 26px} | |
| .hero h1{font-size:1.72rem} | |
| .article h1{font-size:1.66rem} | |
| .prose{font-size:1.02rem} | |
| .prose h2{font-size:1.24rem} | |
| .masthead__tag{display:none} | |
| } | |