:root{--ink:#1c1d21;--mut:#5b5e66;--bg:#fff;--line:#e6e6ea;--ac:#0a5a8a;--amber:#8a5a00;--amberbg:#fff6e0}
*{box-sizing:border-box}body{margin:0;color:var(--ink);background:var(--bg);font:17px/1.65 Georgia,'Times New Roman',serif}
main{max-width:760px;margin:0 auto;padding:0 18px 64px}
header{border-bottom:1px solid var(--line)}footer{border-top:1px solid var(--line);max-width:760px;margin:40px auto 0;padding:14px 18px;color:var(--mut);font-size:.85em}
.crumb{max-width:760px;margin:0 auto;padding:10px 18px;font:14px/1.4 system-ui,sans-serif;color:var(--mut)}
a{color:var(--ac);text-decoration:none}a:hover{text-decoration:underline}
h1{font-size:1.7em;line-height:1.25;margin:.9em 0 .4em}h2{font-size:1.28em;margin:1.6em 0 .4em}h3{font-size:1.08em;margin:1.3em 0 .3em}h4{font-size:1em;margin:1.1em 0 .2em}
.abstract{font-size:1.04em;color:#2a2c33;border-left:3px solid var(--ac);padding:.2em 0 .2em .8em;margin:1em 0}
.claim-strip{display:flex;flex-wrap:wrap;gap:.6em;align-items:center;font:13.5px/1.5 system-ui,sans-serif;background:#f6f7f9;border:1px solid var(--line);border-radius:8px;padding:.5em .8em;margin:.9em 0}
.claim-strip .gate{color:var(--mut);letter-spacing:.02em}
.claim-strip.banner{background:var(--amberbg);border-color:#e8d6a8;color:var(--amber)}
.claim-strip.vps{background:#f3f7fb;border-color:#d6e4ef;display:block}
.claim-strip.vps .g{font-weight:700;color:var(--ac);margin-right:.5em}
.claim-strip.vps .io{display:block;color:var(--mut)}
.claim-strip.vps q.one{display:block;font-style:italic;color:#333}
.claim-strip.vps .cards{display:block;color:var(--mut);font-size:.92em}
.g-forced{color:#0b6b2e;font-weight:700}.g-hypothesis{color:#7a5c00;font-weight:700}.g-verified{color:#0a5a8a;font-weight:700}.g-open{color:#8a3b00;font-weight:700}
.tag-superseded,.tag-nonevidence,.tag-opentier{color:var(--amber);font-weight:700}.tag-armed{color:#9c1f1f;font-weight:700}
figure.eq{margin:1.1em 0;text-align:center;overflow-x:auto}figure.eq img{max-width:100%;height:auto}
figure.fig{margin:1.2em 0;text-align:center}figcaption{font:13.5px/1.5 system-ui,sans-serif;color:var(--mut)}
table{border-collapse:collapse;margin:1em 0;font-size:.93em;max-width:100%;display:block;overflow-x:auto}
td{border:1px solid var(--line);padding:.3em .55em;vertical-align:top}
.box{border:1px solid var(--line);border-radius:8px;padding:.7em .9em;margin:1em 0;background:#fafafa}
code{font:.92em ui-monospace,Consolas,monospace;background:#f4f4f6;padding:.05em .3em;border-radius:4px}
ul,ol{padding-left:1.4em}li{margin:.25em 0}
.pn{display:flex;justify-content:space-between;gap:1em;margin:2.2em 0 0;font:14.5px/1.4 system-ui,sans-serif}
.c{text-align:center}.lede{font-style:italic;color:var(--mut)}
.xref{border-bottom:1px dotted var(--ac)}
@media(max-width:480px){body{font-size:16px}h1{font-size:1.45em}}