/* Evidence page */
.ev-jump { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 28px; }
.ev-jump a { font-family: var(--font-mono); font-size: .72rem; letter-spacing: .08em; text-transform: uppercase; text-decoration: none; padding: 8px 14px; border: 1px solid var(--line); border-radius: 99px; background: var(--paper-bright); color: var(--muted); }
.ev-jump a:hover { color: var(--ink); border-color: var(--ink); }
.ev-hero-art { position: absolute; right: 0; bottom: 0; width: min(46%, 520px); opacity: .9; pointer-events: none; }
.page-hero .wrap > * { max-width: 100%; }
@media (max-width: 900px) { .ev-hero-art { display: none; } }
.ev-facts { margin-top: clamp(36px, 5vw, 56px); }

/* status board */
.board { border: 1px solid var(--line); border-radius: var(--radius-lg); background: var(--paper-bright); overflow: hidden; }
.board-head, .board-row { display: grid; grid-template-columns: 150px repeat(3, minmax(0, 1fr)); }
.board-head { background: var(--paper); border-bottom: 1px solid var(--line); }
.board-head > div { padding: 16px 20px; }
.board-row { border-bottom: 1px solid var(--line); }
.board-row:last-child { border-bottom: 0; }
.board-row > * { padding: 18px 20px; min-width: 0; }
.board-row h3 { font-size: 1rem; letter-spacing: -.01em; line-height: 1.25; }
.board-row p { font-size: .9rem; color: var(--muted); }
.board-row .cell + .cell { border-left: 1px dashed var(--line); }
.board-row .badge { display: none; margin-bottom: 8px; }
.board-row .cell.aim p { color: #6a3a24; }
@media (max-width: 900px) {
  .board-head { display: none; }
  .board-row { grid-template-columns: 1fr; }
  .board-row > * { padding: 12px 20px; }
  .board-row h3 { padding-top: 20px; font-size: 1.15rem; }
  .board-row .cell + .cell { border-left: 0; border-top: 1px dashed var(--line); }
  .board-row .badge { display: inline-flex; }
}

/* formal */
.ev-model td:first-child { font-weight: 650; white-space: nowrap; }
.ev-model td.inv { font-family: var(--font-mono); font-size: .8rem; color: var(--clay); }
.trace { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 12px; margin: 22px 0 6px; counter-reset: s; }
.trace li { list-style: none; counter-increment: s; border: 1px solid var(--line-dark); border-radius: 14px; padding: 14px 16px; font-size: .9rem; background: rgba(15,42,35,.5); position: relative; }
.trace li::before { content: counter(s); font-family: var(--font-mono); font-size: .7rem; color: var(--accent); display: block; margin-bottom: 6px; }
.trace li.bad { border-color: var(--clay); background: rgba(184,96,62,.18); }
.trace li.bad b { color: var(--signal-soft); }
.trace-box[hidden] { display: none; }
.trace-tabs { display: inline-flex; gap: 6px; padding: 4px; border: 1px solid var(--line-dark); border-radius: 99px; margin-top: 8px; }
.trace-tabs button { font: 600 .85rem/1 var(--font-body); color: var(--night-muted); background: transparent; border: 0; border-radius: 99px; padding: 10px 16px; cursor: pointer; min-height: 40px; }
.trace-tabs button[aria-pressed="true"] { background: var(--accent); color: var(--ink); }
.trace-verdict { margin-top: 14px; font-family: var(--font-mono); font-size: .8rem; color: var(--night-muted); }
@media (max-width: 760px) { .trace { grid-template-columns: 1fr; } }
.split { display: grid; grid-template-columns: 1.1fr .9fr; gap: clamp(28px, 5vw, 64px); align-items: start; }
@media (max-width: 900px) { .split { grid-template-columns: 1fr; } }

/* benchmarks */
.bench td.num, .bench th.num { text-align: right; }
.bench td.best { background: transparent; }
.bench .refuse td { color: var(--clay); }
.caveats { columns: 2; column-gap: 40px; margin: 0; padding: 0; list-style: none; }
.caveats li { break-inside: avoid; padding: 0 0 12px 22px; position: relative; color: var(--muted); font-size: .92rem; }
.caveats li::before { content: ""; position: absolute; left: 0; top: .6em; width: 8px; height: 8px; border-radius: 2px; background: var(--signal); }
@media (max-width: 760px) { .caveats { columns: 1; } }
.stack { display: grid; gap: 28px; }

/* compare */
.chips { display: flex; flex-wrap: wrap; gap: 8px; list-style: none; margin: 0; padding: 0; }
.chips li { font-family: var(--font-mono); font-size: .76rem; letter-spacing: .03em; padding: 7px 13px; border: 1px solid var(--line); border-radius: 99px; background: var(--paper-bright); }
.cmp td:first-child { font-weight: 650; white-space: nowrap; }
.cmp td { min-width: 200px; }
.cmp td:first-child { min-width: 0; }

/* roadmap */
.rail { list-style: none; margin: 0; padding: 0; position: relative; display: grid; grid-template-columns: minmax(0, 1fr); gap: 14px; counter-reset: st; }
.rail::before { content: ""; position: absolute; left: 21px; top: 10px; bottom: 10px; width: 2px; background: repeating-linear-gradient(var(--sage) 0 6px, transparent 6px 12px); }
.rail li { position: relative; padding: 4px 0 4px 64px; counter-increment: st; }
.rail li::before { content: counter(st); position: absolute; left: 0; top: 4px; width: 44px; height: 44px; border-radius: 50%; display: grid; place-items: center; font-family: var(--font-mono); font-size: .82rem; background: var(--paper-bright); border: 2px solid var(--sage); color: var(--muted); }
.rail li.now::before { background: var(--accent); border-color: var(--ink); color: var(--ink); box-shadow: 0 0 0 6px rgba(212,237,138,.35); }
.rail li.done::before { background: var(--mist); border-color: var(--positive); color: var(--positive); }
.rail li.far::before { border-style: dashed; }
.rail .box { background: var(--paper-bright); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px 22px; display: grid; gap: 6px; }
.rail li.now .box { border-color: var(--ink); }
.rail h3 { font-size: 1.15rem; letter-spacing: -.01em; display: flex; flex-wrap: wrap; gap: 10px; align-items: center; }
.rail p { font-size: .93rem; color: var(--muted); }
.rail .gate { font-size: .86rem; }
.rail .gate b { font-family: var(--font-mono); font-size: .7rem; letter-spacing: .08em; text-transform: uppercase; color: var(--positive); font-weight: 400; margin-right: 6px; }

/* changelog */
.log { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--line); }
.log li { display: grid; grid-template-columns: 170px 1fr; gap: 28px; padding: 26px 0; border-bottom: 1px solid var(--line); }
.log .v { font-family: var(--font-mono); font-size: 1.3rem; letter-spacing: -.02em; }
.log .v small { display: block; font-size: .72rem; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin-top: 6px; }
.log p { color: var(--muted); max-width: 70ch; }
@media (max-width: 640px) { .log li { grid-template-columns: 1fr; gap: 8px; } }
.exercise { display: grid; grid-template-columns: auto 1fr; gap: clamp(20px, 4vw, 48px); align-items: center; }
.exercise .big { font-size: clamp(2.4rem, 1.8rem + 3vw, 4rem); font-weight: 750; letter-spacing: -.04em; line-height: 1; color: var(--accent); }
.exercise .nums { display: grid; gap: 14px; }
@media (max-width: 640px) { .exercise { grid-template-columns: 1fr; } }
.trace-tabs[hidden] { display: none; }
.rail .badge { white-space: normal; }
.ev-facts { position: relative; z-index: 1; max-width: 780px; margin-top: 40px; }
.ev-facts .big { font-size: clamp(2rem, 1.5rem + 1.6vw, 3rem); white-space: nowrap; }
.ev-facts .fact { padding-right: 20px; margin-right: 20px; }
@media (max-width: 1080px) { .ev-facts { max-width: none; } }