:root{
  --paper:#F2F4F1; --surface:#FBFCFA; --ink:#131A1E; --muted:#5F6B70; --rule:#D6DCD7;
  --accent:#0E7490; --accent-soft:#DCEDF1; --gold:#9C6410; --gold-soft:#F5EBDA; --green:#2A6E4F; --green-soft:#DFEDE5;
  --red:#B4322A; --red-soft:#F6E0DE; --chart-a:#0B7A9B; --chart-b:#B98A3C;
  --sq-fill:#E6E9E5; --sq-stroke:#3A4448; --wall:#131A1E;
  --shadow:0 1px 2px rgba(19,26,30,.05),0 8px 24px -12px rgba(19,26,30,.14);
}
@media (prefers-color-scheme: dark){
  :root:not([data-theme="light"]){
    --paper:#0E1316; --surface:#151C20; --ink:#E4EBEA; --muted:#96A4A8; --rule:#263238;
    --accent:#54C3D6; --accent-soft:#0F3138; --gold:#DBA745; --gold-soft:#33280F; --green:#63BE92; --green-soft:#122B20;
    --red:#E0736B; --red-soft:#3A1917; --sq-fill:#243036; --sq-stroke:#B7C4C8; --wall:#E4EBEA; --chart-a:#1495B2; --chart-b:#B8862E;
  }
}
:root[data-theme="dark"]{
  --paper:#0E1316; --surface:#151C20; --ink:#E4EBEA; --muted:#96A4A8; --rule:#263238;
  --accent:#54C3D6; --accent-soft:#0F3138; --gold:#DBA745; --gold-soft:#33280F; --green:#63BE92; --green-soft:#122B20;
  --red:#E0736B; --red-soft:#3A1917; --sq-fill:#243036; --sq-stroke:#B7C4C8; --wall:#E4EBEA; --chart-a:#1495B2; --chart-b:#B8862E;
}
*{box-sizing:border-box}
html,body{height:100%}
body{margin:0;background:var(--paper);color:var(--ink);font-family:Spectral,Georgia,"Times New Roman",serif;font-size:16px;line-height:1.5;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-decoration-thickness:.08em;text-underline-offset:.18em}
.mono{font-family:"IBM Plex Mono",ui-monospace,monospace}
.eyebrow{font-family:"IBM Plex Mono",monospace;font-size:.7rem;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)}
h1,h2,h3{line-height:1.2;margin:0;font-weight:600}
h1{font-size:1.6rem}
h2{font-size:1.1rem}
h3{font-size:.95rem}
p{margin:0}
button,select,input{font:inherit;color:inherit}
select{background:var(--surface);border:1px solid var(--rule);border-radius:3px;padding:3px 6px;max-width:220px}
button{background:var(--surface);border:1px solid var(--rule);border-radius:3px;padding:4px 10px;cursor:pointer}
button:hover{border-color:var(--accent)}
button.on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}
.tag{display:inline-flex;align-items:center;gap:6px;font-family:"IBM Plex Mono",monospace;font-size:.68rem;letter-spacing:.06em;text-transform:uppercase;padding:2px 8px;border-radius:999px}
.tag.ok{background:var(--green-soft);color:var(--green)}
.tag.open{background:var(--gold-soft);color:var(--gold)}
.tag.neutral{background:var(--accent-soft);color:var(--accent)}
.tag.warn{background:var(--red-soft);color:var(--red)}

/* top bar */
.topbar{display:flex;align-items:center;gap:18px;padding:10px 20px;border-bottom:1px solid var(--rule);background:var(--surface);flex-wrap:wrap}
.topbar .brand{font-weight:600;letter-spacing:-.01em;white-space:nowrap}
.topbar nav{display:flex;flex-wrap:wrap;gap:4px 14px;font-size:.92rem}
.topbar nav a{white-space:nowrap}
.topbar nav a{text-decoration:none;color:var(--muted)}
.topbar nav a.here,.topbar nav a:hover{color:var(--accent)}

/* explore layout */
body:has(> .explore){display:flex;flex-direction:column}
.explore{display:grid;grid-template-columns:minmax(0,1fr) 360px;flex:1 1 auto;min-height:0}
@media (max-width:900px){body:has(> .explore){display:block}.explore{grid-template-columns:1fr;height:auto}.side{border-left:none;border-top:1px solid var(--rule)}}
.stage{position:relative;display:flex;flex-direction:column;min-height:420px}
.stage svg{flex:1;width:100%;height:100%;touch-action:none;cursor:grab}
.stage svg.dragging{cursor:grabbing}
.toolbar{display:flex;flex-wrap:wrap;align-items:center;gap:8px;padding:8px 14px;border-bottom:1px solid var(--rule);font-size:.88rem}
.toolbar .sep{width:1px;height:20px;background:var(--rule);margin:0 4px}
.toolbar label{display:inline-flex;align-items:center;gap:5px}
.side{border-left:1px solid var(--rule);background:var(--surface);overflow:auto;padding:18px 20px;display:flex;flex-direction:column;gap:16px;font-size:.93rem}
.side section{display:flex;flex-direction:column;gap:8px;padding-bottom:14px;border-bottom:1px solid var(--rule)}
.side section:last-child{border-bottom:none}
.big{font-family:"IBM Plex Mono",monospace;font-size:1.35rem;font-weight:600;color:var(--accent);letter-spacing:-.02em;font-variant-numeric:tabular-nums}
.kv{display:grid;grid-template-columns:auto 1fr;gap:3px 12px;font-size:.9rem}
.kv dt{color:var(--muted)}
.kv dd{margin:0;font-variant-numeric:tabular-nums}
.prose{font-size:.9rem;color:var(--muted)}
.prose .katex{font-size:1em}
.legend{display:flex;flex-direction:column;gap:3px;font-size:.86rem;font-family:"IBM Plex Mono",monospace}
.legend .row{display:flex;align-items:center;gap:8px;padding:2px 4px;border-radius:3px;cursor:pointer}
.legend .row:hover,.legend .row.hi{background:var(--accent-soft)}
.legend .sw{width:14px;height:14px;border:1px solid var(--sq-stroke);border-radius:2px;flex:none}
.legend .cnt{color:var(--muted);margin-left:auto}
.gaplist{font-family:"IBM Plex Mono",monospace;font-size:.83rem;display:flex;flex-direction:column;gap:2px}
.gaplist .row{display:flex;gap:10px;padding:2px 4px;border-radius:3px;cursor:pointer}
.gaplist .row:hover{background:var(--accent-soft)}
.gaplist .g{margin-left:auto;font-variant-numeric:tabular-nums}
.nav{display:flex;align-items:center;gap:8px}
.nav input{width:70px;padding:4px 6px;border:1px solid var(--rule);border-radius:3px;background:var(--paper);font-family:"IBM Plex Mono",monospace}
.tip{position:absolute;pointer-events:none;background:var(--ink);color:var(--paper);font-family:"IBM Plex Mono",monospace;font-size:.78rem;padding:6px 9px;border-radius:3px;white-space:pre;z-index:5;display:none;line-height:1.4}
.note{font-size:.84rem;color:var(--muted)}
input[type=range]{width:140px}
.hint{font-size:.8rem;color:var(--muted)}

.side .err:not(:empty){color:var(--red);border:1px solid var(--red);border-radius:3px;padding:6px 8px;margin-bottom:10px}

/* folded reference lists */
.refs-more{margin-top:10px}
.refs-more>summary{cursor:pointer;color:var(--accent);font-size:.95rem}

/* results strip: one row of links to the result write-ups (proofs page and the result pages) */
.subnav{display:flex;flex-wrap:wrap;align-items:baseline;gap:2px 14px;padding:6px 20px;border-bottom:1px solid var(--rule);font-size:.86rem}
.subnav .lbl{font-family:"IBM Plex Mono",monospace;font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}
.subnav a{text-decoration:none;color:var(--muted);white-space:nowrap}
.subnav a.here,.subnav a:hover{color:var(--accent)}