:root{--ink:#192921;--muted:#58655e;--paper:#f7f6ef;--line:#d9ddd3;--green:#254d36;--lime:#d7eb94;--red:#a33327}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:24px}body{margin:0;background:var(--paper);color:var(--ink);font-family:Arial,Helvetica,sans-serif;font-size:16px;line-height:1.6}.wrap{max-width:1180px;margin:auto;padding-left:40px;padding-right:40px}a{color:inherit;text-decoration:none}a:hover{text-decoration:underline}button,a{touch-action:manipulation}a:focus-visible,button:focus-visible,[tabindex]:focus-visible{outline:3px solid #8fae3a;outline-offset:5px}.nav{display:flex;align-items:center;justify-content:space-between;padding-top:26px;padding-bottom:26px;border-bottom:1px solid var(--line)}.brand{font-size:19px;font-weight:bold;display:flex;align-items:center;gap:12px;letter-spacing:-.6px}.mark{display:inline-grid;place-items:center;width:38px;height:38px;background:var(--ink);color:var(--paper);font-size:12px;letter-spacing:-1px}.nav nav{display:flex;gap:28px;font-size:13px}.nav-repo{font-weight:bold}.hero{padding-top:74px;padding-bottom:28px}.eyebrow{font-family:monospace;text-transform:uppercase;font-size:11px;letter-spacing:1.4px;display:flex;align-items:center;gap:9px}.dot{display:inline-block;width:7px;height:7px;border-radius:50%;background:#729149}h1{font-size:clamp(58px,7.3vw,96px);line-height:1.04;letter-spacing:-6px;font-weight:500;margin:34px 0 40px}h1 em{font-family:Georgia,serif;font-weight:normal;color:var(--green);letter-spacing:-5px}.hero-bottom{display:flex;justify-content:space-between;align-items:center;gap:50px}.hero-bottom p{max-width:480px;font-size:18px;color:var(--muted);line-height:1.6;margin:0}.actions{display:flex;flex-direction:column;align-items:flex-start;gap:14px}.primary{background:var(--green);color:white;padding:16px 23px;font-size:13px;display:inline-flex;gap:30px;align-items:center;border-radius:3px}.primary:hover{background:#173321;text-decoration:none}.text-link{font-size:13px;font-weight:bold}.ruler{display:flex;justify-content:space-between;border-top:1px solid var(--line);margin-top:60px;padding-top:15px;font:10px monospace;letter-spacing:1.4px;color:var(--muted)}.case-section{background:#e9eddf;margin-top:40px;padding-top:72px;padding-bottom:60px}.section-heading{display:flex;justify-content:space-between;align-items:flex-end;gap:50px;margin-bottom:32px}h2{font-weight:500;letter-spacing:-2.8px;line-height:1.08;font-size:48px;margin:17px 0 0}.section-heading>p{max-width:370px;color:var(--muted);font-size:15px;margin:0}.lab{background:#fbfcf7;border:1px solid #bfcab9;border-radius:6px;overflow:hidden;box-shadow:0 14px 35px #283b2010}.lab-top{display:flex;justify-content:space-between;padding:15px 21px;border-bottom:1px solid var(--line);font:10px monospace;color:var(--muted);gap:16px}.lab-top .dot{margin-right:8px}.lab-body{display:grid;grid-template-columns:260px 1fr}.states{padding:22px;border-right:1px solid var(--line);display:flex;flex-direction:column;gap:9px}.states button{font-family:monospace;font-size:12px;text-align:left;padding:14px 16px;border:1px solid var(--line);background:transparent;border-radius:4px;cursor:pointer;color:var(--ink)}.states button span{display:block;font-family:Arial,sans-serif;font-size:12px;color:var(--muted);margin-top:4px}.states button[aria-selected=true]{background:var(--ink);color:white;border-color:var(--ink)}.states button[aria-selected=true] span{color:#c5d4c7}.trace{padding:26px 32px}.trace-status{font:11px monospace;color:var(--green);padding-bottom:16px;border-bottom:1px solid var(--line)}.trace-status.fail{color:var(--red)}ol{list-style:none;padding:0;margin:22px 0}li{display:flex;gap:18px;margin-bottom:18px;font-size:14px}li>span{font:11px monospace;padding-top:3px;color:#7c897c}li small{display:block;font-size:13px;color:var(--muted);margin-top:3px}.invariant{background:#edf2e4;padding:12px 16px;border-left:3px solid #8aa458}.invariant>span{font:9px monospace;letter-spacing:1px}.invariant p{font-size:13px;margin:5px 0 0}.lab-foot{border-top:1px solid var(--line);padding:12px 21px;font-size:11px;color:var(--muted)}.case-note{font-size:13px;max-width:740px;color:var(--muted);margin:22px 0 0}.method{padding-top:80px;padding-bottom:80px}.steps{display:grid;grid-template-columns:repeat(4,1fr);gap:26px;margin-top:44px}.steps article{border-top:1px solid var(--line);padding-top:20px}.step-number{font:11px monospace;color:var(--muted)}h3{font-size:17px;font-weight:500;line-height:1.3;letter-spacing:-.3px}.steps p,.scope p{font-size:14px;color:var(--muted)}.scope{display:grid;grid-template-columns:1fr 1.15fr;gap:90px;border-top:1px solid var(--line);padding-top:70px;padding-bottom:70px}.scope>div>p{max-width:350px;margin:25px 0}.scope-list article{border-bottom:1px solid var(--line);padding:0 0 20px;margin-bottom:23px}.badge{font:9px monospace;letter-spacing:1px;background:#e4e9dc;padding:5px 8px;color:var(--green)}.badge.next{background:#f0e9d9;color:#655234}.badge.boundary{background:#f0e4dc;color:#7d4335}.scope-list h3{margin:14px 0 9px;font-size:19px}.scope-list p{margin:0}.closing{padding-top:50px;padding-bottom:75px;border-top:1px solid var(--line)}.closing h2{font-size:54px}.closing p{max-width:570px;color:var(--muted);margin:24px 0}footer{display:flex;justify-content:space-between;align-items:center;gap:25px;border-top:1px solid var(--line);padding-top:26px;padding-bottom:30px}footer p,footer>span{font-size:11px;color:var(--muted)}footer>span{text-align:right}@media(max-width:760px){.wrap{padding-left:22px;padding-right:22px}.nav nav{gap:14px}.nav nav a:not(.nav-repo){display:none}.hero{padding-top:48px}h1{letter-spacing:-3px;font-size:62px}h1 em{letter-spacing:-3px}.hero-bottom,.section-heading{display:block}.hero-bottom p{font-size:16px}.actions{margin-top:25px}.ruler{margin-top:42px;font-size:8px;letter-spacing:.5px}.case-section{padding-top:45px}h2{font-size:39px}.section-heading>p{margin-top:22px}.lab-top{flex-direction:column;gap:6px}.lab-body{display:block}.states{display:grid;grid-template-columns:1fr 1fr;border-right:0;border-bottom:1px solid var(--line);padding:14px;gap:8px}.states button{padding:10px;font-size:10px}.trace{padding:20px}.steps{grid-template-columns:1fr 1fr;gap:22px}.method{padding-top:55px;padding-bottom:55px}.scope{grid-template-columns:1fr;gap:32px;padding-top:50px;padding-bottom:35px}.closing{padding-top:40px}.closing h2{font-size:40px}footer{flex-wrap:wrap;align-items:flex-start}footer>span{text-align:left}.eyebrow{font-size:9px;letter-spacing:1px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}