:root{color-scheme:dark;--bg:#10191f;--paper:#172229;--deep:#0e161b;--line:#34444b;--text:#e7e2d6;--muted:#b0bbb9;--amber:#efc16e;--teal:#82b9b2;--lilac:#bac4e5;--red:#e1a1a0;--serif:'Fraunces',Georgia,serif;--mono:'Martian Mono',monospace}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;background:var(--bg);color:var(--text);font:17px/1.7 Georgia,serif}a{color:var(--amber);text-decoration-thickness:1px;text-underline-offset:.2em}a:hover{color:#ffe0a3}button,input,select,summary{font:inherit}button,select,input[type=number]{border:1px solid var(--line);border-radius:3px;background:var(--deep);color:var(--text);padding:.62rem .78rem;min-height:44px}button{cursor:pointer;font:12px/1.55 var(--mono);background:var(--amber);color:#172027;border-color:var(--amber)}button:hover{background:#f6d392}button.secondary{background:transparent;color:var(--amber);border-color:#76684d}button:disabled{opacity:.4;cursor:default}input,select{max-width:100%}input[type=range]{width:100%;accent-color:var(--amber);min-height:44px}input[type=checkbox]{accent-color:var(--amber);width:20px;height:20px}label{display:block;font:12px/1.65 var(--mono);color:var(--muted);margin:.7rem 0 .3rem}select{font:12px/1.7 var(--mono);width:100%}p{margin:.8rem 0 1.3rem}h1,h2,h3{font-family:var(--serif);font-weight:500;line-height:1.12}h1{font-size:clamp(3.7rem,8vw,7.1rem);letter-spacing:-.05em;margin:.35rem 0 1.8rem;color:#f2e7d1}h2{font-size:clamp(2rem,4vw,3.3rem);letter-spacing:-.03em;margin:.45rem 0 1.3rem}h3{font-size:1.6rem;margin:.4rem 0 1rem}h4{font-size:1.2rem}main{max-width:1120px;margin:auto;padding:0 32px}section{scroll-margin-top:2rem}svg{display:block;width:100%;height:auto;overflow:visible}.skip{position:absolute;left:12px;top:-80px;background:var(--amber);color:var(--bg);padding:10px;z-index:10}.skip:focus{top:8px}:focus-visible{outline:3px solid var(--teal);outline-offset:4px}button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline-color:var(--teal)}[hidden]{display:none!important}.site-header{max-width:1280px;margin:auto;padding:23px 32px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;gap:16px;align-items:center}.wordmark{font:11px/1.8 var(--mono);letter-spacing:.06em;color:var(--muted);text-decoration:none}.site-header nav{display:flex;flex-wrap:wrap;gap:20px;font:10px/1.9 var(--mono)}.site-header nav a{color:var(--muted)}.opening{padding:76px 0 46px;max-width:900px}.eyebrow{font:10px/1.9 var(--mono);text-transform:uppercase;letter-spacing:.15em;color:var(--teal);margin:0 0 .4rem}.lede{max-width:760px;font-size:1.34rem;line-height:1.65;color:#e5dcca}.opening-note{color:var(--muted);font-style:italic;max-width:760px}#setup-status{font:11px/1.8 var(--mono);color:var(--muted)}#setup-status.ready::before{content:'● ';color:var(--teal)}#setup-status.failed{color:var(--red)}.section{padding:52px 0 64px;border-top:1px solid var(--line)}.section>p{max-width:860px}.section-heading{margin-bottom:26px}.instrument{display:grid;grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);border:1px solid var(--line);border-radius:4px;overflow:hidden;background:var(--paper);margin:26px 0 30px}.drawing-pane{padding:22px;min-width:0}.instrument-side{padding:28px;border-left:1px solid var(--line);min-width:0;background:#142027}.large-number{display:flex;gap:17px;align-items:baseline;margin:7px 0}.large-number output{font:5.5rem/1.15 var(--serif);letter-spacing:-.06em;color:var(--amber)}.large-number span{font:10px/1.8 var(--mono);color:var(--muted)}.button-row{display:flex;gap:9px;flex-wrap:wrap;margin:12px 0 16px}.button-row button{flex:1 1 auto}.move-pad{display:grid;grid-template-columns:repeat(4,1fr);gap:7px}.move-pad button{background:transparent;color:var(--amber);border-color:var(--line);padding:.5rem}.checkbox{display:flex;align-items:center;gap:9px}.small,.caption,.source-line{font-size:13px;line-height:1.75;color:var(--muted)}.caption{margin-top:10px}.source-line{margin-top:-.5rem}.mono,code,.code-wrap{font-family:var(--mono);font-size:11px;line-height:1.9}.code-wrap{overflow-wrap:anywhere}.two-columns{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:40px}.explanation{margin:30px 0 8px}.pair-inspector{border-left:2px solid var(--line);padding-left:26px}.pair-controls{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.pair-controls label{margin:0}.pair-controls select{margin-top:6px}.unit-lines line{stroke:var(--amber);stroke-width:1.6;opacity:.66}.point-control circle{fill:var(--amber);stroke:var(--bg);stroke-width:2}.point-control text{fill:var(--text);font:11px var(--mono);paint-order:stroke;stroke:var(--paper);stroke-width:3px;stroke-linejoin:round}.point-control.selected circle{stroke:#fff4c9;stroke-width:3;fill:#ffda8b}.point-control.inspected circle{fill:var(--teal)}.point-control{cursor:grab;touch-action:none}.point-control:active{cursor:grabbing}.point-control:focus-visible{outline:none}.point-control:focus-visible circle{stroke:var(--teal);stroke-width:4}.pair-guide{stroke:var(--teal);stroke-width:4;stroke-dasharray:4 5;opacity:.5}.bound-card{background:var(--paper);border:1px solid var(--line);padding:26px}.equation{font:14px/1.9 var(--mono);color:var(--amber);overflow-wrap:anywhere}.warning-label{font:10px/1.7 var(--mono);color:var(--muted);border-left:2px solid var(--teal);padding-left:10px;margin-bottom:8px}.graph-edge{stroke:var(--teal);stroke-width:1.15;opacity:.32}.graph-edge.muted{opacity:.13}.graph-edge.found{stroke:var(--amber);stroke-width:2.4;opacity:.85}.graph-edge.equation{stroke:#e9dfff;stroke-width:3;opacity:1}.graph-node circle{fill:#192930;stroke:var(--teal);stroke-width:1.2}.graph-node text{fill:var(--text);font:10px var(--mono)}.graph-node.found circle{fill:var(--amber);stroke:var(--amber)}.graph-node.found text{fill:#142027}.graph-node.equation circle{stroke:#e9dfff;stroke-width:3}.proof-link{width:100%;margin-top:18px}.source-chips{display:flex;gap:6px;flex-wrap:wrap;margin:18px 0}.source-chips span,.source-chips button{font:10px/1.6 var(--mono);padding:6px 8px;border:1px solid var(--line);background:var(--deep);color:var(--lilac);border-radius:3px}.source-chips button{min-height:36px}.scroll-code{font:10px/1.8 var(--mono);max-width:100%;max-height:260px;overflow:auto;white-space:pre;background:var(--deep);padding:12px}.contradiction{background:#263028;border-left:3px solid var(--amber);padding:20px 26px}.scroll-equation{overflow-x:auto;white-space:nowrap}.table-wrap{width:100%;max-width:100%;overflow-x:auto;margin:10px 0 20px}table{border-collapse:collapse;width:100%;font:11px/1.8 var(--mono)}caption{text-align:left;color:var(--muted);font:12px/1.8 Georgia,serif;padding-bottom:12px}th,td{border-bottom:1px solid var(--line);padding:8px;text-align:right;white-space:nowrap}th{color:var(--muted);font-size:10px;font-weight:400}th:first-child,td:first-child{text-align:left}td button{font:10px/1.6 var(--mono);background:transparent;color:var(--amber);min-height:34px;border-color:var(--line);padding:5px 7px}details{border-top:1px solid var(--line);padding-top:10px;margin:18px 0}summary{cursor:pointer;color:var(--teal);font:11px/1.9 var(--mono);padding:5px 0}summary::marker{color:var(--teal)}.standard-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:36px;margin:40px 0}.standard-grid article{padding-top:20px;border-top:1px solid var(--line)}.ledger-box{border:1px solid var(--line);padding:24px;background:var(--paper);margin:20px 0 30px}canvas{display:block;width:100%;height:auto;cursor:crosshair}.ledger-controls{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,.55fr) minmax(0,1fr);gap:15px;align-items:end}.ledger-controls label{margin:0}.ledger-controls input{width:100%}.ledger-controls button{min-height:47px}.scars{border-left:3px solid #956854;background:#221f20;padding:26px 30px;margin-top:38px}.scars h3{margin-top:24px}.check-panel{background:var(--deep);border:1px solid var(--line);padding:36px;margin:30px 0 40px}.check-list{display:grid;grid-template-columns:145px minmax(0,1fr);gap:0 20px;margin:32px 0}.check-list dt{font:11px/1.9 var(--mono);color:var(--teal);padding:15px 0;border-top:1px solid var(--line)}.check-list dd{margin:0;font:12px/1.85 var(--mono);padding:15px 0;border-top:1px solid var(--line)}.check-panel .two-columns{gap:30px}.conclusion{font-size:1.16rem}.result-badge{font:2.5rem/1.25 var(--serif);color:var(--amber);letter-spacing:-.04em}.page-footer{padding:14px 0 55px;color:var(--muted);font-size:12px}.page-footer p{margin:.7rem 0}
@media(max-width:800px){.site-header{align-items:flex-start;flex-direction:column}.instrument{grid-template-columns:1fr}.instrument-side{border-left:0;border-top:1px solid var(--line)}.two-columns,.standard-grid{grid-template-columns:1fr;gap:22px}.pair-inspector{padding-left:20px}.ledger-controls{grid-template-columns:1fr 1fr}.ledger-controls button{grid-column:1/-1}.opening{padding-top:55px}h1{font-size:4.4rem}.check-panel .two-columns{gap:20px}}
@media(max-width:480px){body{font-size:16px}main{padding:0 18px}.site-header{padding:18px}.site-header nav{gap:15px;font-size:9px}.opening{padding:43px 0 30px}h1{font-size:3.35rem}.lede{font-size:1.15rem}h2{font-size:2.25rem}h3{font-size:1.5rem}.section{padding:36px 0 44px}.instrument{margin:22px 0}.drawing-pane{padding:14px}.instrument-side{padding:21px}.large-number output{font-size:4.7rem}.eyebrow{font-size:9px}.bound-card,.ledger-box{padding:18px}.check-panel{padding:22px;margin:18px 0 28px}.check-list{grid-template-columns:1fr;gap:0}.check-list dt{padding:13px 0 3px}.check-list dd{padding:3px 0 14px;border-top:0}.scars{padding:19px 21px}.move-pad{gap:5px}.source-chips{gap:5px}.equation{font-size:12px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{animation:none!important;transition:none!important}}

.plain{font-size:13px;line-height:1.8;max-width:740px;border-left:2px solid var(--line);padding:10px 18px;color:var(--muted)}[data-valid="false"]{color:var(--red)}