.AppShell_shell__Gr7ap{display:flex;flex-direction:column;min-height:100dvh}.AppShell_masthead__tFQjK{position:sticky;top:0;z-index:40;background:color-mix(in srgb,var(--paper) 88%,transparent);-webkit-backdrop-filter:blur(9px) saturate(1.1);backdrop-filter:blur(9px) saturate(1.1);border-block-end:var(--hair) solid var(--rule)}.AppShell_mastheadInner__YycPO{display:flex;align-items:center;justify-content:space-between;gap:.75rem;min-height:3.6rem}.AppShell_wordmark__5u7Cw{min-width:0;display:flex;flex-wrap:wrap;align-content:flex-start;align-items:baseline;height:1.4em;overflow:hidden;gap:.5rem;text-decoration:none;font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 10,"WONK" 1,"opsz" 20;letter-spacing:-.015em;line-height:1;white-space:nowrap}.AppShell_wordmarkDeviant__fTraz{color:var(--vermilion);display:inline-block;transform:translateY(-.09em) rotate(-7deg);transition:transform var(--dur-base) var(--ease-snap)}.AppShell_wordmark__5u7Cw:hover .AppShell_wordmarkDeviant__fTraz{transform:translateY(.06em) rotate(8deg)}.AppShell_wordmarkRule__x7Xnv{display:none;font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);padding-inline-start:.6rem;border-inline-start:var(--hair) solid var(--rule);white-space:nowrap}@media (min-width:76rem){.AppShell_wordmarkRule__x7Xnv{display:inline-block}}.AppShell_nav__g2185{flex:none;display:flex;align-items:center;gap:clamp(.7rem,1.5vw,.9rem);margin-inline-start:auto}.AppShell_controls__J5Ug4{flex:none;display:flex;align-items:center;gap:.5rem}.AppShell_navLink__4JnuJ{font-size:var(--step--1);letter-spacing:.07em;text-transform:uppercase;text-decoration:none;color:var(--ink-soft);position:relative;padding-block:.35rem;transition:color var(--dur-fast) var(--ease-plate)}.AppShell_navLink__4JnuJ:after{content:"";position:absolute;left:0;right:0;bottom:0;height:1px;background:var(--vermilion);transform:scaleX(0);transform-origin:left;transition:transform var(--dur-base) var(--ease-plate)}.AppShell_navLink__4JnuJ:hover,.AppShell_navLink__4JnuJ[data-active=true]{color:var(--ink)}.AppShell_navLink__4JnuJ:hover:after,.AppShell_navLink__4JnuJ[data-active=true]:after{transform:scaleX(1)}@media (max-width:42rem){.AppShell_mastheadInner__YycPO{flex-wrap:wrap;gap:.35rem;padding-block:.6rem .35rem}.AppShell_controls__J5Ug4{margin-inline-start:auto}.AppShell_nav__g2185{order:1;width:100%;justify-content:space-between;gap:.5rem;margin-inline-start:0}.AppShell_navLink__4JnuJ{font-size:var(--step--2);min-height:2.75rem;display:inline-flex;align-items:center}}.AppShell_main__pL7Q2{flex:1 1}.AppShell_colophon__Oqu3v{margin-block-start:clamp(4rem,9vw,8rem);border-block-start:var(--hair) solid var(--rule);background:var(--paper-deep)}.AppShell_colophonInner__nAmZ6{display:grid;gap:2rem;padding-block:clamp(2rem,5vw,3.5rem);grid-template-columns:1fr}@media (min-width:46rem){.AppShell_colophonInner__nAmZ6{grid-template-columns:1.4fr 1fr 1fr}}.AppShell_colophonStatement__JWU8C{font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 30,"WONK" 1,"opsz" 18;line-height:1.3;max-width:22rem;text-wrap:balance}.AppShell_colophonList__5ZkXD{list-style:none;padding:0;display:flex;flex-direction:column;gap:.45rem;font-size:var(--step--1)}.AppShell_colophonList__5ZkXD a{text-decoration:none;color:var(--ink-soft)}.AppShell_colophonList__5ZkXD a:hover{color:var(--ink)}.AppShell_colophonHead__6WFQr{margin-block-end:.85rem}.AppShell_fineprint__HTb0K{border-block-start:var(--hair) solid var(--rule);padding-block:1.1rem;display:flex;justify-content:space-between;gap:1rem;flex-wrap:wrap;font-size:var(--step--2);color:var(--ink-faint);font-family:var(--font-mono);letter-spacing:.04em}.ThemeToggle_toggle__f_ckn{appearance:none;background:transparent;border:var(--hair) solid var(--rule);border-radius:0;width:2.1rem;height:2.1rem;display:grid;place-items:center;cursor:pointer;color:var(--ink-soft);transition:color var(--dur-fast) var(--ease-plate),border-color var(--dur-fast) var(--ease-plate),background var(--dur-fast) var(--ease-plate)}.ThemeToggle_toggle__f_ckn:hover{color:var(--vermilion);border-color:var(--vermilion);background:var(--vermilion-wash)}.ThemeToggle_glyph__5W_Ee{width:1.05rem;height:1.05rem;fill:none;stroke:currentColor;stroke-width:1.2;overflow:visible}.ThemeToggle_group__3PrNd{display:inline-flex;border:var(--hair) solid var(--rule)}.ThemeToggle_option__igiHq{appearance:none;background:transparent;border:0;border-radius:0;width:2.1rem;height:2.1rem;display:grid;place-items:center;cursor:pointer;color:var(--ink-soft);transition:color var(--dur-fast) var(--ease-plate),background var(--dur-fast) var(--ease-plate)}.ThemeToggle_option__igiHq+.ThemeToggle_option__igiHq{border-inline-start:var(--hair) solid var(--rule)}.ThemeToggle_option__igiHq:hover{color:var(--vermilion);background:var(--vermilion-wash)}.ThemeToggle_option__igiHq[aria-checked=true]{background:var(--ink);color:var(--paper)}.ThemeToggle_inked__X6qsG{fill:currentColor;stroke:none}.ThemeToggle_cut__MxYgh{stroke-dasharray:1;stroke-dashoffset:0;stroke-linecap:round}.ThemeToggle_toggle__f_ckn:hover .ThemeToggle_cut__MxYgh{animation:ThemeToggle_cut__MxYgh var(--dur-slow) var(--ease-plate)}.ThemeToggle_tip__0xIo_{fill:currentColor;stroke:none;transition:opacity var(--dur-base) var(--ease-plate),transform var(--dur-base) var(--ease-snap)}.ThemeToggle_toggle__f_ckn[data-still] .ThemeToggle_cut__MxYgh{stroke-dasharray:.06 .1;animation:none}.ThemeToggle_toggle__f_ckn[data-still] .ThemeToggle_tip__0xIo_{opacity:.35;transform:translateY(-3px)}@keyframes ThemeToggle_cut__MxYgh{0%{stroke-dashoffset:1}to{stroke-dashoffset:0}}@font-face{font-family:fraunces;src:url(/_next/static/media/db1c606f8a2171ef.p.woff2) format("woff2");font-display:optional;font-weight:400 700;font-style:normal}.__className_0a2f16{font-family:fraunces,Fraunces Metric Fallback;font-style:normal}.__variable_0a2f16{--font-fraunces:"fraunces",Fraunces Metric Fallback}@font-face{font-family:archivo;src:url(/_next/static/media/d7f1e5920cf84673.p.woff2) format("woff2");font-display:optional;font-weight:400 700;font-style:normal}.__className_77a1af{font-family:archivo,Archivo Metric Fallback;font-style:normal}.__variable_77a1af{--font-archivo:"archivo",Archivo Metric Fallback}@font-face{font-family:splineMono;src:url(/_next/static/media/db5ca111e8557702.woff2) format("woff2");font-display:swap;font-weight:400 700;font-style:normal}.__className_4eb25b{font-family:splineMono,Spline Sans Mono Metric Fallback;font-style:normal}.__variable_4eb25b{--font-mono-spline:"splineMono",Spline Sans Mono Metric Fallback}:root{--paper:#f4efe6;--paper-deep:#eae2d4;--paper-sunk:#e0d6c4;--ink:#14202e;--ink-soft:#46586b;--ink-faint:#596776;--vermilion:#a3351f;--vermilion-wash:rgba(163,53,31,0.1);--plate-blue:#1e4a78;--plate-blue-wash:rgba(30,74,120,0.1);--verdigris:#2b6356;--ochre:#74531a;--violet-ink:#5b4b8a;--on-accent:#fff;--on-accent-rule:rgba(255,255,255,0.42);--shadow:rgba(20,32,46,0.12);--shadow-strong:rgba(20,32,46,0.2);--rule:rgba(20,32,46,0.16);--rule-strong:rgba(20,32,46,0.38);--rule-faint:rgba(20,32,46,0.07);--hair:1px;--grain-url:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='160'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.8' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");--grain-opacity:0.34;--grain-blend:multiply;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 40%,rgba(120,100,70,0.09) 100%);--font-display:var(--font-fraunces),"Iowan Old Style",Georgia,serif;--font-ui:var(--font-archivo),"Helvetica Neue",sans-serif;--font-mono:var(--font-mono-spline),"SFMono-Regular",Menlo,monospace;--step--2:clamp(0.7rem,0.68rem + 0.1vw,0.76rem);--step--1:clamp(0.82rem,0.79rem + 0.14vw,0.9rem);--step-0:clamp(0.98rem,0.95rem + 0.16vw,1.06rem);--step-1:clamp(1.18rem,1.12rem + 0.3vw,1.36rem);--step-2:clamp(1.44rem,1.33rem + 0.55vw,1.8rem);--step-3:clamp(1.78rem,1.57rem + 1.05vw,2.5rem);--step-4:clamp(2.2rem,1.8rem + 2vw,3.6rem);--step-5:clamp(2.7rem,1.9rem + 4vw,5.6rem);--step-6:clamp(3.2rem,1.7rem + 7.5vw,9rem);--gutter:clamp(1.1rem,0.7rem + 2vw,2.75rem);--measure:34rem;--page-max:78rem;--ease-plate:cubic-bezier(0.22,0.61,0.36,1);--ease-snap:cubic-bezier(0.34,1.32,0.64,1);--dur-fast:180ms;--dur-base:340ms;--dur-slow:620ms;--status-proved:var(--verdigris);--status-conjectured:var(--ochre);--status-open:var(--vermilion);--status-disproved:#8b2f2f;--status-observed:var(--plate-blue);--status-checked:var(--violet-ink);--status-heuristic:var(--ink-soft);color-scheme:light}[data-theme=dark]{--paper:#0e1720;--paper-deep:#16222e;--paper-sunk:#1d2c3a;--ink:#ede4d4;--ink-soft:#93a3b4;--ink-faint:#8494a8;--vermilion:#ea6d52;--vermilion-wash:rgba(234,109,82,0.14);--plate-blue:#6e9dd1;--plate-blue-wash:rgba(110,157,209,0.14);--verdigris:#55a692;--ochre:#d6a648;--violet-ink:#9b8ad0;--on-accent:#0e1720;--on-accent-rule:rgba(14,23,32,0.42);--shadow:rgba(0,0,0,0.5);--shadow-strong:rgba(0,0,0,0.6);--rule:rgba(237,228,212,0.18);--rule-strong:rgba(237,228,212,0.42);--rule-faint:rgba(237,228,212,0.08);--grain-opacity:0.22;--grain-blend:overlay;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 42%,rgba(0,0,0,0.35) 100%);--status-disproved:#de776d;color-scheme:dark}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#0e1720;--paper-deep:#16222e;--paper-sunk:#1d2c3a;--ink:#ede4d4;--ink-soft:#93a3b4;--ink-faint:#8494a8;--vermilion:#ea6d52;--vermilion-wash:rgba(234,109,82,0.14);--plate-blue:#6e9dd1;--plate-blue-wash:rgba(110,157,209,0.14);--verdigris:#55a692;--ochre:#d6a648;--violet-ink:#9b8ad0;--on-accent:#0e1720;--on-accent-rule:rgba(14,23,32,0.42);--shadow:rgba(0,0,0,0.5);--shadow-strong:rgba(0,0,0,0.6);--rule:rgba(237,228,212,0.18);--rule-strong:rgba(237,228,212,0.42);--rule-faint:rgba(237,228,212,0.08);--grain-opacity:0.22;--grain-blend:overlay;--vignette:radial-gradient(ellipse 120% 90% at 50% 0%,transparent 42%,rgba(0,0,0,0.35) 100%);--status-disproved:#de776d;color-scheme:dark}}@font-face{font-family:Fraunces Metric Fallback;src:local("Times New Roman"),local("TimesNewRomanPSMT"),local("Liberation Serif"),local("LiberationSerif"),local("Tinos"),local("Times");ascent-override:79.16%;descent-override:20.64%;line-gap-override:0%;size-adjust:123.54%}@font-face{font-family:Archivo Metric Fallback;src:local("Arial"),local("ArialMT"),local("Liberation Sans"),local("LiberationSans"),local("Arimo");ascent-override:88.96%;descent-override:21.28%;line-gap-override:0%;size-adjust:98.7%}@font-face{font-family:Spline Sans Mono Metric Fallback;src:local("Arial"),local("ArialMT"),local("Liberation Sans"),local("LiberationSans"),local("Arimo");ascent-override:71.59%;descent-override:17.57%;line-gap-override:0%;size-adjust:134.59%}@font-face{font-family:Fraunces Headline Fallback;src:local("Times New Roman"),local("TimesNewRomanPSMT"),local("Liberation Serif"),local("LiberationSerif"),local("Tinos"),local("Times");size-adjust:94.4%;ascent-override:103.6%;descent-override:27%;line-gap-override:0%}@font-face{font-family:Fraunces Title Fallback;src:local("Times New Roman"),local("TimesNewRomanPSMT"),local("Liberation Serif"),local("LiberationSerif"),local("Tinos"),local("Times");size-adjust:106%;ascent-override:92.26%;descent-override:24.06%;line-gap-override:0%}@font-face{font-family:Fraunces Question Fallback;src:local("Times New Roman"),local("TimesNewRomanPSMT"),local("Liberation Serif"),local("LiberationSerif"),local("Tinos"),local("Times");size-adjust:116%;ascent-override:84.31%;descent-override:21.98%;line-gap-override:0%}*,:after,:before{box-sizing:border-box}*{margin:0}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--font-ui);font-size:var(--step-0);line-height:1.6;font-synthesis-weight:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;min-height:100dvh;overflow-x:hidden}canvas,img,svg{display:block;max-width:100%}button,input,select,textarea{font:inherit;color:inherit}[role=button],a,button,summary{touch-action:manipulation}body:before{background-image:var(--grain-url);opacity:var(--grain-opacity);mix-blend-mode:var(--grain-blend)}body:after,body:before{content:"";position:fixed;inset:0;z-index:1;pointer-events:none}body:after{background:var(--vignette)}#app-root{position:relative;z-index:2}h1,h2,h3,h4{font-family:var(--font-display);font-weight:400;line-height:1.06;letter-spacing:-.018em;font-variation-settings:"SOFT" 18,"WONK" 1,"opsz" 40;text-wrap:balance}h1{font-size:var(--step-4)}h2{font-size:var(--step-3)}h3{font-size:var(--step-2)}p{text-wrap:pretty}a{color:inherit;text-decoration-color:var(--rule-strong);text-underline-offset:.22em;text-decoration-thickness:from-font;transition:text-decoration-color var(--dur-fast) var(--ease-plate)}a:hover{text-decoration-color:var(--vermilion)}.label{font-family:var(--font-ui);font-size:var(--step--2);font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft);line-height:1}.num{font-family:var(--font-mono);font-variant-numeric:tabular-nums;font-feature-settings:"tnum" 1,"tnum"}.prose{max-width:none;font-size:var(--step-0);line-height:1.68}.prose>*+*{margin-block-start:1em}.prose h2,.prose h3{margin-block-start:1.9em;margin-block-end:.55em}.prose strong{font-weight:600}.prose em{font-style:italic}.prose code{font-family:var(--font-mono);font-size:.88em;background:var(--paper-deep);padding:.12em .36em;border:var(--hair) solid var(--rule)}.prose ol,.prose ul{padding-inline-start:1.3em}.prose li+li{margin-block-start:.4em}.prose blockquote{border-inline-start:2px solid var(--vermilion);padding-inline-start:1.1em;font-family:var(--font-display);font-size:var(--step-1);font-variation-settings:"SOFT" 30,"WONK" 1,"opsz" 20;line-height:1.35}.page{width:100%;max-width:var(--page-max);margin-inline:auto;padding-inline:var(--gutter)}:focus{outline:none}:focus-visible{outline:2px solid var(--vermilion);outline-offset:3px}.skip-link{position:absolute;left:-9999px;top:0;z-index:100;background:var(--ink);color:var(--paper);padding:.7em 1.2em;font-size:var(--step--1);letter-spacing:.1em;text-transform:uppercase}.skip-link:focus{left:.5rem;top:.5rem}.visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap;border:0}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:.001ms!important;animation-iteration-count:1!important;animation-delay:0s!important;animation-timeline:auto!important;transition-duration:.001ms!important;transition-delay:0s!important}}:root[data-motion=still]{scroll-behavior:auto}:root[data-motion=still] *,:root[data-motion=still] :after,:root[data-motion=still] :before{animation-duration:.001ms!important;animation-iteration-count:1!important;animation-delay:0s!important;animation-timeline:auto!important;transition-duration:.001ms!important;transition-delay:0s!important}::view-transition-new(root),::view-transition-old(root){animation:none}::view-transition-group(lab-stage){animation-duration:var(--dur-base);animation-timing-function:var(--ease-plate)}::view-transition-old(lab-stage){animation:plate-lift var(--dur-fast) var(--ease-plate) both}::view-transition-new(lab-stage){animation:plate-settle var(--dur-base) var(--ease-plate) var(--dur-fast) both}@keyframes plate-lift{to{opacity:0;transform:translateY(-6px)}}@keyframes plate-settle{0%{opacity:0;transform:translateY(10px) scale(.992);filter:drop-shadow(0 10px 14px var(--shadow))}}.engrave{stroke-dasharray:1;stroke-dashoffset:1;animation:engrave var(--engrave-duration,var(--dur-base)) var(--ease-plate) var(--engrave-delay,0s) forwards}@keyframes engrave{to{stroke-dashoffset:0}}.strike{transform-box:fill-box;transform-origin:center;animation:strike var(--dur-base) var(--ease-snap) var(--strike-delay,0s) both}@keyframes strike{0%{transform:scale(0)}}@keyframes specimen-engrave{0%{stroke-dasharray:1;stroke-dashoffset:1}to{stroke-dasharray:1;stroke-dashoffset:0}}@keyframes specimen-strike{0%{opacity:0;transform:scale(.35)}to{opacity:1;transform:scale(1)}}[class*=cardLink]:focus-within [class*=specimenInk],[class*=cardLink]:hover [class*=specimenInk]{animation:specimen-engrave calc(.9s / var(--stroke-count, 1)) linear backwards;animation-delay:calc(var(--stroke-order, 0) * .9s / var(--stroke-count, 1))}[class*=cardLink]:focus-within [class*=specimenMarkPath],[class*=cardLink]:hover [class*=specimenMarkPath]{animation:specimen-engrave .26s var(--ease-plate) backwards;animation-delay:.9s}[class*=cardLink]:focus-within [class*=specimenMarkDot],[class*=cardLink]:hover [class*=specimenMarkDot]{animation:specimen-strike .24s ease-out both;animation-delay:.9s}[data-deferred-katex] .katex-html{display:none}.katex{font-size:1.04em;color:var(--ink)}.katex-display{overflow-x:auto;overflow-y:hidden;max-width:100%;padding-block:.35em;padding-inline-end:.6em}.katex-display,[class*=tableWrap],[class*=triangleWrap]{scrollbar-width:thin;scrollbar-color:var(--rule-strong) transparent}.prose pre,.prose table{overflow-x:auto;max-width:100%}