:root{--bg:#090b0e;--panel:#11151a;--text:#f5f7f9;--muted:#a7b1bc;--line:#252d36;--accent:#b9ff66;--blue:#7dd3fc;--warn:#ffd166;--max:1120px}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg);color:var(--text);font:16px/1.6 Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}a{color:inherit}.wrap{max-width:var(--max);margin:auto;padding:0 22px}nav{min-height:72px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);gap:20px}.brand{font-weight:800;text-decoration:none}.links{display:flex;gap:18px;color:var(--muted);font-size:14px;flex-wrap:wrap}.links a{text-decoration:none}.hero{padding:88px 0 64px}.eyebrow,.ey,.kicker,.tag{font-size:12px;font-weight:800;letter-spacing:.12em;text-transform:uppercase;color:var(--accent)}h1{font-size:clamp(44px,7.6vw,82px);line-height:.98;max-width:1030px;margin:15px 0 22px;letter-spacing:-.045em}h2{font-size:clamp(30px,4vw,46px);letter-spacing:-.03em;margin:8px 0 28px}h3{margin:.4rem 0}.lead{max-width:850px;font-size:clamp(19px,2.2vw,24px);color:var(--muted)}.actions{display:flex;gap:12px;flex-wrap:wrap;margin-top:28px}.btn{display:inline-block;padding:11px 15px;border-radius:10px;text-decoration:none;font-weight:750;border:1px solid var(--line)}.btn.primary{background:var(--accent);color:#0a0d08;border-color:var(--accent)}section{padding:58px 0;border-top:1px solid var(--line)}.proofs,.grid{display:grid;grid-template-columns:repeat(2,1fr);gap:16px}.grid3{display:grid;grid-template-columns:repeat(3,1fr);gap:16px}.proof,.panel,.card{border:1px solid var(--line);background:var(--panel);border-radius:16px;padding:22px}.proof{text-decoration:none;display:flex;min-height:270px;flex-direction:column;justify-content:space-between}.proof:hover,.card:hover{border-color:#596574}.proof p,.muted,.small,.card p{color:var(--muted)}.small{font-size:14px}.status{display:inline-flex;padding:5px 8px;border:1px solid var(--line);border-radius:999px;color:var(--muted);font-size:12px;margin-top:8px}.open{font-weight:800;color:var(--accent)}.boundary{padding:22px;border-left:3px solid var(--accent);background:var(--panel);color:var(--muted);max-width:900px}.proofline{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--muted);white-space:pre-wrap;background:#0d1116;border:1px solid var(--line);border-radius:12px;padding:16px}.case{max-width:850px}.case ul{color:var(--muted)}table{width:100%;border-collapse:collapse}th,td{padding:12px 10px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}th{color:var(--accent);font-size:12px;text-transform:uppercase;letter-spacing:.08em}.metricrow{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin-top:28px}.metric{border-top:1px solid var(--line);padding-top:12px}.metric b{display:block;font-size:26px}.metric span{color:var(--muted);font-size:13px}.callout{border:1px solid var(--line);border-radius:16px;padding:22px;background:#0d1116}.route{color:var(--blue);font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.footer-nav{display:flex;gap:16px;flex-wrap:wrap;margin-top:24px}footer{padding:48px 0 76px;color:var(--muted)}@media(max-width:760px){.proofs,.grid,.grid3,.metricrow{grid-template-columns:1fr}.links{font-size:13px}nav{align-items:flex-start;padding:18px 0}.hero{padding-top:64px}table{display:block;overflow-x:auto;white-space:normal}}