/* ReFoRM project page
   Set in Libertinus, the open successor of the Linux Libertine family used in ACM proceedings.
   Color is reserved for meaning: relation states and the ReFoRM series. */

@font-face { font-family: 'Libertinus Serif'; font-style: normal; font-weight: 400; font-display: swap; src: url('assets/fonts/libertinus-serif-400.woff2') format('woff2'); }
@font-face { font-family: 'Libertinus Serif'; font-style: italic; font-weight: 400; font-display: swap; src: url('assets/fonts/libertinus-serif-400-italic.woff2') format('woff2'); }
@font-face { font-family: 'Libertinus Serif'; font-style: normal; font-weight: 600; font-display: swap; src: url('assets/fonts/libertinus-serif-600.woff2') format('woff2'); }
@font-face { font-family: 'Libertinus Serif'; font-style: italic; font-weight: 600; font-display: swap; src: url('assets/fonts/libertinus-serif-600-italic.woff2') format('woff2'); }
@font-face { font-family: 'Libertinus Sans'; font-style: normal; font-weight: 400; font-display: swap; src: url('assets/fonts/libertinus-sans-400.woff2') format('woff2'); }
@font-face { font-family: 'Libertinus Sans'; font-style: normal; font-weight: 700; font-display: swap; src: url('assets/fonts/libertinus-sans-700.woff2') format('woff2'); }

:root {
  --bg: #ffffff;
  --ink: #1a1d21;
  --ink-2: #3b4149;
  --muted: #646b74;
  --faint: #8d939b;
  --rule: #e3e5e8;
  --rule-strong: #c8ccd2;
  --panel: #f6f7f8;
  --plate: #ffffff;
  --tint: #eef3f9;
  --accent: #1f4f8f;
  --accent-soft: #c9d8ec;

  --preserved: #157a6c;
  --reversed: #b0620a;
  --contradicted: #b3372d;
  --unverified: #868c95;

  --serif: 'Libertinus Serif', Georgia, 'Times New Roman', serif;
  --sans: 'Libertinus Sans', 'Gill Sans', 'Segoe UI', system-ui, sans-serif;
  --mono: ui-monospace, 'SF Mono', Menlo, Consolas, monospace;

  --container: 1200px;
  --pad: 32px;
  --header-h: 60px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #141619;
    --ink: #e8eaed;
    --ink-2: #c6cad0;
    --muted: #9ba2ab;
    --faint: #737a83;
    --rule: #2a2e34;
    --rule-strong: #3d434b;
    --panel: #1a1d21;
    --plate: #1f2328;
    --tint: #1c2633;
    --accent: #8db5ea;
    --accent-soft: #2d4466;
    --preserved: #4fbfae;
    --reversed: #e39a45;
    --contradicted: #ee7b70;
    --unverified: #8e959e;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--header-h) + 20px); -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 400 20.5px/1.6 var(--serif);
  font-kerning: normal;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}
h1, h2, h3, h4 { margin: 0; font-weight: 600; line-height: 1.2; text-wrap: balance; }
p, li, dd, figcaption { text-wrap: pretty; }
p { margin: 0 0 1em; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; text-decoration-thickness: 1px; }
img { max-width: 100%; }
button { font: inherit; color: inherit; cursor: pointer; }
sup { font-size: .62em; line-height: 0; vertical-align: .55em; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 3px; }
::selection { background: var(--accent-soft); }


.skip-link { position: absolute; left: 12px; top: -48px; z-index: 100; padding: 8px 14px; background: var(--ink); color: var(--bg); font: 15px var(--sans); border-radius: 6px; }
.skip-link:focus { top: 10px; }

/* Header */
.site-header {
  position: sticky; top: 0; z-index: 50;
  background: color-mix(in srgb, var(--bg) 90%, transparent);
  -webkit-backdrop-filter: saturate(1.4) blur(10px);
  backdrop-filter: saturate(1.4) blur(10px);
  border-bottom: 1px solid transparent;
  transition: border-color .2s;
}
.site-header.is-scrolled { border-bottom-color: var(--rule); }
.header-inner {
  width: min(var(--container), 100%); margin-inline: auto; padding-inline: var(--pad);
  height: var(--header-h); display: flex; align-items: center; gap: 32px;
}
.wordmark { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); font: 600 22px/1 var(--serif); letter-spacing: -.005em; }
.wordmark:hover { text-decoration: none; }
.mark {width:25px;height:25px;flex:none;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round;color:var(--accent)}
.site-nav { margin-left: auto; display: flex; gap: 22px; font: 15.5px/1 var(--sans); }
.site-nav a { color: var(--muted); padding-block: 8px; border-bottom: 1.5px solid transparent; }
.site-nav a:hover { color: var(--ink); text-decoration: none; }
.site-nav a.is-active { color: var(--ink); border-bottom-color: var(--ink); }
.header-links { display: flex; gap: 8px; }

/* Buttons */
.btn {
  display: inline-flex; align-items: center; gap: 8px;
  padding: 8px 14px; min-height: 40px;
  font: 400 16px/1.2 var(--sans); color: var(--ink);
  background: var(--plate); border: 1px solid var(--rule-strong); border-radius: 6px;
  transition: border-color .15s, background-color .15s;
}
.btn:hover { text-decoration: none; border-color: var(--ink-2); background: var(--panel); }
.btn svg { width: 17px; height: 17px; flex: none; fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
.btn svg.fill { fill: currentColor; stroke: none; }
.btn:disabled { opacity: .4; cursor: default; border-color: var(--rule-strong); background: var(--plate); }
.btn-quiet { min-height: 34px; padding: 6px 12px; font-size: 15px; border-color: var(--rule); }
.btn-solid { padding: 9px 19px 9px 16px; border-radius: 999px; background: var(--ink); border-color: var(--ink); color: var(--bg); font-size: 16.5px; }
.btn-solid:hover { background: var(--ink-2); border-color: var(--ink-2); }

/* Hero: centered title block */
.hero { width: min(1100px, 100%); margin-inline: auto; padding: 72px var(--pad) 44px; text-align: center; }
.venue { display: inline-block; margin: 0 0 22px; padding: 4px 14px; font: 15.5px/1.4 var(--sans); letter-spacing: .01em; border: 1px solid var(--rule-strong); border-radius: 999px; }
.venue a { color: var(--accent); }
.hero h1 { font-size: clamp(40px, 5.8vw, 70px); line-height: 1.04; letter-spacing: -.015em; }
.hero .subtitle { display: block; margin: .4em auto 0; font-size: clamp(21px, 2.4vw, 30px); font-style: italic; font-weight: 400; line-height: 1.3; letter-spacing: 0; color: var(--ink-2); max-width: 32em; }
.authors, .affiliations { list-style: none; padding: 0; display: flex; flex-wrap: wrap; justify-content: center; }
.authors { margin: 26px auto 0; gap: 4px 18px; font-size: 17px; max-width: 920px; }
.authors sup, .affiliations sup, .author-notes sup { color: var(--muted); margin-left: 1px; }
.affiliations { margin: 12px auto 0; gap: 2px 20px; font-size: 17px; color: var(--ink-2); }
.affiliations sup { margin-right: 2px; margin-left: 0; }
.author-notes { margin: 6px 0 0; font-size: 16px; color: var(--muted); display: flex; flex-wrap: wrap; justify-content: center; gap: 0 20px; }
.resource-links { display: flex; flex-wrap: wrap; justify-content: center; gap: 10px; margin-top: 20px; }
.collab-lockup {display:inline-flex;flex-wrap:wrap;justify-content:center;align-items:center;gap:8px 12px;margin-top:15px;font:14px/1.5 var(--sans);color:var(--muted);scroll-margin-top:100px}
.collab-brand {display:inline-flex;align-items:center;background:#fff;padding:6px 8px;border:1px solid #e3e5e8;border-radius:5px}
.collab-brand img {display:block;width:112px;height:27px;max-width:none;object-fit:cover;object-position:center;filter:none;opacity:1;mix-blend-mode:normal}

/* Reading flow and research overview */
.secondary-resources {display:flex;justify-content:center;gap:20px;margin:10px 0 0;font:14px/1.4 var(--sans)}
.btn-demo {border-radius:999px;border-color:var(--accent);color:var(--accent);padding-inline:18px}
.research-takeaways {list-style:none;padding:0;display:grid;gap:17px;font-size:21px;line-height:1.55}
.research-takeaways strong {color:var(--ink)}
.benchmark-summary {display:grid;grid-template-columns:repeat(3,1fr);gap:20px;text-align:center;margin-block:24px}
.benchmark-summary>div {padding:18px 8px;background:var(--panel);border:1px solid var(--rule);border-radius:8px}
.benchmark-summary dt {font:600 34px/1.2 var(--serif);color:var(--ink)}
.benchmark-summary dd {margin:5px 0 0;font:15px/1.4 var(--sans);color:var(--ink-2)}
.method-outline {list-style:none;padding:0;display:grid;grid-template-columns:repeat(4,1fr);gap:18px;margin-block:26px}
.method-outline li {padding:18px 17px;border-top:2px solid var(--accent);background:var(--panel)}
.method-outline li>span {font:13px/1.3 var(--sans);color:var(--accent)}
.method-outline h3 {font-size:20px;margin:10px 0 8px}
.method-outline p {font-size:17px;line-height:1.45;color:var(--ink-2);margin:0}
.method-instruction {font-size:18px;color:var(--ink-2)}
.steps button {min-height:64px}
.edge-hit {fill:none;stroke:transparent;stroke-width:24;pointer-events:stroke;cursor:pointer}
.edge.is-focused {stroke-width:3.5;opacity:1;transition-delay:0s}
.graph[data-focus] .edge[data-factor-edge]:not(.is-focused) {opacity:.3}
.relation-comparison {display:grid;grid-template-columns:1fr auto 1fr;gap:10px 20px;align-items:center;padding:16px 18px;margin-top:16px;background:var(--plate);border:1px solid var(--rule);border-radius:8px}
.relation-comparison div {display:grid;gap:5px}
.relation-comparison div>span {font:12px/1.4 var(--sans);color:var(--muted);letter-spacing:.5px}
.relation-comparison strong {font-size:19px;line-height:1.35;font-weight:600}
.relation-compare-arrow {font-size:22px;color:var(--muted)}
.relation-comparison p {grid-column:1/-1;margin:0;padding-top:10px;border-top:1px solid var(--rule);font:15px/1.45 var(--sans);color:var(--ink-2)}
@media(max-width:820px) {
 .method-outline {grid-template-columns:1fr 1fr;gap:12px}
}
@media(max-width:540px) {
 .benchmark-summary {gap:8px}
 .benchmark-summary dt {font-size:29px}
 .benchmark-summary dd {font-size:13px}
 .research-takeaways {font-size:19px}
 .method-outline {grid-template-columns:1fr 1fr}
 .method-outline li {padding:14px 12px}
 .method-outline h3 {font-size:18px}
 .method-outline p {font-size:16px}
 .relation-comparison {gap:10px;padding:14px 12px}
 .relation-comparison strong {font-size:17px}
 .steps button {min-height:58px}
}

 .analysis-summary {display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-block:25px}
.analysis-summary>div {padding:24px;border:1px solid var(--rule);border-radius:8px;background:var(--panel)}
.analysis-summary strong {display:block;font-size:38px;line-height:1.2;color:var(--ink)}
.analysis-summary small {font-size:22px;font-weight:400;color:var(--muted)}
.analysis-summary span {display:block;margin-top:8px;font:700 16px/1.4 var(--sans);color:var(--ink-2)}
.analysis-summary p {font-size:17px;line-height:1.45;color:var(--muted);margin:8px 0 0}
.analysis-scope {font-size:16px;color:var(--muted)}
#analysis .reading-details>.prose {max-width:var(--col);margin-inline:auto}
@media(max-width:540px) {.analysis-summary {grid-template-columns:1fr;gap:12px}}

/* Teaser */
.figure.teaser { width: min(1100px, calc(100% - 2 * var(--pad))); margin: 8px auto 0; }
.teaser figcaption { max-width: 880px; margin-inline: auto; }
.teaser .plate { padding: 22px; }

/* Interactive example */
.example { padding-bottom: 8px; }
.example-panel { background: var(--panel); border: 1px solid var(--rule); border-radius: 12px; padding: 26px 30px 28px; }
.example-head { display: flex; flex-wrap: wrap; align-items: flex-end; justify-content: space-between; gap: 14px 32px; padding-bottom: 20px; margin-bottom: 24px; border-bottom: 1px solid var(--rule); }
.example-head h2 { font-size: 25px; line-height: 1.25; max-width: 24em; }
.example-dates { display: flex; flex-wrap: wrap; gap: 6px 28px; margin: 0; font: 15px/1.35 var(--sans); }
.example-dates dt { color: var(--muted); }
.example-dates dd { margin: 0; color: var(--ink); font-variant-numeric: tabular-nums; }

.example-body { display: grid; grid-template-columns: 250px minmax(0, 1fr); gap: 40px; }
.steps { list-style: none; margin: 0; padding: 0; display: grid; gap: 4px; position: relative; }
.steps::before { content: ''; position: absolute; left: 24px; top: 24px; bottom: 24px; width: 1px; background: var(--rule-strong); }
.steps button {
  position: relative; width: 100%; display: flex; align-items: center; gap: 12px;
  padding: 10px 12px; border: 0; border-radius: 8px; background: transparent;
  text-align: left; font-size: 18px; line-height: 1.25; color: var(--muted);
  transition: background-color .15s, color .15s;
}
.steps button:hover { color: var(--ink); }
.step-num {
  flex: none; width: 25px; height: 25px; border-radius: 50%;
  display: grid; place-items: center;
  font: 14px/1 var(--sans); color: var(--muted);
  background: var(--panel); border: 1px solid var(--rule-strong);
  transition: background-color .2s, color .2s, border-color .2s;
}
.steps button[data-done] .step-num { color: var(--ink); border-color: var(--ink-2); }
.steps button[aria-pressed="true"] { color: var(--ink); background: var(--plate); box-shadow: 0 0 0 1px var(--rule); }
.steps button[aria-pressed="true"] .step-num { background: var(--ink); border-color: var(--ink); color: var(--bg); }
.step-nav { display: flex; gap: 8px; margin-top: 18px; padding-left: 12px; }

.graph {
  position: relative; display: grid; align-items: center;
  grid-template-columns: minmax(230px, 1.8fr) minmax(48px, .5fr) minmax(130px, .85fr) minmax(28px, .2fr) minmax(130px, .85fr);
}
.graph-edges { position: absolute; inset: 0; width: 100%; height: 100%; overflow: visible; pointer-events: none; }
.graph-factors { grid-column: 1; display: grid; gap: 12px; position: relative; z-index: 1; }
.factor {
  display: grid; grid-template-columns: 1fr auto; align-items: baseline; gap: 2px 12px;
  padding: 11px 14px 12px; text-align: left;
  background: var(--plate); border: 1px solid var(--rule); border-radius: 8px;
  transition: border-color .2s, box-shadow .2s, opacity .35s;
}
.factor:hover { border-color: var(--rule-strong); }
.factor[aria-pressed="true"] { border-color: var(--ink-2); box-shadow: 0 0 0 1px var(--ink-2); }
.factor[data-state="excluded"] { opacity: .5; }
.factor-name { font-size: 18px; font-weight: 600; line-height: 1.25; }
.factor-signal { grid-column: 1 / -1; font-size: 16px; line-height: 1.35; color: var(--muted); }
.relation { display: inline-flex; align-items: baseline; gap: 6px; font: 14px/1.2 var(--sans); color: var(--muted); white-space: nowrap; transition: color .35s; }
.relation-sign { font: 600 17px/1 var(--serif); min-width: .7em; text-align: center; }
.relation[data-state="preserved"] { color: var(--preserved); }
.relation[data-state="reversed"] { color: var(--reversed); }
.relation[data-state="contradicted"] { color: var(--contradicted); }
.relation[data-state="unverified"], .relation[data-state="excluded"] { color: var(--unverified); }
.relation[data-state="historical"] { color: var(--ink-2); }

.node {
  position: relative; z-index: 1; display: grid; gap: 4px;
  padding: 12px 14px; background: var(--plate);
  border: 1px solid var(--rule); border-radius: 8px;
  transition: border-color .3s, box-shadow .3s;
}
.node-case { grid-column: 3; }
.node-target { grid-column: 5; }
.node-name { font-size: 18px; font-weight: 600; line-height: 1.25; }
.node-note { font-size: 15.5px; line-height: 1.35; color: var(--muted); }
.node[data-active] { border-color: var(--ink-2); box-shadow: 0 0 0 1px var(--ink-2); }
.node-target[data-active] { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent); }
.node-target[data-active] .node-note { color: var(--ink-2); }

.edge { fill: none; stroke-width: 2; stroke: var(--rule-strong); transition: stroke .45s ease, opacity .45s ease; transition-delay: calc(var(--i, 0) * 140ms); }
.edge[data-state="historical"] { stroke: var(--ink-2); }
.edge[data-state="untested"] { stroke: var(--faint); stroke-dasharray: 5 5; }
.edge[data-state="preserved"] { stroke: var(--preserved); }
.edge[data-state="reversed"] { stroke: var(--reversed); }
.edge[data-state="contradicted"] { stroke: var(--contradicted); }
.edge[data-state="unverified"] { stroke: var(--unverified); stroke-dasharray: 2 5; stroke-linecap: round; }
.edge[data-state="excluded"] { stroke: var(--unverified); stroke-dasharray: 2 5; stroke-linecap: round; opacity: .4; }
.edge[data-state="idle"] { stroke: var(--rule-strong); }
.edge[data-state="active"] { stroke: var(--ink-2); }
.arrow-historical { fill: var(--ink-2); }
.arrow-untested { fill: var(--faint); }
.arrow-preserved { fill: var(--preserved); }
.arrow-reversed { fill: var(--reversed); }
.arrow-contradicted { fill: var(--contradicted); }
.arrow-unverified, .arrow-excluded { fill: var(--unverified); }
.arrow-idle { fill: var(--rule-strong); }
.arrow-active { fill: var(--ink-2); }

.graph-legend { list-style: none; margin: 18px 0 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px 20px; font: 14px/1.3 var(--sans); color: var(--muted); }
.graph-legend li { display: inline-flex; align-items: center; gap: 8px; }
.key { width: 22px; height: 0; border-top: 2px solid; display: inline-block; }
.key-historical { border-color: var(--ink-2); }
.key-untested { border-top-style: dashed; border-color: var(--faint); }
.key-preserved { border-color: var(--preserved); }
.key-reversed { border-color: var(--reversed); }
.key-unverified { border-top-style: dotted; border-color: var(--unverified); }
.step-desc { margin: 18px 0 0; padding-left: 16px; border-left: 2px solid var(--rule-strong); font-size: 18px; line-height: 1.55; color: var(--ink-2); min-height: 4.65em; max-width: 46em; }

.evidence { margin-top: 26px; padding-top: 22px; border-top: 1px solid var(--rule); }
.evidence-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 18px; }
.evidence-head h3 { font-size: 20px; }
.evidence-assessment { margin: 0; font-size: 17.5px; color: var(--ink-2); display: inline-flex; align-items: baseline; gap: 8px; }
.evidence-assessment::before { content: ''; flex: none; width: 9px; height: 9px; border-radius: 50%; background: var(--ink-2); transform: translateY(-1px); }
.evidence-assessment[data-state="preserved"]::before { background: var(--preserved); }
.evidence-assessment[data-state="reversed"]::before { background: var(--reversed); }
.evidence-assessment[data-state="unverified"]::before { background: var(--unverified); }
.evidence-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 16px 40px; margin-top: 14px; }
.evidence-cols h4 { margin: 0 0 4px; font: 400 14.5px/1.3 var(--sans); color: var(--muted); }
.evidence-cols p { margin: 0 0 6px; font-size: 17.5px; line-height: 1.5; }
.evidence-cols a { font: 14.5px/1.3 var(--sans); }
.example-caption { margin: 14px 0 0; padding-inline: 2px; font-size: 16px; line-height: 1.5; color: var(--muted); max-width: 72ch; }

/* Sections: centered reading column with wider figures */
.section { --col: 760px; --mid: 920px; --wide: 1100px; padding: 96px var(--pad) 0; }
.section-title { text-align: center; font-size: 31px; letter-spacing: -.008em; line-height: 1.2; margin-bottom: 28px; }
.prose { margin-bottom: 1.1em; }

/* Figures */
.figure { margin: 36px 0 40px; }
.plate { display: block; background: #fff; border: 1px solid var(--rule); border-radius: 10px; padding: 18px; }
.plate img { display: block; width: 100%; height: auto; }
.figure figcaption, .table-figure figcaption, .split figcaption, .chart-figure figcaption, .bars-figure figcaption, .numberline-figure figcaption, .probs-figure figcaption {
  font-size: 16.5px; line-height: 1.5; color: var(--ink-2); max-width: 76ch;
}
.figure figcaption { margin-top: 12px; }
figcaption b { font-weight: 600; color: var(--ink); }
.motivation-figure .plate {width:min(700px,100%);margin-inline:auto}
.motivation-figure .figure-caption {max-width:700px;margin:24px auto 0;text-align:center}

.stages { list-style: none; margin: 0; padding: 0; counter-reset: stage; }
.stages > li { counter-increment: stage; position: relative; padding-left: 44px; margin-bottom: 28px; }
.stages > li::before {
  content: counter(stage); position: absolute; left: 0; top: 1px;
  width: 27px; height: 27px; border-radius: 50%; border: 1px solid var(--rule-strong);
  display: grid; place-items: center; font: 14.5px/1 var(--sans); color: var(--ink-2);
}
.stages h3 { font-size: 20.5px; margin-bottom: 6px; }
.stages p { margin-bottom: .7em; }
.states { display: grid; grid-template-columns: 1fr 1fr; gap: 10px 32px; margin: 14px 0 18px; }
.states dt { display: flex; align-items: center; gap: 9px; font: 700 15.5px/1.3 var(--sans); }
.states dd { margin: 2px 0 0 19px; font-size: 17px; line-height: 1.45; color: var(--ink-2); }
.dot { width: 10px; height: 10px; border-radius: 50%; display: inline-block; flex: none; }
.dot-preserved { background: var(--preserved); }
.dot-reversed { background: var(--reversed); }
.dot-contradicted { background: var(--contradicted); }
.dot-unverified { background: var(--unverified); }

/* Open results explorer */
.results-explorer {margin-top:28px}
.results-toolbar {position:sticky;top:calc(var(--header-h) + 8px);z-index:20;display:grid;grid-template-columns:minmax(0,1fr) 240px;gap:24px;align-items:start;padding:20px;background:var(--panel);border:1px solid var(--rule);border-radius:10px;margin-bottom:20px}
.control-title,.results-reference {display:block;font:700 15px/1.4 var(--sans);color:var(--ink-2)}
.results-toolbar .model-tabs {margin:9px 0 0;background:transparent;border:0;padding:0;gap:6px}
.results-toolbar .model-tabs button {padding:9px 12px;border:1px solid var(--rule);min-height:40px;font-size:15px;background:var(--plate)}
.results-toolbar .model-tabs button[aria-pressed="true"] {border-color:var(--accent);background:var(--tint);color:var(--accent);box-shadow:none}
.results-reference select {display:block;width:100%;margin-top:9px;padding:10px 30px 10px 12px;background:var(--plate);border:1px solid var(--rule-strong);border-radius:6px;color:var(--ink);font:15px/1.4 var(--sans);min-height:42px}
.results-explorer .result-scope {min-height:1.5em}
.result-card.is-selected {border-color:var(--accent);box-shadow:0 0 0 1px var(--accent)}
.result-gain[data-state="worse"] {background:color-mix(in srgb,var(--reversed) 10%,var(--plate));color:var(--reversed)}
.result-gain[data-state="equal"] {background:var(--panel);color:var(--muted)}
.methods-comparison {border:1px solid var(--rule);border-radius:10px;padding:24px;margin-top:28px;background:var(--plate)}
.methods-chart-heading {display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:16px}
.methods-chart-heading h3 {font-size:24px}
.metric-help {font-size:17px;line-height:1.45;color:var(--muted);margin:12px 0 20px}
.method-chart {font-family:var(--sans)}
.method-bar-row {display:grid;grid-template-columns:175px minmax(0,1fr) 75px;gap:16px;align-items:center;min-height:46px}
.method-bar-label {font-size:16px;line-height:1.3;color:var(--ink-2)}
.method-bar-track {position:relative;height:14px;background:var(--panel);border-radius:3px;overflow:hidden}
.method-bar-fill {display:block;height:100%;background:var(--faint);border-radius:3px;transition:width .3s ease}
.method-bar-value {font-size:17px;text-align:right;font-variant-numeric:tabular-nums;color:var(--ink-2)}
.method-bar-row.is-ours .method-bar-label,.method-bar-row.is-ours .method-bar-value {color:var(--accent);font-weight:700}
.method-bar-row.is-ours .method-bar-fill {background:var(--accent)}
.method-bar-row.is-comparison .method-bar-track {box-shadow:inset 0 0 0 1px var(--ink-2)}
.method-bar-row.is-comparison .method-bar-fill {background:var(--ink-2)}
.method-chart-axis {display:flex;justify-content:space-between;margin:8px 91px 0 191px;border-top:1px solid var(--rule);padding-top:7px;font-size:13px;color:var(--muted)}
.method-chart-caption {font-size:15px;line-height:1.45;color:var(--muted);margin:16px 0 0}
.baseline-details {margin-top:20px;border-block:1px solid var(--rule)}
.baseline-details>summary {cursor:pointer;padding-block:16px;font:700 17px/1.4 var(--sans);color:var(--ink-2)}
.baseline-details .baselines {margin:8px 0 24px}
.results-across-models {margin-top:32px}
.results-across-models>h3 {font-size:23px;margin-bottom:15px}
.results-category-title {font-size:25px;margin-top:46px;margin-bottom:18px}
#analysis>.table-figure {margin-top:25px}
@media(max-width:820px) {
 .results-toolbar {position:static;grid-template-columns:1fr;gap:18px}
 .results-reference {max-width:340px}
}
@media(max-width:540px) {
 .results-toolbar {padding:15px}
 .methods-comparison {padding:18px 14px}
 .methods-chart-heading h3 {font-size:22px}
 .method-bar-row {grid-template-columns:116px minmax(0,1fr) 54px;gap:8px;min-height:48px}
 .method-bar-label {font-size:14px}
 .method-bar-value {font-size:14px}
 .method-bar-track {height:12px}
 .method-chart-axis {margin-left:124px;margin-right:62px;font-size:12px}
 .result-card-heading h3 {font-size:23px}
 .methods-chart-heading .segmented button {padding:7px 11px}
}

/* Main results: metric comparisons. */
.result-lead { font-size: 23px; line-height: 1.5; }
.result-overview { margin-top: 28px; margin-bottom: 30px; }
.result-scope { font: 15px/1.5 var(--sans); color: var(--muted); margin-bottom: 16px; }
.result-cards { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 18px; }
.result-card { padding: 23px 22px 0; background: var(--plate); border: 1px solid var(--rule); border-radius: 10px; }
.result-card-heading h3 { font-size: 24px; margin-bottom: 5px; }
.result-card-heading>span { font: 14px/1.4 var(--sans); color: var(--muted); }
.result-definition { font-size: 17px; line-height: 1.45; color: var(--ink-2); min-height: 4.35em; margin: 16px 0 22px; }
.result-method { margin-top: 17px; }
.result-method>div:first-child { display: flex; justify-content: space-between; align-items: baseline; gap: 10px; margin-bottom: 7px; font: 15px/1.4 var(--sans); color: var(--ink-2); }
.result-method strong { font-size: 23px; font-weight: 400; font-variant-numeric: tabular-nums; color: var(--ink); }
.result-track { background: var(--panel); height: 10px; border-radius: 3px; overflow: hidden; }
.result-track>span { display: block; height: 100%; background: var(--faint); }
.result-ours>div:first-child { font-weight: 700; color: var(--accent); }
.result-ours strong { font-weight: 700; color: var(--accent); }
.result-ours .result-track>span { background: var(--accent); }
.result-axis { display: flex; justify-content: space-between; font: 12px/1.4 var(--sans); color: var(--muted); margin-top: 7px; }
.result-gain { margin: 20px -22px 0; padding: 14px 22px; border-top: 1px solid var(--rule); background: var(--tint); border-radius: 0 0 10px 10px; color: var(--accent); font: 700 18px/1.4 var(--sans); }
.result-comparison { margin: 18px 0 24px; color: var(--ink-2); font-size: 17px; line-height: 1.5; }
.result-consistency { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; padding-block: 20px; border-block: 1px solid var(--rule); }
.result-consistency p { margin: 0; display: grid; gap: 4px; }
.result-consistency strong { font: 700 23px/1.3 var(--sans); color: var(--ink); }
.result-consistency span { font-size: 17px; line-height: 1.4; color: var(--ink-2); }
.result-exception { font-size: 16px; line-height: 1.45; color: var(--muted); margin: 15px 0 10px; }
.result-source { font: 15px/1.4 var(--sans); }
@media (max-width: 820px) {
  .result-cards { grid-template-columns: 1fr; gap: 18px; }
  .result-definition { min-height: 0; margin-bottom: 16px; }
  .result-card { padding-top: 20px; }
  .result-lead { font-size: 21px; }
}
@media (max-width: 420px) {
  .result-consistency { grid-template-columns: 1fr; gap: 20px; }
  .result-scope { font-size: 14px; }
}

/* Tables */
.table-figure { margin: 34px 0 38px; }
.table-figure > figcaption { margin-bottom: 12px; }
.table-scroll { overflow-x: auto; -webkit-overflow-scrolling: touch; }
.booktabs { width: 100%; border-collapse: collapse; font-size: 17.5px; line-height: 1.4; font-variant-numeric: lining-nums tabular-nums; }
.booktabs thead th { font-weight: 600; text-align: left; padding: 9px 12px; border-top: 1.5px solid var(--ink); border-bottom: 1px solid var(--ink-2); white-space: nowrap; font-size: 16.5px; }
.booktabs tbody { border-bottom: 1.5px solid var(--ink); }
.booktabs tbody th, .booktabs tbody td { padding: 7px 12px; vertical-align: top; }
.booktabs tbody th { font-weight: 400; text-align: left; white-space: nowrap; }
.booktabs .is-ours { background: var(--tint); }
.booktabs .is-ours th { font-weight: 600; }
.booktabs .group-row th { padding-top: 12px; padding-bottom: 3px; font-style: italic; font-size: 16px; color: var(--muted); }
.numeric td, .numeric thead th:not(:first-child) { text-align: right; }
.numeric td { white-space: nowrap; }
.numeric b { font-weight: 600; }
.numeric u { text-decoration-thickness: 1px; text-underline-offset: 3px; }
.coverage tbody th { white-space: normal; min-width: 9.5em; font-weight: 600; }
.coverage td:nth-child(2) { min-width: 18em; }
.coverage td:nth-child(3) { min-width: 12em; color: var(--ink-2); }

.segmented { display: inline-flex; flex-wrap: wrap; gap: 3px; padding: 3px; background: var(--panel); border: 1px solid var(--rule); border-radius: 8px; }
.segmented button { border: 0; background: transparent; padding: 6px 12px; border-radius: 6px; font: 15px/1.25 var(--sans); color: var(--muted); transition: background-color .15s, color .15s; }
.segmented button:hover { color: var(--ink); }
.segmented button[aria-pressed="true"], .segmented button[aria-selected="true"] { background: var(--plate); color: var(--ink); box-shadow: 0 0 0 1px var(--rule-strong); }
.model-tabs { margin-bottom: 12px; }

.baselines { display: grid; grid-template-columns: 1fr 1fr; gap: 10px 36px; margin: 26px 0 8px; max-width: 880px; }
.baselines div { display: grid; gap: 1px; }
.baselines dt { font: 700 15.5px/1.3 var(--sans); }
.baselines dd { margin: 0; font-size: 17px; line-height: 1.45; color: var(--ink-2); }

/* Bars */
.bars-figure { margin: 30px 0 40px; }
.bars { --label-w: 196px; display: grid; gap: 9px; max-width: 680px; font: 15.5px/1.3 var(--sans); }
.bar-row { display: grid; grid-template-columns: var(--label-w) 1fr 52px; align-items: center; gap: 12px; }
.bar-label { color: var(--ink-2); }
.bar-track { position: relative; height: 16px; border-left: 1px solid var(--ink-2); }
.bar { position: absolute; left: 0; top: 0; bottom: 0; width: calc(var(--v) / .02 * 100%); background: var(--accent); border-radius: 0 3px 3px 0; }
.bar-value { font-variant-numeric: tabular-nums; color: var(--ink); }
.bar-axis { display: flex; justify-content: space-between; margin: 2px 64px 0 calc(var(--label-w) + 12px); font-size: 13px; color: var(--faint); font-variant-numeric: tabular-nums; }
.bar-axis span:first-child { transform: translateX(-50%); }
.bar-axis span:last-child { transform: translateX(50%); }
.bars-figure figcaption { margin-top: 14px; }

/* Benchmark split */
.split { margin: 34px 0 20px; max-width: 760px; }
.split-track { display: grid; grid-template-columns: 5fr 3fr; height: 34px; position: relative; }
.split-track::before { content: ''; position: absolute; left: 0; right: 0; top: 50%; border-top: 1px solid var(--rule-strong); }
.split-ref, .split-target { position: relative; display: flex; justify-content: space-around; align-items: center; }
.split-target { border-left: 1.5px dashed var(--ink-2); }
.split-track i { width: 15px; height: 15px; border-radius: 50%; position: relative; }
.split-ref i { background: var(--ink-2); }
.split-target i { background: var(--bg); border: 1.8px solid var(--accent); }
.split-target i.maybe { border-style: dashed; }
.split-labels { display: grid; grid-template-columns: 5fr 3fr; gap: 0 24px; margin-top: 10px; }
.split-labels p { margin: 0; font-size: 16.5px; line-height: 1.45; color: var(--ink-2); }
.split-labels p:last-child { padding-left: 2px; }
.split-labels b { font-weight: 600; color: var(--ink); }
.split figcaption { margin-top: 16px; color: var(--muted); font-size: 16px; }

/* Cases */
.case-tabs { margin: 10px 0 22px; }
.case-head h3 { font-size: 21px; line-height: 1.3; margin-bottom: 8px; max-width: 40em; }
.case-options { display: flex; flex-wrap: wrap; gap: 4px 22px; margin: 0; font: 15.5px/1.4 var(--sans); color: var(--muted); }
.case-options b { color: var(--ink); font-weight: 700; margin-right: 4px; }
.case-compare { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin: 20px 0 26px; }
.case-col { display: flex; flex-direction: column; padding: 18px 20px 16px; background: var(--plate); border: 1px solid var(--rule); border-radius: 10px; }
.case-col.is-ours { border-color: color-mix(in srgb, var(--accent) 40%, var(--rule)); }
.case-col h4 { font: 700 15.5px/1.3 var(--sans); color: var(--ink-2); }
.case-col.is-ours h4 { color: var(--accent); }
.case-summary { margin: 4px 0 10px; font-size: 19.5px; font-style: italic; }
.trace { margin: 0 0 4px; padding-left: 1.25em; font-size: 17px; line-height: 1.5; }
.trace li { margin: 0 0 7px; padding-left: 2px; }
.trace li::marker { font: 14px var(--sans); color: var(--muted); }
.trace em { display: block; font-size: 15px; font-family: var(--sans); font-style: normal; margin-top: 1px; }
.trace .flag em { color: var(--contradicted); }
.trace .note em { color: var(--muted); }
.case-pick { margin: auto 0 0; padding-top: 12px; border-top: 1px solid var(--rule); font: 15.5px/1.3 var(--sans); color: var(--ink-2); }
.case-pick b { color: var(--ink); font-weight: 700; }
.case-col.is-ours .case-pick b { color: var(--accent); }

.numberline-figure { margin: 0 0 8px; }
.numberline { position: relative; height: 96px; max-width: 700px; margin: 0 0 6px; font: 14px/1.25 var(--sans); }
.nl-zone { position: absolute; top: 26px; height: 10px; }
.nl-zone span { position: absolute; bottom: 18px; left: 50%; transform: translateX(-50%); color: var(--muted); white-space: nowrap; }
.nl-below { left: 0; width: calc(.246 / .5 * 100%); background: var(--rule); border-radius: 3px 0 0 3px; }
.nl-within { left: calc(.246 / .5 * 100%); width: calc(.153 / .5 * 100%); background: var(--accent-soft); }
.nl-within span { color: var(--ink); }
.nl-above { left: calc(.399 / .5 * 100%); right: 0; background: var(--rule); border-radius: 0 3px 3px 0; }
.nl-tick { position: absolute; top: 20px; left: calc((var(--x) + .1) / .5 * 100%); height: 22px; border-left: 1.5px solid var(--ink-2); }
.nl-tick span { position: absolute; top: 25px; left: 0; transform: translateX(-50%); color: var(--muted); font-size: 13px; white-space: nowrap; font-variant-numeric: tabular-nums; }
.nl-mark { position: absolute; top: 31px; left: calc((var(--x) + .1) / .5 * 100%); }
.nl-tick.is-minor { top: 26px; height: 10px; border-left-color: var(--faint); border-left-width: 1px; }
.nl-tick.is-minor span { top: 19px; color: var(--faint); }
.nl-br { display: none; }
.nl-mark::before { content: ''; position: absolute; left: -8px; top: -8px; width: 16px; height: 16px; border-radius: 50%; box-sizing: border-box; }
.nl-direct::before { background: var(--plate); border: 2px solid var(--ink-2); }
.nl-ours::before { background: var(--accent); border: 2px solid var(--plate); box-shadow: 0 0 0 1px var(--accent); }
.nl-mark span { position: absolute; top: 34px; white-space: nowrap; color: var(--ink-2); }
.nl-direct span { right: 4px; text-align: right; }
.nl-ours span { left: 4px; }
.nl-ours span { color: var(--accent); }
.numberline-figure figcaption { color: var(--muted); font-size: 16px; }

.probs-figure { margin: 0 0 8px; }
.probs { border-collapse: collapse; font: 15.5px/1.3 var(--sans); min-width: 440px; }
.probs th, .probs td { padding: 7px 18px 7px 0; text-align: left; white-space: nowrap; }
.probs thead th { font-weight: 400; color: var(--muted); border-bottom: 1px solid var(--rule-strong); }
.probs tbody th { font-weight: 400; color: var(--ink-2); }
.probs .is-outcome th { color: var(--ink); font-weight: 700; }
.outcome-tag { margin-left: 6px; font-weight: 400; font-size: 13px; color: var(--muted); }
.pbar { display: inline-block; vertical-align: middle; position: relative; width: 120px; height: 10px; margin-right: 10px; background: var(--rule); border-radius: 2px; overflow: hidden; }
.pbar i { position: absolute; left: 0; top: 0; bottom: 0; width: calc(var(--p) * 100%); background: var(--faint); }
.probs .is-ours .pbar i { background: var(--accent); }
.pval { font-variant-numeric: tabular-nums; }
.probs tfoot th, .probs tfoot td { border-top: 1px solid var(--rule-strong); padding-top: 9px; font-variant-numeric: tabular-nums; }
.probs tfoot th { font-weight: 400; color: var(--muted); }
.probs tfoot .is-ours { color: var(--accent); font-weight: 700; }
.probs-figure figcaption { margin-top: 12px; color: var(--muted); font-size: 16px; }

/* Figure captions: a title followed by a separate explanatory line. */
.figure-caption {display:grid;gap:6px;text-align:left}
.caption-title {display:block;font:600 19px/1.35 var(--serif);color:var(--ink);text-wrap:balance}
.caption-description {display:block;font:16px/1.55 var(--sans);color:var(--muted)}
.table-figure>figcaption.figure-caption {max-width:none;margin-bottom:16px}
.abstract-details {border-block:1px solid var(--rule);margin-top:24px;margin-bottom:12px}
.abstract-details>summary {cursor:pointer;padding:17px 0;font:700 17px/1.45 var(--sans);color:var(--ink-2)}
.abstract-details[open]>summary {margin-bottom:6px}
.abstract-details>.abstract {margin-top:0;margin-bottom:20px}

/* Shared layout for both paper case studies. */
.case-head {text-align:center}
.case-head h3 {margin:0 auto 18px;max-width:700px;min-height:2.6em;display:flex;align-items:center;justify-content:center}
.case-options {display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;max-width:760px;margin-inline:auto;text-align:center}
.case-options>span {display:flex;flex-direction:column;justify-content:center;gap:5px;min-height:74px;padding:11px 12px;background:var(--panel);border:1px solid var(--rule);border-radius:7px}
.case-options b {display:block;margin:0;color:var(--ink)}
.case-col h4,.case-pick {text-align:center}
.case-summary {min-height:2.8em;line-height:1.4;display:flex;align-items:center;justify-content:center;text-align:center;margin:8px 0 16px}
.case-col .trace {display:grid;grid-template-rows:repeat(3,minmax(0,1fr));gap:12px;flex:1;margin-bottom:18px;text-align:left}
.case-col .trace li {margin-bottom:0}
.case-visual {width:min(760px,100%);margin:0 auto 8px;padding:24px;background:var(--panel);border:1px solid var(--rule);border-radius:10px}
.case-visual .numberline {margin:0 auto 6px}
.case-visual .probs {width:100%;min-width:0;max-width:700px;margin-inline:auto}
.case-visual .probs th,.case-visual .probs td {padding:10px 12px;text-align:center}
.case-visual>figcaption.figure-caption {max-width:700px;margin:18px auto 0;text-align:center}
@media(max-width:540px) {
 .caption-title {font-size:18px}
 .caption-description {font-size:16px}
 .case-options {gap:6px;font-size:14px}
 .case-options>span {padding:10px 7px;min-height:88px}
 .case-head h3 {min-height:5.2em}
 .case-visual {padding:18px 14px}
 .case-visual .probs th,.case-visual .probs td {padding:9px 6px;font-size:14px;white-space:normal}
 .case-visual .pbar {display:block;width:100%;max-width:140px;margin:0 auto 5px}
 .case-visual .outcome-tag {display:block;margin:3px 0 0}
}

@media(max-width:720px) {
 .case-col .trace {display:block;flex:initial}
 .case-col .trace li {margin-bottom:14px}
}

/* Citation */
.bibtex { position: relative; }
.bibtex pre { margin: 0; padding: 20px 22px; padding-right: 140px; background: var(--panel); border: 1px solid var(--rule); border-radius: 10px; font: 14.5px/1.65 var(--mono); color: var(--ink); white-space: pre-wrap; word-break: break-word; }
.bibtex-copy { position: absolute; top: 14px; right: 14px; }
.copy-status { min-height: 1.4em; margin: 8px 0 0; font: 14.5px/1.4 var(--sans); color: var(--muted); }

/* Collaboration */

/* Footer */
.site-footer { width: min(1100px, calc(100% - 2 * var(--pad))); margin: 104px auto 0; padding: 26px 0 48px; border-top: 1px solid var(--rule); display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 10px 32px; font: 15px/1.5 var(--sans); color: var(--muted); }
.site-footer p { margin: 0; }
.footer-links { display: flex; flex-wrap: wrap; gap: 4px 18px; }

/* Column widths. Placed after the components so the centering margins win. */
.section > * { width: min(var(--col), 100%); margin-left: auto; margin-right: auto; }
.section > .is-mid { width: min(var(--mid), 100%); }
.section > .is-wide { width: min(var(--wide), 100%); }
.section > .case-tabs { width: fit-content; max-width: 100%; display: flex; }

@media (prefers-color-scheme: dark) {
  .plate { border-color: transparent; }
}

/* Responsive */
@media (max-width: 1080px) {
  .site-nav { gap: 16px; font-size: 15px; }
}
@media (max-width: 960px) {
  .site-nav { display: none; }
  .header-links { margin-left: auto; }
  .section { padding-top: 80px; }
  .example-body { grid-template-columns: 1fr; gap: 24px; }
  .steps { grid-template-columns: 1fr 1fr; }
  .steps::before { display: none; }
  .step-nav { padding-left: 0; margin-top: 12px; }
}
@media (max-width: 720px) {
  :root { --pad: 20px; }
  body { font-size: 19px; }
  .hero { padding-top: 48px; padding-bottom: 32px; }
  .section { padding-top: 68px; }
  .section-title { font-size: 27px; margin-bottom: 20px; }
  .authors { margin-top: 24px; font-size: 16px; gap: 3px 15px; }
  .affiliations { font-size: 16px; gap: 0 14px; }
  .example-panel { padding: 20px 18px 22px; border-radius: 10px; }
  .example-head h2 { font-size: 22px; }
  .steps { grid-template-columns: 1fr; }
  .steps button { font-size: 17px; padding: 8px 10px; }
  .graph { grid-template-columns: 1fr; row-gap: 30px; min-height: 0; }
  .graph-edges { display: none; }
  .graph-factors, .node-case, .node-target { grid-column: 1; }
  .node-case::before, .node-target::before {
    content: ''; position: absolute; left: 50%; top: -24px; height: 18px;
    border-left: 2px solid var(--rule-strong);
  }
  .node-case::after, .node-target::after {
    content: ''; position: absolute; left: calc(50% - 5px); top: -9px;
    border: 5px solid transparent; border-top: 6px solid var(--rule-strong); border-bottom: 0;
  }
  .graph[data-step="3"] .node-case::before, .graph[data-step="3"] .node-target::before { border-left-color: var(--ink-2); }
  .graph[data-step="3"] .node-case::after, .graph[data-step="3"] .node-target::after { border-top-color: var(--ink-2); }
  .step-desc { min-height: 0; font-size: 17px; }
  .evidence-cols { grid-template-columns: 1fr; }
  .plate { padding: 10px; }
  .states, .baselines { grid-template-columns: 1fr; }
  .chart-figure { padding: 14px 14px 14px; }
  .case-compare { grid-template-columns: 1fr; }
  .bars { --label-w: 128px; }
  .nl-br { display: inline; }
  .numberline { height: 112px; }
  .split-labels { grid-template-columns: 1fr; gap: 10px; }
  .coverage thead { display: none; }
  .coverage, .coverage tbody, .coverage tr, .coverage th, .coverage td { display: block; }
  .coverage tr { padding: 10px 0 12px; border-bottom: 1px solid var(--rule); }
  .coverage tbody { border-bottom: 0; border-top: 1.5px solid var(--ink); }
  .coverage tbody th, .coverage td { padding: 1px 0; min-width: 0 !important; white-space: normal; }
  .coverage td:nth-child(3) { font-size: 16px; color: var(--muted); }
  .bibtex pre { padding-right: 22px; padding-top: 60px; font-size: 13.5px; }
  .site-footer { margin-top: 80px; }
}
@media (max-width: 420px) {
  .header-links .btn { padding: 6px 10px; }
  .example-dates { gap: 4px 18px; }
  .pbar { width: 80px; }
  .probs { min-width: 0; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition-duration: 0s !important; transition-delay: 0s !important; animation: none !important; }
}

@media print {
  .site-header, .step-nav, .bibtex-copy, .skip-link { display: none; }
  .section { padding-top: 32px; }
}