:root {
  --bg: #fbfaf7; --surface: #ffffff; --ink: #1d1d1f; --muted: #5f6368; --line: #e3e1db;
  --accent: #b4441f; --accent-soft: #f6e4dc; --ok: #2f7d4f; --ok-soft: #dcefe3; --bad: #a33a3a; --bad-soft: #f5dddd;
  --s0: #8a8f98; --sb: #c4572f; --sr: #2f7d4f; --code: #f2f0ea;
  --n1: #e6eefb; --n2: #fbe6e3; --n3: #fdf0dc; --n4: #e2f3e6; --n5: #efe6fa; --n6: #ececec;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.65 Inter, system-ui, sans-serif;
  -webkit-font-smoothing: antialiased; font-variant-numeric: tabular-nums; }
.wrap { max-width: 1040px; margin: 0 auto;
  padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
a { color: var(--accent); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
h2 { font-size: clamp(1.4rem, 2.6vw, 1.75rem); margin: 3rem 0 .5rem; letter-spacing: -.015em; text-wrap: balance; }
h3 { font-size: 1.1rem; margin: 1.6rem 0 .5rem; text-wrap: balance; }
main > section + section { border-top: 1px solid var(--line); }
main > section > h2:first-child { padding-top: .4rem; }
main > section > h2 + p { max-width: 68ch; color: var(--muted); }
code, pre { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: .86em; }
.todo { color: var(--accent); font-style: italic; }
.skip { position: absolute; left: -9999px; }
.skip:focus { left: 8px; top: 8px; z-index: 20; background: var(--ink); color: var(--bg); padding: 8px 12px; border-radius: 8px; }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } * { animation: none !important; transition: none !important; } }

.hero { padding: 56px 0 28px; text-align: center; border-bottom: 1px solid var(--line); background: var(--surface); }
.hero h1 { font-size: clamp(1.6rem, 4vw, 2.5rem); line-height: 1.18; margin: .4rem 0 1rem; letter-spacing: -.025em; text-wrap: balance; }
.venue { color: var(--accent); font-weight: 600; font-size: .85rem; letter-spacing: .08em; text-transform: uppercase; margin: 0; }
.authors { font-size: 1.1rem; margin: 0; }
.affil { color: var(--muted); margin: .2rem 0 1.2rem; }
.buttons { display: flex; gap: 10px; justify-content: center; flex-wrap: wrap; }
.btn { display: inline-block; padding: 8px 16px; border-radius: 999px; border: 1px solid var(--line);
  background: var(--surface); color: var(--ink); text-decoration: none; font-weight: 500; font-size: .95rem;
  transition: background .15s, border-color .15s, color .15s; }
.btn:hover { border-color: var(--accent); color: var(--accent); }
.btn-primary { background: var(--ink); border-color: var(--ink); color: var(--bg); }
.btn-primary:hover { background: var(--accent); border-color: var(--accent); color: #fff; }

.subnav { position: sticky; top: env(safe-area-inset-top, 0px); z-index: 10;
  background: color-mix(in srgb, var(--bg) 88%, transparent); backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--line); }
.subnav-in { display: flex; gap: 4px; overflow-x: auto; padding-block: 8px; scrollbar-width: none; }
.subnav-in::-webkit-scrollbar { display: none; }
.subnav a { color: var(--muted); text-decoration: none; font-size: .88rem; font-weight: 500;
  padding: 5px 11px; border-radius: 999px; white-space: nowrap; }
.subnav a:hover { color: var(--ink); background: var(--code); }

.lede { font-size: 1.12rem; margin-top: 2rem; }
.stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(140px, 1fr)); gap: 12px; margin-top: 1.2rem; }
.stat { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; }
.stat b { display: block; font-size: 1.7rem; line-height: 1.1; }
.stat span { color: var(--muted); font-size: .85rem; }

.loop { margin: 0; overflow-x: auto; }
.loop svg { width: 100%; min-width: 640px; height: auto; }
.loop rect { stroke: var(--line); stroke-width: 1.2; }
.loop .n1 rect { fill: var(--n1); } .loop .n2 rect { fill: var(--n2); } .loop .n3 rect { fill: var(--n3); }
.loop .n4 rect { fill: var(--n4); } .loop .n5 rect { fill: var(--n5); } .loop .n6 rect { fill: var(--n6); }
.loop text { fill: var(--ink); font: 600 15px Inter, sans-serif; text-anchor: middle; }
.loop text.sub { font-weight: 400; font-size: 12px; fill: var(--muted); }
.loop text.lbl { font-weight: 400; font-size: 12px; fill: var(--muted); }
.loop .edges line, .loop .edges path { stroke: var(--ink); stroke-width: 1.6; fill: none; }
.loop .edges .dash { stroke-dasharray: 5 4; stroke: var(--accent); }
.loop .ahead { fill: var(--ink); }
.cols { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; }
@media (max-width: 720px) { .cols { grid-template-columns: 1fr; } }

.taskcards { display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 10px; }
.taskcard { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 12px; font-size: .9rem; }
.taskcard h4 { margin: 0 0 .3rem; font-size: 1rem; }
.taskcard .cat { display: inline-block; font-size: .75rem; padding: 1px 8px; border-radius: 999px; background: var(--accent-soft); color: var(--accent); margin-bottom: .4rem; }
.taskcard p { margin: .2rem 0; color: var(--muted); }

table { border-collapse: collapse; width: 100%; font-size: .92rem; background: var(--surface); }
th, td { border-bottom: 1px solid var(--line); padding: 7px 10px; text-align: center; }
th:first-child, td:first-child { text-align: left; }
thead th { font-weight: 600; }
.tablewrap { overflow-x: auto; border: 1px solid var(--line); border-radius: 10px; }
.empty { color: var(--muted); font-style: italic; padding: 14px; }

.filters { display: flex; flex-wrap: wrap; gap: 8px; margin: .6rem 0; align-items: center; }
.filters label { font-size: .85rem; color: var(--muted); }
select, input[type=search] { font: inherit; font-size: .9rem; padding: 5px 8px; border-radius: 8px; border: 1px solid var(--line); background: var(--surface); color: var(--ink); }
input[type=search] { min-width: 200px; }

.videogrid { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 14px; }
.vcard { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; overflow: hidden; }
.vcard video { width: 100%; display: block; background: #000; aspect-ratio: 16/9; }
.vcard .meta { padding: 8px 10px; font-size: .85rem; display: flex; flex-wrap: wrap; gap: 6px; align-items: center; }
.pill { font-size: .75rem; padding: 1px 8px; border-radius: 999px; background: var(--code); }
.pill.ok { background: var(--ok-soft); color: var(--ok); }
.pill.bad { background: var(--bad-soft); color: var(--bad); }
.pill.rah { background: var(--accent-soft); color: var(--accent); }

.charts { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin: 1rem 0; }
@media (max-width: 720px) { .charts { grid-template-columns: 1fr; } }
.chart { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; }
.chart h4 { margin: 0 0 .6rem; font-size: .95rem; }
.hrow { display: grid; grid-template-columns: 110px 1fr 36px; gap: 8px; align-items: center; font-size: .82rem; margin: 3px 0; }
.htrack { height: 12px; background: var(--code); border-radius: 3px; overflow: hidden; display: flex; }
.hfill { height: 100%; background: var(--accent); }
.hfill.ok { background: var(--ok); }
.hrow .n { text-align: right; color: var(--muted); font-variant-numeric: tabular-nums; }
.legend { display: flex; gap: 12px; font-size: .78rem; color: var(--muted); margin-top: .4rem; }
.legend i { display: inline-block; width: 10px; height: 10px; border-radius: 2px; margin-right: 4px; vertical-align: -1px; }

.count { color: var(--muted); font-size: .85rem; margin: .2rem 0 .6rem; }
.rounds { display: flex; flex-direction: column; gap: 6px; }
.round { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; }
.round summary { cursor: pointer; padding: 9px 12px; display: grid; grid-template-columns: auto auto 1fr auto; gap: 10px; align-items: center; list-style: none; font-size: .9rem; }
.round summary::-webkit-details-marker { display: none; }
.round .badge { font-size: .72rem; padding: 1px 8px; border-radius: 999px; }
.round .badge.recovered { background: var(--ok-soft); color: var(--ok); }
.round .badge.unsolved { background: var(--bad-soft); color: var(--bad); }
.round .axis { font-size: .75rem; color: var(--muted); font-family: "JetBrains Mono", monospace; }
.round .title { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.bars { display: flex; gap: 3px; align-items: flex-end; height: 22px; }
.bars i { width: 9px; border-radius: 2px 2px 0 0; display: block; }
.bars .b0 { background: var(--s0); } .bars .bb { background: var(--sb); } .bars .br { background: var(--sr); }
.round .body { padding: 0 14px 12px; font-size: .9rem; }
.round .body dt { font-weight: 600; margin-top: .5rem; }
.round .body dd { margin: .1rem 0 0; }
.round .body .rule { background: var(--accent-soft); border-radius: 8px; padding: 8px 10px; margin-top: .6rem; }
.round .body pre { background: var(--code); padding: 8px 10px; border-radius: 8px; overflow-x: auto; white-space: pre-wrap; }
.round .body video { width: 100%; max-width: 520px; border-radius: 8px; margin-top: .5rem; }
@media (max-width: 720px) { .round summary { grid-template-columns: auto 1fr; } .round .axis, .bars { display: none; } }

.md { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 8px 22px 16px; font-size: .95rem; }
.md h1 { font-size: 1.25rem; } .md h2 { font-size: 1.1rem; margin: 1.4rem 0 .4rem; }
.md li { margin: .25rem 0; }
.bib { background: var(--code); padding: 12px 14px; border-radius: 10px; overflow-x: auto; }
.foot { color: var(--muted); font-size: .85rem; padding: 2rem 16px 3rem; }
.pair { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin-top: .5rem; }
.pair figure { margin: 0; }
.pair video { width: 100%; max-width: none; margin: 0; background: #000; }
.pair figcaption { font-size: .8rem; color: var(--muted); display: flex; gap: 6px; align-items: center; flex-wrap: wrap; }
@media (max-width: 720px) { .pair { grid-template-columns: 1fr; } }
.protocol { margin-top: 1.6rem; background: var(--surface); border: 1px solid var(--line); border-radius: 10px; }
.protocol > summary { cursor: pointer; padding: 12px 16px; font-weight: 600; }
.protocol-body { padding: 0 18px 14px; font-size: .95rem; }
.protocol-body h3 { margin-top: 1.2rem; }
.protocol-body li { margin: .35rem 0; }
.algo { background: var(--code); padding: 12px 14px; border-radius: 8px; overflow-x: auto; font-size: .8rem; line-height: 1.5; }

/* ---- before/after clip gallery (the sim recordings) ---------------------- */
.clipgrid { display: grid; gap: 14px; }
.ccard { background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 12px 14px 14px; min-width: 0; }
.ccard.is-unsolved { border-left: 3px solid var(--bad); }
.chead { display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: baseline; justify-content: space-between; }
.ctitle { display: flex; flex-wrap: wrap; gap: 4px 10px; align-items: baseline; min-width: 0; }
.ctitle b { font-size: 1rem; letter-spacing: -.01em; }
.cmeta { color: var(--muted); font-size: .85rem; }
.cbadges { display: flex; flex-wrap: wrap; gap: 6px; }
.pill.axis { font-family: "JetBrains Mono", ui-monospace, monospace; font-size: .7rem; }
.cscores { display: flex; flex-wrap: wrap; gap: 4px 18px; margin: .5rem 0 .7rem; font-size: .84rem; color: var(--muted); }
.cscores b { color: var(--ink); font-variant-numeric: tabular-nums; }
.crule { margin: .7rem 0 0; padding-top: .7rem; border-top: 1px solid var(--line); font-size: .88rem; color: var(--muted); max-width: 72ch; }
.pair.one { grid-template-columns: minmax(0, 1fr); max-width: 520px; }
.clip { margin: 0; min-width: 0; display: flex; flex-direction: column; gap: 6px; }
.clip .frame { background: #0c0c0e; border: 1px solid var(--line); border-radius: 8px; overflow: hidden; }
.clip video { width: 100%; max-width: 100%; display: block; aspect-ratio: 4/3; object-fit: contain; background: #0c0c0e; margin: 0; }
.clip figcaption { display: flex; flex-wrap: wrap; gap: 4px 8px; align-items: baseline; font-size: .82rem; }
.clip figcaption b { font-weight: 600; }
.clip figcaption .sub { color: var(--muted); }
.clip.missing .frame { display: grid; place-items: center; aspect-ratio: 4/3; background: var(--code); border-style: dashed; }
.clip.missing .frame::after { content: "clip not on this machine"; color: var(--muted); font-size: .8rem; font-style: italic; }
.clip.missing video { display: none; }
.filters .check { display: inline-flex; align-items: center; gap: 6px; font-size: .85rem; color: var(--muted); }
.readme { margin-top: 1rem; background: var(--surface); border: 1px solid var(--line); border-radius: 10px; }
.readme > summary { cursor: pointer; padding: 10px 14px; font-weight: 600; font-size: .92rem; }
.readme-body { padding: 0 18px 12px; font-size: .9rem; }
.readme-body ul { margin: 0; padding-left: 1.1rem; }
.readme-body li { margin: .4rem 0; max-width: 78ch; }
@media (min-width: 900px) { .clipgrid { grid-template-columns: 1fr 1fr; } .ccard { padding: 14px 16px 16px; } }

/* ---- task tabs for the clip gallery ------------------------------------- */
.tabs { display: flex; gap: 6px; overflow-x: auto; padding-bottom: 2px; margin: .8rem 0 0; scrollbar-width: thin; }
.tab { display: flex; align-items: baseline; gap: 7px; flex: 0 0 auto; cursor: pointer;
  font: inherit; font-size: .9rem; color: var(--muted); background: var(--surface);
  border: 1px solid var(--line); border-radius: 10px; padding: 8px 12px; position: relative;
  transition: border-color .15s, color .15s, background .15s; }
.tab:hover { color: var(--ink); border-color: var(--muted); }
.tab.on { background: var(--ink); border-color: var(--ink); color: var(--bg); }
.tab .tname { font-weight: 600; letter-spacing: -.01em; }
.tab .tbench { font-size: .74rem; opacity: .72; }
.tab .tcount { font-size: .74rem; font-variant-numeric: tabular-nums; padding: 1px 6px;
  border-radius: 999px; background: var(--code); color: var(--muted); }
.tab.on .tcount { background: color-mix(in srgb, var(--bg) 22%, transparent); color: var(--bg); }
.tab .tdot { width: 6px; height: 6px; border-radius: 50%; background: var(--bad); align-self: center; }
.panelhead { display: flex; flex-wrap: wrap; gap: 6px 16px; align-items: baseline;
  justify-content: space-between; border-bottom: 1px solid var(--line); padding-bottom: .5rem; margin-bottom: .9rem; }
.panelhead .count { margin: .6rem 0 0; display: flex; flex-wrap: wrap; gap: 2px 8px; align-items: baseline; }
.panelhead .count b { color: var(--ink); font-size: .95rem; }
.panelhead .goal { flex-basis: 100%; color: var(--muted); font-size: .84rem; max-width: 72ch; }
.panelhead .filters { margin: 0; }

/* ---- page sections as tabs ---------------------------------------------- */
.subnav a.on { color: var(--bg); background: var(--ink); }
.subnav a.on:hover { background: var(--ink); color: var(--bg); }
main > section { padding-bottom: 1.5rem; }
main > section > h2:first-child { margin-top: 1.6rem; }
main > section + section { border-top: 0; }
.tab-all .tname { letter-spacing: 0; }
.tab-all { border-style: dashed; }
.tab-all.on { border-style: solid; }

/* ---- benchmark row, and the per-task progression ------------------------ */
.tabs-bench { margin-top: 1rem; }
.tabs-bench .tab { border-radius: 999px; }
.tabs-bench .tab .tname { font-size: .95rem; }
.progwrap { margin-top: .2rem; }
.prog { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 0; }
.step { position: relative; display: grid; grid-template-columns: 34px 1fr; gap: 14px; padding: 0 0 22px; }
.step::before { content: ""; position: absolute; left: 16px; top: 30px; bottom: -4px; width: 2px; background: var(--line); }
.step:last-child::before { display: none; }
.step .marker { width: 34px; height: 34px; border-radius: 50%; display: grid; place-items: center;
  background: var(--surface); border: 2px solid var(--line); color: var(--muted);
  font-weight: 700; font-size: .9rem; font-variant-numeric: tabular-nums; z-index: 1; }
.step.is-unsolved .marker { border-color: var(--bad); color: var(--bad); }
.step-base .marker { border-color: var(--ok); color: var(--ok); }
.step-rej .marker { border-style: dashed; }
.stepbody { background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 12px 14px; min-width: 0; }
.step.is-unsolved .stepbody { border-left: 3px solid var(--bad); }
.stepbody h4 { margin: 0 0 .3rem; font-size: 1rem; }
.steplede { margin: 0 0 .5rem; color: var(--muted); font-size: .88rem; max-width: 72ch; }
.whatchanged { margin: .5rem 0 .2rem; font-size: .88rem; }
.whatchanged b { font-weight: 600; }
.steprow { display: flex; flex-wrap: wrap; gap: 14px 20px; align-items: flex-start; margin: .6rem 0 .2rem; }
.stepfacts { flex: 1 1 260px; min-width: 0; font-size: .88rem; }
.stepfacts p { margin: .25rem 0; max-width: 70ch; }
.stepfacts .muted { color: var(--muted); font-size: .84rem; }
.trackwrap { flex: 0 0 auto; }
.track svg { display: block; }
.track .line { fill: none; stroke: var(--accent); stroke-width: 2; }
.track .tau { stroke: var(--line); stroke-width: 1; stroke-dasharray: 3 3; }
.track .dot { stroke: var(--surface); stroke-width: 1.5; }
.track .d0 { fill: var(--s0); } .track .d1 { fill: var(--sb); } .track .d2 { fill: var(--sr); }
.tracklabels { display: flex; gap: 10px; font-size: .74rem; color: var(--muted); margin-top: 2px; }
.tracklabels b { color: var(--ink); margin-left: 3px; font-variant-numeric: tabular-nums; }
.rejchips { display: flex; flex-wrap: wrap; gap: 6px; }
.rejchip { font-size: .78rem; color: var(--muted); background: var(--code); border-radius: 8px; padding: 4px 9px; }
.rejchip b { color: var(--ink); margin-right: 6px; font-family: "JetBrains Mono", ui-monospace, monospace; }
@media (max-width: 620px) { .step { grid-template-columns: 26px 1fr; gap: 10px; } .step::before { left: 12px; }
  .step .marker { width: 26px; height: 26px; font-size: .78rem; } }
.step-stages .marker { border-style: dashed; color: var(--accent); border-color: var(--accent); }
.stagestrip { list-style: none; margin: .3rem 0 0; padding: 0; display: grid; gap: 6px;
  grid-template-columns: repeat(auto-fit, minmax(170px, 1fr)); counter-reset: stage; }
.stagestrip li { font-size: .82rem; color: var(--muted); background: var(--code);
  border-radius: 8px; padding: 7px 10px; min-width: 0; }
.stagestrip b { display: block; color: var(--ink); font-size: .86rem; margin-bottom: 1px; }

/* ---- highlights and the per-task feature -------------------------------- */
.features { display: grid; gap: 18px; }
/* Highlights stays one column: a ladder cut off at three rungs loses the point, which is the last one. */
.feature { background: var(--surface); border: 1px solid var(--line); border-radius: 14px; padding: 14px 16px 16px; min-width: 0; }
.fhead { display: flex; flex-wrap: wrap; gap: 8px 14px; align-items: flex-start; justify-content: space-between; margin-bottom: .7rem; }
.fhead h3 { margin: 0; font-size: 1.15rem; letter-spacing: -.015em; }
.fsub { margin: .15rem 0 0; color: var(--muted); font-size: .86rem; }
.btn-sm { padding: 5px 12px; font-size: .85rem; }
.taskview { display: flex; flex-direction: column; gap: 14px; }
.taskview .feature { border-width: 1px; }
.allclips { background: var(--surface); border: 1px solid var(--line); border-radius: 12px; }
.allclips > summary { cursor: pointer; padding: 12px 16px; font-weight: 600; font-size: .95rem; }
.allclips > summary::marker { color: var(--muted); }
.allclips[open] > summary { border-bottom: 1px solid var(--line); }
.allclips .progwrap { padding: 14px 16px 4px; }
/* a class that sets display beats the hidden attribute's UA rule, so restate it */
.filters[hidden], .tabs[hidden] { display: none !important; }
.themebtn { margin-left: auto; flex: 0 0 auto; cursor: pointer; font: inherit; font-size: .95rem; line-height: 1;
  width: 30px; height: 30px; border-radius: 999px; border: 1px solid var(--line);
  background: var(--surface); color: var(--muted); display: grid; place-items: center; }
.themebtn:hover { color: var(--ink); border-color: var(--muted); }

/* ---- the 2x3 highlight grid --------------------------------------------- */
.laddernote { margin: .7rem 0 0; padding-top: .7rem; border-top: 1px solid var(--line);
  color: var(--muted); font-size: .85rem; max-width: 78ch; }


.grid23 { display: grid; grid-template-columns: 1fr; gap: 12px; }
@media (min-width: 760px) { .grid23 { grid-template-columns: 1fr 1fr; } }
.cell { margin: 0; min-width: 0; display: flex; flex-direction: column; gap: 6px; }
.cell .frame { background: #0c0c0e; border: 1px solid var(--line); border-radius: 10px; overflow: hidden; }
.cell-base .frame { border-color: var(--ok); }
.cell video { width: 100%; display: block; aspect-ratio: 4/3; object-fit: contain; background: #0c0c0e; }
.cell figcaption { display: grid; grid-template-columns: auto 1fr; gap: 2px 8px; align-items: baseline; font-size: .85rem; }
.cell figcaption b { letter-spacing: -.01em; }
.cell figcaption .cstep { grid-row: span 2; font-size: .7rem; font-variant-numeric: tabular-nums;
  color: var(--muted); border: 1px solid var(--line); border-radius: 6px; padding: 1px 6px; align-self: start; }
.cell-base figcaption .cstep { color: var(--ok); border-color: var(--ok); }
.cell figcaption .sub { grid-column: 2; color: var(--muted); font-size: .78rem; }
.cell.missing .frame { display: grid; place-items: center; aspect-ratio: 4/3; background: var(--code); border-style: dashed; }
.cell.missing .frame::after { content: "clip not on this machine"; color: var(--muted); font-size: .78rem; font-style: italic; }
.cell.missing video { display: none; }

.paperfig { margin: 1rem 0; text-align: center; }
.btn-disabled { opacity: .55; cursor: default; pointer-events: none; }
.demohead { margin: 2.2rem 0 .3rem; }
.demonote { color: var(--muted); max-width: 68ch; margin: 0 0 1rem; }
.demotask { font-size: 1rem; margin: 1.4rem 0 .6rem; }
.democount { color: var(--muted); font-weight: 400; font-size: .85rem; margin-left: .4rem; }
.demowide { width: min(1320px, calc(100vw - 32px)); position: relative; left: 50%; transform: translateX(-50%); }
.demogrid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 14px; }
@media (max-width: 760px) { .demogrid { grid-template-columns: repeat(2, 1fr); } }
.demoname { font-weight: 600; }
.democlip .why { margin: 0; padding: 8px 10px 4px; font-size: .8rem; line-height: 1.4; color: var(--ink); }
.democlip .stages { list-style: none; margin: 0; padding: 4px 6px 8px; font-size: .76rem; }
.democlip .stages button { all: unset; box-sizing: border-box; display: flex; gap: 6px; width: 100%; padding: 3px 4px;
  border-radius: 5px; cursor: pointer; color: var(--muted); line-height: 1.3; }
.democlip .stages button:hover { background: var(--code); color: var(--ink); }
.democlip .stages button:focus-visible { outline: 2px solid var(--accent); }
.democlip .stages .st { flex: 0 0 auto; font-variant-numeric: tabular-nums; opacity: .7; }
.democlip .stages li.now button { color: var(--ink); background: var(--code); font-weight: 600; }
.democlip .stages li.failst button { color: var(--bad); }
.democlip .stages li.failst.now button { background: var(--bad-soft); }
.democlip { margin: 0; background: var(--surface); border: 1px solid var(--line); border-radius: 10px; overflow: hidden; }
.democlip video { display: block; width: 100%; aspect-ratio: 426 / 960; background: #000; }
.democlip figcaption { display: flex; justify-content: space-between; align-items: center; padding: 6px 10px; font-size: .82rem; }
.badge { font-weight: 600; padding: 2px 10px; border-radius: 999px; }
.badge.ok { color: var(--ok); background: var(--ok-soft); }
.badge.bad { color: var(--bad); background: var(--bad-soft); }
.dur { color: var(--muted); font-variant-numeric: tabular-nums; }
.paperfig img { width: 100%; height: auto; border-radius: 6px; background: #fff; }
.paperfig.narrow img { max-width: 520px; }
.realintro { display: flex; gap: 28px; align-items: flex-start; margin-bottom: 22px; }
.realtext { flex: 1 1 auto; }
.realtext p { margin-top: 0; color: var(--muted); }
.tasklist { margin: 10px 0 0; padding-left: 1.2em; color: var(--muted); }
.tasklist li { margin: 2px 0; }
.tasklist b { color: var(--ink); font-weight: 600; }
.realgrid { flex: 0 0 auto; margin: 0; }
.realgrid img { width: 100%; height: auto; border-radius: 6px; display: block; }
@media (max-width: 760px) { .realintro { flex-direction: column; } .realgrid { flex-basis: auto; width: 100%; max-width: 420px; } }
table.results th, table.results td { text-align: center; padding: 6px 8px; }
table.results td:first-child { text-align: left; }
table.results td.best { font-weight: 700; }
table.results tr.avg td { border-top: 2px solid var(--line); font-weight: 600; }

/* four tabs spread evenly */
.subnav-in { justify-content: space-evenly; }
.subnav a { flex: 0 0 auto; }
@media (max-width: 760px) { .subnav-in { justify-content: flex-start; } }

/* hero buttons with icons */
.btn { display: inline-flex; align-items: center; gap: 7px; }
.btn .ico { width: 17px; height: 17px; flex: 0 0 auto; fill: none; stroke: currentColor; stroke-width: 2;
  stroke-linecap: round; stroke-linejoin: round; }
.btn small { font-size: .78em; opacity: .8; }