/* Digital typesetting and plain HTML. Charts and Versus retain their pixel art. */
:root {
  --ink: #161616; --mute: #595959; --rule: #b6b6b6; --paper: #fff;
  --blue: #0055aa; --orange: #ff8800; --night: #000022; --frame: #c0dfca; --hp-bg: #f8f8f0;
  --hp-hi: #58d080; --hp-mid: #f8c030; --hp-lo: #f85838;
  --seg-input: #bed0dc; --seg-cache: #7ea6cf; --seg-reasoning: #ff8800; --seg-answer: #0055aa;
  --pixel: "VT323", ui-monospace, monospace;
  --sans: "Helvetica Neue", Helvetica, Arial, sans-serif;
  --serif: "Times New Roman", Times, serif;
  --link: #0000bb;
  color-scheme: light;
}
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }
body { margin: 0; min-height: 100vh; background: var(--paper); color: var(--ink); font: 18px/1.5 var(--serif); }
a { color: var(--link); text-decoration: underline; text-underline-offset: 2px; }
a:visited { color: #551a8b; }
a:hover { color: #b00020; }
a, button, select { touch-action: manipulation; }
button, select { font: inherit; }
button, select, summary { cursor: pointer; }
table { border-collapse: collapse; }
h1, h2, h3 { text-wrap: balance; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 3px; }
.num, .px { font-variant-numeric: lining-nums tabular-nums; }
.mute { color: var(--mute); }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.skip { position: absolute; left: 8px; top: -48px; z-index: 100; padding: 8px 12px; background: var(--paper); }
.skip:focus-visible { top: 8px; }
.status { padding: 24px 16px; }
[id] { scroll-margin-top: 24px; }

/* A plain navigation line, with the release aligned alongside it. */
.strip { max-width: 1080px; margin: 24px auto 0; padding: 0 24px 12px; display: flex; justify-content: space-between; align-items: baseline; flex-wrap: wrap; gap: 10px 24px; font-size: 16px; border-bottom: 1px solid var(--rule); }
.strip nav { display: flex; flex-wrap: wrap; gap: 8px 24px; }
.strip nav a[aria-current] { color: var(--ink); font-weight: 700; text-decoration: none; }
.strip-end { color: var(--ink); font: 15px/1.25 "Times New Roman", Times, serif; text-align: right; white-space: nowrap; font-variant-numeric: tabular-nums; }
.strip-end > span, .strip-end time, .strip-end time span { display: block; }
.strip .gad { display: none; }

.page { max-width: 1080px; margin: 0 auto; padding: 54px 24px 96px; }
.title { margin: 0 0 52px; text-align: center; font-size: clamp(32px, 4.5vw, 48px); line-height: 1.15; font-weight: 400; }
.title.sub { font-size: clamp(30px, 4vw, 42px); margin-bottom: 32px; }
.title .px { font-weight: 400; }
.lede { max-width: 72ch; margin: 28px auto 0; line-height: 1.6; }
.pager { display: flex; justify-content: space-between; gap: 24px; margin-bottom: 36px; font-size: 16px; }
.pager a:last-child { text-align: right; }
.plates { display: flex; flex-wrap: wrap; justify-content: center; gap: 12px 32px; margin: 0; font-size: 16px; }
.plates div { display: flex; align-items: baseline; gap: 8px; }
.plates dt { font-weight: 700; }
.plates dd { margin: 0; font-variant-numeric: lining-nums tabular-nums; }
section { margin-top: 56px; }
.head { padding: 0; margin-bottom: 16px; }
.head h2 { margin: 0; font-size: 26px; line-height: 1.25; font-weight: 700; }
.head .px { margin-right: 0.45em; }
.empty { margin: 16px 0 0; color: var(--mute); font-style: italic; }

/* Open, booktabs-style tables. Links remain ordinary HTML links. */
.rows { width: 100%; border-top: 1.5px solid var(--ink); border-bottom: 1.5px solid var(--ink); }
.rows th, .dense th { text-align: left; font-size: 16px; font-weight: 700; line-height: 1.3; vertical-align: bottom; }
.rows th { padding: 10px 8px; border-bottom: 1px solid var(--ink); }
.rows td { padding: 12px 8px; border-top: 1px solid #e0e0e0; font-size: 21px; line-height: 1.35; vertical-align: baseline; }
.rows .r { width: 2.8em; color: var(--mute); font-size: 18px; }
.rows .m { overflow-wrap: anywhere; }
.rows .eff { font-size: 0.85em; color: var(--mute); }
.rows sup { font-size: 0.6em; margin-left: 0.35em; color: var(--mute); }
.rows .v { text-align: right; padding-left: 16px; white-space: nowrap; }
.rows .v .num:not(.ci) { display: inline-block; min-width: 2.6em; }
.rows .ci { display: block; margin-top: 3px; font-size: 14px; color: var(--mute); }
.rows .state { font-size: 17px; color: var(--mute); }
.rows tbody tr:hover, .dense tbody tr:hover { background: #f3f5f8; }
.rows th a[aria-current], .dense th a[aria-current] { color: var(--ink); text-decoration: none; }
.hp { display: inline-block; vertical-align: 0.08em; width: clamp(48px, 8vw, 96px); height: 10px; margin-right: 12px; padding: 1px; border: 1px solid var(--night); background: var(--hp-bg); }
.hp i { display: block; height: 100%; }
.hp.hi i { background: var(--hp-hi); } .hp.mid i { background: var(--hp-mid); } .hp.lo i { background: var(--hp-lo); }
.dense-wrap { overflow-x: auto; }
.dense { width: 100%; font-size: 16px; border-top: 1.5px solid var(--ink); border-bottom: 1.5px solid var(--ink); }
.dense th { padding: 10px 16px 10px 8px; border-bottom: 1px solid var(--ink); white-space: nowrap; }
.dense td { padding: 8px 16px 8px 8px; border-top: 1px solid #e0e0e0; white-space: nowrap; }
.dense .n { text-align: right; }
.dense .r, .dense .state { color: var(--mute); }
.chip { font-size: 15px; font-style: italic; }

/* Figures keep the original data graphics, without decorative window frames. */
.frame { margin-top: 20px; padding: 12px 0; }
.chart { display: block; width: 100%; height: auto; overflow: visible; shape-rendering: crispEdges; }
.chart text { shape-rendering: auto; }
.chart .grid { stroke: #d6dde6; stroke-dasharray: 2 4; }
.chart .axis { stroke: var(--ink); stroke-width: 2; }
.chart .tick { fill: var(--blue); font: 18px var(--pixel); }
.chart .axis-label { fill: var(--ink); font: 20px var(--pixel); }
.chart .dot { fill: var(--hp-hi); }
.chart .quad { opacity: 0.7; }
.chart .pareto { fill: none; stroke: var(--blue); stroke-width: 3; }
.chart .pt { fill: var(--blue); stroke: var(--night); stroke-width: 2; }
.chart a:hover .pt, .chart a:focus-visible .pt { fill: var(--orange); }
.chart a:hover .lbl { text-decoration: underline; }
.chart .lbl { fill: var(--ink); font: var(--lbl, 13px) var(--sans); }
.chart .lead { stroke: var(--mute); stroke-width: 1; }
.legend { display: flex; flex-wrap: wrap; gap: 4px 20px; margin: 10px 0 0; padding: 0; list-style: none; font: 20px/1.2 var(--pixel); color: var(--ink); }
.legend i { display: inline-block; width: 14px; height: 14px; margin-right: 6px; vertical-align: -1px; border: 2px solid var(--night); }
.legend .quad-key { background: repeating-conic-gradient(var(--hp-hi) 0 25%, #fff 0 50%) 0 0 / 4px 4px; }
.legend .pareto-key { height: 0; border: 0; border-top: 3px solid var(--blue); vertical-align: 4px; }

.bars { display: grid; gap: 2px; }
.bar { display: grid; grid-template-columns: minmax(120px, 15em) 1fr 6em; align-items: center; gap: 12px; padding: 3px 4px; }
.bar:hover { background: var(--blue); color: #fff; }
.bar .lbl { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.bar .track { display: flex; gap: 2px; height: 18px; padding: 2px; border: 2px solid var(--night); border-radius: 3px; background: var(--hp-bg); }
.bar .track i { display: block; height: 100%; min-width: 0; }
.bar .val { text-align: right; font-size: 24px; line-height: 1; }
.seg-input { background: var(--seg-input); } .seg-cache_read { background: var(--seg-cache); }
.seg-reasoning { background: var(--seg-reasoning); } .seg-answer { background: var(--seg-answer); }

.vs { display: grid; grid-template-columns: minmax(0, 560px) minmax(0, 1fr); gap: 24px 40px; align-items: start; margin-top: 24px; }
.vs-games th.vs-a { color: #0033cc; } .vs-games th.vs-b { color: #cc0000; }
.vs-games { table-layout: fixed; }
.vs-games th:first-child { width: 46%; }
.vs-games th, .vs-games td { overflow: hidden; text-overflow: ellipsis; }
.win-title { margin-right: auto; padding: 0 8px; background: #fff; color: var(--blue); font-size: 22px; line-height: 24px; }
.win { border: 3px solid var(--blue); background: var(--blue); box-shadow: 8px 8px 0 var(--night); font: 22px/1.1 var(--pixel); }
.win-bar { display: flex; align-items: center; gap: 8px; height: 28px; padding: 0 4px; background: repeating-linear-gradient(to bottom, #fff 0 2px, var(--blue) 2px 4px); }
.k { margin: 10px; background: #000; color: #fff; border: 4px solid var(--frame); }
.k-vs { display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; gap: 8px; padding: 12px 12px 16px; }
.k-vs select { width: 100%; appearance: none; padding: 2px 4px; border: 0; border-bottom: 2px dashed currentColor; background-color: #000; color: inherit; font: inherit; text-overflow: ellipsis; }
.k-vs select:hover { background-color: #1a1a1a; }
.k-vs select:focus-visible { outline: 2px solid #ffff55; outline-offset: 2px; }
.k-name { padding: 2px 4px; border-bottom: 2px solid currentColor; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.k-a { color: #55ffff; } .k-b { color: #ff5555; text-align: right; }
.k-b select { text-align: right; text-align-last: right; }
.k-mid { color: #ffff55; }
.k-big { display: grid; place-items: center; height: 96px; border: 2px solid currentColor; font-size: 72px; line-height: 1; }


/* Readouts use the same typesetting as the surrounding tables. */
.tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 24px; margin: 36px 0 0; padding: 18px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); }
.tile dt { font-size: 16px; }
.tile dd { margin: 8px 0 0; font-size: 30px; line-height: 1.2; }
.tile dd small { display: block; margin-top: 6px; font-size: 15px; color: var(--mute); }
.prose { max-width: 72ch; margin: 0 auto; font-size: 19px; line-height: 1.6; }
.prose dt { margin-top: 28px; font-weight: 700; font-size: 21px; }
.prose dt:first-child { margin-top: 0; }
.prose dd { margin: 6px 0 0; }

/* Isolate the playful display type to the existing interactive artwork. */
.frame .num { font-family: var(--pixel); }
.bar .lbl { font: 15px var(--sans); }
.win a, .win a:visited { color: inherit; }
.win .gad { display: inline-block; width: 22px; height: 18px; border: 3px solid var(--blue); background: #fff; flex: none; }
.win .gad-r { box-shadow: inset -8px -5px 0 var(--blue); }
.win .num { font-family: var(--pixel); }
.vs { grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 28px; }
.vs-games th { white-space: normal; overflow-wrap: anywhere; overflow: visible; text-overflow: clip; font-size: 14px; }
.vs-games th:first-child { width: 38%; }

@media (max-width: 760px) {
  .vs { grid-template-columns: 1fr; }
}
@media (max-width: 640px) {
  body { font-size: 17px; }
  .strip { margin-top: 16px; padding: 0 16px 12px; }
  .strip nav { gap: 8px 20px; }
  .page { padding: 36px 16px 88px; }
  .title { margin-bottom: 36px; }
  .head h2 { font-size: 23px; }
  .rows th { font-size: 14px; padding: 8px 4px; }
  .rows td { font-size: 17px; padding: 10px 4px; }
  .rows .r { width: 2em; font-size: 15px; }
  .rows .v { padding-left: 8px; }
  .rows .hp { display: none; }
  .rows sup { display: block; margin: 2px 0 0; font-size: 12px; }
  .rows .ci { font-size: 12px; }
  .rows .state { font-size: 14px; }
  .plates { gap: 8px 20px; font-size: 15px; }
  .bar { grid-template-columns: minmax(0, 8.5em) 1fr 4.5em; gap: 8px; }
  .k-big { height: 72px; font-size: 56px; }
  .k-vs { padding: 8px 6px 12px; gap: 6px; }
  .win { font-size: 20px; }
  .tile dd { font-size: 28px; }
  .chart { --lbl: 15px; }
  section { margin-top: 44px; }
  .pager { font-size: 14px; gap: 16px; }
}