@import url('https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;500;600;700&family=Manrope:wght@400;500;600;700;800&display=swap');
:root{--ink:#22213b;--muted:#65657a;--paper:#f7f6f2;--line:#dad9e2;--purple:#6651bb;--light:#efebfa;--orange:#d55b32;--green:#247562;--red:#b83d47}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:28px}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.65 'DM Sans',sans-serif}a{color:var(--purple);text-underline-offset:4px}button,input{font:inherit}button{cursor:pointer}button:focus-visible,a:focus-visible,input:focus-visible{outline:3px solid #ad77d9;outline-offset:4px}h1,h2,h3{font-family:Manrope,sans-serif;line-height:1.15;letter-spacing:-.04em}h1{font-size:clamp(48px,6vw,78px);font-weight:800;margin:12px 0 0}h2{font-size:clamp(30px,3vw,43px);margin:8px 0 18px}h3{font-size:24px;margin:0 0 16px}p{margin:0 0 16px}.top,main,footer{max-width:1280px;margin:auto;padding-left:40px;padding-right:40px}.top{display:flex;align-items:center;justify-content:space-between;padding-top:26px;padding-bottom:26px;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;gap:10px;font-size:16px;font-weight:700;color:var(--ink);text-decoration:none}.brand span{color:var(--muted);font-weight:400}.top nav{display:flex;gap:28px}.top nav a{font-size:14px;text-decoration:none;color:var(--muted)}.top nav a:hover{color:var(--purple)}.intro{display:grid;grid-template-columns:1fr 1fr;column-gap:60px;padding:56px 0 48px}.intro>.eyebrow{grid-column:1/-1}.intro-copy{padding-top:20px;font-size:18px;max-width:520px}.claim{font-size:23px}.subtle,.caption-note{color:var(--muted);font-size:14px}.eyebrow{color:var(--purple);text-transform:uppercase;font-size:11px;font-weight:700;letter-spacing:.17em;margin:0 0 9px}.section{padding:58px 0;border-top:1px solid var(--line)}.section-head{max-width:780px;margin-bottom:28px}.split{display:grid;grid-template-columns:1.3fr 1fr;gap:26px;align-items:stretch}.plot{margin:0;background:#fff;border:1px solid var(--line);border-radius:18px;padding:24px;display:flex;flex-direction:column;justify-content:center;min-width:0}.plot svg{display:block;width:100%;max-height:470px}figcaption{font-size:13px;color:var(--muted);line-height:1.5;padding:12px 8px 0}.panel{border-radius:18px;padding:28px;background:#eeedf4;min-width:0}.panel p{font-size:15px}.formula{font-family:Georgia,serif;font-size:23px;line-height:1.65;margin:18px 0;color:var(--ink)}.formula small{font-family:'DM Sans',sans-serif;font-size:13px;color:var(--muted)}label{font-size:13px;font-weight:600}.panel label{display:flex;justify-content:space-between;margin-top:14px}.panel input[type=range]{width:100%;accent-color:var(--purple);margin:10px 0}output{font-variant-numeric:tabular-nums;color:var(--purple)}.readings{display:flex;gap:34px;margin:15px 0}.readings small{display:block;color:var(--muted);font-size:12px}.readings strong{font-size:30px;letter-spacing:-.04em;font-variant-numeric:tabular-nums}.quiet{background:transparent;color:var(--purple);border:1px solid #c9c2df;padding:7px 13px;border-radius:6px;font-size:13px}.source{display:block;font-size:12px;font-weight:600;margin-top:20px;overflow-wrap:anywhere}.graph-tools{display:flex;align-items:center;flex-wrap:wrap;gap:10px;margin:20px 0}.graph-tools label{display:flex;align-items:center;gap:8px}.graph-tools button{height:38px;width:38px;background:white;border:1px solid var(--line);border-radius:6px}.graph-tools input[type=number]{width:85px;height:38px;border:1px solid var(--line);border-radius:6px;padding:5px 8px;background:white}.graph-tools .check{margin:0 15px}.graph-tools input[type=range]{width:100px;accent-color:var(--purple)}input[type=checkbox]{accent-color:var(--purple)}.graph-plot{padding:14px;justify-content:flex-start}.graph-plot canvas{width:100%;aspect-ratio:900/650;display:block;cursor:crosshair}.witness{background:#f0ede5}.witness svg{height:210px;width:100%;display:block}.witness .formula{font-size:19px;margin:8px 0}.witness details{border-top:1px solid #d7d1c3;padding-top:12px;margin-top:15px;font-size:12px}.witness pre{font-size:12px;white-space:pre-wrap}.witness summary{cursor:pointer;font-size:13px}.caption-note{margin:18px 0 0;font-size:12px}.colour-lab{display:grid;grid-template-columns:1fr 1fr;gap:40px;padding:30px 0 12px;margin-top:26px;border-top:1px solid var(--line)}.colour-row{display:flex;justify-content:space-between;align-items:center;margin-bottom:14px;gap:12px}.colour-row>span{font-size:13px}.colour-row>div{display:flex;gap:10px}.colour-button{width:37px;height:37px;border:3px solid transparent;border-radius:50%;color:white;font-size:13px;font-weight:bold;background:var(--swatch)}.colour-button[aria-pressed=true]{outline:2px solid var(--ink);outline-offset:3px}.colour-controls{padding:8px 0}#colour-result{font-weight:600;font-size:14px}#load-status{color:var(--muted);font-size:14px}#load-status:empty{display:none}.proof-map{height:350px;position:relative;margin-bottom:22px;container-type:inline-size}.proof-map>svg{position:absolute;inset:0;width:100%;height:100%;color:#9690aa}.proof-map text{font:11px 'DM Sans',sans-serif;fill:#797489;letter-spacing:1px}.map-node{position:absolute;left:calc(1.923% + var(--col) * 25%);top:calc(20px + var(--row) * 225px);width:20.1923%;height:86px;padding:12px 16px;text-align:left;background:white;border:1px solid var(--line);border-radius:10px;color:var(--ink);transition:background .15s,border-color .15s}.map-node small{display:block;font-size:11px;color:var(--muted);margin-bottom:6px}.map-node strong{font-size:15px;line-height:1.4;display:block}.map-node[aria-pressed=true]{background:var(--purple);border-color:var(--purple);color:white}.map-node[aria-pressed=true] small{color:#e4dafa}.map-node:hover{border-color:var(--purple)}.proof-detail{display:grid;grid-template-columns:1fr 1.25fr;gap:45px;padding:30px;background:var(--light);border-left:4px solid var(--purple);border-radius:0 12px 12px 0;min-height:210px}.proof-detail .formula{font-size:21px;margin:12px 0}.proof-detail h3{font-size:22px}.proof-detail p{font-size:15px}.pullback{max-width:920px;padding:35px 0 0}.metrics{display:grid;grid-template-columns:repeat(4,1fr);padding:25px 0 32px;border-bottom:1px solid var(--line);gap:25px;margin-bottom:35px}.metrics strong{display:block;font-size:38px;font-weight:500;letter-spacing:-.04em}.metrics span{color:var(--muted);font-size:13px}.verification-grid{display:grid;grid-template-columns:1.2fr 1fr;gap:70px}.verification-grid p{font-size:15px}code,pre{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.85em}.lean{background:#efedf4;padding:20px;border-radius:10px;overflow:auto;line-height:1.65;font-size:12px}.resource-list{list-style:none;padding:0;margin:0}.resource-list li{border-bottom:1px solid var(--line)}.resource-list a{display:flex;justify-content:space-between;align-items:center;text-decoration:none;color:var(--ink);padding:15px 0;font-size:15px}.resource-list a:hover{color:var(--purple)}.context{border-top:1px solid var(--line);margin-top:30px;padding-top:30px;max-width:980px}.context p{font-size:15px}footer{display:flex;justify-content:space-between;align-items:flex-end;border-top:1px solid var(--line);padding-top:28px;padding-bottom:35px;font-size:12px;color:var(--muted);gap:30px}footer p{margin:0}footer a{white-space:nowrap}.noscript{max-width:1200px;margin:auto;padding:20px}@media(min-width:1100px){.proof-map>svg{preserve-aspect-ratio:none}}@media(max-width:1000px){.top,main,footer{padding-left:24px;padding-right:24px}.split{grid-template-columns:1.1fr 1fr;gap:18px}.panel{padding:21px}.intro{column-gap:30px}.map-node{padding:10px}.map-node strong{font-size:12px}.map-node small{font-size:10px}.verification-grid{gap:35px}}@media(max-width:720px){.top{flex-wrap:wrap;gap:19px}.top nav{width:100%;gap:24px}.intro{grid-template-columns:1fr;padding:35px 0}.intro-copy{padding-top:25px}.intro-copy p{font-size:16px}.section{padding:35px 0}.split{grid-template-columns:1fr}.plot{padding:12px}.plot svg{max-height:340px}.graph-layout .graph-plot{order:0}.witness svg{height:200px}.colour-lab,.proof-detail,.verification-grid{grid-template-columns:1fr;gap:24px}.proof-map{display:grid;grid-template-columns:1fr 1fr;gap:10px;height:auto}.proof-map>svg{display:none}.map-node{position:static;width:auto;height:78px;padding:12px}.map-node strong{font-size:13px}.map-node small{font-size:11px}.proof-detail{padding:22px;min-height:0}.metrics{grid-template-columns:1fr 1fr}.metrics strong{font-size:32px}footer{display:block}footer a{display:block;margin-top:20px}.graph-tools label[for=zoom]{width:100%}.graph-tools .check{margin:0 3px}.graph-tools span{font-size:12px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}