| |
| |
| :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.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); } |
|
|
| |
| .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; } |
|
|
| |
| 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; } |
|
|
| |
| .tbl { display: none; } |
| body.tables .tbl { display: block; } |
| body.tables .viz { display: none; } |
|
|
| |
| .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); } |
|
|
| |
| .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); } |
|
|
| |
| 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); } |
|
|
| |
| .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; } |
|
|
