@font-face{font-family:Bebas Neue;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/bebas-neue-latin-400-normal-9mHNbWWO.woff2) format("woff2"),url(/assets/bebas-neue-latin-400-normal-Bi-ndsyu.woff) format("woff")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-latin-400-normal-DMJ8VG8y.woff2) format("woff2"),url(/assets/ibm-plex-mono-latin-400-normal-CvHOgSBP.woff) format("woff")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-latin-500-normal-DSY6xOcd.woff2) format("woff2"),url(/assets/ibm-plex-mono-latin-500-normal-CB9ihrfo.woff) format("woff")}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(/assets/source-serif-4-latin-400-normal-DJ5YJwmz.woff2) format("woff2"),url(/assets/source-serif-4-latin-400-normal-Dn3IlU-Z.woff) format("woff")}:root{--paper: #f4ead5;--paper-light: #fdf7e4;--ink: #10100a;--ink-muted: #5f5a4e;--rule: rgb(16 16 10 / 78%);--rule-light: rgb(16 16 10 / 26%);--red: #cb4c2c;--blue: #3d80c3;--yellow: #e0aa2d;--green: #338866;--display: "Bebas Neue", "Arial Narrow", sans-serif;--mono: "IBM Plex Mono", ui-monospace, monospace;--serif: "Source Serif 4", Georgia, serif;color:var(--ink);background:var(--paper);font-family:var(--serif);font-synthesis:none;text-rendering:optimizeLegibility;font-variant-numeric:tabular-nums lining-nums;scrollbar-color:var(--ink) var(--paper);scrollbar-width:thin}*{box-sizing:border-box}html{min-width:320px;scroll-behavior:smooth;scroll-padding-top:72px}body{margin:0;min-width:320px;min-height:100vh;overflow-x:hidden;background-color:var(--paper);background-image:url(/assets/paper-grain-v2-DX5Nw6jT.webp);background-repeat:repeat;background-size:768px 768px;color:var(--ink)}body:after{position:fixed;inset:0;z-index:100;border:1px solid rgb(16 16 10 / 38%);pointer-events:none;content:""}button,a{-webkit-tap-highlight-color:transparent}button{border:0;color:inherit;background:none;font:inherit}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:.24em}button,a[href]{cursor:pointer}:focus-visible{outline:3px solid var(--blue);outline-offset:3px}::selection{color:var(--paper-light);background:var(--red)}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-track{background:var(--paper)}::-webkit-scrollbar-thumb{border:2px solid var(--paper);background:var(--ink)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:fixed;top:12px;left:12px;z-index:200;padding:12px 16px;border:2px solid var(--ink);background:var(--paper-light);font:500 .8rem/1 var(--mono);text-transform:uppercase;transform:translateY(-160%)}.skip-link:focus{transform:translateY(0)}.mobile-header{display:none}.hero-layout{display:grid;grid-template-columns:clamp(118px,9vw,160px) minmax(0,1fr);min-height:min(960px,calc(100svh - 64px));border-bottom:1px solid var(--rule)}.proof-stage{position:relative;display:grid;min-width:0;grid-template-columns:minmax(440px,1.68fr) minmax(380px,1fr)}.index-rail,.plate-margin{border-right:1px solid var(--rule)}.index-rail{display:flex;min-height:760px;flex-direction:column;justify-content:space-between;padding:20px 14px 22px}.registration-mark{display:block;width:34px;height:34px;margin-bottom:26px;fill:none;stroke:currentColor;stroke-width:1}.registration-mark.is-compact{width:24px;height:24px;margin:0}.wordmark{display:inline-flex;flex-direction:column;font:400 clamp(2.2rem,3vw,3.45rem) / .84 var(--display);letter-spacing:.015em;text-decoration:none}.folio-nav{margin:42px -14px 0;border-top:1px dotted var(--rule)}.folio-nav a{position:relative;display:grid;min-height:79px;grid-template-columns:38px 1fr;align-items:center;gap:8px;padding:10px 12px;border-bottom:1px dotted var(--rule);font:400 1.07rem/1 var(--display);letter-spacing:.04em;text-decoration:none;text-transform:uppercase}.folio-nav a:hover{background-color:#fdf7e46b}.active-register{position:absolute;top:50%;right:10px;width:8px;height:8px;border:2px solid var(--red);border-radius:50%;transform:translateY(-50%)}.nav-symbol{display:grid;width:34px;height:34px;place-items:center}.nav-symbol .mini-tesseract{width:34px;height:34px}.nav-symbol.cube-small .mini-tesseract{width:30px;height:30px}.rule-mark{width:29px;height:29px;fill:none;stroke:currentColor;stroke-linecap:square;stroke-linejoin:bevel;stroke-width:1.3}.document-mark{position:relative;width:22px;height:28px;border:1px solid var(--ink)}.document-mark:before,.document-mark:after{position:absolute;left:5px;width:11px;border-top:1px solid var(--ink);content:""}.document-mark:before{top:9px}.document-mark:after{top:15px}.figure-locator{font:400 .7rem/1.65 var(--mono)}.figure-locator p{margin:0}.figure-locator .mini-tesseract{width:92px;max-width:100%;margin-top:16px}.mini-tesseract{fill:none;stroke:currentColor;stroke-width:1}.atlas-canvas{position:relative;z-index:1;display:grid;min-width:0;grid-template-rows:auto minmax(560px,1fr);border-right:1px solid var(--rule);overflow:hidden}.bit-ruler{display:grid;grid-template-columns:minmax(0,1fr);gap:16px 24px;padding:22px clamp(20px,2.6vw,42px) 0;border-bottom:1px solid var(--rule-light)}.bit-ruler-heading{display:flex;grid-column:1 / -1;justify-content:space-between;font:500 .66rem/1.3 var(--mono);letter-spacing:.05em;text-transform:uppercase}.bit-ruler-heading span:last-child{max-width:20ch;color:var(--ink-muted);text-align:right}.bit-controls{display:grid;align-self:end;grid-template-columns:repeat(4,minmax(58px,104px))}.bit-control{position:relative;display:grid;min-height:78px;place-items:center;border:1px solid var(--rule);border-right:0;background:#fdf7e433}.bit-control:last-child{border-right:1px solid var(--rule)}.bit-control:hover,.bit-control[aria-pressed=true]{background:#fdf7e499}.bit-control[aria-pressed=true]:after{position:absolute;right:10px;bottom:8px;left:10px;border-bottom:2px solid var(--ink);content:""}.bit-value{font:400 2.75rem/1 var(--serif)}.bit-name{position:absolute;bottom:-25px;font:italic 1rem/1 var(--serif)}.bit-name sub{font-size:.68em}.hypercube-wrap{position:relative;display:grid;min-height:0;padding:12px 6px 4px;place-items:center}.hypercube{position:absolute;top:50%;left:50%;display:block;width:122%;height:122%;max-height:none;overflow:visible;transform:translate(-30%,-46%);transform-origin:center}.plot-notation{display:none;fill:var(--ink-muted);stroke:var(--ink-muted);stroke-width:1;font:500 10px/1 var(--mono);letter-spacing:.04em}.hypercube-scaffold line{stroke:var(--ink);stroke-width:1;opacity:.42}.proof-route{color:var(--route);transition:opacity .16s ease-out}.proof-route.is-muted{opacity:.14}.proof-route.is-active .route-ink{stroke-width:6}.route-underlay{stroke:var(--paper-light);stroke-width:9}.route-ink{stroke:var(--route);stroke-width:4;stroke-dasharray:1;stroke-dashoffset:1;animation:route-draw .72s cubic-bezier(.16,1,.3,1) forwards}.route-label{fill:var(--route-text);stroke:var(--paper);stroke-width:5px;paint-order:stroke;font:500 11px/1 var(--mono);letter-spacing:.04em}@keyframes route-draw{to{stroke-dashoffset:0}}.vertex{cursor:pointer}.vertex-hit{fill:transparent;pointer-events:all}.vertex-ring{fill:var(--paper-light);stroke:var(--vertex-colour, var(--ink));stroke-width:1.5;transition:r .18s ease-out,fill .18s ease-out}.vertex:hover .vertex-ring,.vertex:focus .vertex-ring{fill:var(--paper);stroke-width:3}.vertex:focus{outline:none}.vertex:focus .vertex-ring{filter:drop-shadow(0 0 .18rem var(--blue))}.vertex.is-neighbour .vertex-ring{stroke-width:3}.vertex.is-selected .vertex-ring{stroke:var(--ink);stroke-width:3}.selected-outer{fill:none;stroke:var(--ink);stroke-width:2}.vertex-label{fill:var(--ink);font:500 10px/1 var(--mono);pointer-events:none}.vertex.is-selected .vertex-label{font-size:13px}.output-badge circle{fill:var(--badge);stroke:var(--paper-light);stroke-width:3}.output-badge text{fill:var(--badge-ink);font:600 16px/1 var(--mono)}.proof-register{position:relative;z-index:4;display:flex;min-width:0;flex-direction:column;padding:22px clamp(18px,2vw,34px) 20px}.register-topline{display:flex;align-items:center;justify-content:flex-end;min-height:30px;padding-bottom:12px;border-bottom:1px solid var(--rule)}.register-heading h1,.section-heading h2{margin:0;font-family:var(--display);font-weight:400;letter-spacing:-.02em;text-wrap:balance}.register-heading h1{max-width:none;margin-top:16px;font-size:clamp(3.1rem,3.3vw,4.1rem);line-height:.9}.register-heading h1 span{display:block;white-space:nowrap}.register-heading p{max-width:39ch;margin:13px 0 0;color:var(--ink-muted);font:400 clamp(.95rem,1.15vw,1.12rem) / 1.48 var(--serif)}.formula{margin-top:17px;padding:14px 8px;border:1px solid var(--rule);font:400 clamp(1.1rem,1.7vw,1.55rem) / 1.2 var(--serif);text-align:center}.ledger-head,.proof-ledger button{display:grid;grid-template-columns:42px 1fr 1.08fr 24px 44px;align-items:center}.ledger-head{gap:8px;padding:12px 2px 8px;font:500 .55rem/1 var(--mono);letter-spacing:.04em}.ledger-head span:nth-child(3),.ledger-head span:nth-child(4){text-align:center}.proof-ledger{padding:0;margin:0;border-top:1px solid var(--rule);list-style:none}.proof-ledger li{border-bottom:1px solid var(--rule)}.proof-ledger button{width:100%;min-height:62px;gap:8px;padding:0 2px;text-align:left}.proof-ledger button:hover,.proof-ledger button:focus-visible{background-color:#fdf7e47a}.step-number{font:400 2.4rem/1 var(--display);text-align:center}.flip-label{color:var(--route-text);font:500 .78rem/1.15 var(--mono)}.flip-label small{display:block;margin-top:4px;color:var(--ink-muted);font:italic .85rem/1 var(--serif)}.neighbour-bits{padding:9px 6px;border:1px solid var(--rule-light);font:500 clamp(.72rem,1vw,.92rem) / 1 var(--mono);letter-spacing:.18em;text-align:center}.ledger-rule{position:relative;height:1px;background:var(--ink)}.ledger-rule:after{position:absolute;top:-3px;right:0;width:6px;height:6px;border-top:1px solid var(--ink);border-right:1px solid var(--ink);content:"";transform:rotate(45deg)}.output-disc{display:grid;width:38px;height:38px;border:2px solid var(--route);border-radius:50%;color:var(--ink);background:var(--paper-light);place-items:center;font:400 1.7rem/1 var(--display)}.proof-ledger button:hover .output-disc,.proof-ledger button:focus-visible .output-disc{color:var(--route-ink);background:var(--route)}.coverage-stamp{position:relative;margin-top:16px;padding:8px 12px 10px;border:2px solid var(--ink);transform:rotate(-.12deg)}.coverage-stamp:after{position:absolute;inset:2px -3px -3px 2px;border:1px solid rgb(16 16 10 / 35%);content:"";pointer-events:none}.coverage-stamp>span{display:block;font:500 .57rem/1 var(--mono)}.coverage-line{display:flex;align-items:baseline;justify-content:space-between;gap:12px;margin-top:4px}.coverage-line>strong{font:400 clamp(1.8rem,2.8vw,2.8rem) / 1 var(--display)}.coverage-values{display:flex;align-items:baseline;gap:3px;font:400 clamp(1rem,1.4vw,1.3rem) / 1 var(--mono)}.coverage-values span{display:inline-flex;align-items:baseline;gap:3px}.coverage-values b{display:inline-grid;width:28px;height:28px;border-radius:50%;color:var(--disc-ink);background:var(--disc);place-items:center;font:600 1.25rem/1 var(--mono)}.coverage-stamp em{display:block;margin-top:4px;color:var(--green);font:500 .82rem/1 var(--mono);letter-spacing:.15em;text-align:right}.random-button{display:flex;width:100%;min-height:48px;align-items:center;justify-content:center;gap:12px;margin-top:14px;border:1px solid var(--ink);font:500 .74rem/1 var(--mono);letter-spacing:.05em}.random-button:hover,.random-button:focus-visible{color:var(--paper-light);background:var(--ink)}.random-mark{width:21px;height:21px;fill:none;stroke:currentColor;stroke-linecap:square;stroke-width:1.5}.route-bridges{position:absolute;inset:0;z-index:3;width:100%;height:100%;overflow:visible;pointer-events:none}.bridge-route{transition:opacity .16s ease-out}.bridge-route.is-muted{opacity:.12}.bridge-underlay,.bridge-ink{fill:none;vector-effect:non-scaling-stroke}.bridge-underlay{stroke:var(--paper-light);stroke-width:10}.bridge-ink{stroke:var(--bridge-colour);stroke-width:2.4;stroke-dasharray:1;stroke-dashoffset:1;animation:route-draw .72s cubic-bezier(.16,1,.3,1) forwards}.bridge-ink-a{transform:translateY(-1.7px)}.bridge-ink-b{transform:translateY(1.7px)}.bridge-route.is-active .bridge-ink{stroke-width:3.2}.next-plate{display:grid;min-height:64px;grid-template-columns:auto 40px auto 1fr;align-items:center;gap:18px;padding:0 clamp(20px,4vw,70px);border-bottom:1px solid var(--rule);font:500 .67rem/1 var(--mono);letter-spacing:.05em;text-decoration:none}.next-plate:hover{background-color:#fdf7e47a}.next-plate strong{font-size:.9rem;text-decoration:underline;text-underline-offset:7px}.arrow-mark{width:28px;fill:none;stroke:currentColor;stroke-width:1.5}.content-plate{display:grid;grid-template-columns:clamp(118px,9vw,160px) minmax(0,1fr);border-bottom:1px solid var(--rule)}.plate-margin{display:flex;flex-direction:column;justify-content:space-between;padding:36px 16px;font:500 .68rem/1.5 var(--mono);letter-spacing:.04em;text-transform:uppercase}.plate-content{width:min(100%,1500px);padding:clamp(64px,8vw,128px) clamp(24px,6vw,100px)}.section-heading{display:grid;grid-template-columns:minmax(300px,.9fr) minmax(280px,1.1fr);align-items:end;gap:clamp(36px,8vw,140px);margin-bottom:clamp(46px,6vw,90px)}.section-heading h2{max-width:10ch;font-size:clamp(4rem,7vw,6rem);line-height:.88}.section-heading p{max-width:66ch;margin:0 0 6px;color:var(--ink-muted);font-size:clamp(1.05rem,1.5vw,1.3rem);line-height:1.55}.state-grid{display:grid;grid-template-columns:repeat(4,minmax(120px,1fr));border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.state-cell{position:relative;display:flex;min-height:104px;align-items:center;justify-content:space-between;padding:16px 20px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);font:500 1rem/1 var(--mono);text-align:left}.state-cell:before{position:absolute;top:12px;left:12px;width:8px;height:8px;background:var(--state);content:"";transform:scale(.7);transition:transform .2s ease-out}.state-cell:hover:before,.state-cell:focus-visible:before,.state-cell.is-selected:before{transform:scale(1.35)}.state-cell:hover,.state-cell:focus-visible,.state-cell.is-selected{background:#fdf7e47a}.state-cell b{display:grid;width:42px;height:42px;border:2px solid var(--state);border-radius:50%;place-items:center;font:400 1.6rem/1 var(--display)}.state-cell.is-selected b{color:var(--state-ink);background:var(--state)}.atlas-key{display:flex;align-items:center;gap:28px;margin-top:26px;font:500 .67rem/1 var(--mono)}.atlas-key>span{display:inline-flex;align-items:center;gap:8px}.atlas-key>span:first-child{margin-right:auto}.atlas-key i{display:inline-block;width:12px;height:12px;border-radius:50%;background:var(--key-colour)}.rule-plate .plate-margin,.source-plate .plate-margin{background-color:var(--ink);color:var(--paper-light)}.rule-heading{margin-bottom:50px}.proof-equation{display:grid;grid-template-columns:minmax(180px,.45fr) 1fr;align-items:baseline;gap:36px;padding:clamp(30px,4vw,52px) 0;border-block:1px solid var(--rule)}.proof-equation span{font:400 1rem/1 var(--serif)}.proof-equation strong{font:400 clamp(2rem,4vw,4.2rem) / 1.05 var(--serif);letter-spacing:-.025em}.derivation{padding:0;margin:0;list-style:none}.derivation li{display:grid;grid-template-columns:80px 1fr;align-items:start;gap:clamp(24px,5vw,80px);padding:34px 0;border-bottom:1px solid var(--rule)}.derivation li>span{font:400 3.8rem/.9 var(--display)}.derivation h3{margin:0;font:400 1.8rem/1 var(--display);letter-spacing:.02em}.derivation p{max-width:68ch;margin:10px 0 0;color:var(--ink-muted);font-size:1.05rem;line-height:1.55}.dimension-selector{display:grid;grid-template-columns:repeat(5,1fr);margin-bottom:40px;border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.dimension-selector button{min-height:62px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);font:400 1.45rem/1 var(--display)}.dimension-selector button:hover,.dimension-selector button:focus-visible,.dimension-selector button[aria-pressed=true]{color:var(--paper-light);background:var(--ink)}.scale-result{display:grid;grid-template-columns:repeat(3,1fr);border-block:1px solid var(--rule)}.scale-result>div{display:flex;min-height:146px;align-items:center;gap:20px;padding:22px clamp(14px,3vw,40px);border-right:1px solid var(--rule)}.scale-result>div:last-child{border-right:0}.scale-result strong{font:400 clamp(3.8rem,6vw,6rem) / 1 var(--display)}.scale-result span{max-width:15ch;font:500 .65rem/1.5 var(--mono)}.output-ruler{display:grid;min-height:58px;margin-top:40px;border:1px solid var(--rule)}.output-ruler span{display:grid;min-width:0;place-items:center;border-right:1px solid var(--rule-light);font:500 clamp(.48rem,.75vw,.65rem) / 1 var(--mono)}.output-ruler span:nth-child(4n+1){background:#e0aa2d2e}.output-ruler span:nth-child(4n+2){background:#33886629}.output-ruler span:nth-child(4n+3){background:#cb4c2c24}.output-ruler span:nth-child(4n){background:#3d80c324}.output-ruler span:last-child{border-right:0}.scale-note{margin:18px 0 0;color:var(--ink-muted);font:400 .83rem/1.5 var(--mono)}.source-content{display:grid;grid-template-columns:minmax(300px,.75fr) minmax(480px,1.25fr);align-items:end;gap:clamp(50px,8vw,140px)}.source-content .section-heading{display:block;margin:0}.source-content .section-heading p{margin-top:24px}.source-code-wrap{border:1px solid var(--rule);background:#fdf7e46b}.source-toolbar{display:flex;min-height:48px;align-items:center;justify-content:space-between;border-bottom:1px solid var(--rule);font:500 .68rem/1 var(--mono)}.source-toolbar span{padding-left:18px}.source-toolbar button{align-self:stretch;min-width:150px;border-left:1px solid var(--rule);font:inherit}.source-toolbar button:hover,.source-toolbar button:focus-visible{color:var(--paper-light);background:var(--ink)}pre{margin:0;overflow-x:auto;padding:clamp(22px,3vw,42px);font:400 clamp(.76rem,1.1vw,1rem) / 1.72 var(--mono);tab-size:4}code{font-family:inherit}footer{display:grid;min-height:108px;grid-template-columns:1fr 1fr 1fr;align-items:center;gap:30px;padding:24px clamp(20px,4vw,70px);color:var(--paper-light);background:var(--ink);font:400 .72rem/1.45 var(--mono)}footer a{font:400 1.5rem/1 var(--display);letter-spacing:.04em}footer p,footer span{margin:0}footer span{color:#fdf7e4a8;text-align:right}@media(max-width:1180px){.hero-layout{grid-template-columns:92px minmax(0,1fr)}.proof-stage{grid-template-columns:minmax(390px,1fr) 370px}.wordmark{font-size:2.2rem}.folio-nav a{grid-template-columns:1fr;justify-items:center;gap:2px;font-size:.88rem;text-align:center}.folio-nav .nav-symbol{height:26px}.active-register{right:5px}.atlas-canvas{grid-template-rows:auto minmax(480px,1fr)}.bit-ruler{padding-inline:20px}.register-heading h1{font-size:clamp(2.5rem,3.4vw,3.15rem)}.proof-register{padding-inline:18px}.ledger-head,.proof-ledger button{grid-template-columns:36px 88px minmax(86px,1fr) 20px 40px}.coverage-line{align-items:flex-start;flex-direction:column}.coverage-values{align-self:flex-end}}@media(max-width:900px){.mobile-header{position:sticky;top:0;z-index:50;display:flex;min-height:64px;align-items:center;justify-content:space-between;gap:18px;padding:10px 18px;border-bottom:1px solid var(--rule);background-color:var(--paper);background-image:url(/assets/paper-grain-v2-DX5Nw6jT.webp);background-size:768px 768px}.mobile-wordmark{display:flex;align-items:center;gap:9px;font:400 1.25rem/1 var(--display);letter-spacing:.04em;text-decoration:none}.mobile-header nav{display:flex;gap:14px;font:500 .62rem/1 var(--mono);text-transform:uppercase}.hero-layout{display:block;min-height:0}.proof-stage{display:block}.index-rail{display:none}.atlas-canvas{min-height:650px;grid-template-rows:auto minmax(480px,1fr);border-right:0;border-bottom:1px solid var(--rule)}.hypercube{position:static;width:100%;height:100%;transform:none}.route-bridges{display:none}.bit-ruler{padding:24px 24px 0}.proof-register{padding:30px 24px 28px}.register-heading h1{font-size:clamp(2.6rem,7.5vw,4rem)}.register-heading p{max-width:52ch}.ledger-head,.proof-ledger button{grid-template-columns:48px minmax(95px,1fr) minmax(110px,1.2fr) 34px 48px}.coverage-line{align-items:baseline;flex-direction:row}.coverage-values{align-self:auto}.content-plate{display:block}.plate-margin{display:flex;min-height:48px;flex-direction:row;align-items:center;padding:10px 24px;border-right:0;border-bottom:1px solid var(--rule)}.plate-content{padding:72px 24px}.section-heading,.source-content{display:block}.section-heading{margin-bottom:52px}.section-heading h2{max-width:12ch}.section-heading p{margin-top:26px}.source-code-wrap{margin-top:48px}}@media(max-width:600px){html{scroll-padding-top:58px}.mobile-header{min-height:58px;padding-inline:14px}.mobile-header nav a:nth-child(2){display:none}.mobile-wordmark{font-size:1.08rem}.atlas-canvas{min-height:510px;grid-template-rows:auto 340px}.bit-ruler{display:block;padding:20px 14px 0}.bit-ruler-heading{margin-bottom:14px}.bit-ruler-heading span:last-child{display:none}.bit-controls{grid-template-columns:repeat(4,1fr)}.bit-control{min-height:68px}.bit-value{font-size:2.35rem}.hypercube-wrap{padding:0}.plot-notation{display:none}.proof-register{padding:24px 14px}.register-heading h1{font-size:clamp(2.5rem,10.5vw,3.2rem)}.register-heading p{font-size:1rem}.formula{font-size:1.05rem}.ledger-head{display:none}.proof-ledger{margin-top:18px}.proof-ledger button{min-height:66px;grid-template-columns:30px 76px minmax(84px,1fr) 18px 36px;gap:5px}.step-number{font-size:2rem}.flip-label{font-size:.66rem}.neighbour-bits{padding-inline:3px;font-size:.68rem;letter-spacing:.1em}.output-disc{width:34px;height:34px;font-size:1.4rem}.coverage-line{align-items:flex-start;flex-direction:column}.coverage-values{align-self:flex-end}.next-plate{grid-template-columns:auto 32px auto;gap:10px;padding-inline:14px}.next-plate span:last-child{display:none}.plate-margin{padding-inline:14px}.plate-content{padding:60px 14px}.section-heading h2{font-size:clamp(3.8rem,17vw,5.5rem)}.state-grid{grid-template-columns:repeat(2,1fr)}.state-cell{min-height:84px;padding:12px 14px;font-size:.82rem}.state-cell b{width:36px;height:36px}.atlas-key{flex-wrap:wrap;gap:16px}.atlas-key>span:first-child{width:100%}.proof-equation{display:block}.proof-equation strong{display:block;margin-top:20px;font-size:clamp(1.7rem,8vw,2.5rem)}.derivation li{grid-template-columns:48px 1fr;gap:18px}.derivation li>span{font-size:3rem}.dimension-selector button{min-height:52px;font-size:1.1rem}.scale-result{grid-template-columns:1fr}.scale-result>div{min-height:92px;border-right:0;border-bottom:1px solid var(--rule)}.scale-result>div:last-child{border-bottom:0}.scale-result strong{font-size:4rem}.output-ruler{min-height:44px}.source-toolbar button{min-width:136px;font-size:.6rem}pre{padding:18px 14px;font-size:.68rem}footer{display:flex;min-height:160px;flex-direction:column;align-items:flex-start;justify-content:center;gap:12px;padding-inline:18px}footer span{text-align:left}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}}