/* Architect-Ant project page — monochrome */
@font-face {
  font-family: "Architect Ant";
  src: url("../fonts/ArchitectAnt-Regular.woff2") format("woff2"), url("../fonts/ArchitectAnt-Regular.ttf") format("truetype");
  font-weight: 400; font-style: normal; font-display: swap;
}

:root {
  color-scheme: light;
  --ink: #0b0b0b;
  --ink-2: #2e2e2e;
  --muted: #6b6b6b;
  --faint: #a3a3a3;
  --rule: #e6e6e3;
  --rule-strong: #cfcfcb;
  --soft: #f6f6f4;
  --paper: #ffffff;
  --canvas: #f2f2ef;
  --nav-bg: rgba(255,255,255,.88);
  --glass: rgba(255,255,255,.92);
  --code-bg: #0b0b0b;
  --code-fg: #f1f1ee;
  --code-hi: #ffffff;
  --code-at: #9d9d98;
  --code-border: transparent;
  --bar-l: #b9b9b4;
  --bar-t1: #bdbdb8;
  --bar-t2: #ecece8;
  --menu-sub: #c9c9c5;
  --thumb-bg: #ffffff;
  --shadow: rgba(0,0,0,.12);
  --caret: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%230b0b0b' stroke-width='2.4' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m6 9 6 6 6-6'/%3E%3C/svg%3E");
  --serif: "Newsreader", "Iowan Old Style", Georgia, serif;
  --sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;
  --radius: 12px;
  --wrap: 1120px;
  --text: 720px;
}

/* dark theme: explicit choice, or the system preference when no choice was made */
:root[data-theme="dark"] {
  color-scheme: dark;
  --ink: #f2f2ee;
  --ink-2: #d3d3ce;
  --muted: #9b9b96;
  --faint: #6b6b67;
  --rule: #262625;
  --rule-strong: #3b3b39;
  --soft: #161615;
  --paper: #0c0c0b;
  --canvas: #141413;
  --nav-bg: rgba(12,12,11,.86);
  --glass: rgba(22,22,21,.92);
  --code-bg: #161615;
  --code-fg: #e6e6e1;
  --code-hi: #ffffff;
  --code-at: #85857f;
  --code-border: #262625;
  --bar-l: #5c5c59;
  --bar-t1: #6f6f6b;
  --bar-t2: #2a2a28;
  --menu-sub: #5a5a55;
  --thumb-bg: #141413;
  --shadow: rgba(0,0,0,.55);
  --caret: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%23f2f2ee' stroke-width='2.4' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m6 9 6 6 6-6'/%3E%3C/svg%3E");
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --ink: #f2f2ee;
    --ink-2: #d3d3ce;
    --muted: #9b9b96;
    --faint: #6b6b67;
    --rule: #262625;
    --rule-strong: #3b3b39;
    --soft: #161615;
    --paper: #0c0c0b;
    --canvas: #141413;
    --nav-bg: rgba(12,12,11,.86);
    --glass: rgba(22,22,21,.92);
    --code-bg: #161615;
    --code-fg: #e6e6e1;
    --code-hi: #ffffff;
    --code-at: #85857f;
    --code-border: #262625;
    --bar-l: #5c5c59;
    --bar-t1: #6f6f6b;
    --bar-t2: #2a2a28;
    --menu-sub: #5a5a55;
    --thumb-bg: #141413;
    --shadow: rgba(0,0,0,.55);
    --caret: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%23f2f2ee' stroke-width='2.4' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m6 9 6 6 6-6'/%3E%3C/svg%3E");
  }
}
/* paper figures have white backgrounds: present them on white cards in dark mode */
:root[data-theme="dark"] .teaser img, :root[data-theme="dark"] .fig img { background: #fff; padding: 12px; border-radius: 10px; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .teaser img, :root:not([data-theme="light"]) .fig img { background: #fff; padding: 12px; border-radius: 10px; }
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 72px; -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font: 400 16px/1.65 var(--sans); font-feature-settings: "ss01", "cv11";
  -webkit-font-smoothing: antialiased; text-rendering: optimizeLegibility;
}
img { max-width: 100%; display: block; }
a { color: inherit; text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { text-decoration-thickness: 2px; }
button { font: inherit; color: inherit; }
::selection { background: var(--ink); color: var(--paper); }
:focus-visible { outline: 2px solid var(--ink); outline-offset: 2px; }

.wrap { width: min(var(--wrap), 100% - 32px); margin-inline: auto; }
.text { max-width: var(--text); }

/* ---------- navigation ---------- */
.nav {
  position: sticky; top: 0; z-index: 50; background: var(--nav-bg);
  backdrop-filter: saturate(1.4) blur(10px); -webkit-backdrop-filter: saturate(1.4) blur(10px);
  border-bottom: 1px solid var(--rule);
}
.nav .wrap { display: flex; align-items: center; justify-content: space-between; height: 56px; gap: 16px; }
.brand { font: 400 16px/1 "Architect Ant", var(--sans); letter-spacing: 0; text-decoration: none; display: flex; align-items: center; gap: 10px; white-space: nowrap; }
.brand svg { width: 20px; height: 20px; flex: none; }
.nav ul { display: flex; gap: 22px; list-style: none; margin: 0; padding: 0; overflow-x: auto; scrollbar-width: none; }
.nav ul::-webkit-scrollbar { display: none; }
.nav a.link { font-size: 13.5px; color: var(--muted); text-decoration: none; white-space: nowrap; }
.nav a.link:hover, .nav a.link.active { color: var(--ink); }
.nav a.link .n, .nav .side-note { display: none; }
.nav li.sub:not(.keep) { display: none; }   /* top bar: sections (+ AntPlan) only */

/* logo follows the theme */
.logo-bg { fill: var(--ink); }
.logo-fg { fill: var(--paper); }

/* theme toggle */
.theme-toggle {
  flex: none; width: 34px; height: 34px; border-radius: 999px; border: 1px solid var(--rule-strong); background: var(--paper);
  color: var(--ink); cursor: pointer; display: inline-grid; place-items: center; padding: 0; font-size: 13.5px;
}
.theme-toggle:hover { border-color: var(--ink); }
.theme-toggle svg { width: 16px; height: 16px; }
.theme-toggle .i-sun, .theme-toggle .tl { display: none; }
.theme-toggle[aria-pressed="true"] .i-sun { display: block; }
.theme-toggle[aria-pressed="true"] .i-moon { display: none; }
.nav ul { margin-left: auto; }

/* wide screens: the navigation becomes a fixed left panel with larger entries */
@media (min-width: 1360px) {
  :root { --side: 252px; }
  html { scroll-padding-top: 28px; }
  body { padding-left: var(--side); }
  .nav {
    position: fixed; top: 0; bottom: 0; left: 0; width: var(--side); border-bottom: 0; border-right: 1px solid var(--rule);
    background: var(--paper); backdrop-filter: none; -webkit-backdrop-filter: none;
  }
  .nav .wrap { width: auto; height: 100%; margin: 0; padding: 36px 20px 28px 28px; flex-direction: column; align-items: stretch; justify-content: flex-start; gap: 0; overflow-y: auto; scrollbar-width: none; }
  .brand { font-size: 19px; gap: 11px; margin-bottom: 36px; flex: none; }
  .brand svg { width: 28px; height: 28px; }
  .nav ul { flex-direction: column; gap: 0; overflow: visible; }
  .nav li.sub:not(.keep) { display: list-item; }
  .nav a.link {
    display: flex; align-items: baseline; gap: 14px; font-size: 18px; font-weight: 500; letter-spacing: -.01em; color: var(--muted);
    padding: 8px 12px 8px 0; border-radius: 8px; position: relative;
  }
  .nav a.link .n { display: inline-block; width: 26px; flex: none; font: 500 11px/1 var(--mono); letter-spacing: .04em; color: var(--faint); }
  .nav li.sub a.link { font-size: 14.5px; font-weight: 400; padding-top: 4px; padding-bottom: 5px; }
  .nav li.sub + li:not(.sub) a.link { margin-top: 6px; }
  .nav a.link:hover { color: var(--ink); }
  .nav a.link.active { color: var(--ink); }
  .nav a.link.active .n { color: var(--muted); }
  .nav a.link.within { color: var(--ink-2); }
  .nav a.link.active::before { content: ""; position: absolute; left: -28px; top: 6px; bottom: 6px; width: 2px; background: var(--rule-strong); border-radius: 0 2px 2px 0; }
  .nav .hide-sm { display: list-item; }
  .nav ul { margin-left: 0; }
  .theme-toggle { margin-top: auto; width: auto; height: 36px; padding: 0 14px 0 12px; display: inline-flex; align-items: center; gap: 9px; align-self: flex-start; color: var(--ink-2); }
  .theme-toggle .tl { display: inline; }
  .nav .side-note { display: block; margin: 18px 0 0; font-size: 12.5px; line-height: 1.6; color: var(--muted); }
}

/* ---------- hero ---------- */
.hero { padding: 76px 0 28px; text-align: center; }
.eyebrow { font: 500 12px/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--muted); }
.hero h1 {
  font: 500 clamp(44px, 8vw, 88px)/1 var(--serif); letter-spacing: -.035em; margin: 22px 0 14px;
}
.hero .subtitle {
  font: 400 clamp(20px, 2.6vw, 28px)/1.3 var(--serif); color: var(--ink-2); margin: 0 auto; max-width: 760px;
  letter-spacing: -.01em;
}
.authors { margin: 34px auto 0; max-width: 820px; font-size: 16.5px; line-height: 1.9; }
.authors span { white-space: nowrap; margin: 0 10px; }
.authors sup, .affil sup { font-size: 10.5px; color: var(--muted); margin-left: 1px; }
.affil { color: var(--muted); font-size: 14px; margin-top: 6px; }
.affil span { margin: 0 10px; white-space: nowrap; }
.buttons { display: flex; flex-wrap: wrap; justify-content: center; gap: 10px; margin-top: 32px; }
.btn {
  display: inline-flex; align-items: center; gap: 8px; height: 40px; padding: 0 18px; border-radius: 999px;
  border: 1px solid var(--ink); background: var(--paper); text-decoration: none; font-size: 14px; font-weight: 500;
  transition: background .15s, color .15s;
}
.btn:hover { background: var(--ink); color: var(--paper); text-decoration: none; }
.btn.primary { background: var(--ink); color: var(--paper); }
.btn.primary:hover { background: var(--ink-2); }
.btn[aria-disabled="true"] { border-color: var(--rule-strong); background: var(--paper); color: var(--faint); pointer-events: none; }
.btn svg { width: 16px; height: 16px; }
.btn .soon { font: 500 10px/1 var(--mono); letter-spacing: .06em; text-transform: uppercase; }

.teaser { margin: 56px auto 0; }
.teaser img { width: 100%; height: auto; }
figure { margin: 0; }
figcaption, .caption { font-size: 13.5px; color: var(--muted); margin-top: 12px; line-height: 1.55; }
figcaption b, .caption b { color: var(--ink); font-weight: 600; }

/* ---------- tl;dr + stats ---------- */
.tldr { padding: 56px 0 8px; }
.tldr p {
  font: 400 clamp(20px, 2.3vw, 26px)/1.45 var(--serif); letter-spacing: -.012em; margin: 0 auto; max-width: 860px;
  text-align: center;
}
.stats {
  display: grid; grid-template-columns: repeat(5, 1fr); margin: 52px 0 0; border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--rule);
}
.stat { padding: 22px 18px 20px; border-left: 1px solid var(--rule); }
.stat:first-child { border-left: 0; }
.stat .v { font: 500 clamp(30px, 3.4vw, 42px)/1 var(--serif); letter-spacing: -.02em; }
.stat .v small { font-size: .5em; letter-spacing: 0; color: var(--muted); margin-left: 3px; }
.stat .k { font-size: 13px; color: var(--muted); margin-top: 10px; line-height: 1.4; }

/* ---------- sections ---------- */
section.block { padding: 104px 0 0; }
.sec-head { margin-bottom: 36px; }
.sec-num { font: 500 12px/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--muted); display: flex; align-items: center; gap: 12px; }
.sec-num::after { content: ""; flex: 1; height: 1px; background: var(--rule); }
h2 { font: 500 clamp(32px, 4.4vw, 48px)/1.08 var(--serif); letter-spacing: -.028em; margin: 18px 0 16px; }
h3 { font: 600 19px/1.3 var(--sans); letter-spacing: -.012em; margin: 56px 0 10px; }
h3 .tag { font: 500 11px/1 var(--mono); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin-right: 10px; vertical-align: 2px; }
.lede { font-size: 18px; line-height: 1.6; color: var(--ink-2); max-width: var(--text); margin: 0; }
p { margin: 0 0 14px; }
.prose p { max-width: var(--text); }
.prose p, .prose li { color: var(--ink-2); }
.prose ul { padding-left: 20px; max-width: var(--text); }
.prose li { margin: 4px 0; }
.muted { color: var(--muted); }
.small { font-size: 13.5px; }
code, kbd { font-family: var(--mono); font-size: .88em; }
kbd { border: 1px solid var(--rule-strong); border-bottom-width: 2px; border-radius: 5px; padding: 0 5px; background: var(--soft); }

/* ---------- controls ---------- */
.toolbar { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 12px; margin-bottom: 14px; }
.tabs { display: flex; flex-wrap: wrap; gap: 6px; }
.tab {
  border: 1px solid var(--rule-strong); background: var(--paper); height: 38px; padding: 0 16px; border-radius: 999px;
  cursor: pointer; font-size: 14px; display: inline-flex; align-items: center; gap: 8px; transition: all .15s;
}
.tab:hover { border-color: var(--ink); }
.tab[aria-selected="true"] { background: var(--ink); color: var(--paper); border-color: var(--ink); }
.tab .dim { font: 500 11.5px/1 var(--mono); opacity: .6; }
.seg { display: inline-flex; border: 1px solid var(--rule-strong); border-radius: 999px; padding: 3px; gap: 2px; background: var(--paper); }
.seg button {
  border: 0; background: transparent; height: 30px; padding: 0 14px; border-radius: 999px; cursor: pointer; font-size: 13px; color: var(--muted);
}
.seg button[aria-pressed="true"] { background: var(--ink); color: var(--paper); }

/* room-type dropdowns */
.dd { position: relative; }
.tab .caret { display: inline-grid; place-items: center; margin-left: -2px; opacity: .7; }
.tab[aria-expanded="true"] .caret { transform: rotate(180deg); }
.menu {
  position: absolute; z-index: 40; top: calc(100% + 6px); left: 0; width: 340px; max-width: calc(100vw - 32px);
  margin: 0; padding: 6px; list-style: none; background: var(--paper); border: 1px solid var(--ink); border-radius: 12px;
  box-shadow: 0 12px 32px var(--shadow); max-height: 70vh; overflow: auto;
}
.menu li { display: grid; grid-template-columns: 64px minmax(0, 1fr); gap: 12px; align-items: center; padding: 6px; border-radius: 8px; cursor: pointer; outline: none; }
.menu li:hover, .menu li:focus-visible { background: var(--soft); }
.menu li[aria-selected="true"] { background: var(--ink); color: var(--paper); }
.menu li[aria-selected="true"] .ms { color: var(--menu-sub); }
.menu li[aria-selected="true"] .figtag { border-color: var(--paper); }
.menu img { width: 64px; height: 64px; object-fit: cover; border-radius: 6px; background: var(--thumb-bg); }
.menu .mt { font-size: 14px; line-height: 1.3; }
.menu .ms { font: 500 11px/1.4 var(--mono); color: var(--muted); margin-top: 3px; }
.figtag { font: 600 9.5px/1 var(--mono); letter-spacing: .06em; text-transform: uppercase; border: 1px solid var(--ink); border-radius: 999px; padding: 3px 6px; margin-left: 8px; vertical-align: 1px; white-space: nowrap; }
.room-line { display: flex; align-items: center; gap: 10px; margin: 0 0 12px; font-size: 14px; color: var(--ink-2); }
.room-line > span { min-width: 0; line-height: 1.5; }
.room-line .step { flex: none; }
.room-line b { font-weight: 600; color: var(--ink); }
.step { width: 30px; height: 30px; border-radius: 50%; border: 1px solid var(--rule-strong); background: var(--paper); cursor: pointer; font: 500 17px/1 var(--sans); display: inline-grid; place-items: center; padding: 0 0 2px; }
.step:hover { border-color: var(--ink); }

/* ---------- 3D viewers ---------- */
.stage { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 12px; }
.stage.single { grid-template-columns: 1fr; }
.stage.single .panel[data-slot="B"] { display: none; }
.panel {
  position: relative; border: 1px solid var(--rule); border-radius: var(--radius); background: var(--canvas); overflow: hidden;
  display: flex; flex-direction: column; min-width: 0;
}
.panel:fullscreen { border-radius: 0; border: 0; }
.panel-head {
  display: flex; align-items: center; justify-content: space-between; gap: 10px; padding: 10px 12px 10px 14px;
  background: var(--paper); border-bottom: 1px solid var(--rule); min-height: 54px;
}
.slot { font: 600 11px/1 var(--mono); width: 22px; height: 22px; border-radius: 50%; background: var(--ink); color: var(--paper); display: inline-grid; place-items: center; flex: none; }
.picker { position: relative; display: flex; align-items: center; gap: 10px; min-width: 0; }
.picker select:disabled { color: var(--ink); opacity: 1; cursor: default; }
.picker select {
  appearance: none; -webkit-appearance: none; border: 0; background: transparent; font: 600 16px/1.2 var(--sans);
  letter-spacing: -.01em; padding: 4px 22px 4px 0; cursor: pointer; min-width: 0; max-width: 100%; text-overflow: ellipsis;
  background-image: var(--caret);
  background-repeat: no-repeat; background-position: right 2px center;
}
.panel-meta { font: 500 12px/1.2 var(--mono); color: var(--muted); text-align: right; white-space: nowrap; }
.panel-meta b { color: var(--ink); font-weight: 600; }
.viewport { position: relative; aspect-ratio: 4 / 3; width: 100%; cursor: grab; touch-action: none; }
.viewport:active { cursor: grabbing; }
.stage.single .viewport { aspect-ratio: 16 / 9; }
.panel:fullscreen .viewport { aspect-ratio: auto; flex: 1; }
.viewport canvas { position: absolute; inset: 0; width: 100% !important; height: 100% !important; display: block; outline: none; }
.poster { position: absolute; inset: 0; display: grid; place-items: center; background: var(--canvas); transition: opacity .35s; pointer-events: none; }
.poster img { width: 100%; height: 100%; object-fit: contain; opacity: .5; filter: grayscale(1); }
.poster.hidden { opacity: 0; }
.loader {
  position: absolute; left: 50%; bottom: 18px; transform: translateX(-50%); font: 500 11.5px/1 var(--mono);
  background: var(--paper); border: 1px solid var(--rule-strong); border-radius: 999px; padding: 7px 12px; display: flex; align-items: center; gap: 10px;
}
.loader .bar { width: 90px; height: 2px; background: var(--rule); position: relative; overflow: hidden; border-radius: 2px; }
.loader .bar i { position: absolute; inset: 0 auto 0 0; width: 0; background: var(--ink); transition: width .15s; }
.hud { position: absolute; left: 10px; bottom: 10px; right: 10px; display: flex; justify-content: space-between; align-items: flex-end; gap: 8px; pointer-events: none; }
.tools { display: flex; gap: 4px; pointer-events: auto; background: var(--glass); border: 1px solid var(--rule); border-radius: 999px; padding: 3px; }
.tool {
  border: 0; background: transparent; width: 32px; height: 30px; border-radius: 999px; cursor: pointer; display: grid; place-items: center; color: var(--ink-2);
}
.tool:hover { background: var(--soft); color: var(--ink); }
.tool[aria-pressed="true"] { background: var(--ink); color: var(--paper); }
.tool svg { width: 16px; height: 16px; }
.hint { font: 500 11px/1.3 var(--mono); color: var(--muted); background: var(--glass); border-radius: 6px; padding: 4px 7px; }
.range { display: flex; align-items: center; gap: 8px; pointer-events: auto; background: var(--glass); border: 1px solid var(--rule); border-radius: 999px; padding: 0 12px; height: 38px; font: 500 11px/1 var(--mono); color: var(--muted); }
.range input { width: 96px; accent-color: var(--ink); }
.badge-win { font: 600 10.5px/1 var(--mono); letter-spacing: .06em; text-transform: uppercase; border: 1px solid var(--ink); border-radius: 999px; padding: 5px 8px; white-space: nowrap; }
.badge-win.on { background: var(--ink); color: var(--paper); }
.error { position: absolute; inset: 0; display: grid; place-items: center; text-align: center; padding: 20px; font-size: 14px; color: var(--muted); }

/* method strip */
.strip { display: grid; grid-template-columns: repeat(8, minmax(0, 1fr)); gap: 8px; margin-top: 12px; }
.card {
  position: relative; border: 1px solid var(--rule); border-radius: 10px; background: var(--paper); padding: 0; overflow: hidden; cursor: pointer; text-align: left;
  transition: border-color .15s, transform .15s;
}
.card:hover { border-color: var(--ink); }
.card img { width: 100%; aspect-ratio: 1 / 1; object-fit: cover; background: var(--thumb-bg); }
.card .nm { font-size: 12.5px; font-weight: 600; padding: 7px 8px 2px; letter-spacing: -.005em; line-height: 1.2; }
.card .sc { font: 500 10.5px/1.2 var(--mono); color: var(--muted); padding: 0 8px 8px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.card .slots { position: absolute; top: 6px; right: 6px; display: flex; gap: 3px; }
.card .slots span { font: 600 10px/1 var(--mono); width: 18px; height: 18px; border-radius: 50%; background: var(--ink); color: var(--paper); display: grid; place-items: center; }
.card[aria-current="true"] { border-color: var(--ink); box-shadow: inset 0 0 0 1px var(--ink); }
.card.ours .nm::after { content: " ★"; font-size: 10px; }
.strip-note { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; margin-top: 10px; }

/* room details */
.details { display: grid; grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr); gap: 28px; margin-top: 40px; }
.details h4 { font: 500 12px/1 var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--muted); margin: 0 0 14px; }
.judges { display: flex; flex-wrap: wrap; gap: 8px; margin: 14px 0 0; }
.room-votes { margin-top: 30px; padding-top: 18px; border-top: 1px solid var(--rule); }
.room-votes h4 { font: 500 12px/1.5 var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--muted); margin: 0; }
.judge { border: 1px solid var(--rule-strong); border-radius: 999px; padding: 6px 12px; font-size: 13px; }
.judge b { font-weight: 600; }

/* code */
.code {
  background: var(--code-bg); color: var(--code-fg); border: 1px solid var(--code-border); border-radius: var(--radius); padding: 16px 18px; overflow: auto; font: 400 12.5px/1.7 var(--mono);
  margin: 0; max-height: 360px; tab-size: 2;
}
.code .kw { color: var(--code-hi); font-weight: 600; }
.code .at { color: var(--code-at); }
.code .nu { color: var(--code-hi); }

/* ---------- tables ---------- */
.table-wrap { overflow-x: auto; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); -webkit-overflow-scrolling: touch; }
table { width: 100%; border-collapse: collapse; font-size: 14px; font-variant-numeric: tabular-nums; }
th, td { padding: 10px 10px; text-align: right; white-space: nowrap; }
th:first-child, td:first-child { text-align: left; padding-left: 4px; }
thead th { font: 500 11.5px/1.3 var(--mono); letter-spacing: .02em; color: var(--muted); border-bottom: 1px solid var(--rule-strong); vertical-align: bottom; }
thead tr.group th { border-bottom: 0; color: var(--ink); padding-bottom: 2px; text-align: center; }
tbody td { border-bottom: 1px solid var(--rule); }
tbody tr:last-child td { border-bottom: 0; }
tbody tr.ours td { background: var(--soft); }
tbody tr.ours td:first-child { font-weight: 600; }
td.best { font-weight: 700; }
td.second { text-decoration: underline; text-underline-offset: 3px; text-decoration-thickness: 1px; }
td.sep, th.sep { border-left: 1px solid var(--rule); }
td .sub { color: var(--muted); font-weight: 400; font-size: 12px; }
.table-note { font-size: 12.5px; color: var(--muted); margin-top: 10px; max-width: 880px; }
.mini td, .mini th { padding: 8px 8px; font-size: 13px; }
.mini tbody tr { cursor: pointer; }
.mini tbody tr:hover td { background: var(--soft); }
.mini tbody tr.inA td:first-child::before, .mini tbody tr.inB td:first-child::after { font: 600 9.5px/1 var(--mono); }
.pill { font: 600 9.5px/1 var(--mono); background: var(--ink); color: var(--paper); border-radius: 50%; width: 16px; height: 16px; display: inline-grid; place-items: center; margin-right: 6px; vertical-align: 1px; }
.pill.ghost { background: transparent; color: transparent; }
.dot { display: inline-block; width: 9px; height: 9px; border-radius: 50%; border: 1.5px solid var(--ink); vertical-align: 0; }
.dot.on { background: var(--ink); }

/* ---------- cards / grids ---------- */
.three { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0; border-top: 1px solid var(--ink); }
.three > div { padding: 22px 22px 8px 0; }
.three > div + div { padding-left: 22px; border-left: 1px solid var(--rule); }
.three .n { font: 500 12px/1 var(--mono); color: var(--muted); }
.three h4 { font: 500 23px/1.2 var(--serif); letter-spacing: -.015em; margin: 12px 0 8px; }
.three p { font-size: 14.5px; color: var(--ink-2); }
.fig { margin: 30px 0 0; }
.fig img { width: 100%; height: auto; border-radius: 4px; }
.split { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 36px; align-items: start; }
.formula { font: 400 24px/1.3 var(--serif); padding: 22px 0; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); margin: 18px 0; text-align: center; letter-spacing: -.01em; }
.formula i { font-style: italic; }
.kv { display: grid; grid-template-columns: auto 1fr; gap: 6px 18px; font-size: 14px; margin: 14px 0 0; }
.kv dt { font: 500 12px/1.7 var(--mono); color: var(--muted); }
.kv dd { margin: 0; color: var(--ink-2); }

/* preference bars */
.pref { display: grid; gap: 26px; margin-top: 8px; }
.pref-judge h4 { font: 600 14px/1 var(--sans); margin: 0 0 12px; }
.pref-row { display: grid; grid-template-columns: 150px minmax(0, 1fr) 90px; align-items: center; gap: 14px; margin: 7px 0; font-size: 13.5px; }
.pref-row .lab { color: var(--ink-2); }
.pref-row .lab span { font: 500 11px/1 var(--mono); color: var(--muted); margin-left: 4px; }
.pref-row .val { font: 500 12px/1 var(--mono); text-align: right; color: var(--ink-2); }
.bar { display: flex; gap: 2px; height: 22px; }
.bar i { display: block; height: 100%; position: relative; }
.bar i:first-child { border-radius: 4px 0 0 4px; }
.bar i:last-child { border-radius: 0 4px 4px 0; }
.bar .w { background: var(--ink); }
.bar .t, .lg-t { background: repeating-linear-gradient(135deg, var(--bar-t1) 0 2px, var(--bar-t2) 2px 5px); }
.bar .l, .lg-l { background: var(--bar-l); }
.lg-w { background: var(--ink); }
.bar i[data-tip]:hover::after {
  content: attr(data-tip); position: absolute; bottom: calc(100% + 6px); left: 50%; transform: translateX(-50%); white-space: nowrap;
  background: var(--ink); color: var(--paper); font: 500 11px/1 var(--mono); padding: 6px 8px; border-radius: 6px; z-index: 5;
}
.bar i.w span { position: absolute; left: 8px; top: 50%; transform: translateY(-50%); color: var(--paper); font: 600 11px/1 var(--mono); }
.legend { display: flex; flex-wrap: wrap; gap: 18px; font-size: 12.5px; color: var(--ink-2); margin: 4px 0 6px; }
.legend i { display: inline-block; width: 12px; height: 12px; border-radius: 3px; vertical-align: -1px; margin-right: 6px; }

/* bibtex */
.bib { position: relative; }
.bib pre { background: var(--soft); border: 1px solid var(--rule); border-radius: var(--radius); padding: 20px; font: 400 13px/1.7 var(--mono); overflow-x: auto; margin: 0; }
.copy { position: absolute; top: 12px; right: 12px; height: 32px; padding: 0 12px; border-radius: 999px; border: 1px solid var(--ink); background: var(--paper); cursor: pointer; font-size: 12.5px; }
.copy:hover { background: var(--ink); color: var(--paper); }

footer { margin-top: 120px; border-top: 1px solid var(--rule); padding: 36px 0 56px; font-size: 13px; color: var(--muted); }
footer .wrap { display: flex; justify-content: space-between; gap: 24px; flex-wrap: wrap; }
footer p { max-width: 640px; margin: 0; }


/* ---------- responsive ---------- */
@media (max-width: 1020px) {
  .strip { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .details { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 820px) {
  .stage { grid-template-columns: minmax(0, 1fr); }
  .stats { grid-template-columns: repeat(2, 1fr); }
  .stat { border-left: 0; border-top: 1px solid var(--rule); }
  .stat:nth-child(even) { border-left: 1px solid var(--rule); }
  .stat:nth-child(-n+2) { border-top: 0; }
  .stat:last-child { grid-column: 1 / -1; }
  .three { grid-template-columns: 1fr; }
  .three > div, .three > div + div { padding: 20px 0 6px; border-left: 0; border-top: 1px solid var(--rule); }
  .three > div:first-child { border-top: 0; }
  .split { grid-template-columns: minmax(0, 1fr); gap: 12px; }
  .pref-row { grid-template-columns: 96px minmax(0, 1fr) 76px; gap: 8px; }
  .pref-row .val { font-size: 11px; white-space: nowrap; }
  .nav ul { gap: 16px; }
  .nav .hide-sm { display: none; }
  section.block { padding-top: 80px; }
}
@media (max-width: 560px) {
  .hero { padding-top: 48px; }
  .strip { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .panel-meta { display: none; }
  .authors span { margin: 0 6px; }
  .affil span { display: block; white-space: normal; margin: 2px 0; }
  .stage.single .viewport, .viewport { aspect-ratio: 1 / 1; }
  .nav .wrap { height: 52px; }
  .nav ul { display: none; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
}