:root{--font-display:"Cinzel", Georgia, "Times New Roman", serif;--font-body:"EB Garamond", Georgia, "Times New Roman", serif;--font-mono:"IBM Plex Mono", ui-monospace, Consolas, monospace;--paper:#ece0c4;--paper-raised:#dbc48d;--paper-deep:#c9ae76;--ink:#2b1d10;--ink-muted:#6b5636;--rule:#b39a67;--accent:#9c2b20;--accent-soft:#9c2b2026;--gold:#a9761f;--gold-soft:#a9761f29;--roll-hi:var(--paper);--roll-mid:var(--paper-raised);--roll-lo:var(--paper-deep);--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;color:var(--ink);background:var(--paper);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#1c140c;--paper-raised:#26190f;--paper-deep:#302012;--ink:#ecdfc0;--ink-muted:#b3a184;--rule:#4a3a22;--accent:#d1554a;--accent-soft:#d1554a2e;--gold:#cf9f3f;--gold-soft:#cf9f3f29;--roll-hi:var(--paper-deep);--roll-mid:var(--paper-raised);--roll-lo:var(--paper)}}*{box-sizing:border-box}html,body{margin:0;padding:0;overflow-x:hidden}body{font-family:var(--font-body);background:var(--paper);color:var(--ink);background-image:radial-gradient(ellipse 60% 40% at 15% 8%, var(--paper-deep) 0%, transparent 60%), radial-gradient(ellipse 50% 35% at 90% 70%, var(--paper-deep) 0%, transparent 65%);background-attachment:fixed;font-size:19px;line-height:1.65}#root{min-height:100svh}a{color:var(--ink);text-decoration:none;transition:color .15s,border-color .15s}.proof-body a,.team-bio a{border-bottom:1px solid var(--rule)}a:hover{color:var(--accent);border-color:var(--accent)}a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:3px}code,pre{font-family:var(--font-mono)}code{background:var(--paper-raised);border:1px solid var(--rule);border-radius:3px;padding:.1em .4em;font-size:.85em}pre{background:var(--paper-raised);border:1px solid var(--rule);border-radius:2px;padding:18px;position:relative;overflow-x:auto}pre code{background:0 0;border:none;padding:0}pre:before{content:"incantation.";font-family:var(--font-display);letter-spacing:.04em;color:var(--gold);background:var(--paper);border:1px solid var(--rule);border-top:none;padding:2px 8px 3px;font-size:11px;position:absolute;top:-1px;right:14px}pre[data-lang]:before{content:"incantation (" attr(data-lang) ")."}h1,h2,h3,h4{font-family:var(--font-display);letter-spacing:.01em;color:var(--ink);font-weight:600;line-height:1.3}h1{font-size:30px}h2{font-size:23px}h3{color:var(--accent);letter-spacing:.03em;font-size:18px}h4{font-size:16px}.proof-body h2,.proof-body h3,.proof-body h4{border-left:3px solid var(--gold);margin:1.4em 0 .7em;padding-left:14px}.proof-body>h2:first-child,.proof-body>h3:first-child,.proof-body>h4:first-child{margin-top:0}.proof-body p{margin:0 0 1em}.proof-body>:last-child{margin-bottom:0}.proof-body ul,.proof-body ol{margin:0 0 1em;padding-left:1.4em}.proof-body li{margin-bottom:.4em}.proof-body ol.premises{counter-reset:premise;padding-left:0;list-style:none}.proof-body ol.premises li{counter-increment:premise;padding-left:2.6em;position:relative}.proof-body ol.premises li:before{content:counter(premise, upper-roman) ".";color:var(--accent);font-family:var(--font-display);font-size:.85em;position:absolute;left:0}.proof-body blockquote.note{color:var(--ink-muted);margin:1.8em 0 2em;padding:0;position:relative}.scroll-roll{width:calc(100% + 20px);height:auto;color:var(--ink-muted);z-index:1;margin-left:-10px;display:block;position:relative}.scroll-roll-bottom{transform:rotate(180deg)}.scroll-sheet-wrap{filter:drop-shadow(0 1px 0 var(--rule)) drop-shadow(0 -1px 0 var(--rule)) drop-shadow(1px 0 0 var(--rule)) drop-shadow(-1px 0 0 var(--rule));margin:-16px 16px}.scroll-sheet{clip-path:polygon(.9% 0%,99% 0%,99.7% 12%,98.5% 26%,99.9% 42%,98.7% 57%,99.8% 71%,98.6% 86%,99.4% 100%,1% 100%,.1% 87%,1.4% 73%,.2% 58%,1.5% 44%,.2% 29%,1.3% 15%);background:linear-gradient(to right, var(--paper-deep), var(--paper-raised) 4%, var(--paper-raised) 96%, var(--paper-deep));padding:1.9em 2.2em 2em}.scroll-rubric{font-family:var(--font-display);letter-spacing:.05em;color:var(--accent);margin-bottom:.5em;font-size:13px;display:block}.proof-body blockquote.note p{margin:0;font-style:italic}.proof-body img{background:var(--paper-raised);border:1px solid var(--gold);max-width:100%;box-shadow:0 0 0 4px var(--paper), 0 0 0 5px var(--rule);margin:1.5em auto;padding:10px;display:block}.proof-body>p:first-child:first-letter{float:left;font-family:var(--font-display);color:var(--accent);background:var(--gold-soft);border:1px solid var(--gold);margin:.05em .16em 0 0;padding:.12em .14em .08em;font-size:3.1em;line-height:.8}.proof-body ul:not(.footnote-list){padding-left:.3em;list-style:none}.proof-body ul:not(.footnote-list)>li{padding-left:1.7em;position:relative}.proof-body ul:not(.footnote-list)>li:before{content:"☞";color:var(--accent);font-size:1.15em;line-height:1.4;position:absolute;left:0}.proof-body h1,.proof-body h2,.proof-body h3,.proof-body h4{scroll-margin-top:90px}.proof-body a.heading-anchor{border-bottom:none}.heading-anchor{opacity:0;margin-left:.4em;transition:opacity .12s}.heading-anchor-shield{vertical-align:baseline;width:.65em;height:auto;color:var(--gold);display:inline-block}.heading-anchor:hover .heading-anchor-shield,.heading-anchor:focus-visible .heading-anchor-shield{color:var(--accent)}h1:hover .heading-anchor,h2:hover .heading-anchor,h3:hover .heading-anchor,h4:hover .heading-anchor,.heading-anchor:focus-visible{opacity:1}@media (hover:none){.heading-anchor{opacity:.6}}.proof-body a.ext-link:after,.team-bio a.ext-link:after{content:"↗";margin-left:.15em;font-size:.85em;display:inline-block;transform:translateY(-.05em)}.footnote-ref{font-family:var(--font-display);color:var(--accent);border-bottom:none;padding:0 .1em;font-size:.8em}.proof-body .notes{border-top:1px solid var(--rule);margin-top:2.2em;padding-top:1.1em}.notes-label{font-family:var(--font-display);letter-spacing:.05em;color:var(--ink-muted);margin:0 0 .7em;font-size:13px}.footnote-list{color:var(--ink-muted);margin:0;padding:0;font-size:16px;list-style:none}.footnote-list li{margin-bottom:.5em}.footnote-mark{font-family:var(--font-display);color:var(--accent);margin-right:.2em}.footnote-back{font-family:var(--font-display);border-bottom:none}.proof-body .wyrm-rule{color:var(--rule);margin:1.5em 0}.wyrm-rule{width:100%;height:auto;color:var(--gold);display:block}.wyrm-rule-header{color:var(--rule);opacity:.85;margin:4px 0 8px}.theorem .wyrm-rule{margin:0 0 22px}.site{flex-direction:column;max-width:760px;min-height:100svh;margin:0 auto;padding:0 24px;display:flex;position:relative}.bg-mark{width:min(1500px,200vw);height:auto;color:var(--ink);opacity:.06;pointer-events:none;-webkit-user-select:none;user-select:none;position:fixed;top:6vh;left:50%;transform:translate(-50%)}@media (prefers-reduced-motion:no-preference){.bg-mark{transition:transform .2s ease-out}}.battlement{background:var(--ink);opacity:.55;clip-path:polygon(0% 100%,0% 0%,12.5% 0%,12.5% 50%,25% 50%,25% 0%,37.5% 0%,37.5% 50%,50% 50%,50% 0%,62.5% 0%,62.5% 50%,75% 50%,75% 0%,87.5% 0%,87.5% 50%,100% 50%,100% 100%);flex:none;height:10px;transform:scaleY(-1)}.battlement.battlement-bottom{transform:none}.site-header{grid-template-columns:1fr auto 1fr;align-items:center;gap:24px;padding:36px 0 28px;display:grid}.wordmark{justify-self:start;align-items:center;gap:10px;display:flex}.crest{align-items:center;gap:10px;display:flex}.site-header .crest{justify-self:center}.crest-seal{width:26px;height:26px;color:var(--gold);flex:none}.crest-signature{width:auto;height:22px;color:var(--ink);opacity:.85;flex:none}.wordmark-mark{width:26px;height:26px;color:var(--accent);flex:none}.wordmark-domain{font-family:var(--font-display);color:var(--ink);letter-spacing:.02em;font-size:17px;font-weight:600}.site-nav{font-family:var(--font-display);letter-spacing:.02em;justify-self:end;font-size:13px}.site-nav a{color:var(--ink-muted)}.site-nav a:hover{color:var(--accent)}.site-main{flex:1;padding-bottom:48px}.proof{padding:8px 0}.turnstile{font-family:var(--font-display);color:var(--accent);letter-spacing:.08em;text-transform:uppercase;margin:0 0 14px;font-size:14px;font-weight:600}.turnstile span{vertical-align:-.08em;margin-right:6px;font-size:1.3em}.proof-body{color:var(--ink)}.qed{margin:44px 0}.qed .wyrm-rule{color:var(--rule)}.team-grid{grid-template-columns:repeat(auto-fill,minmax(200px,1fr));gap:32px;margin:0;padding:0;list-style:none;display:grid}.team-member{flex-direction:column;gap:2px;display:flex}.team-photo{aspect-ratio:1;object-fit:cover;border:4px double var(--gold);background:var(--paper);filter:sepia(.5)saturate(1.15)contrast(.97);width:100%;margin-bottom:12px;padding:4px}.team-name{font-family:var(--font-display);color:var(--ink);margin:0;font-size:15px;font-weight:600}.team-role{color:var(--accent);margin:0 0 6px;font-size:14px;font-style:italic}.team-bio{color:var(--ink-muted);font-size:15px}.team-bio p{margin:0}.post-list{margin:0;padding:0;list-style:none}.post-list li{border-top:1px solid var(--rule)}.post-list li:last-child{border-bottom:1px solid var(--rule)}.post-list a{gap:16px;padding:12px 0;text-decoration:none;display:flex}.post-date{font-family:var(--font-display);color:var(--ink-muted);flex:none;padding-top:.2em;font-size:13px}.post-title{color:var(--ink)}.post-list a:hover .post-title{color:var(--accent)}.theorem{--deckle:polygon(0% 0%, 3% 12px, 6% 0%, 9% 12px, 12% 0%, 15% 12px, 18% 0%, 21% 12px, 24% 0%, 27% 12px, 30% 0%, 33% 12px, 36% 0%, 39% 12px, 42% 0%, 45% 12px, 48% 0%, 51% 12px, 54% 0%, 57% 12px, 60% 0%, 63% 12px, 66% 0%, 69% 12px, 72% 0%, 75% 12px, 78% 0%, 81% 12px, 84% 0%, 87% 12px, 90% 0%, 93% 12px, 96% 0%, 99% 12px, 100% 0%, 100% 100%, 97% calc(100% - 12px), 94% 100%, 91% calc(100% - 12px), 88% 100%, 85% calc(100% - 12px), 82% 100%, 79% calc(100% - 12px), 76% 100%, 73% calc(100% - 12px), 70% 100%, 67% calc(100% - 12px), 64% 100%, 61% calc(100% - 12px), 58% 100%, 55% calc(100% - 12px), 52% 100%, 49% calc(100% - 12px), 46% 100%, 43% calc(100% - 12px), 40% 100%, 37% calc(100% - 12px), 34% 100%, 31% calc(100% - 12px), 28% 100%, 25% calc(100% - 12px), 22% 100%, 19% calc(100% - 12px), 16% 100%, 13% calc(100% - 12px), 10% 100%, 7% calc(100% - 12px), 4% 100%, 1% calc(100% - 12px), 0% 100%);clip-path:var(--deckle);background:var(--paper-raised);box-shadow:0 1px 0 var(--rule) inset, 0 18px 40px -24px #2b1d1059;margin:8px 0 40px;padding:40px clamp(20px,5vw,56px) 52px}.back-link{font-family:var(--font-display);color:var(--ink-muted);margin-bottom:28px;font-size:13px;text-decoration:none;display:inline-block}.back-link:hover{color:var(--accent)}.theorem-head{font-family:var(--font-display);letter-spacing:.04em;color:var(--accent);margin:0 0 4px;font-size:14px;font-weight:600}.theorem .slug{color:var(--ink)}.theorem-date{font-family:var(--font-body);color:var(--ink-muted);margin:0 0 18px;font-size:14px;font-style:italic}.theorem-title{font-family:var(--font-display);color:var(--ink);margin:0 0 18px;font-size:26px}.proof-label{font-family:var(--font-display);letter-spacing:.04em;color:var(--ink-muted);margin:0 0 14px;font-size:13px;font-style:italic}.theorem-qed{text-align:right;color:var(--accent);font-family:var(--font-display);margin-top:24px;font-size:18px}.wyrm-rule-footer{color:var(--rule);margin-top:12px}.site-footer{color:var(--ink-muted);text-align:center;padding:16px 0 40px;font-size:14px}.site-footer .crest{justify-content:center;margin:0 auto 14px}.site-footer .crest-seal{width:34px;height:34px}.site-footer .crest-signature{height:26px}.site-footer a{color:var(--ink-muted)}.site-footer a:hover{color:var(--accent)}@media (width<=640px){.site{padding:0 18px}h1{font-size:24px}.theorem-title{font-size:21px}.theorem{padding:32px 20px 40px}.bg-mark{width:min(640px,92vw)}.site-header{justify-content:space-between;display:flex}.site-header .crest{display:none}}