:root {
  --bg: #ffffff;
  --bg-alt: #f6f8fb;
  --ink: #161b26;
  --ink-2: #3c4555;
  --muted: #6b7486;
  --line: #e3e7ee;
  --accent: #234e9e;
  --accent-2: #1a3d7e;
  --accent-soft: #eaf0fb;
  --ours: #eef4ff;
  --good: #1f7a46;
  --bad: #b4372f;
  --radius: 10px;
  --shadow: 0 1px 2px rgba(16, 24, 40, .05), 0 4px 16px rgba(16, 24, 40, .06);
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: Inter, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --mono: "JetBrains Mono", Menlo, Consolas, monospace;
  --navh: 56px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--navh) + 12px); }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font: 16px/1.65 var(--sans); -webkit-font-smoothing: antialiased;
}
img { max-width: 100%; height: auto; display: block; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 4px; }
sup { font-size: .7em; }

.skip { position: absolute; left: -999px; top: 8px; background: var(--accent); color: #fff; padding: 8px 14px; border-radius: 6px; z-index: 100; }
.skip:focus { left: 12px; }

.wrap { max-width: 1160px; margin: 0 auto; padding: 0 24px; }
.wrap.narrow { max-width: 860px; }
.narrow-text { max-width: 760px; margin-left: auto; margin-right: auto; }
.center { text-align: center; }
.muted { color: var(--muted); }

/* ---------- nav ---------- */
.nav {
  position: sticky; top: 0; z-index: 50; height: var(--navh);
  background: rgba(255, 255, 255, .92); backdrop-filter: saturate(160%) blur(8px);
  border-bottom: 1px solid transparent; transition: border-color .2s;
}
.nav.scrolled { border-bottom-color: var(--line); }
.nav-inner { max-width: 1160px; margin: 0 auto; padding: 0 24px; height: 100%; display: flex; align-items: center; justify-content: space-between; }
.brand { font: 700 19px/1 var(--serif); letter-spacing: .06em; color: var(--ink); }
.brand:hover { text-decoration: none; }
.nav-links { display: flex; gap: 4px; }
.nav-links a { color: var(--ink-2); font-size: 14.5px; font-weight: 500; padding: 6px 11px; border-radius: 6px; }
.nav-links a:hover { background: var(--bg-alt); text-decoration: none; color: var(--ink); }
.nav-links a.active { color: var(--accent); background: var(--accent-soft); }
.nav-toggle { display: none; background: none; border: 0; padding: 8px; cursor: pointer; }
.nav-toggle span { display: block; width: 22px; height: 2px; background: var(--ink); margin: 4px 0; border-radius: 2px; transition: transform .2s, opacity .2s; }

/* ---------- hero ---------- */
.hero { padding: 56px 0 24px; }
.venue { margin: 0 0 6px; font-size: 13px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--accent); }
.acronym { margin: 0; font: 700 clamp(56px, 9vw, 92px)/1 var(--serif); letter-spacing: .04em; color: var(--ink); }
.title { margin: 14px auto 6px; font: 600 clamp(21px, 2.8vw, 30px)/1.3 var(--serif); max-width: 760px; }
.expansion { margin: 0 0 22px; color: var(--muted); font-size: 15px; }
.expansion b { color: var(--accent); font-weight: 700; }
.authors { margin: 0; font-size: 17.5px; display: flex; flex-wrap: wrap; justify-content: center; gap: 4px 22px; }
.affils { margin: 6px 0 0; color: var(--muted); font-size: 14.5px; display: flex; flex-wrap: wrap; justify-content: center; gap: 2px 18px; }
.links { display: flex; flex-wrap: wrap; justify-content: center; gap: 10px; margin: 26px 0 8px; }
.btn {
  display: inline-flex; align-items: center; gap: 8px; padding: 9px 18px; border-radius: 999px;
  background: var(--ink); color: #fff; font-weight: 600; font-size: 15px; border: 1px solid var(--ink);
  transition: transform .15s, background .15s;
}
.btn svg { width: 18px; height: 18px; }
.btn:hover { text-decoration: none; background: var(--accent); border-color: var(--accent); transform: translateY(-1px); }
.btn.ghost { background: #fff; color: var(--ink); border-color: var(--line); }
.btn.ghost:hover { color: #fff; }

.teaser { margin-top: 30px; }
.teaser-fig { margin: 0 auto; max-width: 900px; }
.teaser-flow { display: flex; flex-wrap: wrap; justify-content: center; align-items: center; gap: 6px 8px; margin-bottom: 14px; font-size: 13.5px; }
.teaser-flow span { padding: 4px 11px; border: 1px solid var(--line); border-radius: 999px; background: var(--bg-alt); color: var(--ink-2); }
.teaser-flow span.hl { background: var(--accent); border-color: var(--accent); color: #fff; font-weight: 600; }
.teaser-flow i { font-style: normal; color: var(--muted); }
.teaser-fig img { width: 100%; border-radius: var(--radius); box-shadow: var(--shadow); background: #111; }
figcaption { color: var(--ink-2); font-size: 14.5px; line-height: 1.55; margin-top: 12px; }
.teaser-fig figcaption { text-align: center; max-width: 780px; margin: 14px auto 0; }

/* ---------- sections ---------- */
.section { padding: 72px 0; }
.section.alt { background: var(--bg-alt); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
h2 { font: 700 clamp(26px, 3.2vw, 34px)/1.2 var(--serif); text-align: center; margin: 0 0 14px; }
h3 { font: 600 19px/1.3 var(--serif); margin: 0 0 8px; }
h3.sub { font-size: 21px; margin: 44px 0 14px; }
h4 { margin: 0 0 6px; font-size: 15.5px; font-weight: 700; }
.lead { color: var(--ink-2); font-size: 17px; margin: 0 auto 34px; }
.abstract { text-align: justify; hyphens: auto; font-size: 16.5px; line-height: 1.75; color: var(--ink-2); }
.m { font-family: var(--serif); font-style: italic; white-space: nowrap; }
.note { color: var(--ink-2); font-size: 14.5px; }

/* cards */
.cards { display: grid; gap: 18px; }
.cards.three { grid-template-columns: repeat(3, 1fr); }
.card { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 22px 22px 18px; }
.card p { margin: 0; color: var(--ink-2); font-size: 15px; }
.card.accent { border-top: 3px solid var(--accent); }
.card-tag { display: inline-block; font-size: 12px; font-weight: 700; letter-spacing: .03em; padding: 2px 9px; border-radius: 999px; margin-bottom: 10px; }
.card-tag.bad { color: var(--bad); background: #fbecea; }
.callout { margin: 26px auto 0; max-width: 900px; padding: 18px 22px; border-left: 4px solid var(--accent); background: #fff; border-radius: 0 var(--radius) var(--radius) 0; }
.callout p { margin: 0; color: var(--ink-2); }

/* architecture */
.arch { margin: 10px auto 0; }
.arch a { display: block; background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 14px; box-shadow: var(--shadow); }
.arch img { width: 100%; }
.arch figcaption { max-width: 900px; margin: 14px auto 0; text-align: center; }
.method-text { margin-top: 26px; }
.method-text p { color: var(--ink-2); }

/* steps */
.steps { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 14px; counter-reset: s; }
.steps li { position: relative; background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 18px 18px 14px 18px; }
.steps li p { margin: 0; font-size: 14.5px; color: var(--ink-2); }
.steps .num { display: inline-grid; place-items: center; width: 26px; height: 26px; border-radius: 50%; background: var(--accent); color: #fff; font-size: 13px; font-weight: 700; margin-bottom: 8px; }

.details { margin-top: 26px; display: grid; gap: 10px; }
details { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); }
summary { cursor: pointer; padding: 13px 18px; font-weight: 600; list-style: none; }
summary::-webkit-details-marker { display: none; }
summary::before { content: "+"; display: inline-block; width: 18px; color: var(--accent); font-weight: 700; }
details[open] summary::before { content: "–"; }
.details-body { padding: 0 20px 14px; color: var(--ink-2); font-size: 15px; }
.details-body ul { margin: 0; padding-left: 18px; }
.details-body li { margin: 4px 0; }
.prompt { white-space: pre-wrap; font: 13.5px/1.6 var(--mono); background: var(--bg-alt); padding: 14px 16px; border-radius: 8px; margin: 0; }

/* stats */
.stat-row { display: grid; grid-template-columns: repeat(4, 1fr); gap: 14px; margin-top: 30px; }
.stat { text-align: center; padding: 18px 10px; border-radius: var(--radius); background: #fff; border: 1px solid var(--line); }
.stat b { display: block; font: 700 28px/1.2 var(--serif); color: var(--accent); }
.stat span { font-size: 13px; color: var(--muted); line-height: 1.4; }

/* gallery */
.gallery { display: grid; grid-template-columns: 1fr 1fr; gap: 22px; }
.g-item { margin: 0; background: #fff; border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden; box-shadow: var(--shadow); }
.g-item.wide { grid-column: 1 / -1; }
.g-item.wide img { max-width: 920px; margin: 0 auto; }
.g-item img { width: 100%; aspect-ratio: 800 / 503; object-fit: contain; background: #0d0f14; }
.query { padding: 14px 18px; font-family: var(--serif); font-style: italic; font-size: 16px; color: var(--ink); border-bottom: 1px solid var(--line); }
.q-label { font: 700 11px/1 var(--sans); font-style: normal; letter-spacing: .08em; text-transform: uppercase; color: var(--accent); background: var(--accent-soft); padding: 4px 7px; border-radius: 4px; margin-right: 10px; vertical-align: 2px; }
.g-item figcaption { margin: 0; padding: 12px 18px 16px; }
.pill { display: inline-block; font-size: 11.5px; font-weight: 600; padding: 2px 8px; border-radius: 999px; background: var(--bg-alt); border: 1px solid var(--line); color: var(--ink-2); margin-right: 6px; }

/* tables */
.table-wrap { overflow-x: auto; -webkit-overflow-scrolling: touch; border: 1px solid var(--line); border-radius: var(--radius); background: #fff; }
table.results { border-collapse: collapse; width: 100%; font-size: 13.5px; font-variant-numeric: tabular-nums; }
table.results caption { caption-side: top; text-align: left; padding: 12px 14px 10px; color: var(--ink-2); font-size: 13.5px; line-height: 1.5; }
table.results caption.sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
table.results th, table.results td { padding: 6px 9px; text-align: center; white-space: nowrap; }
table.results thead th { font-weight: 600; background: #fafbfd; border-bottom: 1px solid var(--line); }
table.results thead tr:first-child th { border-top: 1px solid var(--line); }
table.results .l { text-align: left; }
table.results tbody tr:hover td { background: #fafbfd; }
table.results tr.group td { background: var(--bg-alt); font-weight: 600; font-size: 12.5px; letter-spacing: .03em; color: var(--ink-2); text-align: center; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
table.results tr.sep td { border-top: 1px solid var(--line); }
table.results tr.ours td { background: var(--ours); }
table.results tr.ours td:first-child { font-weight: 700; color: var(--accent-2); box-shadow: inset 3px 0 0 var(--accent); }
table.results td.hl { background: var(--ours); }
table.results th[colspan] { border-left: 1px solid var(--line); }
table.compact { font-size: 13px; }

.two-col { display: grid; grid-template-columns: 1.1fr 1fr; gap: 28px; align-items: start; }
.two-col > *, .abl-grid > *, .gallery > *, .cards > * { min-width: 0; }
.two-col.tight { grid-template-columns: 1fr 1.3fr; align-items: center; }

/* ablations */
.abl-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 22px; }
.abl { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 22px; }
.abl > p { color: var(--ink-2); font-size: 14.5px; margin: 14px 0 0; }
.abl .table-wrap { margin-top: 14px; }
.bars { display: grid; gap: 6px; }
.bar { display: grid; grid-template-columns: 150px 1fr 40px; align-items: center; gap: 10px; font-size: 13px; }
.bar .bl { color: var(--ink-2); text-align: right; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.bar .bt { height: 14px; background: var(--bg-alt); border-radius: 3px; overflow: hidden; }
.bar .bt i { display: block; height: 100%; width: calc((var(--v) - var(--min, 0)) / (var(--max, 100) - var(--min, 0)) * 100%); background: #9fb3d6; border-radius: 3px; }
.bar b { font-weight: 600; font-variant-numeric: tabular-nums; }
.bar.ours .bt i { background: var(--accent); }
.bar.ours .bl, .bar.ours b { color: var(--accent); font-weight: 700; }
.bar.oracle .bt i { background: repeating-linear-gradient(45deg, #c7cfdc 0 4px, #e3e7ee 4px 8px); }
.bar.oracle .bl { font-style: italic; }
.bars-cap { font-size: 12px !important; color: var(--muted) !important; margin: 6px 0 0 !important; text-align: right; }
.spark { width: 100%; max-width: 420px; display: block; margin: 14px auto 0; }
.spark .ax line { stroke: var(--line); }
.spark polyline { fill: none; stroke: var(--accent); stroke-width: 2.2; }
.spark .pts circle { fill: #fff; stroke: var(--accent); stroke-width: 2; }
.spark .pts circle.best { fill: var(--accent); }
.spark .lab text { font: 11px var(--sans); fill: var(--muted); text-anchor: middle; }

/* resources */
.res-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; }
.res { display: block; padding: 24px; border: 1px solid var(--line); border-radius: var(--radius); background: #fff; transition: border-color .15s, transform .15s, box-shadow .15s; }
.res:hover { text-decoration: none; border-color: var(--accent); transform: translateY(-2px); box-shadow: var(--shadow); }
.res-k { display: block; font: 700 21px/1.2 var(--serif); color: var(--ink); margin-bottom: 6px; }
.res-k::after { content: " →"; color: var(--accent); }
.res-d { color: var(--muted); font-size: 14.5px; }

/* citation */
.bib { position: relative; }
.bib pre { margin: 0; background: #11151d; color: #e6e9ef; padding: 22px 20px; border-radius: var(--radius); overflow-x: auto; font: 13.5px/1.6 var(--mono); }
.copy { position: absolute; top: 10px; right: 10px; background: #2a3140; color: #fff; border: 1px solid #3a4253; font: 600 12.5px var(--sans); padding: 6px 12px; border-radius: 6px; cursor: pointer; }
.copy:hover { background: var(--accent); border-color: var(--accent); }
.copy.done { background: var(--good); border-color: var(--good); }

.footer { padding: 34px 0 44px; text-align: center; color: var(--muted); font-size: 14px; border-top: 1px solid var(--line); }
.footer p { margin: 4px 0; }
.flinks a { margin: 0 10px; }

/* ---------- responsive ---------- */
@media (max-width: 960px) {
  .cards.three, .res-grid { grid-template-columns: 1fr; }
  .stat-row { grid-template-columns: 1fr 1fr; }
  .two-col, .two-col.tight, .abl-grid { grid-template-columns: 1fr; }
}
@media (max-width: 760px) {
  .nav-toggle { display: block; }
  .nav-links {
    position: absolute; top: var(--navh); left: 0; right: 0; flex-direction: column; gap: 0;
    background: #fff; border-bottom: 1px solid var(--line); padding: 6px 12px 12px; display: none;
  }
  .nav-links.open { display: flex; }
  .nav-links a { padding: 10px 12px; }
  .nav-toggle[aria-expanded="true"] span:nth-child(1) { transform: translateY(6px) rotate(45deg); }
  .nav-toggle[aria-expanded="true"] span:nth-child(2) { opacity: 0; }
  .nav-toggle[aria-expanded="true"] span:nth-child(3) { transform: translateY(-6px) rotate(-45deg); }
  .gallery { grid-template-columns: 1fr; }
  .section { padding: 52px 0; }
  .wrap, .nav-inner { padding: 0 16px; }
  .hero { padding-top: 36px; }
  .abstract { text-align: left; }
  .bar { grid-template-columns: 110px 1fr 36px; }
  .arch a { padding: 6px; }
  .teaser-flow i { display: none; }
}