@font-face { font-family: 'Instrument Sans'; font-weight: 400; font-display: swap; src: url('fonts/instrument-sans-latin-400-normal.woff2') format('woff2'); }
@font-face { font-family: 'Instrument Sans'; font-weight: 600; font-display: swap; src: url('fonts/instrument-sans-latin-600-normal.woff2') format('woff2'); }
@font-face { font-family: 'Instrument Sans'; font-weight: 700; font-display: swap; src: url('fonts/instrument-sans-latin-700-normal.woff2') format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-weight: 400; font-display: swap; src: url('fonts/jetbrains-mono-latin-400-normal.woff2') format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-weight: 500; font-display: swap; src: url('fonts/jetbrains-mono-latin-500-normal.woff2') format('woff2'); }

:root {
  --paper: #F3F5F7;
  --surface: #FFFFFF;
  --ink: #17212B;
  --muted: #5B6875;
  --rule: #D5DBE1;
  --cobalt: #2747D9;
  --cobalt-ink: #FFFFFF;
  --good: #1E7A4C;
  --warn: #A15C00;
  --bad: #B3261E;
  --m1: #F6D44A; --m2: #9FE3C6; --m3: #A9CCF5; --m4: #F5B5C8; --m5: #CDBEF5;
  --m-ink: #17212B;
  --heat-lo: #F3F5F7; --heat-hi: #2747D9;
  --sans: 'Instrument Sans', system-ui, -apple-system, 'Segoe UI', sans-serif;
  --mono: 'JetBrains Mono', ui-monospace, 'SF Mono', Menlo, monospace;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #121820; --surface: #1A222C; --ink: #E4E9EE; --muted: #93A0AD; --rule: #2C3744;
    --cobalt: #93A6FF; --cobalt-ink: #121820; --good: #5FD49A; --warn: #F0B35B; --bad: #FF8A80;
    --m1: #8A7419; --m2: #2F7A5E; --m3: #335F94; --m4: #8E4560; --m5: #5D4C94; --m-ink: #F4F6F8;
    --heat-lo: #1A222C; --heat-hi: #93A6FF;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #121820; --surface: #1A222C; --ink: #E4E9EE; --muted: #93A0AD; --rule: #2C3744;
  --cobalt: #93A6FF; --cobalt-ink: #121820; --good: #5FD49A; --warn: #F0B35B; --bad: #FF8A80;
  --m1: #8A7419; --m2: #2F7A5E; --m3: #335F94; --m4: #8E4560; --m5: #5D4C94; --m-ink: #F4F6F8;
  --heat-lo: #1A222C; --heat-hi: #93A6FF;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font: 400 17px/1.55 var(--sans); font-kerning: normal;
}
a { color: var(--cobalt); text-underline-offset: 3px; }
:focus-visible { outline: 2px solid var(--cobalt); outline-offset: 2px; }
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 16px; }
@media (min-width: 720px) { .wrap { padding: 0 32px; } }

/* Header */
.top { border-bottom: 1px solid var(--rule); }
.top .wrap { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 24px; min-height: 60px; padding-top: 8px; padding-bottom: 8px; }
.brand { font-weight: 700; color: var(--ink); text-decoration: none; margin-right: auto; letter-spacing: -0.01em; }
.brand span { color: var(--muted); font-weight: 400; }
.nav { display: flex; flex-wrap: wrap; gap: 4px 18px; font-size: 0.94rem; }
.nav a { color: var(--muted); text-decoration: none; padding: 4px 0; border-bottom: 2px solid transparent; }
.nav a:hover { color: var(--ink); }
.nav a[aria-current="page"] { color: var(--ink); border-bottom-color: var(--cobalt); }
.theme-btn { background: none; border: 1px solid var(--rule); color: var(--muted); border-radius: 6px; padding: 4px 10px; font: inherit; font-size: 0.85rem; cursor: pointer; }

/* Page heading */
.page-head { padding: 48px 0 28px; max-width: 70ch; }
.page-head h1 { font-size: clamp(2rem, 4.2vw, 2.75rem); line-height: 1.08; letter-spacing: -0.025em; margin: 0 0 14px; font-weight: 700; }
.page-head p { margin: 0; color: var(--muted); font-size: 1.08rem; }

/* Workbench */
.bench { display: grid; gap: 20px; grid-template-columns: minmax(0, 1fr); }
@media (min-width: 900px) { .bench { grid-template-columns: minmax(0, 5fr) minmax(0, 6fr); align-items: start; } }
.panel { background: var(--surface); border: 1px solid var(--rule); border-radius: 10px; padding: 20px; min-width: 0; }
.panel h2 { font-size: 1.05rem; margin: 0 0 4px; letter-spacing: -0.005em; }
.panel .hint { color: var(--muted); font-size: 0.9rem; margin: 0 0 14px; }
.row { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; }
.stack > * + * { margin-top: 14px; }

label { display: block; font-weight: 600; font-size: 0.92rem; margin-bottom: 5px; }
label .opt { font-weight: 400; color: var(--muted); }
input[type="text"], input[type="number"], textarea, select {
  width: 100%; font: inherit; font-size: 0.95rem; color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule); border-radius: 6px; padding: 9px 11px;
}
textarea { resize: vertical; min-height: 84px; line-height: 1.5; }
textarea.mono, .mono { font-family: var(--mono); font-size: 0.86rem; }
select { width: auto; }
input[type="number"] { width: 9em; }

.btn { font: inherit; font-size: 0.92rem; font-weight: 600; border-radius: 6px; padding: 8px 14px; cursor: pointer; border: 1px solid var(--cobalt); background: var(--cobalt); color: var(--cobalt-ink); }
.btn.ghost { background: transparent; color: var(--cobalt); }
.btn:disabled { opacity: 0.5; cursor: default; }
.seg { display: inline-flex; border: 1px solid var(--rule); border-radius: 6px; overflow: hidden; }
.seg button { font: inherit; font-size: 0.88rem; border: 0; background: transparent; color: var(--muted); padding: 6px 12px; cursor: pointer; }
.seg button[aria-pressed="true"] { background: var(--ink); color: var(--paper); }

/* Notes under each demo */
.notes { display: grid; gap: 32px; grid-template-columns: minmax(0, 1fr); padding: 48px 0 64px; }
@media (min-width: 900px) { .notes { grid-template-columns: 1fr 1fr; } }
.notes h2 { font-size: 1.2rem; margin: 0 0 10px; letter-spacing: -0.01em; }
.notes p, .notes li { color: var(--ink); max-width: 62ch; }
.notes ul { padding-left: 1.1em; margin: 0; }
.notes li + li { margin-top: 8px; }
.notes .muted { color: var(--muted); }

/* Token marks: the one loud thing on the site */
.marks { font-family: var(--mono); font-size: 0.95rem; line-height: 2.05; word-break: break-word; white-space: pre-wrap; }
.mk { color: var(--m-ink); border-radius: 3px; padding: 2px 1px; box-decoration-break: clone; -webkit-box-decoration-break: clone; }
.mk:nth-child(5n+1) { background: var(--m1); }
.mk:nth-child(5n+2) { background: var(--m2); }
.mk:nth-child(5n+3) { background: var(--m3); }
.mk:nth-child(5n+4) { background: var(--m4); }
.mk:nth-child(5n+5) { background: var(--m5); }
.mk.split { outline: 1.5px dashed var(--ink); outline-offset: -1.5px; }
.mk .id { font-size: 0.68em; opacity: 0.75; margin-left: 3px; }

.stats { display: flex; flex-wrap: wrap; gap: 8px 28px; margin: 4px 0 0; }
.stats div { min-width: 6em; }
.stats dt { color: var(--muted); font-size: 0.82rem; }
.stats dd { margin: 0; font-weight: 700; font-size: 1.35rem; font-variant-numeric: tabular-nums; letter-spacing: -0.01em; }

table.data { width: 100%; border-collapse: collapse; font-size: 0.9rem; font-variant-numeric: tabular-nums; }
table.data th, table.data td { text-align: left; padding: 8px 8px; border-bottom: 1px solid var(--rule); vertical-align: top; }
table.data th { color: var(--muted); font-weight: 600; font-size: 0.82rem; }
table.data td.num, table.data th.num { text-align: right; white-space: nowrap; }
table.data tr.free td { color: var(--good); }
.table-scroll { overflow-x: auto; }
.foot { color: var(--muted); font-size: 0.82rem; margin-top: 10px; }

.status { font-size: 0.88rem; color: var(--muted); display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.bar { flex: 1 1 140px; height: 6px; background: var(--rule); border-radius: 3px; overflow: hidden; min-width: 120px; }
.bar i { display: block; height: 100%; width: 0; background: var(--cobalt); transition: width 0.2s; }
.pill { font-size: 0.78rem; border: 1px solid var(--rule); border-radius: 999px; padding: 1px 9px; color: var(--muted); }

.site-foot { border-top: 1px solid var(--rule); color: var(--muted); font-size: 0.85rem; }
.site-foot .wrap { padding-top: 18px; padding-bottom: 28px; }

@media (prefers-reduced-motion: reduce) { * { transition: none !important; animation: none !important; } }