/* Tokens: the dataviz reference palette. Light on :root; dark under the OS setting unless the
   viewer chose light, and under an explicit dark choice. Charts use roles, never raw hex. */
:root {
  color-scheme: light;
  --page: #f9f9f7;
  --surface: #fcfcfb;
  --surface-2: #f3f2ee;
  --ink: #0b0b0b;
  --ink-2: #52514e;
  --muted: #898781;
  --grid: #e1e0d9;
  --axis: #c3c2b7;
  --border: rgba(11, 11, 11, 0.1);
  --band: rgba(137, 135, 129, 0.12);
  --s1: #2a78d6;
  --s2: #eb6834;
  --s3: #1baf7a;
  --ctx: #b5b3ab;
  --good: #0ca30c;
  --good-text: #006300;
  --critical: #d03b3b;
  --warning: #fab219;
  --seq1: #b7d3f6;
  --seq2: #86b6ef;
  --seq3: #5598e7;
  --seq4: #2a78d6;
  --seq5: #1c5cab;
  --seq6: #104281;
  --on-hi: #ffffff;
  --on-lo: #0b0b0b;
  --highlight: rgba(42, 120, 214, 0.08);
  --code-bg: #f3f2ee;
}
@media (prefers-color-scheme: dark) {
  :root:where(:not([data-theme="light"])) {
    color-scheme: dark;
    --page: #0d0d0d;
    --surface: #1a1a19;
    --surface-2: #232321;
    --ink: #f0efec;
    --ink-2: #c3c2b7;
    --muted: #898781;
    --grid: #2c2c2a;
    --axis: #383835;
    --border: rgba(255, 255, 255, 0.1);
    --band: rgba(137, 135, 129, 0.14);
    --s1: #3987e5;
    --s2: #d95926;
    --s3: #199e70;
    --ctx: #5f5e5a;
    --good-text: #0ca30c;
    --seq1: #184f95;
    --seq2: #1c5cab;
    --seq3: #256abf;
    --seq4: #3987e5;
    --seq5: #6da7ec;
    --seq6: #9ec5f4;
    --on-hi: #0b0b0b;
    --on-lo: #f0efec;
    --highlight: rgba(57, 135, 229, 0.12);
    --code-bg: #232321;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --page: #0d0d0d;
  --surface: #1a1a19;
  --surface-2: #232321;
  --ink: #f0efec;
  --ink-2: #c3c2b7;
  --muted: #898781;
  --grid: #2c2c2a;
  --axis: #383835;
  --border: rgba(255, 255, 255, 0.1);
  --band: rgba(137, 135, 129, 0.14);
  --s1: #3987e5;
  --s2: #d95926;
  --s3: #199e70;
  --ctx: #5f5e5a;
  --good-text: #0ca30c;
  --seq1: #184f95;
  --seq2: #1c5cab;
  --seq3: #256abf;
  --seq4: #3987e5;
  --seq5: #6da7ec;
  --seq6: #9ec5f4;
  --on-hi: #0b0b0b;
  --on-lo: #f0efec;
  --highlight: rgba(57, 135, 229, 0.12);
  --code-bg: #232321;
}

* { box-sizing: border-box; }
html { background: var(--page); }
body {
  margin: 0;
  background: var(--page);
  color: var(--ink);
  font: 14px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif;
}
a { color: var(--s1); text-decoration: none; }
a:hover { text-decoration: underline; }
code, pre, .mono { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 12.5px; }
pre { white-space: pre-wrap; word-break: break-word; margin: 0; }
h1 { font-size: 22px; margin: 0 0 4px; }
h2 { font-size: 17px; margin: 32px 0 8px; }
h3 { font-size: 14px; margin: 16px 0 6px; }
p { margin: 6px 0; max-width: 78ch; }
.wrap { max-width: 1320px; margin: 0 auto; padding-inline: 20px; padding-block: 16px 64px; }
.muted { color: var(--muted); }
.secondary { color: var(--ink-2); }
.small { font-size: 12px; }
.nowrap { white-space: nowrap; }

/* header */
header.top {
  position: sticky; top: 0; z-index: 5;
  background: var(--surface); border-bottom: 1px solid var(--border);
}
header.top .wrap { display: flex; flex-wrap: wrap; gap: 8px 20px; align-items: center; padding-block: 10px; }
header.top .brand { font-weight: 600; color: var(--ink); }
header.top nav { display: flex; flex-wrap: wrap; gap: 4px 14px; }
header.top nav a { color: var(--ink-2); padding: 2px 0; border-bottom: 2px solid transparent; }
header.top nav a.on { color: var(--ink); border-bottom-color: var(--s1); }
header.top .tools { margin-left: auto; display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
button, select, input[type="text"] {
  font: inherit; color: var(--ink); background: var(--surface-2);
  border: 1px solid var(--border); border-radius: 6px; padding: 3px 8px;
}
button { cursor: pointer; }
button:hover { background: var(--highlight); }
label.inline { display: inline-flex; gap: 6px; align-items: center; color: var(--ink-2); }

/* cards, tiles, callouts */
.card { background: var(--surface); border: 1px solid var(--border); border-radius: 10px; padding: 14px 16px; }
.grid { display: grid; gap: 14px; }
.cols-3 { grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); }
.cols-2 { grid-template-columns: repeat(auto-fit, minmax(320px, 1fr)); }
.tile .label { color: var(--ink-2); font-size: 13px; display: flex; align-items: center; gap: 8px; }
.tile .value { font-size: 26px; font-weight: 600; line-height: 1.2; margin-top: 4px; }
.tile .sub { color: var(--ink-2); font-size: 12.5px; }
.tile dl { display: grid; grid-template-columns: auto 1fr; gap: 2px 12px; margin: 10px 0 0; font-size: 13px; }
.tile dt { color: var(--ink-2); }
.tile dd { margin: 0; font-variant-numeric: tabular-nums; }
.hero { display: flex; gap: 20px; align-items: baseline; flex-wrap: wrap; }
.hero .figure { font-size: clamp(32px, 9vw, 52px); font-weight: 600; line-height: 1; white-space: nowrap; }
.swatch { display: inline-block; width: 10px; height: 10px; border-radius: 2px; flex: none; }
.key-line { display: inline-block; width: 14px; height: 2px; border-radius: 1px; vertical-align: middle; }
.sw-s1 { background: var(--s1); } .sw-s2 { background: var(--s2); } .sw-s3 { background: var(--s3); } .sw-ctx { background: var(--ctx); }
.callout { border-left: 3px solid var(--axis); background: var(--surface); padding: 8px 12px; border-radius: 0 8px 8px 0; margin: 10px 0; color: var(--ink-2); max-width: 100ch; }
.callout strong { color: var(--ink); }
.callout.caveat { border-left-color: var(--warning); }
.legend { display: flex; flex-wrap: wrap; gap: 4px 16px; font-size: 12.5px; color: var(--ink-2); margin: 4px 0 8px; align-items: center; }
.legend span { display: inline-flex; align-items: center; gap: 6px; }

/* charts */
figure { margin: 0; }
figcaption { color: var(--ink-2); font-size: 12.5px; margin-top: 4px; max-width: 90ch; }
svg.chart { width: 100%; height: auto; display: block; overflow: visible; }
svg .grid { stroke: var(--grid); stroke-width: 1; }
svg .axis { stroke: var(--axis); stroke-width: 1; }
svg .marker { stroke: var(--axis); stroke-width: 1; }
svg .threshold { stroke: var(--ink); stroke-width: 1.5; }
svg .band { fill: var(--band); }
svg .tick { fill: var(--muted); font-size: 11px; font-variant-numeric: tabular-nums; }
svg .tick.strong, svg .note.strong { fill: var(--ink); font-weight: 600; }
svg .note { fill: var(--ink-2); font-size: 11px; }
svg .label { fill: var(--ink-2); font-size: 12px; }
svg .label.strong { fill: var(--ink); font-weight: 600; }
svg .value { fill: var(--ink-2); font-size: 11.5px; font-variant-numeric: tabular-nums; }
svg .axis-label { fill: var(--ink-2); font-size: 11.5px; }
svg .line { fill: none; stroke-width: 2; stroke-linejoin: round; stroke-linecap: round; }
svg .line.thin { stroke-width: 1.75; }
svg .line.ctx-line { stroke-width: 1.25; opacity: 0.9; }
svg .ci { stroke: none; fill-opacity: 0.12; } svg .ci.s1 { fill: var(--s1); } svg .ci.s2 { fill: var(--s2); } svg .ci.s3 { fill: var(--s3); }
svg .line.s1 { stroke: var(--s1); } svg .line.s2 { stroke: var(--s2); } svg .line.s3 { stroke: var(--s3); } svg .line.ctx { stroke: var(--ctx); }
svg .dot { stroke: var(--surface); stroke-width: 2; }
svg .dot.s1, svg .bar.s1 { fill: var(--s1); } svg .dot.s2, svg .bar.s2 { fill: var(--s2); } svg .dot.s3, svg .bar.s3 { fill: var(--s3); }
svg .bar.ctx { fill: var(--ctx); }
svg .bar:hover, svg .bar:focus, svg .cell:hover, svg .cell:focus { filter: brightness(1.12); outline: none; }
svg .hit { fill: transparent; cursor: crosshair; }
svg .hit:focus { outline: none; fill: var(--band); }
svg .crosshair { stroke: var(--muted); stroke-width: 1; pointer-events: none; }
svg .cell.empty { fill: var(--surface-2); }
svg .cell.seq1 { fill: var(--seq1); } svg .cell.seq2 { fill: var(--seq2); } svg .cell.seq3 { fill: var(--seq3); }
svg .cell.seq4 { fill: var(--seq4); } svg .cell.seq5 { fill: var(--seq5); } svg .cell.seq6 { fill: var(--seq6); }
svg .cell-label { font-size: 11px; font-weight: 600; pointer-events: none; font-variant-numeric: tabular-nums; }
svg .cell-label.on-dark { fill: var(--on-hi); } svg .cell-label.on-light { fill: var(--on-lo); }
#tip {
  position: fixed; z-index: 20; pointer-events: none; max-width: 360px;
  background: var(--surface); color: var(--ink-2); border: 1px solid var(--border);
  border-radius: 8px; padding: 6px 10px; font-size: 12px; box-shadow: 0 4px 16px rgba(0, 0, 0, 0.12);
  white-space: pre-line; font-variant-numeric: tabular-nums;
}
#tip .first { color: var(--ink); font-weight: 600; }

/* charts / tables toggle */
.tbl { display: none; }
body.tables .tbl { display: block; }
body.tables .viz { display: none; }

/* tables */
.scroll { overflow-x: auto; }
table { border-collapse: collapse; width: 100%; font-size: 13px; }
th, td { text-align: left; padding: 5px 8px; border-bottom: 1px solid var(--grid); vertical-align: top; }
th { color: var(--ink-2); font-weight: 600; background: var(--surface); position: sticky; top: 0; }
td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
tr.ours td { font-weight: 600; }
tbody tr:hover { background: var(--highlight); }

/* score chips: value in ink; the arm's colour as a key; status shown with a word, not colour alone */
.chip { display: inline-flex; align-items: center; gap: 5px; padding: 1px 7px; border-radius: 999px; border: 1px solid var(--border); background: var(--surface-2); font-variant-numeric: tabular-nums; font-size: 12.5px; white-space: nowrap; }
.chip.caught { border-color: var(--critical); }
.chip .flag { font-size: 11px; color: var(--ink-2); }
.tag { display: inline-block; font-size: 11.5px; padding: 0 6px; border-radius: 4px; background: var(--surface-2); border: 1px solid var(--border); color: var(--ink-2); white-space: nowrap; }
.tag.attack { border-color: var(--s2); }
.tag.flip { border-color: var(--s3); color: var(--ink); font-weight: 600; }
.tag.warn { border-color: var(--warning); }
.caught-mark::before { content: "▲ "; color: var(--critical); }

/* filters */
form.filters { display: flex; flex-wrap: wrap; gap: 8px 14px; align-items: end; margin: 12px 0; }
form.filters label { display: flex; flex-direction: column; gap: 2px; font-size: 12px; color: var(--ink-2); }

/* trajectory */
.meta { display: flex; flex-wrap: wrap; gap: 6px 10px; align-items: center; margin: 6px 0; }
details > summary { cursor: pointer; color: var(--ink-2); }
details > summary:hover { color: var(--ink); }
.step { background: var(--surface); border: 1px solid var(--border); border-radius: 10px; margin: 12px 0; padding: 10px 14px; scroll-margin-top: 70px; }
.step.max { box-shadow: inset 4px 0 0 var(--critical); }
.step:target { outline: 2px solid var(--s1); }
.step-head { display: flex; flex-wrap: wrap; gap: 6px 12px; align-items: center; }
.step-head .n { font-weight: 600; }
.call { margin: 8px 0; }
.call .code { background: var(--code-bg); border-radius: 6px; padding: 6px 8px; max-height: 420px; overflow: auto; }
.call .field-label { font-size: 11.5px; color: var(--muted); margin-top: 4px; }
.output pre { background: var(--code-bg); border-radius: 6px; padding: 6px 8px; max-height: 360px; overflow: auto; color: var(--ink-2); }
.digest pre { background: var(--code-bg); border-left: 3px solid var(--s2); border-radius: 0 6px 6px 0; padding: 6px 8px; max-height: 360px; overflow: auto; }
.arms { display: grid; grid-template-columns: repeat(var(--n, 3), minmax(0, 1fr)); gap: 10px; margin-top: 10px; }
@media (max-width: 900px) { .arms { grid-template-columns: 1fr; } }
.arm { border: 1px solid var(--border); border-radius: 8px; padding: 8px 10px; background: var(--page); min-width: 0; }
.arm.max { border-color: var(--critical); }
.arm-head { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; margin-bottom: 4px; }
.arm .reason { white-space: pre-wrap; font-size: 13px; color: var(--ink-2); max-height: 280px; overflow: auto; }
.prompt pre { background: var(--code-bg); border-radius: 6px; padding: 6px 8px; max-height: 520px; overflow: auto; margin-top: 4px; }
.originals { margin-top: 10px; padding-top: 8px; border-top: 1px dashed var(--grid); font-size: 12.5px; color: var(--ink-2); }
.lbchips { display: flex; flex-wrap: wrap; gap: 4px; margin-top: 4px; }
.lbchips .chip { font-size: 11.5px; }
.prose { max-width: 80ch; }
.prose p, .prose li { color: var(--ink); }
.prose dt { font-weight: 600; margin-top: 10px; }
.prose dd { margin: 2px 0 0 0; color: var(--ink-2); }
.prose .diagram { background: var(--surface); border: 1px solid var(--border); border-radius: 10px; padding: 12px; margin: 12px 0; }
footer { margin-top: 40px; color: var(--muted); font-size: 12px; }
footer .credits { margin: 8px 0 0; }