:root{color-scheme:light;--ink:#0f172a;--muted:#475569;--line:#cbd5e1;--panel:#f8fafc;--brand:#0b5cad}*{box-sizing:border-box}body{margin:0;font-family:Segoe UI,Arial,sans-serif;color:var(--ink);background:white;line-height:1.45}.layout{display:grid;grid-template-columns:260px minmax(720px,1fr);align-items:start}.rail{position:sticky;top:0;min-height:100vh;border-right:1px solid var(--line);background:#f1f5f9;padding:14px}.rail.collapsed{width:58px;overflow:hidden}.rail.collapsed nav,.rail.collapsed .brand-text{display:none}.toggle{border:1px solid #94a3b8;background:white;border-radius:6px;padding:6px 10px;cursor:pointer}.brand{display:flex;gap:10px;align-items:center;margin:12px 0 18px}.brand img{width:48px;height:48px}.brand strong{display:block;font-size:18px}nav a{display:block;color:#0b5cad;text-decoration:none;padding:7px 8px;border-radius:6px}nav a:hover{background:#dbeafe}.content{padding:18px 24px 48px;min-width:0}.hero{display:grid;grid-template-columns:minmax(360px,760px) minmax(240px,420px);gap:22px;align-items:start;border-bottom:1px solid var(--line);padding-bottom:18px}.hero h1{font-size:34px;line-height:1.08;margin:0 0 8px}.hero p{margin:0 0 12px;color:var(--muted)}.logo-panel{border:1px solid var(--line);background:var(--panel);border-radius:8px;padding:14px}.logo-panel img{width:96px;height:96px;display:block}.actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:12px}.button{display:inline-block;background:var(--brand);color:white;text-decoration:none;border-radius:6px;padding:8px 12px}.button.secondary{background:#334155}.section{padding:20px 0;border-bottom:1px solid #e2e8f0}h2{margin:0 0 10px;font-size:24px}table{border-collapse:collapse;margin:8px 0 12px;max-width:100%}th,td{border:1px solid var(--line);padding:7px 9px;text-align:left;vertical-align:top}th{background:#e2e8f0;cursor:pointer;white-space:normal}td.num,th.num{text-align:right}tr:hover td{background:#f8fafc}.fine{font-size:13px;color:var(--muted)}code{background:#eef2f7;padding:.1rem .25rem;border-radius:4px}@media(max-width:900px){.layout{display:block}.rail{position:relative;min-height:auto;border-right:0;border-bottom:1px solid var(--line)}.hero{grid-template-columns:1fr}.content{padding:14px;overflow-x:auto}}.language-switch{display:flex;gap:6px;margin:10px 0}.language-switch a{border:1px solid #94a3b8;border-radius:6px;padding:4px 7px;text-decoration:none;color:#0b5cad;background:white}.language-switch a:hover{background:#dbeafe}.rail.collapsed .language-switch{display:none}
.proof table td:first-child{font-weight:600;}
.proof .num,td.num{text-align:right;font-variant-numeric:tabular-nums;}