:root,[data-theme=light]{--paper:#fcfbf7;--paper-2:#f5f3eb;--ink:#1a1a1a;--ink-soft:#4a4a4a;--ink-faint:#888;--rule:#d8d4c4;--rule-soft:#ebe7d8;--accent:#6b2d2d;--accent-soft:#a85858;--highlight:#f4e7b8;--good:#2c6b3f;--bad:#a02020;--warn:#b86b00;--edge-B:#4060a0;--edge-I:#6b8e3d;--edge-R:#a05b3c;--group-fill:#a858580d;--grid-fine:#1a1a1a12;--grid-bold:#1a1a1a29;--serif:"EB Garamond","Latin Modern Roman","Crimson Text",Georgia,serif;--mono:"JetBrains Mono","SF Mono",Menlo,monospace}[data-theme=dark]{--paper:#15140f;--paper-2:#1f1d17;--ink:#e8e6df;--ink-soft:#a8a59c;--ink-faint:#6b6963;--rule:#4d4a3e;--rule-soft:#2f2d24;--accent:#d68a8a;--accent-soft:#b85e5e;--highlight:#4a3f1a;--good:#6fbf7e;--bad:#e07878;--warn:#e0a85b;--edge-B:#7eaae8;--edge-I:#9fc870;--edge-R:#d6916e;--group-fill:#d68a8a14;--grid-fine:#e8e6df0f;--grid-bold:#e8e6df24}*{box-sizing:border-box;margin:0;padding:0}#root,body,html{font-feature-settings:"kern","liga","onum";color:#1a1a1a;color:var(--ink);font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-size:16px;line-height:1.55;min-height:100%}html{background:#fcfbf7;background:var(--paper)}#root,body{background:#0000}body:before{background-image:linear-gradient(90deg,#1a1a1a12 1px,#0000 0),linear-gradient(180deg,#1a1a1a12 1px,#0000 0),linear-gradient(90deg,#1a1a1a29 1px,#0000 0),linear-gradient(180deg,#1a1a1a29 1px,#0000 0);background-image:linear-gradient(to right,var(--grid-fine) 1px,#0000 1px),linear-gradient(to bottom,var(--grid-fine) 1px,#0000 1px),linear-gradient(to right,var(--grid-bold) 1px,#0000 1px),linear-gradient(to bottom,var(--grid-bold) 1px,#0000 1px);background-position:0 0;background-size:8px 8px,8px 8px,64px 64px,64px 64px;content:"";inset:0;pointer-events:none;position:fixed;z-index:0}#root{position:relative;z-index:1}.masthead{align-items:baseline;background:#fcfbf7;background:var(--paper);border-bottom:2px solid #1a1a1a;border-bottom:2px solid var(--ink);display:flex;flex-wrap:wrap;gap:24px;padding:18px 32px 12px}.masthead-title{font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-size:28px;font-style:italic;font-weight:600;letter-spacing:.01em}.masthead-title .sub-a{font-size:18px;font-style:normal;vertical-align:sub}.masthead-meta{color:#4a4a4a;color:var(--ink-soft);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;margin-left:auto;text-align:right}.masthead-meta .vol{letter-spacing:.08em}.topnav{align-items:stretch;background:#fcfbf7;background:var(--paper);border-bottom:1px solid #d8d4c4;border-bottom:1px solid var(--rule);display:flex;gap:0;padding:0 32px}.topnav-item{background:#0000;border:none;border-bottom:2px solid #0000;color:#4a4a4a;color:var(--ink-soft);cursor:pointer;font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-size:15px;font-style:italic;margin-bottom:-1px;padding:10px 18px;transition:color .15s}.topnav-item.active,.topnav-item:hover{color:#1a1a1a;color:var(--ink)}.topnav-item.active{border-bottom-color:#6b2d2d;border-bottom-color:var(--accent)}.topnav-item .num{color:#888;color:var(--ink-faint);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:10px;font-style:normal;margin-right:6px;vertical-align:super}.topnav-spacer{flex:1 1}.topnav-right{align-items:center;color:#4a4a4a;color:var(--ink-soft);display:flex;gap:12px}.topnav-right,.topnav-right select{font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px}.topnav-right select{background:#fcfbf7;background:var(--paper);border:1px solid #d8d4c4;border:1px solid var(--rule);color:#1a1a1a;color:var(--ink);cursor:pointer;padding:4px 8px}.page{margin:0 auto;max-width:1600px;padding:24px 32px 80px}.section-bar{align-items:center;background:#fcfbf7;background:var(--paper);border-bottom:1px solid #d8d4c4;border-bottom:1px solid var(--rule);display:flex;flex-wrap:wrap;gap:8px;margin:-24px -32px 16px;padding:8px 32px}.sec-num{color:#888;color:var(--ink-faint);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;letter-spacing:.1em;margin-right:12px;text-transform:uppercase}h1,h2,h3,h4{color:#1a1a1a;color:var(--ink);font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-weight:600}h1{font-size:26px;margin-bottom:8px}h2{align-items:baseline;border-bottom:1px solid #d8d4c4;border-bottom:1px solid var(--rule);display:flex;font-size:19px;margin:24px 0 14px;padding-bottom:6px}h3{font-size:16px;font-style:italic;margin:16px 0 6px}h4{font-size:14px;margin:12px 0 4px}p{margin-bottom:8px}.kicker{color:#888;color:var(--ink-faint);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:10px;letter-spacing:.12em;margin-bottom:4px;text-transform:uppercase}.workbench{grid-gap:24px;display:grid;gap:24px;grid-template-columns:280px 1fr 340px}@media (max-width:1280px){.workbench{grid-template-columns:240px 1fr}.workbench .right-rail{grid-column:1/-1}}@media (max-width:860px){.workbench{grid-template-columns:1fr}}.panel{background:#fcfbf7;background:var(--paper);border:1px solid #d8d4c4;border:1px solid var(--rule);position:relative}.panel-head{align-items:center;background:#f5f3eb;background:var(--paper-2);border-bottom:1px solid #d8d4c4;border-bottom:1px solid var(--rule);color:#4a4a4a;color:var(--ink-soft);display:flex;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;justify-content:space-between;letter-spacing:.08em;padding:8px 12px;text-transform:uppercase}.panel-body{padding:12px}button{font-size:14px}.btn,button{cursor:pointer;font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif)}.btn{background:#fcfbf7;background:var(--paper);border:1px solid #1a1a1a;border:1px solid var(--ink);color:#1a1a1a;color:var(--ink);font-size:13px;padding:4px 10px;transition:all .12s}.btn:hover{background:#1a1a1a;background:var(--ink);color:#fcfbf7;color:var(--paper)}.btn.sm{font-size:11px;padding:2px 7px}.btn.ghost{background:#0000;border-color:#d8d4c4;border-color:var(--rule);color:#4a4a4a;color:var(--ink-soft)}.btn.ghost:hover{border-color:#1a1a1a;border-color:var(--ink);color:#1a1a1a;color:var(--ink)}.btn.accent{border-color:#6b2d2d;border-color:var(--accent);color:#6b2d2d;color:var(--accent)}.btn.accent:hover{background:#6b2d2d;background:var(--accent)}.btn.accent:hover,.btn.active{color:#fcfbf7;color:var(--paper)}.btn.active{background:#1a1a1a;background:var(--ink)}.theme-toggle{align-items:center;display:inline-flex;gap:5px;line-height:1}.theme-toggle svg{display:block}input,select,textarea{background:#fcfbf7;background:var(--paper);border:1px solid #d8d4c4;border:1px solid var(--rule);color:#1a1a1a;color:var(--ink);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:12px;padding:4px 6px}input[type=checkbox],input[type=radio]{padding:0}input:focus,select:focus,textarea:focus{outline:1px solid #6b2d2d;outline:1px solid var(--accent)}table{border-collapse:collapse;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:12px;width:100%}td,th{border-bottom:1px solid #ebe7d8;border-bottom:1px solid var(--rule-soft);padding:4px 8px;text-align:left;vertical-align:top}th{border-bottom:1px solid #1a1a1a;border-bottom:1px solid var(--ink);color:#1a1a1a;color:var(--ink);font-weight:600;letter-spacing:.04em}table.zebra tr:nth-child(2n) td{background:#f5f3eb;background:var(--paper-2)}.deflist{margin:6px 0 12px}.deflist dt{color:#1a1a1a;color:var(--ink);font-style:italic;font-weight:500;margin-top:6px}.deflist dd,.deflist dt{font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif)}.deflist dd{color:#4a4a4a;color:var(--ink-soft);margin:2px 0 0 20px}.pip{align-items:center;border:1px solid;display:inline-flex;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:10px;gap:4px;letter-spacing:.06em;padding:1px 6px}.pip.pass{border-color:#2c6b3f;border-color:var(--good);color:#2c6b3f;color:var(--good)}.pip.fail{border-color:#a02020;border-color:var(--bad);color:#a02020;color:var(--bad)}.pip.warn{border-color:#b86b00;border-color:var(--warn);color:#b86b00;color:var(--warn)}.pip.disabled{border-color:#888;border-color:var(--ink-faint);color:#888;color:var(--ink-faint)}.toggle{align-items:center;color:#4a4a4a;color:var(--ink-soft);cursor:pointer;display:inline-flex;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;gap:6px}.toggle input{accent-color:#6b2d2d;accent-color:var(--accent)}.katex{font-size:.98em}.katex-display{margin:6px 0}.formula-box{background:#f5f3eb;background:var(--paper-2);border:1px solid #d8d4c4;border:1px solid var(--rule);font-size:12px;margin:6px 0;overflow-x:auto;padding:8px 12px}.formula-box,.formula-box .label{font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono)}.formula-box .label{color:#888;color:var(--ink-faint);font-size:10px;letter-spacing:.08em;margin-bottom:4px}.proof{border-left:2px solid #d8d4c4;border-left:2px solid var(--rule);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:12px;margin:6px 0;padding-left:12px}.proof-line{grid-gap:8px;display:grid;gap:8px;grid-template-columns:28px 1fr auto;padding:2px 0}.proof-line .ln{color:#888;color:var(--ink-faint)}.proof-line .cite{color:#6b2d2d;color:var(--accent);font-size:11px}.proof-line.broken{color:#a02020;color:var(--bad);-webkit-text-decoration:line-through wavy;text-decoration:line-through wavy}.graph-svg{background:#fcfbf7;background:var(--paper);display:block;-webkit-user-select:none;user-select:none;width:100%}.graph-node circle{fill:#fcfbf7;fill:var(--paper);stroke:#1a1a1a;stroke:var(--ink);stroke-width:1.5}.graph-node text{fill:#1a1a1a;fill:var(--ink);font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-size:13px;font-style:italic;pointer-events:none}.graph-edge{stroke-width:1.4;fill:none}.graph-edge.B{stroke:#4060a0;stroke:var(--edge-B)}.graph-edge.I{stroke:#6b8e3d;stroke:var(--edge-I)}.graph-edge.R{stroke:#a05b3c;stroke:var(--edge-R)}.graph-edge.M{stroke:#8a6db0;stroke-dasharray:3 3}.graph-group{fill:#a858580d;fill:var(--group-fill);stroke:#a85858;stroke:var(--accent-soft);stroke-width:1;stroke-dasharray:4 3}.graph-legend{border-top:1px solid #d8d4c4;border-top:1px solid var(--rule);color:#4a4a4a;color:var(--ink-soft);display:flex;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:10px;gap:14px;padding:6px 12px}.graph-legend .swatch{display:inline-block;height:2px;margin-right:5px;vertical-align:middle;width:18px}.vel-timeline{background:#fcfbf7;background:var(--paper);font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;padding:12px}.vel-row{align-items:center;display:flex;gap:6px;height:28px;position:relative}.vel-row-label{width:60px}.vel-cell,.vel-row-label{color:#4a4a4a;color:var(--ink-soft)}.vel-cell{background:#fcfbf7;background:var(--paper);border:1px solid #d8d4c4;border:1px solid var(--rule);cursor:pointer;height:22px;line-height:22px;text-align:center;width:36px}.vel-cell.active{background:#f4e7b8;background:var(--highlight);border-color:#1a1a1a;border-color:var(--ink);color:#1a1a1a;color:var(--ink);font-weight:600}.vel-cell.pre-branch{background:#ebe7d8;background:var(--rule-soft);color:#888;color:var(--ink-faint)}.vel-branch-marker{border-left:2px dashed #6b2d2d;border-left:2px dashed var(--accent);height:100%;pointer-events:none;position:absolute}.bir-grid{grid-gap:2px;display:grid;gap:2px}.bir-cell{background:#fcfbf7;background:var(--paper);border:1px solid #d8d4c4;border:1px solid var(--rule);cursor:pointer;height:18px;width:18px}.bir-cell.on{background:#1a1a1a;background:var(--ink)}.bir-cell.B-on{background:#4060a0;background:var(--edge-B)}.bir-cell.I-on{background:#6b8e3d;background:var(--edge-I)}.bir-cell.R-on{background:#a05b3c;background:var(--edge-R)}.bir-cell.H-on{background:#1a1a1a;background:var(--ink)}.notes-textarea{background:linear-gradient(180deg,#0000 22px,#ebe7d8 23px,#0000 24px);background:linear-gradient(to bottom,#0000 22px,var(--rule-soft) 23px,#0000 24px);background-size:100% 24px;border:1px solid #d8d4c4;border-left:2px solid #a85858;border:1px solid var(--rule);border-left:2px solid var(--accent-soft);color:#1a1a1a;color:var(--ink);font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-size:14px;line-height:1.55;min-height:360px;padding:6px 12px 6px 36px;resize:vertical;width:100%}.pdf-frame{background:#fcfbf7;background:var(--paper);height:calc(100vh - 220px);width:100%}.pdf-frame,.secret-card{border:1px solid #d8d4c4;border:1px solid var(--rule)}.secret-card{margin-bottom:8px;padding:10px 12px}.secret-card.holds{border-color:#2c6b3f;border-color:var(--good)}.secret-card.fails{border-color:#a02020;border-color:var(--bad)}.secret-card-head{align-items:baseline;display:flex;font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-style:italic;justify-content:space-between}.secret-card-id{font-size:13px;font-style:normal;font-weight:600}.clause,.secret-card-id{font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono)}.clause{align-items:center;display:flex;font-size:11px;gap:6px;margin-top:4px}.clause .mark{font-weight:700}.clause .mark.ok{color:#2c6b3f;color:var(--good)}.clause .mark.no{color:#a02020;color:var(--bad)}.footer{background:#fcfbf7;background:var(--paper);border-top:1px solid #d8d4c4;border-top:1px solid var(--rule);color:#888;color:var(--ink-faint);display:flex;font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px;justify-content:space-between;margin-top:64px;padding:16px 32px}@media (max-width:640px){.masthead{padding:12px 16px}.topnav{overflow-x:auto;padding:0 16px}.page{padding:16px}}.scroll-y{overflow-y:auto}.hr-rule{border:none;border-top:1px solid #d8d4c4;border-top:1px solid var(--rule);margin:12px 0}.tag-mono{font-family:JetBrains Mono,SF Mono,Menlo,monospace;font-family:var(--mono);font-size:11px}.muted,.tag-mono{color:#4a4a4a;color:var(--ink-soft)}.faint{color:#888;color:var(--ink-faint)}.tiny{font-size:11px}.serif-it{font-family:EB Garamond,Latin Modern Roman,Crimson Text,Georgia,serif;font-family:var(--serif);font-style:italic}.center{text-align:center}.right{text-align:right}.row{align-items:center;flex-wrap:wrap}.col,.row{display:flex;gap:8px}.col{flex-direction:column}.spacer{flex:1 1}
/*# sourceMappingURL=main.332f6a0b.css.map*/