.theorem-skip[data-astro-cid-zp2ggwwh]{left:var(--spacing-md);top:var(--spacing-md);z-index:var(--z-tooltip);padding:var(--spacing-sm) var(--spacing-md);background:var(--seraph);border:1px solid var(--ophanim);border-radius:var(--radius-tight);font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-wider);text-transform:uppercase;color:var(--ophanim);transition:transform var(--motion-snap) var(--easing-out);text-decoration:none;position:absolute;transform:translateY(-200%)}.theorem-skip[data-astro-cid-zp2ggwwh]:focus-visible{outline:2px solid var(--ophanim);outline-offset:2px;transform:translateY(0)}.theorem-shell[data-astro-cid-zp2ggwwh]{max-width:100%;padding:clamp(var(--spacing-3xl), 7vw, var(--spacing-6xl)) var(--spacing-2xl) var(--spacing-6xl);margin-inline:auto}.theorem-body[data-astro-cid-zp2ggwwh]{width:100%;max-width:72ch;font-size:var(--text-md);line-height:var(--leading-relaxed);color:var(--text-main);margin-inline:auto;padding:0}.theorem-header__back[data-astro-cid-zp2ggwwh]{margin-block-end:var(--spacing-3xl)}.theorem-header__back[data-astro-cid-zp2ggwwh] a[data-astro-cid-zp2ggwwh]{min-height:24px;font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-wider);text-transform:uppercase;color:var(--text-dim);transition:color var(--motion-base) var(--easing-out);padding-block:3px;text-decoration:none;display:inline-block}.theorem-header__back[data-astro-cid-zp2ggwwh] a[data-astro-cid-zp2ggwwh]:hover,.theorem-header__back[data-astro-cid-zp2ggwwh] a[data-astro-cid-zp2ggwwh]:focus-visible{color:var(--ophanim)}.theorem-header__eyebrow[data-astro-cid-zp2ggwwh]{margin:0 0 var(--spacing-md);font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-widest);text-transform:uppercase;color:var(--ophanim);font-weight:500}.theorem-header__title[data-astro-cid-zp2ggwwh]{margin:0 0 var(--spacing-lg);font-family:var(--font-title);font-size:clamp(var(--text-2xl), 6vw, 3.75rem);letter-spacing:var(--letter-wider);font-weight:700;line-height:var(--leading-tight);color:var(--argent);overflow-wrap:anywhere}.theorem-header__abstract[data-astro-cid-zp2ggwwh]{max-width:64ch;margin:0 0 var(--spacing-3xl);font-family:var(--font-body);font-style:italic;font-weight:400;font-size:clamp(var(--text-md), 2vw, var(--text-lg));color:var(--text-light);line-height:1.75}.theorem-header__constants[data-astro-cid-zp2ggwwh]{margin:0 0 var(--spacing-xl);align-items:baseline;gap:var(--spacing-sm);font-family:var(--font-title);font-size:var(--text-md);color:var(--ophanim);flex-wrap:wrap;line-height:1;display:inline-flex}.theorem-header__constant[data-astro-cid-zp2ggwwh]{letter-spacing:.05em;font-weight:600}.theorem-header__constant-sep[data-astro-cid-zp2ggwwh]{color:var(--obolus);opacity:.6;font-weight:300}.theorem-header__meta[data-astro-cid-zp2ggwwh]{align-items:center;gap:var(--spacing-sm) var(--spacing-md);padding-block:var(--spacing-sm);border-block:1px solid color-mix(in oklch, var(--obolus) 56%, transparent);font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-wide);text-transform:uppercase;color:var(--text-main);flex-wrap:wrap;margin:0;display:flex}.theorem-header__meta-item[data-astro-cid-zp2ggwwh]{align-items:baseline;gap:var(--spacing-xs);display:inline-flex}.theorem-header__meta-label[data-astro-cid-zp2ggwwh]{color:var(--text-dim)}.theorem-header__meta-sep[data-astro-cid-zp2ggwwh]{color:var(--obolus)}.theorem-header__rule[data-astro-cid-zp2ggwwh]{margin-block:var(--spacing-4xl)}.folio-actions[data-astro-cid-zp2ggwwh]{justify-content:space-between;align-items:center;gap:var(--spacing-lg);flex-wrap:wrap;display:flex}.folio-actions--header[data-astro-cid-zp2ggwwh]{margin-block-start:var(--spacing-xl);padding-block-start:var(--spacing-sm)}.folio-actions__lead[data-astro-cid-zp2ggwwh]{align-items:center;gap:var(--spacing-sm);margin:0;display:flex}.folio-actions__glyph[data-astro-cid-zp2ggwwh]{color:var(--ophanim);font-size:var(--text-lg);line-height:1}.folio-actions__title[data-astro-cid-zp2ggwwh],.folio-actions__note[data-astro-cid-zp2ggwwh]{display:block}.folio-actions__title[data-astro-cid-zp2ggwwh]{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-widest);text-transform:uppercase;color:var(--text-light);font-weight:600}.folio-actions__note[data-astro-cid-zp2ggwwh]{font-family:var(--font-body);font-size:var(--text-sm);color:var(--text-dim);margin-block-start:2px}.folio-actions__links[data-astro-cid-zp2ggwwh]{gap:var(--spacing-sm);flex-wrap:wrap;display:flex}.folio-download[data-astro-cid-zp2ggwwh]{align-items:baseline;gap:var(--spacing-sm);border:1px solid color-mix(in oklch, var(--ophanim) 30%, transparent);border-radius:var(--radius-sm);min-height:40px;color:var(--text-main);transition:color var(--motion-base) var(--easing-out), border-color var(--motion-base) var(--easing-out), background-color var(--motion-base) var(--easing-out);padding:8px 12px;text-decoration:none;display:inline-flex}.folio-download[data-astro-cid-zp2ggwwh]:hover,.folio-download[data-astro-cid-zp2ggwwh]:focus-visible{border-color:var(--ophanim);background:color-mix(in oklch, var(--ophanim) 8%, transparent);color:var(--text-bright)}.folio-download__ext[data-astro-cid-zp2ggwwh]{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-widest);color:var(--ophanim);font-weight:700}.folio-download__kind[data-astro-cid-zp2ggwwh]{font-family:var(--font-body);font-size:var(--text-sm);color:var(--text-dim)}.complete-folio[data-astro-cid-zp2ggwwh]{padding:var(--spacing-2xl) clamp(var(--spacing-lg), 5vw, var(--spacing-3xl));border-block:1px solid color-mix(in oklch, var(--ophanim) 20%, transparent);background:linear-gradient(90deg, transparent, color-mix(in oklch, var(--ophanim) 4%, transparent) 20%, color-mix(in oklch, var(--ophanim) 4%, transparent) 80%, transparent);text-align:center;margin-block-start:var(--spacing-5xl)}.complete-folio__eyebrow[data-astro-cid-zp2ggwwh]{margin:0 0 var(--spacing-sm);font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-widest);color:var(--ophanim)}.complete-folio__title[data-astro-cid-zp2ggwwh]{font-family:var(--font-title);font-size:var(--text-xl);letter-spacing:var(--letter-wide);color:var(--argent);margin:0;font-weight:600}.complete-folio__copy[data-astro-cid-zp2ggwwh]{max-width:52ch;margin:var(--spacing-sm) auto var(--spacing-lg);color:var(--text-dim)}.complete-folio[data-astro-cid-zp2ggwwh] .folio-actions__links[data-astro-cid-zp2ggwwh]{justify-content:center}.theorem-content[data-astro-cid-zp2ggwwh]{hanging-punctuation:first;overflow-wrap:break-word;min-inline-size:0;max-inline-size:100%}.theorem-content[data-astro-cid-zp2ggwwh] h2{font-family:var(--font-title);font-size:var(--text-xl);letter-spacing:var(--letter-wider);color:var(--argent);margin-block:var(--spacing-4xl) var(--spacing-md);scroll-margin-block-start:var(--scroll-anchor-offset);font-weight:600}.theorem-content[data-astro-cid-zp2ggwwh] h3{font-family:var(--font-title);font-size:var(--text-lg);letter-spacing:var(--letter-wide);color:var(--text-bright);margin-block:var(--spacing-2xl) var(--spacing-md);scroll-margin-block-start:var(--scroll-anchor-offset);font-weight:500}.theorem-content[data-astro-cid-zp2ggwwh] p{margin-block:0 var(--spacing-lg)}@media (width>=721px){.theorem-header__abstract[data-astro-cid-zp2ggwwh],.theorem-content[data-astro-cid-zp2ggwwh]>p:first-of-type{text-wrap:balance}}.theorem-content[data-astro-cid-zp2ggwwh] .katex-display{margin-block:var(--spacing-xl);max-width:100%;overflow:auto hidden}.theorem-content[data-astro-cid-zp2ggwwh] p>.katex,.theorem-content[data-astro-cid-zp2ggwwh] li>.katex,.theorem-content[data-astro-cid-zp2ggwwh] td>.katex{vertical-align:middle;max-inline-size:100%;display:inline-block;overflow:clip visible}.theorem-content[data-astro-cid-zp2ggwwh] p>.katex[data-math-scroll],.theorem-content[data-astro-cid-zp2ggwwh] li>.katex[data-math-scroll],.theorem-content[data-astro-cid-zp2ggwwh] td>.katex[data-math-scroll]{inline-size:100%;margin-block:.25em;display:block;overflow:auto hidden}.theorem-content[data-astro-cid-zp2ggwwh] .katex-display:focus-visible,.theorem-content[data-astro-cid-zp2ggwwh] .katex[data-math-scroll]:focus-visible{outline:2px solid var(--ophanim);outline-offset:3px}.theorem-content[data-astro-cid-zp2ggwwh] pre{max-inline-size:100%}.theorem-content[data-astro-cid-zp2ggwwh] code:not(pre code){overflow-wrap:anywhere;word-break:break-word}.theorem-content[data-astro-cid-zp2ggwwh] table{max-width:100%;display:block;overflow-x:auto}.theorem-shell[data-astro-cid-zp2ggwwh]>[data-astro-cid-zp2ggwwh]{min-width:0}.theorem-footer[data-astro-cid-zp2ggwwh]{border-block-start:1px solid color-mix(in oklch, var(--obolus) 48%, transparent);margin-block-start:var(--spacing-3xl);padding-block-start:var(--spacing-xl)}.theorem-footer__back[data-astro-cid-zp2ggwwh]{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-wider);text-transform:uppercase;color:var(--text-dim);min-height:24px;padding-block:4px;text-decoration:none;display:inline-block}.theorem-footer__back[data-astro-cid-zp2ggwwh]:hover,.theorem-footer__back[data-astro-cid-zp2ggwwh]:focus-visible{color:var(--ophanim)}@media (width<=720px){.theorem-shell[data-astro-cid-zp2ggwwh]{padding:var(--spacing-2xl) var(--spacing-lg) var(--spacing-5xl)}.theorem-header__back[data-astro-cid-zp2ggwwh]{margin-block-end:var(--spacing-2xl)}.folio-actions--header[data-astro-cid-zp2ggwwh]{align-items:flex-start;padding-block-start:var(--spacing-sm)}.folio-actions__links[data-astro-cid-zp2ggwwh]{width:100%}.folio-download[data-astro-cid-zp2ggwwh]{flex:1 1 calc(50% - var(--spacing-sm));justify-content:center}.complete-folio[data-astro-cid-zp2ggwwh]{padding-inline:var(--spacing-md)}}.theorem-content .scholion__plate{border:1px solid color-mix(in oklch, var(--obolus) 58%, transparent);border-radius:var(--radius-sm);background:color-mix(in oklch, var(--bg-surface) 74%, transparent)}.theorem-content .scholion__hero-link{border-radius:inherit;text-decoration:none;display:block;overflow:hidden}.theorem-content .scholion__hero-link:focus-visible{outline:2px solid var(--ophanim);outline-offset:4px}.theorem-content .scholion__hero-link img,.theorem-content .scholion__plate>img{width:100%;height:auto;display:block}.theorem-content .term{all:unset;cursor:help;color:inherit;border-bottom:1px dotted color-mix(in oklch, var(--ophanim) 55%, transparent);transition:color var(--motion-base) var(--easing-out), border-color var(--motion-base) var(--easing-out)}.theorem-content .term:hover{color:var(--ophanim);border-bottom-color:var(--ophanim)}.theorem-content .term:focus-visible{color:var(--ophanim);border-bottom-color:var(--ophanim);background:color-mix(in oklch, var(--ophanim) 8%, transparent);outline:2px solid color-mix(in oklch, var(--ophanim) 78%, transparent);outline-offset:2px;border-radius:2px}.term__popover{max-width:360px;padding:var(--spacing-md) var(--spacing-lg);background:color-mix(in oklch, var(--bg-soul,#110c11) 92%, var(--ophanim) 6%);border:1px solid color-mix(in oklch, var(--ophanim) 35%, transparent);border-radius:var(--radius-md);color:var(--text-light);font-family:var(--font-body);font-size:var(--text-sm);line-height:var(--leading-snug);opacity:0;transition:opacity .16s var(--easing-out), transform .16s var(--easing-out), display .16s allow-discrete, overlay .16s allow-discrete;margin:0;position:fixed;inset:auto;transform:translateY(-4px);box-shadow:0 20px 50px -20px #000c}@supports (anchor-name:--x){.term__popover{inset-area:bottom span-all;position-try-fallbacks:flip-block;margin-block-start:6px}}.term__popover:popover-open{opacity:1;transform:translateY(0)}@starting-style{.term__popover:popover-open{opacity:0;transform:translateY(-4px)}}.term__head{width:100%;align-items:center;gap:8px;margin-block-end:var(--spacing-sm);display:flex}.term__glyph{font-family:var(--font-title), "Cambria Math", "STIX Two Math", "Latin Modern Math", "Segoe UI Symbol", "Apple Symbols", serif;color:var(--ophanim);font-size:1.4em;line-height:1}.term__label{font-family:var(--font-title);font-size:var(--text-base);letter-spacing:var(--letter-wide);color:var(--text-bright);font-weight:500}.term__close{border:1px solid color-mix(in oklch, var(--ophanim) 30%, transparent);border-radius:var(--radius-tight);width:1.8rem;height:1.8rem;color:var(--text-dim);font:inherit;cursor:pointer;background:0 0;place-items:center;margin-inline-start:auto;padding:0;display:inline-grid}.term__close:hover,.term__close:focus-visible{border-color:var(--ophanim);color:var(--ophanim);outline:2px solid color-mix(in oklch, var(--ophanim) 45%, transparent);outline-offset:2px}.term__body{color:var(--text-light);margin:0}.term__more{margin:var(--spacing-sm) 0 0;font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--letter-wider);text-transform:uppercase}.term__more a{color:var(--ophanim);transition:color var(--motion-base) var(--easing-out);text-decoration:none}.term__more a:hover,.term__more a:focus-visible{color:var(--ophanim-hover);text-decoration:underline}.translex-popovers{display:contents}.theorem-body .sidenote{float:none;clear:none;width:auto;font-family:var(--font-body);font-size:var(--text-sm);line-height:var(--leading-snug);color:var(--text-light);border-left:none;margin-right:0;padding-left:0;display:none}.theorem-body .sidenote:before{content:none}.theorem-body .sidenote[data-expanded=true]{margin-block:var(--spacing-sm);padding:var(--spacing-sm) var(--spacing-md);border-inline-start:2px solid var(--ophanim);background:color-mix(in oklch, var(--ophanim) 5%, transparent);display:block}