@import url('https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;450;500;550;600;650;700&family=Manrope:wght@400;500;600;650;700;750;800&display=swap');
:root{color-scheme:light;--paper:#f7f8f4;--ink:#182b29;--muted:#5b6d68;--line:#d7dfd6;--green:#226956;--orange:#e87839;font-family:'DM Sans',system-ui,sans-serif;background:var(--paper);color:var(--ink)}*{box-sizing:border-box}body{margin:0}main{max-width:1260px;margin:0 auto;padding:0 44px}a{color:var(--green);text-underline-offset:4px}button,select,input{font:inherit}button,a,select,input{touch-action:manipulation}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible{outline:3px solid #b56e25;outline-offset:4px}nav{display:flex;gap:18px;align-items:center;padding:27px 0;border-bottom:1px solid var(--line);font-size:13px}nav>a:first-child{text-decoration:none;font-weight:800;font-size:19px;letter-spacing:-1px}.nav-end{margin-left:auto}header{padding:56px 0 35px;max-width:1040px}.eyebrow{font-size:11px;letter-spacing:1.7px;font-weight:700;color:var(--green);display:flex;align-items:center;gap:9px}.status-dot{width:7px;height:7px;border-radius:50%;background:#3e9876;flex-shrink:0}.date{color:#7d8980;margin-left:17px}h1,h2,h3{font-family:Manrope,system-ui,sans-serif}h1{font-size:clamp(44px,6vw,78px);font-weight:650;line-height:1.06;letter-spacing:-4px;margin:23px 0}h2{font-size:32px;font-weight:650;letter-spacing:-1px;line-height:1.25}h3{font-size:22px;font-weight:650;letter-spacing:-.5px}.lede{font-size:19px;line-height:1.6;color:var(--muted);max-width:810px}.claim{display:flex;align-items:center;gap:22px;flex-wrap:wrap;margin-top:24px;font-size:13px;color:var(--muted)}.claim strong{color:var(--green);font-size:25px;font-weight:500;padding-right:22px;border-right:1px solid var(--line)}.illustration{display:grid;grid-template-columns:minmax(0,1fr) 282px;border:1px solid var(--line);border-radius:18px;overflow:hidden;background:#fff}.viewer-column{min-width:0}.viewer-top{display:flex;justify-content:space-between;align-items:center;gap:12px;padding:22px 25px}.viewer-top h2{font-family:'DM Sans',system-ui,sans-serif;font-size:15px;letter-spacing:0;margin:0}.live-tag{font-size:9px;letter-spacing:1.3px;font-weight:700;color:#6c7e73}.illustration aside{background:#edf2e9;padding:28px 24px;border-left:1px solid var(--line);font-size:13px;line-height:1.65}aside .eyebrow{line-height:1.5;font-size:10px;letter-spacing:1.1px}.metric{margin:26px 0;display:flex;flex-direction:column;gap:2px}.metric strong{font-family:Manrope,system-ui,sans-serif;font-size:46px;line-height:1;letter-spacing:-2px;font-weight:600}.metric span{color:var(--muted);font-size:12px}.illustration aside>p:not(.eyebrow){color:var(--muted)}#scene{position:relative;width:100%;height:490px;background:#fff}canvas{display:block;width:100%;height:100%;touch-action:none}#loading{position:absolute;inset:30% 0;text-align:center;color:var(--muted);font-size:14px}.scene-legend,.scene-hint{position:absolute;z-index:1;pointer-events:none;font-size:11px;color:var(--muted)}.scene-legend{top:0;left:25px;display:flex;align-items:center;gap:6px}.root-swatch,.tile-swatch{width:9px;height:9px;border-radius:2px;display:inline-block}.root-swatch{background:var(--orange)}.tile-swatch{background:#7dab99;margin-left:12px}.scene-hint{bottom:12px;left:25px;right:20px}.viewer-controls{display:flex;gap:15px;align-items:center;flex-wrap:wrap;padding:17px 25px;border-top:1px solid #e9ece5;font-size:11px}.viewer-controls label{display:flex;align-items:center;gap:6px}select{max-width:100%;background:#fff;border:1px solid var(--line);border-radius:6px;padding:7px;color:var(--ink);font-size:11px}.check input{accent-color:var(--green)}button{cursor:pointer;background:white;color:var(--ink);border:1px solid var(--line);border-radius:7px;padding:9px 12px}#reset{margin-left:auto;font-size:11px}.caption{font-size:12px;line-height:1.5;color:var(--muted)}#view-note{padding:0 25px;margin:0 0 21px;min-height:36px}#selection{border-top:1px solid #cdd8c9;margin-top:28px;padding-top:18px;min-height:120px}#selection p{margin:7px 0 15px;line-height:1.6;color:var(--muted)}#selection code{display:block;font-size:10px;white-space:normal;word-break:break-word;color:#384e44}section.proof-section{padding:66px 0 38px}.section-heading h2{margin:12px 0 30px}.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:50px}.proof-grid article{border-top:1px solid var(--line);padding-top:20px}.step{color:#8b998d;font-size:13px}.proof-grid h3{margin:14px 0}.proof-grid p,.scope,.context p{font-size:15px;line-height:1.75;color:var(--muted)}.formula-strip{display:grid;grid-template-columns:repeat(4,1fr);gap:20px;padding:25px 0;margin:24px 0 18px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.formula-strip div{display:flex;flex-direction:column;gap:6px}.formula-strip strong{font-family:Manrope,system-ui,sans-serif;font-size:26px;font-weight:600;letter-spacing:-1px}.formula-strip span{font-size:12px;color:var(--muted)}.scope strong{color:var(--ink)}.proof-section>p:last-child{font-size:13px}.verify-section{background:#eaf0e5;border:1px solid #d5dfcf;border-radius:18px;padding:34px;display:grid;grid-template-columns:1fr 1fr;gap:28px 40px;scroll-margin-top:20px}.verify-section h2{font-size:31px;margin:18px 0}.verify-section p{font-size:14px;line-height:1.65;color:#53654f}.verify-section>div>a{font-size:12px}.actions{display:flex;gap:10px;flex-wrap:wrap;margin-top:25px}.actions a,.actions button{font-size:12px;padding:13px 15px;border-radius:7px;text-decoration:none}.actions a.primary{background:#246653;color:white;display:inline-flex;gap:18px;align-items:center}.primary span{opacity:.75;font-size:11px}.command-card{background:#19372d;color:#e7efdf;border-radius:11px;padding:27px;align-self:start}.command-card>span{font-size:10px;letter-spacing:1.5px;opacity:.7}.command-card pre{font-size:16px;line-height:1.8;margin:25px 0;overflow:auto}.command-card p{color:#bacfbd;font-size:12px;line-height:1.65}.command-card .requirements{font-size:11px;color:#9db79e;border-top:1px solid #3e594b;padding-top:14px}.verification-result{grid-column:1/-1;display:flex;gap:12px;align-items:center;padding-top:23px;border-top:1px solid #cdd8c7;font-size:12px}.verification-result div{display:flex;flex-direction:column;gap:5px}.verification-result span:not(.status-dot){color:#667862;font-size:11px}.verify-section details{grid-column:1/-1;border-top:1px solid #cdd8c7;padding-top:18px;min-width:0;font-size:12px}.verify-section summary{cursor:pointer;font-weight:600}.verify-section details p{font-size:12px}.hash{display:block;overflow-wrap:anywhere;font-size:11px}.artifact-links{display:flex;gap:20px;flex-wrap:wrap}.context{display:grid;grid-template-columns:1fr 1.2fr;gap:50px;padding:64px 0 45px}.context h2{font-size:29px}.context a{font-size:12px;margin-right:16px}.context p:first-child{margin-top:12px}footer{border-top:1px solid var(--line);display:flex;gap:20px;flex-wrap:wrap;padding:25px 0 32px;font-size:11px;color:var(--muted)}footer span{margin-right:auto}#error{color:#a43829;font-size:14px;line-height:1.5}mjx-container[display=true]{max-width:100%;overflow:auto}@media(max-width:960px){main{padding:0 26px}.illustration{grid-template-columns:minmax(0,1fr) 245px}.illustration aside{padding:24px 19px}#scene{height:450px}.viewer-controls{gap:10px}.verify-section{padding:26px;gap:25px}#reset{margin-left:0}.date{margin-left:7px}}@media(max-width:700px){main{padding:0 18px}nav{gap:10px;padding:20px 0;font-size:11px}header{padding:34px 0 28px}.date{display:none}h1{letter-spacing:-2.5px;font-size:52px}.lede{font-size:16px}.claim{gap:10px;font-size:11px}.claim strong{font-size:23px;border:0}.illustration{grid-template-columns:1fr}.illustration aside{border-left:0;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:10px 25px;padding:23px}.illustration aside>.eyebrow,.illustration aside>p,.illustration aside>a,#selection{grid-column:1/-1}.metric{margin:5px 0}.metric strong{font-size:36px}#selection{margin-top:4px;min-height:0}.viewer-top,.viewer-controls{padding:18px}.viewer-top h2{font-size:13px}.live-tag{font-size:8px}#scene{height:370px}.scene-legend{left:18px;font-size:10px}.scene-hint{left:18px;font-size:9px}#view-note{padding:0 18px}.proof-grid,.verify-section,.context{grid-template-columns:1fr;gap:24px}.proof-grid{gap:22px}.section-heading h2,h2{font-size:28px}.proof-section{padding-top:42px!important}.formula-strip{grid-template-columns:1fr 1fr;gap:24px}.formula-strip strong{font-size:25px}.verify-section{padding:23px 20px}.verify-section h2{font-size:28px}.verify-section details,.verification-result{grid-column:1}.context{padding:42px 0 30px}.context h2{margin-bottom:0}.context p:first-child{margin-top:0}.command-card{padding:22px}.command-card pre{font-size:14px}footer{gap:13px}.artifact-links{gap:12px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}