@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-cyrillic-ext-400-normal-klluUuQU.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-ext-400-normal-DTt0rUNK.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-cyrillic-400-normal-BeBP8F9c.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-400-normal-BfV63fuA.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-greek-400-normal-DURI2LrF.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-greek-400-normal-B05reu_N.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-vietnamese-400-normal-D0hKSraj.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-vietnamese-400-normal-CWKP4bwO.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-latin-ext-400-normal-BsQBoqgu.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-ext-400-normal-DJAp0_Pt.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-latin-400-normal-Dm29J5Fl.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-400-normal-rLRKR-Xb.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-cyrillic-ext-400-italic-CT9p3Bxe.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-ext-400-italic-BHtc8l_2.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-cyrillic-400-italic-LtDj4Puq.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-400-italic-DOm7gkEm.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-greek-400-italic-BXJkY8Z_.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-greek-400-italic-Cpok44kl.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-vietnamese-400-italic-CHjUy4Zj.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-vietnamese-400-italic-f_Q_YWy8.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-latin-ext-400-italic-DuoQFNx5.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-ext-400-italic-DY6SROO3.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/proof-reader/assets/stix-two-text-latin-400-italic-BLib6pG4.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-400-italic-CPbPgQcn.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-cyrillic-ext-500-normal-CvZN1Jzi.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-ext-500-normal-B-naY4CV.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-cyrillic-500-normal-D76mpzEv.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-cyrillic-500-normal-B8it83pB.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-greek-500-normal-BRdOuDOo.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-greek-500-normal-DzT0OzfO.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-vietnamese-500-normal-BwFVTPal.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-vietnamese-500-normal-CEWBe2fz.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-latin-ext-500-normal-DHdgT-tc.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-ext-500-normal-pHfgesfB.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(/proof-reader/assets/stix-two-text-latin-500-normal-QKEzPprE.woff2)format("woff2"),url(/proof-reader/assets/stix-two-text-latin-500-normal-BPyQuOGJ.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-cyrillic-ext-wght-normal-c-5QAGAI.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-cyrillic-wght-normal-BMDVbyM7.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-greek-ext-wght-normal-BXZfsJY4.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-greek-wght-normal-Cc-u-6OI.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-vietnamese-wght-normal-BDs68eHQ.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-latin-ext-wght-normal-C8iNium2.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Sans 3 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/proof-reader/assets/source-sans-3-latin-wght-normal-Bo_j9asI.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-cyrillic-ext-400-normal-C_uLvvQ5.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-cyrillic-ext-400-normal-Bh0R7Dhr.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-cyrillic-400-normal-BEIGL1Tu.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-cyrillic-400-normal-ugxPyKxw.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-greek-400-normal-C190GLew.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-greek-400-normal-B9oWc5Lo.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-vietnamese-400-normal-ByoDsISC.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-vietnamese-400-normal-CqNFfHCs.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-latin-ext-400-normal-Bc8Ftmh3.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-latin-ext-400-normal-fXTG6kC5.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/proof-reader/assets/jetbrains-mono-latin-400-normal-V6pRDFza.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-latin-400-normal-6-qcROiO.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-cyrillic-ext-700-normal-D6iG63UR.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-cyrillic-ext-700-normal-iEXTdOVf.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-cyrillic-700-normal-BWTpRfYl.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-cyrillic-700-normal-CEoEElIJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-greek-700-normal-C6CZE3T8.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-greek-700-normal-DEigVDxa.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-vietnamese-700-normal-k5PzE07T.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-vietnamese-700-normal-BDLVIk2r.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-latin-ext-700-normal-CZipNAKV.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-latin-ext-700-normal-CxPITLHs.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/proof-reader/assets/jetbrains-mono-latin-700-normal-BYuf6tUa.woff2)format("woff2"),url(/proof-reader/assets/jetbrains-mono-latin-700-normal-D3wTyLJW.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--font-serif:"STIX Two Text", "Iowan Old Style", "Palatino Linotype", Georgia, serif;--font-sans:"Source Sans 3 Variable", "Source Sans 3", -apple-system, "Segoe UI", Roboto, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--fs-micro:.6875rem;--fs-xs:.75rem;--fs-sm:.8125rem;--fs-ui:.875rem;--fs-base:1rem;--fs-card:1.0625rem;--fs-read:1.125rem;--fs-h4:1.0625rem;--fs-h3:1.25rem;--fs-h2:1.5rem;--fs-title:1.625rem;--fs-h1:2.125rem;--fs-plate:clamp(1.75rem, 1.3rem + 1.1vw, 2.25rem);--fs-display:clamp(2rem, 1.35rem + 1.9vw, 3rem);--lh-tight:1.16;--lh-snug:1.32;--lh-ui:1.45;--lh-read:1.62;--tracking-caps:.075em;--measure:40rem;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:24px;--space-6:32px;--space-7:48px;--space-8:72px;--radius-s:4px;--radius-card:7px;--radius-m:8px;--radius-l:12px;--ease-out:cubic-bezier(.2, .7, .2, 1);--ease-move:cubic-bezier(.45, 0, .2, 1);--ease-exit:cubic-bezier(.3, 0, 1, 1);--t-press:.12s;--t-hover:.12s;--t-state:.16s;--t-reveal:.18s;--t-panel:.2s;--t-camera:.32s;--t-unfold:.36s;--t-trace:.52s;--topbar-h:56px;--bar-h:52px;--panel-w:clamp(440px, 34vw, 560px);--dock-h:152px;--dock-bar-h:44px;--target:44px;--reader-measure:42.5rem;--reader-outline:208px;--reader-inspector:336px;--reader-gap:32px;--ground:#f8f0e2;--surface:#fffdf7;--raised:#fffefa;--sunk:#f1e7d4;--rule:#eaddc9;--rule-strong:#d9c7ae;--ink:#191520;--ink-2:#544d5d;--ink-3:#6d6473;--rule-control:#938067;--lit:#a25200;--lit-wash:#fae4c7;--lit-line:#c9761a;--lit-glow:#c9761a00;--focus-ring:2px solid var(--lit);--fail:#a04034;--lean-fill:#cde4c8;--lean-fill-part:#e6f1dc;--lean-fill-line:#a3c79f;--rel-supports:#7c858f;--rel-supports-lit:#b8650c;--rel-assumes:#8a6cc8;--rel-assumes-lit:#6d3fd4;--rel-formalizes:#3f8aa0;--rel-formalizes-lit:#0b6f86;--edge-rest:var(--rel-supports);--edge-strong:#47505b;--edge-lit:var(--rel-supports-lit);--edge-casing:var(--ground);--edge-w:1.5px;--edge-w-lit:2.25px;--card:var(--raised);--card-border:#d4c7b4;--card-shadow:0 1px 0 #19152008, 0 2px 6px -2px #19152014;--card-shadow-lift:0 1px 0 #1915200a, 0 10px 24px -10px #19152038;--grid-dot:#19152016;--region-support:#396791;--region-scalar:#30715d;--region-circuit:#7e517a;--field-support:#e0ebf5;--field-scalar:#deeee8;--field-circuit:#f1e5ef;--formal:#46496d;--src-1:#2a78d6;--src-2:#e87ba4;--src-3:#008300;--src-0:#8a929b;--mark-mix:64%;--shadow-sheet:0 1px 0 #1915200a, 0 8px 28px -12px #19152038;--shadow-panel:-1px 0 0 var(--rule), -18px 0 40px -28px #19152047;--scrim:#f8f0e2db;--fam-page:var(--ground);--fam-surface:var(--surface);--fam-ink:var(--ink);--fam-ink-soft:var(--ink-2);--fam-muted:var(--ink-2);--fam-faint:var(--ink-3);--fam-rule:var(--rule);--fam-rule-strong:var(--rule-strong);--fam-accent:var(--ink);--fam-film-ink:var(--ink-2);--fam-serif:var(--font-serif);--fam-sans:var(--font-sans)}:focus-visible{--fam-accent:var(--lit)}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ground:#1c1526;--surface:#272132;--raised:#2f2839;--sunk:#150f1e;--rule:#363040;--rule-strong:#484251;--ink:#f2e6d4;--ink-2:#bcb8c6;--ink-3:#a6a2b1;--rule-control:#787383;--lit:#fab250;--lit-wash:#3d290e;--lit-line:#f3a43a;--lit-glow:#f3a43a47;--fail:#ea8470;--lean-fill:#2f4b3b;--lean-fill-part:#32393b;--lean-fill-line:#4f7559;--rel-supports:#6a7581;--rel-supports-lit:#f3a43a;--rel-assumes:#7d68b8;--rel-assumes-lit:#b49bff;--rel-formalizes:#3f8698;--rel-formalizes-lit:#55c7df;--edge-strong:#a7b0ba;--card-border:#413b4b;--card-shadow:0 1px 0 #00000040, 0 2px 8px -2px #00000073;--card-shadow-lift:0 1px 0 #0000004d, 0 14px 30px -12px #000000bf;--grid-dot:#f2e6d40f;--region-support:#80b0de;--region-scalar:#79bba4;--region-circuit:#ca98c5;--field-support:#101d29;--field-scalar:#0d201a;--field-circuit:#241722;--formal:#a9aed7;--src-1:#3987e5;--src-2:#d55181;--src-3:#008300;--src-0:#6b737c;--mark-mix:60%;--shadow-sheet:0 1px 0 #0000004d, 0 12px 32px -14px #000000b3;--shadow-panel:-1px 0 0 var(--rule), -24px 0 48px -30px #000c;--scrim:#1c1526db}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ground:#1c1526;--surface:#272132;--raised:#2f2839;--sunk:#150f1e;--rule:#363040;--rule-strong:#484251;--ink:#f2e6d4;--ink-2:#bcb8c6;--ink-3:#a6a2b1;--rule-control:#787383;--lit:#fab250;--lit-wash:#3d290e;--lit-line:#f3a43a;--lit-glow:#f3a43a47;--fail:#ea8470;--lean-fill:#2f4b3b;--lean-fill-part:#32393b;--lean-fill-line:#4f7559;--rel-supports:#6a7581;--rel-supports-lit:#f3a43a;--rel-assumes:#7d68b8;--rel-assumes-lit:#b49bff;--rel-formalizes:#3f8698;--rel-formalizes-lit:#55c7df;--edge-strong:#a7b0ba;--card-border:#413b4b;--card-shadow:0 1px 0 #00000040, 0 2px 8px -2px #00000073;--card-shadow-lift:0 1px 0 #0000004d, 0 14px 30px -12px #000000bf;--grid-dot:#f2e6d40f;--region-support:#80b0de;--region-scalar:#79bba4;--region-circuit:#ca98c5;--field-support:#101d29;--field-scalar:#0d201a;--field-circuit:#241722;--formal:#a9aed7;--src-1:#3987e5;--src-2:#d55181;--src-3:#008300;--src-0:#6b737c;--mark-mix:60%;--shadow-sheet:0 1px 0 #0000004d, 0 12px 32px -14px #000000b3;--shadow-panel:-1px 0 0 var(--rule), -24px 0 48px -30px #000c;--scrim:#1c1526db}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:calc(var(--topbar-h) + 16px)}body{background:var(--ground);color:var(--ink);font-family:var(--font-sans);font-size:var(--fs-base);line-height:var(--lh-ui);font-feature-settings:"kern" 1;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0}.no-transitions *,.no-transitions :before,.no-transitions :after{transition:none!important;animation:none!important}h1,h2,h3,h4{text-wrap:balance;margin:0;font-weight:500}p{text-wrap:pretty;margin:0}a{color:inherit;-webkit-text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-decoration-color:color-mix(in oklab, currentColor 40%, transparent);text-underline-offset:.18em;text-decoration-thickness:1px}a:hover{text-decoration-color:currentColor}button{font:inherit;color:inherit}:where(a,button,[tabindex],input,select,summary):where(:focus-visible){outline:2px solid var(--lit);outline-offset:2px;border-radius:2px}::selection{background:var(--lit-wash);color:var(--ink)}.visually-hidden,.sr-only{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;position:absolute!important}.skip-link{left:var(--space-4);z-index:100;padding:var(--space-2) var(--space-3);background:var(--ink);color:var(--ground);border-radius:var(--radius-s);text-decoration:none;position:absolute;top:-48px}.skip-link:focus{top:var(--space-2)}.control{min-height:32px;padding:0 var(--space-3);border:1px solid var(--rule-control);border-radius:var(--radius-m);color:var(--ink);font-size:var(--fs-ui);cursor:pointer;transition:background-color var(--t-press) var(--ease-out), border-color var(--t-press) var(--ease-out), transform var(--t-press) var(--ease-out);white-space:nowrap;background:0 0;align-items:center;gap:6px;line-height:1;text-decoration:none;display:inline-flex}.control:hover{border-color:var(--ink-3);background:color-mix(in oklab, var(--ink) 4%, transparent)}.control:active{transform:scale(.97)}.control[aria-pressed=true],.control[aria-current=page],.control[aria-selected=true]{border-color:var(--ink);background:var(--ink);color:var(--ground)}.control--plain,.control--plain:hover{border-color:#0000}.kbd{border:1px solid var(--rule-strong);border-radius:var(--radius-s);min-width:1.5em;font-family:var(--font-sans);font-size:var(--fs-xs);color:var(--ink-2);text-align:center;border-bottom-width:2px;padding:1px 5px;line-height:1.3;display:inline-block}.lean{font-family:var(--font-mono);font-variant-ligatures:none;font-size:.86em}.region-dot{background:var(--region,var(--ink-3));border-radius:50%;flex:none;width:.62em;height:.62em;display:inline-block}[data-region=support]{--region:var(--region-support);--field:var(--field-support)}[data-region=scalar]{--region:var(--region-scalar);--field:var(--field-scalar)}[data-region=circuit]{--region:var(--region-circuit);--field:var(--field-circuit)}.caps{font-family:var(--font-sans);font-size:var(--fs-micro);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--ink-3);font-weight:600;line-height:1.2}.src-sq{background:var(--cat,var(--src-0));border-radius:2px;flex:none;width:.62em;height:.62em;display:inline-block}[data-slot="1"]{--cat:var(--src-1)}[data-slot="2"]{--cat:var(--src-2)}[data-slot="3"]{--cat:var(--src-3)}.cov-mark{background:var(--ink-2);border-radius:50%;flex:none;width:.6em;height:.6em;display:inline-block}.cov-mark--relied{box-shadow:inset 0 0 0 1.5px var(--ink-2);background:0 0}.cov-mark--outside{box-shadow:inset 0 0 0 1px var(--ink-3);background:0 0;background-image:linear-gradient(var(--ink-3), var(--ink-3));background-position:50%;background-repeat:no-repeat;background-size:60% 1.5px;border-radius:1px}.rel-sample{vertical-align:middle;border-top:2px solid var(--rel-supports);flex:none;width:26px;height:0;display:inline-block}.rel-sample--assumes{border-top-style:dotted;border-top-width:2.5px;border-top-color:var(--rel-assumes)}.rel-sample--formalizes{border-top-style:dashed;border-top-color:var(--rel-formalizes)}.rel-sample--lit{border-top-color:var(--rel-supports-lit)}.rel-sample--lit.rel-sample--assumes{border-top-color:var(--rel-assumes-lit)}.rel-sample--lit.rel-sample--formalizes{border-top-color:var(--rel-formalizes-lit)}.outcome{font-variant-numeric:tabular-nums;white-space:nowrap}.outcome--failed{color:var(--fail);font-weight:600}.outcome--passed{color:var(--ink);font-weight:600}.outcome--unavailable,.outcome--not_run,.muted{color:var(--ink-2)}.faint{color:var(--ink-3)}.num{font-variant-numeric:tabular-nums}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:1ms!important;animation-duration:1ms!important;animation-iteration-count:1!important}}:where(.fam-root,:root){--fam-page:var(--page,#f8f0e2);--fam-surface:var(--surface,#fffdf7);--fam-ink:var(--ink,#191520);--fam-ink-soft:var(--ink-soft,#342d3d);--fam-muted:var(--muted,#544d5d);--fam-faint:var(--faint,#6d6473);--fam-rule:var(--rule,#eaddc9);--fam-rule-strong:var(--rule-strong,#d9c7ae);--fam-accent:var(--accent,#29527b);--fam-serif:var(--font-serif,"Plectis Serif", "STIX Two Text", Georgia, serif);--fam-sans:var(--font-sans,"Plectis Sans", "Source Sans 3", system-ui, sans-serif);--fam-ease:cubic-bezier(.2, .75, .25, 1)}.fam-ladder{align-items:baseline;gap:.5rem;min-width:0;display:inline-flex}.fam-ladder__up{font-family:var(--fam-sans);color:var(--fam-muted);white-space:nowrap;transition:color .16s var(--fam-ease), border-color .16s var(--fam-ease);border-bottom:1px solid #0000;font-size:.84rem;font-weight:400;text-decoration:none}.fam-ladder__up:hover{color:var(--fam-accent);border-bottom-color:var(--fam-accent);text-decoration:none}.fam-ladder__up:focus-visible{outline:2px solid var(--fam-accent);outline-offset:2px;border-radius:2px}.fam-ladder__sep{color:var(--fam-faint);-webkit-user-select:none;user-select:none;font-size:.95rem}.fam-lockup{align-items:center;gap:.75rem;min-width:0;display:inline-flex}.fam-lockup__home{width:2rem;height:2rem;transition:background-color .16s var(--fam-ease);border-radius:8px;flex:none;place-items:center;display:inline-grid;position:relative}.fam-lockup__home img{width:1.6rem;height:1.6rem;display:block}@media (hover:hover) and (pointer:fine){.fam-lockup__home:hover{background:color-mix(in srgb, var(--fam-ink) 8%, transparent)}}.fam-lockup__home:focus-visible{outline:2px solid var(--fam-accent);outline-offset:2px}.fam-lockup__rule{background:var(--fam-rule-strong);flex:none;width:1px;height:1.35rem}.fam-lockup__site{min-width:0;color:var(--fam-ink);align-items:center;gap:.5rem;text-decoration:none;display:inline-flex}.fam-lockup__site:hover .fam-lockup__name{text-decoration:underline;-webkit-text-decoration-color:var(--fam-rule-strong);text-decoration-color:var(--fam-rule-strong);text-underline-offset:.18em}.fam-lockup__site:focus-visible{outline:2px solid var(--fam-accent);outline-offset:3px;border-radius:4px}.fam-lockup__name{font-family:var(--fam-serif);letter-spacing:-.008em;white-space:nowrap;text-overflow:ellipsis;font-size:1.18rem;font-weight:500;line-height:1.1;overflow:hidden}.fam-mark{flex:none;width:1.5rem;height:1.5rem;display:block;overflow:visible}.fam-mark *{vector-effect:non-scaling-stroke}.fam-mark__ink{fill:none;stroke:var(--fam-ink);stroke-width:1.8px;stroke-linecap:round}.fam-mark__cool{fill:none;stroke:var(--fam-mark-cool,var(--fam-accent));stroke-width:1.8px;stroke-linecap:round}.fam-mark__warm{fill:none;stroke:var(--fam-mark-warm,var(--fam-ink));stroke-width:1.4px}.fam-mark__warm-fill{fill:var(--fam-mark-warm,var(--fam-ink))}.fam-mark__cool-fill{fill:var(--fam-mark-cool,var(--fam-accent))}.fam-mark__page-fill{fill:var(--fam-page)}@media (width<=420px){.fam-lockup{gap:.55rem}.fam-lockup__name{font-size:1.05rem}}@media (forced-colors:active){.fam-lockup__rule{background:canvastext}}.film-slot{min-width:0;margin:0}.film-slot__frame{aspect-ratio:16/9;box-shadow:0 0 0 1px var(--fam-rule-strong);--play:46px;--film-chip:#120c18c2;--film-chip-solid:#15101b;--film-mark:#f8f0e2;transition:box-shadow .16s var(--fam-ease);background:#0d0a12;border-radius:10px;display:block;position:relative;overflow:hidden}.film-slot__frame>img{object-fit:cover;width:100%;height:100%;display:block}.film-slot__play{width:var(--play);height:var(--play);background:var(--film-chip);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-radius:50%;position:absolute;top:50%;left:50%;translate:-50% -50%;box-shadow:inset 0 0 0 1px #f8f0e24d,0 6px 16px -8px #08050ccc}.film-slot__play:after{content:"";border-left:calc(var(--play) * .27) solid var(--film-mark);border-top:calc(var(--play) * .165) solid transparent;border-bottom:calc(var(--play) * .165) solid transparent;position:absolute;top:50%;left:53.5%;translate:-50% -50%}.film-slot__time{font-family:var(--fam-sans);font-variant-numeric:tabular-nums;background:var(--film-chip-solid);color:var(--film-mark);border-radius:6px;padding:.14rem .45rem;font-size:.75rem;font-weight:600;position:absolute;bottom:.6rem;right:.6rem;box-shadow:inset 0 0 0 1px #f8f0e224}.film-slot--small .film-slot__frame{--play:34px}.film-slot--small .film-slot__time{padding:.05rem .35rem;font-size:.7rem;bottom:.4rem;right:.4rem}.film-slot--large .film-slot__frame{--play:56px}.film-slot .film-slot__caption{gap:.3rem;margin-top:.8rem;display:grid}.film-slot .film-slot__title{font-family:var(--fam-serif);color:var(--fam-ink);letter-spacing:-.005em;text-wrap:balance;margin:0;font-size:1.12rem;font-weight:400;line-height:1.22}.film-slot--large .film-slot__title,.film-slot.film-slot--large .film-slot__title{font-size:clamp(1.3rem,1.02rem + .62vw,1.6rem);line-height:1.16}.film-slot.film-slot--small .film-slot__title{font-size:1rem}.film-slot__title a{color:inherit;text-decoration:none;display:inline-block}.film-slot__title a:after{content:" ↗";color:var(--fam-faint);font-family:var(--fam-sans);font-size:.62em}.film-slot__title a:hover{text-underline-offset:.16em;text-decoration:underline;text-decoration-thickness:1px}.film-slot__title a:focus-visible{outline:2px solid var(--fam-accent);outline-offset:3px;border-radius:2px}:is(.film-slot:has(.film-slot__title a:hover) .film-slot__frame,.film-slot:has(.film-slot__title a:focus-visible) .film-slot__frame){box-shadow:0 0 0 1px var(--fam-accent)}@media (hover:hover) and (pointer:fine){a.film-slot__frame:hover{box-shadow:0 0 0 1px var(--fam-accent)}}.film-slot .film-slot__meta{font-family:var(--fam-sans);color:var(--fam-faint);font-variant-numeric:tabular-nums;margin:0;font-size:.84rem;line-height:1.4}.film-slot .film-slot__text{max-width:60ch;color:var(--fam-ink-soft);text-wrap:pretty;margin:.1rem 0 0;font-size:.95rem;line-height:1.55}.film-slot__frame--pending{color:var(--fam-ink);background:linear-gradient(var(--fam-film-ink,var(--fam-accent)), var(--fam-film-ink,var(--fam-accent))) 8% 0 / 30% 2px no-repeat, color-mix(in srgb, var(--fam-film-ink,var(--fam-accent)) 7%, color-mix(in srgb, var(--fam-surface) 70%, var(--fam-page)));box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--fam-ink) 12%, transparent);border-radius:8px;flex-direction:column;justify-content:space-between;gap:.35em;padding:7% 8% 6%;text-decoration:none;display:flex}.film-slot__frame--pending:before,.film-slot__frame--pending:after{content:"";pointer-events:none;border:0 solid color-mix(in srgb, var(--fam-ink) 40%, transparent);width:10px;height:10px;transition:transform .16s var(--fam-ease), border-color .16s var(--fam-ease);position:absolute}.film-slot__frame--pending:before{border-width:1px 1px 0 0;top:7px;right:7px}.film-slot__frame--pending:after{border-width:0 0 1px 1px;bottom:7px;left:7px}.film-slot__frame--pending>span{min-width:0;display:block}.film-slot__series,.film-slot__status{font-family:var(--fam-sans);font-size:.82rem;line-height:1.3}.film-slot__series{color:var(--fam-muted)}.film-slot__status{color:var(--fam-film-ink,var(--fam-accent))}.film-slot__name{font-family:var(--fam-serif);letter-spacing:-.01em;color:var(--fam-ink);text-wrap:balance;overflow-wrap:anywhere;font-size:clamp(1.15rem,.8rem + 1.2vw,1.75rem);font-weight:500;line-height:1.12}.film-slot--small .film-slot__name{font-size:1rem}.film-slot--large .film-slot__name{font-size:clamp(1.5rem,1rem + 2vw,2.4rem)}.film-slot:hover .film-slot__frame--pending:before{border-color:var(--fam-film-ink,var(--fam-accent));transform:translate(-3px,3px)}.film-slot:hover .film-slot__frame--pending:after{border-color:var(--fam-film-ink,var(--fam-accent));transform:translate(3px,-3px)}.film-slot--inline{grid-template-columns:minmax(8rem,11rem) minmax(0,1fr);align-items:start;gap:.4rem 1rem;display:grid}.film-slot--inline .film-slot__frame{--play:30px;border-radius:7px}.film-slot--inline .film-slot__time{padding:.02rem .32rem;font-size:.68rem;bottom:.35rem;right:.35rem}.film-slot--small .film-slot__frame--pending,.film-slot--inline .film-slot__frame--pending{justify-content:center;padding:6% 9%}.film-slot--small .film-slot__series,.film-slot--small .film-slot__status,.film-slot--inline .film-slot__series,.film-slot--inline .film-slot__status{display:none}.film-slot.film-slot--inline .film-slot__name{font-size:.86rem;line-height:1.15}.film-slot.film-slot--inline .film-slot__caption{margin-top:0}.film-slot.film-slot--inline .film-slot__title{font-size:1.02rem}.film-slot.film-slot--inline .film-slot__text{font-size:.9rem}@media (width<=40rem){.film-slot--inline{display:block}.film-slot--inline .film-slot__frame{--play:40px;max-width:22rem}.film-slot.film-slot--inline .film-slot__caption{margin-top:.7rem}.film-slot.film-slot--inline .film-slot__name{font-size:1.15rem}}@media (prefers-reduced-motion:reduce){.fam-ladder__up,.film-slot__frame,.film-slot__frame--pending:before,.film-slot__frame--pending:after{transition:none}}@media (prefers-reduced-transparency:reduce),(prefers-contrast:more){:root .film-slot__play,:root .film-slot__time{-webkit-backdrop-filter:none;backdrop-filter:none;background:var(--film-chip-solid)}}@media (forced-colors:active){.film-slot__frame,.film-slot__frame--pending,.film-slot__play{border:1px solid canvastext}}.fam-sites{font-family:var(--fam-sans);color:var(--fam-muted);font-size:.9rem;line-height:1.5}.fam-sites__title{color:var(--fam-ink);margin:0 0 .4rem;font-size:.9rem;font-weight:600}.fam-sites__list{flex-wrap:wrap;gap:.25rem 1.4rem;margin:0;padding:0;list-style:none;display:flex}.fam-sites__list a{color:var(--fam-ink);border-bottom:1px solid var(--fam-rule-strong);text-decoration:none}.fam-sites__list a:hover{color:var(--fam-accent);border-bottom-color:var(--fam-accent)}.fam-sites__list a:focus-visible{outline:2px solid var(--fam-accent);outline-offset:2px;border-radius:2px}.fam-sites__list [aria-current=page]{color:var(--fam-muted)}:root{--desk:#ebe2d2;--sheet:#fffdf8;--sheet-shadow:0 0 0 1px #46321412, 0 1px 3px #46321414;--highlight:#ffdf8e;--highlight-soft:#fff0c7;--thread:#b4650a;--tie-rest:#b09a78;--lean-keyword:#3d4476;--hover-wash:#4632140f;--paper-white:#fffdf8;--rail-count:#8a4500}:root[data-theme=dark]{--desk:#150f1e;--sheet:#1f1829;--sheet-shadow:0 0 0 1px #f2e6d40f;--highlight:#6a4a14;--highlight-soft:#3f2e15;--thread:#f3a43a;--tie-rest:#7c7486;--lean-keyword:#b3b9ee;--hover-wash:#f2e6d412;--rail-count:#fab250}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--desk:#150f1e;--sheet:#1f1829;--sheet-shadow:0 0 0 1px #f2e6d40f;--highlight:#6a4a14;--highlight-soft:#3f2e15;--thread:#f3a43a;--tie-rest:#7c7486;--lean-keyword:#b3b9ee;--hover-wash:#f2e6d412;--rail-count:#fab250}}html,body,#root{height:100%}body{background:var(--desk);color:var(--ink);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;margin:0}button{font:inherit;color:inherit;cursor:pointer;background:0 0;border:0;padding:0}button:disabled{cursor:default}[hidden]{display:none!important}:where(a,button,input,[tabindex]):focus-visible{outline:2px solid var(--lit);outline-offset:2px}.status{font-size:var(--fs-base);padding:48px 24px}.lost{max-width:34rem;font-size:var(--fs-base);margin:18vh auto 0;padding:0 24px}.lost h1{font-family:var(--font-serif);font-size:var(--fs-h2);margin-bottom:12px;font-weight:400}.skip{z-index:30;background:var(--surface);color:var(--ink);border-radius:var(--radius-m);padding:8px 12px;position:absolute;top:-64px;left:12px}.skip:focus{top:8px}.page{flex-direction:column;height:100dvh;display:flex}.bar{background:var(--desk);border-bottom:1px solid var(--rule-strong);flex:none;align-items:center;gap:16px;height:46px;padding:0 16px;display:flex}.bar__left,.bar__column,.bar__right{align-items:center;gap:12px;min-width:0;display:flex}.bar__column{flex:1;justify-content:space-between}.bar--spread{grid-template-columns:212px minmax(0,clamp(480px,44vw - 26px,1000px)) minmax(0,1fr);gap:0;padding:0;display:grid}.bar--spread .bar__left{padding-left:16px}.bar--spread .bar__column{padding:0 20px 0 12px}.bar--spread .bar__right{justify-content:flex-end;padding:0 16px 0 42px}.bar .fam-lockup{gap:8px}.bar .fam-lockup__home img{width:24px;height:24px}.bar .fam-lockup__site{color:var(--ink);white-space:nowrap;align-items:center;gap:7px;text-decoration:none;display:inline-flex}.bar .fam-lockup__name{font-family:var(--font-serif);font-size:1rem}.bookmark{flex:none;display:block}.bar__title{flex:1;align-items:baseline;gap:10px;min-width:0;display:flex}.bar__paper{text-overflow:ellipsis;min-width:0;font-family:var(--font-serif);color:var(--ink);white-space:nowrap;margin:0;font-size:1rem;font-weight:400;overflow:hidden}.bar__link{font-size:var(--fs-sm);color:var(--ink-2);white-space:nowrap;text-underline-offset:3px;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong)}.bar__link:hover{color:var(--lit)}.bar__theme,.bar__contents,.bar__open{border-radius:var(--radius-s);min-height:28px;font-size:var(--fs-sm);color:var(--ink-2);white-space:nowrap;flex:none;padding:0 8px}.bar__theme:hover,.bar__contents:hover,.bar__open:hover{color:var(--ink);background:var(--hover-wash)}.stepper{font-size:var(--fs-sm);color:var(--ink-2);font-variant-numeric:tabular-nums;white-space:nowrap;flex:none;align-items:center;gap:8px;display:flex}.stepper button{border-radius:var(--radius-s);min-height:28px;color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px;padding:0 8px}.stepper button:hover:not(:disabled){color:var(--lit);text-decoration-color:currentColor}.stepper button:disabled{color:var(--ink-3);text-decoration:none}.switch{font-size:var(--fs-sm);flex:none;display:flex}.switch button{border-radius:var(--radius-s);min-height:28px;color:var(--ink-2);white-space:nowrap;padding:0 9px}.switch button:hover{color:var(--ink)}.switch button[aria-pressed=true]{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--thread);text-decoration-color:var(--thread);text-underline-offset:5px;text-decoration-thickness:2px}.back{border-radius:var(--radius-s);min-height:28px;color:var(--lit);font-size:var(--fs-sm);white-space:nowrap;text-underline-offset:3px;flex:none;padding:0 8px 0 4px;text-decoration:underline}.back:before{content:"← "}.back:hover{background:var(--hover-wash)}.badline{background:var(--highlight-soft);border-bottom:1px solid var(--rule-strong);font-size:var(--fs-ui);color:var(--ink);flex:none;margin:0;padding:8px 20px}.badline code{font-family:var(--font-mono);overflow-wrap:anywhere;font-size:.8125rem}.spread{background:var(--desk);flex:1;grid-template-columns:minmax(0,1fr);justify-content:center;min-height:0;display:grid;position:relative}.spread.has-right{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.spread--reading.has-right{grid-template-columns:212px minmax(0,clamp(480px,44vw - 26px,1000px)) minmax(0,1fr);column-gap:0}.spread--reading.has-right .proof{margin-left:26px}.left{flex-direction:column;min-width:0;min-height:0;display:flex;position:relative}.left>*{flex:1;min-height:0}.rail{min-height:0;font-size:var(--fs-sm);flex-direction:column;padding:14px 8px 12px 14px;display:flex}.rail__close{min-height:28px;font-size:var(--fs-sm);color:var(--ink-2);text-underline-offset:3px;align-self:flex-end;text-decoration:underline;display:none}.rail__search{flex:none;margin:0 6px 10px 0}.rail__search input{box-sizing:border-box;border:1px solid var(--rule-control);border-radius:var(--radius-s);background:var(--sheet);width:100%;height:30px;font-family:inherit;font-size:var(--fs-sm);color:var(--ink);padding:0 9px}.rail__search input::placeholder{color:var(--ink-3)}.rail__list,.rail__found{scrollbar-width:thin;flex:1;min-height:0;margin:0;padding:0;list-style:none;overflow-y:auto}.rail__found button{border-radius:var(--radius-s);text-align:left;width:100%;color:var(--ink-2);padding:5px 6px;line-height:1.32;display:block}.rail__found button:hover{background:var(--hover-wash);color:var(--ink)}.rail__found mark{background:var(--highlight);color:var(--ink);border-radius:2px}.rail__found code{font-family:var(--font-mono);color:var(--ink);font-size:.78rem}.rail__where{font-size:var(--fs-xs);color:var(--ink-2);display:block}.rail__none{color:var(--ink-2);margin:4px 6px}.rail__item{border-radius:var(--radius-s);text-align:left;width:100%;min-height:26px;color:var(--ink-2);align-items:baseline;gap:6px;padding:3px 6px;line-height:1.3;display:flex;position:relative}.rail__item:hover{color:var(--ink);background:var(--hover-wash)}.rail__item[aria-current=location]{color:var(--ink);background:var(--sheet);font-weight:600}.rail__sub .rail__item{padding-left:16px}.rail__no{min-width:1.5em;color:var(--ink-2);font-variant-numeric:tabular-nums;flex:none;font-weight:400}.rail__sub .rail__no{min-width:2em}.rail__title{text-wrap:pretty;flex:1;min-width:0}.rail__ties{color:var(--rail-count);font-variant-numeric:tabular-nums;flex:none;font-weight:600}.rail__key{border-top:1px solid var(--rule-strong);font-size:var(--fs-xs);color:var(--ink-2);text-wrap:pretty;flex-direction:column;flex:none;gap:5px;margin:10px 6px 0;padding-top:8px;line-height:1.38;display:flex}.rail__key kbd{font-family:var(--font-mono);color:var(--ink);font-size:.6875rem}.pdf:focus-visible{outline:none}.pdf{scrollbar-gutter:stable;scrollbar-width:thin;outline-offset:-2px;--highlight:#ffdf8e;--highlight-soft:#fff0c7;--thread:#b4650a;--tie-rest:#b09a78;min-height:0;padding:20px 0 20px 20px;position:relative;overflow:hidden auto}.pdf__page{isolation:isolate;background:var(--paper-white);margin:0 0 20px auto;position:relative;overflow:hidden;box-shadow:0 0 0 1px #46321412,0 1px 3px #46321414}.pdf__whole{position:absolute}.pdf__failed{font-size:var(--fs-base);color:var(--ink-2);margin:0;padding:40px 20px}.pdf__sheet{z-index:1;mix-blend-mode:multiply;position:absolute;inset:0}.pdf__sheet canvas{display:block}.textLayer{-webkit-text-size-adjust:none;-moz-text-size-adjust:none;text-size-adjust:none;forced-color-adjust:none;transform-origin:0 0;z-index:2;line-height:1;position:absolute;inset:0;overflow:hidden}.textLayer span,.textLayer br{color:#0000;white-space:pre;cursor:text;transform-origin:0 0;position:absolute}.textLayer ::selection{color:#0000;background:#b4650a3d}.pdf__page.has-hover .textLayer span{cursor:pointer}.mark{z-index:0;pointer-events:none;background:0 0;border-radius:2px;transition:background-color .14s linear;position:absolute}.mark.is-lit,.mark.is-hover{background:var(--highlight-soft)}.mark.is-active{background:var(--highlight)}.mention{z-index:0;pointer-events:none;border-bottom:1px dotted var(--tie-rest);position:absolute}.mention.is-hover{border-bottom:1.5px solid var(--thread);background:var(--highlight-soft)}.tie{z-index:2;background:var(--tie-rest);pointer-events:none;border-radius:2px;width:3px;transition:background-color .14s linear;position:absolute}.tie.is-lit,.tie.is-hover,.tie.is-active{background:var(--thread)}.proof{background:var(--sheet);flex-direction:column;min-width:0;min-height:0;display:flex}.threads{z-index:12;pointer-events:none;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.threads path{fill:none;stroke:var(--thread);stroke-width:1.5px;stroke-linecap:round;opacity:0}.threads circle{fill:var(--thread);opacity:0}.proof__caption{border-bottom:1px solid var(--rule);flex:none;align-items:center;gap:12px;min-height:40px;padding:4px 10px 4px 16px;display:flex}.proof__says{flex:1;align-items:center;gap:10px;min-width:0;display:flex}.proof__says p{min-width:0;font-size:var(--fs-sm);color:var(--ink-2);white-space:nowrap;text-overflow:ellipsis;margin:0;line-height:1.35;overflow:hidden}.proof__says b{color:var(--ink);font-weight:600}.proof__unpin{min-height:24px;color:var(--lit);text-underline-offset:3px;margin-left:8px;text-decoration:underline}.mode-toggle{border:1px solid var(--rule-control);border-radius:var(--radius-s);flex:none;display:inline-flex}.mode-toggle button{min-width:52px;min-height:28px;color:var(--ink-2);font-size:var(--fs-sm);padding:0 8px}.mode-toggle button+button{border-left:1px solid var(--rule-control)}.mode-toggle button:hover{color:var(--ink)}.mode-toggle button[aria-pressed=true]{background:var(--ink);color:var(--ground)}.proof__close{min-height:28px;font-size:var(--fs-sm);color:var(--lit);text-underline-offset:3px;flex:none;padding:0 6px;text-decoration:underline}.proof__panes{--share:.46;flex-direction:column;flex:1;min-height:0;display:flex;position:relative}.proof[data-side] .proof__panes{flex-direction:row}.proof__panes:not(.is-both,.is-shut)>.proof__graph{flex:1 1 0}.proof__graph{flex:var(--share) 1 0;min-width:0;min-height:0;display:flex}.proof__lean{flex:calc(1 - var(--share)) 1 0;min-width:0;min-height:0;display:flex}.proof__panes.is-dragging{-webkit-user-select:none;user-select:none}.proof__handle{border-top:1px solid var(--rule);background:var(--sheet);cursor:ns-resize;touch-action:none;flex:none;place-items:center;height:11px;display:grid}.proof__handle span{background:var(--rule-strong);width:40px;height:3px;transition:background-color var(--t-hover) var(--ease-out);border-radius:2px}.proof__handle:hover span,.is-dragging .proof__handle span{background:var(--ink-3)}.proof[data-side] .proof__handle{border:0;border-left:1px solid var(--rule);border-right:1px solid var(--rule);cursor:ew-resize;width:12px;height:auto}.proof[data-side] .proof__handle span{width:3px;height:40px}.proof__reading{border-top:1px solid var(--rule);flex:none;align-items:center;height:34px;padding:1px 12px 1px 16px;display:flex;overflow:hidden}.proof{position:relative}.proof[data-lean] .proof__reading{z-index:3;background:var(--sheet);position:absolute;bottom:0;left:0;right:0}.proof__reading p{-webkit-line-clamp:2;font-size:var(--fs-xs);color:var(--ink-2);-webkit-box-orient:vertical;margin:0;line-height:1.27;display:-webkit-box;overflow:hidden}.proof__reading b{color:var(--ink);font-weight:600}.proof__sig{font-family:var(--font-mono);color:var(--ink);font-size:.75rem}.graph{flex-direction:column;flex:1;min-width:0;min-height:0;display:flex}.graph__paused{min-height:28px;font-size:var(--fs-sm);color:var(--ink-2);background:var(--highlight-soft);flex:none;align-items:center;gap:10px;margin:0;padding:2px 16px;display:flex}.graph__paused button{min-height:24px;color:var(--lit);text-underline-offset:3px;text-decoration:underline}.graph__canvas{flex:1;min-height:0;position:relative;overflow:hidden}.graph__canvas .tree{background:var(--sheet)}.graph .card__src,.graph .card__inputs,.graph .src-sq,.proof:not([data-side]) .proof__panes.is-both .vocab{display:none}.proof__panes.is-shut .proof__graph{flex:0 0 0;height:0;overflow:hidden}.proof[data-side] .proof__panes.is-shut .proof__graph{width:0;height:auto}.proof__panes.is-shut .proof__lean{flex:1 1 0}.key-shape{border:1.5px solid var(--ink-3);background:var(--raised);vertical-align:-1px;flex:none;width:14px;height:10px;margin-right:6px;display:inline-block}.key-shape--theorem{border-radius:6px}.key-shape--axiom{border:2px solid var(--rel-assumes-lit);background:var(--lit-wash);border-radius:0;transform:skew(-14deg)}.graph .tree .card[data-shape=definition]{border-radius:2px}.graph .tree .card[data-shape=theorem]{border-radius:14px}.graph .tree .card[data-shape=axiom]{border:2px solid var(--rel-assumes-lit);background:var(--lit-wash);border-radius:0}.graph .tree .card[data-shape=axiom] .card__ctitle,.graph .tree .card[data-shape=axiom] .card__title{color:var(--rel-assumes-lit);font-weight:600}.graph .tree .card--leaf:after{display:none}.graph .card__compact{justify-content:center}.card__craw{text-overflow:ellipsis;white-space:nowrap;max-width:100%;font-family:var(--font-mono);font-size:calc(10.5px / var(--k));color:var(--ink-2);line-height:1.2;display:block;overflow:hidden}.graph .tree .card[data-lean=whole]{background:var(--lean-fill);border-color:var(--lean-fill-line)}.graph .tree .card[data-lean=part]{background:var(--lean-fill-part);border-color:color-mix(in oklab, var(--lean-fill-line) 55%, var(--card-border))}.graph .tree .card[data-trail=ahead][data-lean=whole]{background:color-mix(in oklab, var(--lean-fill) 45%, var(--sheet));border-color:color-mix(in oklab, var(--lean-fill-line) 50%, var(--sheet))}.graph .tree .card[data-trail=ahead][data-lean=part]{background:color-mix(in oklab, var(--lean-fill-part) 45%, var(--sheet))}.graph .tree .card[data-trail=ahead]:not([data-shape=axiom]) .card__ctitle{color:var(--ink-2)}.graph .tree .card[data-trail=here]:not(.is-selected){border-color:var(--lit-line);background:var(--lit-wash);box-shadow:0 0 0 1.5px var(--lit-line)}.graph .link--lean_type_dependency{stroke:var(--rel-formalizes);stroke-dasharray:calc(5px / var(--k)) calc(3.5px / var(--k))}.claims{font-size:var(--fs-sm);flex-wrap:wrap;flex:none;gap:4px;padding:4px 12px;display:flex}.claims button{border-radius:var(--radius-s);min-height:28px;color:var(--ink-2);padding:0 8px}.claims button[aria-pressed=true]{background:var(--sunk);color:var(--ink)}.vocab{border-bottom:1px solid var(--rule);height:26px;font-size:var(--fs-xs);color:var(--ink-3);flex:none;align-items:center;gap:10px;padding:0 12px 0 16px;display:flex}.vocab__list{scrollbar-width:none;flex:1;gap:12px;min-width:0;display:flex;overflow-x:auto}.vocab__list::-webkit-scrollbar{display:none}.vocab__reached{font-size:var(--fs-xs);color:var(--ink-2);font-variant-numeric:tabular-nums;flex:none}.vocab code{font-family:var(--font-mono);color:var(--ink-3);font-size:.6875rem}.vocab button{white-space:nowrap;min-height:24px;font-size:var(--fs-xs);color:var(--ink-2);border-bottom:2px solid #0000;flex:none}.vocab button:hover{color:var(--ink)}.vocab button.is-lit{color:var(--lit);border-bottom-color:var(--thread)}.leaf{flex-direction:column;flex:1;min-width:0;min-height:0;display:flex}.leaf__tabs{border-bottom:1px solid var(--rule);font-size:var(--fs-sm);flex:none;gap:2px;padding:2px 10px;display:flex}.leaf__tabs button{min-height:26px;color:var(--ink-2);padding:0 6px}.leaf__tabs button:hover{color:var(--ink)}.leaf__tabs button[aria-pressed=true]{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--thread);text-decoration-color:var(--thread);text-underline-offset:4px;text-decoration-thickness:2px}.leaf__body{scrollbar-width:thin;outline:none;flex:1;min-height:0;padding-bottom:40vh;overflow:hidden auto}.crumbs{font-size:var(--fs-sm);color:var(--ink-2);flex-wrap:wrap;align-items:baseline;gap:0 12px;padding:6px 16px 0;display:flex}.crumbs button{min-height:24px;color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px}.crumbs button:hover{color:var(--lit)}.crumbs a{min-height:24px;color:var(--ink);text-underline-offset:3px;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong)}.crumbs a:hover{color:var(--lit)}.stepline{padding:10px 16px 0}.stepline__title{font-size:var(--fs-xs);color:var(--ink-2);margin:0 0 2px}.stepline blockquote{border-left:3px solid var(--highlight);font-family:var(--font-serif);color:var(--ink);text-wrap:pretty;margin:0;padding-left:10px;font-size:.9375rem;line-height:1.4}.stepline__caveat{font-size:var(--fs-xs);color:var(--ink-2);margin:3px 0 0;line-height:1.35}.stepline .crumbs{padding:3px 0 0}.decl{padding:6px 16px 12px}.decl+.decl{border-top:1px solid var(--rule)}.decl__head{z-index:1;background:var(--sheet);flex-wrap:wrap;align-items:baseline;gap:10px;margin:0 -16px;padding:4px 16px 2px;display:flex;position:sticky;top:0}.decl__name{font-family:var(--font-serif);overflow-wrap:anywhere;margin:0;font-size:1.0625rem;font-weight:500}.decl__raw{font-family:var(--font-mono);color:var(--ink-2);font-size:.75rem}.decl__name a{color:var(--ink);text-decoration:none}.decl__name a:hover{color:var(--lit);text-underline-offset:3px;text-decoration:underline}.decl[data-shape=axiom] .decl__name a{color:var(--rel-assumes-lit)}.decl__kind{font-size:var(--fs-sm);color:var(--ink-2)}.decl__copy{min-height:24px;font-size:var(--fs-xs);color:var(--ink-2);text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px}.decl__copy:hover{color:var(--lit)}.decl__relation,.decl__facts{font-size:var(--fs-sm);color:var(--ink-2);text-wrap:pretty;margin:3px 0 0;line-height:1.42}.decl__axiom{font-size:var(--fs-sm);color:var(--rel-assumes-lit);margin:3px 0 0;font-weight:600}.decl__note{border-left:2px solid var(--rule-strong);font-family:var(--font-serif);color:var(--ink);text-wrap:pretty;margin:5px 0 0;padding-left:10px;font-size:.9375rem;line-height:1.42}.decl__code{background:var(--code-well);margin:7px -16px 0}.decl__code:focus-visible{outline-offset:-2px}.decl__fold{min-height:28px;font-size:var(--fs-sm);color:var(--ink-2);margin-top:4px;display:block}.decl__fold span{width:1.1em;font-size:.75em;display:inline-block}.decl__fold:hover{color:var(--lit)}.decl__comment{margin-top:8px}.decl__comment .lean-code{background:0 0;padding:0}.decl__label{font-size:var(--fs-xs);color:var(--ink-2);margin:0 0 1px;font-weight:600}.decl__links{font-size:var(--fs-sm);color:var(--ink-2);grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:6px 18px;margin-top:10px;line-height:1.5;display:grid}.decl__links p{margin:0}.declname{min-height:24px;color:var(--ink);margin-right:12px;text-decoration:none;display:inline-block}.declname span{text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:3px}.declname code{font-family:var(--font-mono);color:var(--ink-2);font-size:.6875rem}.declname:hover{color:var(--lit);text-decoration-color:currentColor}.decl__facts .declname,.index p .declname{margin-right:0;display:inline}.declname--axiom{color:var(--rel-assumes-lit)}.decl__where{font-size:var(--fs-sm);margin-top:10px}.decl__where ul{margin:0;padding:0;list-style:none}.decl__where li a{line-height:1.34;font-family:var(--font-serif);color:var(--ink);-webkit-line-clamp:2;-webkit-box-orient:vertical;padding:2px 0;font-size:.875rem;text-decoration:none;display:-webkit-box;overflow:hidden}.decl__where li a:hover{color:var(--lit)}.decl__at{font-family:var(--font-sans);font-size:var(--fs-xs);color:var(--ink-2)}.decl__source{font-size:var(--fs-sm);color:var(--ink-2);margin:8px 0 0}.decl__source a{color:inherit;text-underline-offset:3px;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong)}.decl__source a:hover{color:var(--lit)}.untied{font-size:var(--fs-ui);color:var(--ink-2);padding:14px 16px;line-height:1.45}.untied h3{font-family:var(--font-serif);color:var(--ink);margin:0 0 6px;font-size:1.125rem}.untied p{margin:0 0 6px}.untied__go{flex-wrap:wrap;gap:4px 16px;display:flex}.untied__go button{min-height:28px;color:var(--lit);text-underline-offset:3px;text-decoration:underline}.index{font-size:var(--fs-sm);color:var(--ink-2);padding:10px 16px 0;line-height:1.45}.index h3{font-family:var(--font-serif);color:var(--ink);margin:10px 0 4px;font-size:1rem}.index h3:first-child{margin-top:0}.index p{margin:0 0 5px}.index table{border-collapse:collapse;width:100%}.index th,.index td{text-align:left;border-bottom:1px solid var(--rule);white-space:nowrap;padding:2px 10px 2px 0;font-weight:400}.index thead th{font-size:var(--fs-xs);color:var(--ink-2);font-weight:600}.index tbody th .declname{margin-left:0}.index__source{font-size:var(--fs-xs);margin-top:8px!important}.wholefile__name{font-size:var(--fs-xs);color:var(--ink-2);margin:0;padding:6px 16px 4px}.lean-code{font-family:var(--font-mono);color:var(--ink);padding:6px 0;font-size:.8125rem;line-height:1.6;display:block}.source__line{padding-right:14px;display:flex}.source__line.is-on{background:var(--highlight-soft)}.source__line.is-exact{background:var(--highlight);box-shadow:inset 3px 0 0 var(--thread)}.source__no{text-align:right;width:3.2em;color:var(--ink-3);-webkit-user-select:none;user-select:none;flex:none;padding-right:10px;font-size:.6875rem;line-height:2}.source__text{white-space:pre-wrap;overflow-wrap:anywhere;min-width:0;padding-left:calc((var(--indent,0) + 2) * 1ch);text-indent:calc((var(--indent,0) + 2) * -1ch)}a.source__ref{text-indent:0;color:inherit;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;-webkit-text-decoration-color:var(--tie-rest);text-decoration-color:var(--tie-rest);text-underline-offset:2px;font-family:inherit}a.source__ref.lk--type{color:var(--code-type)}a.source__ref:hover{color:var(--lit);text-decoration:underline}.source__self{font-weight:700}.lean-code .lk--keyword{color:var(--lean-keyword);font-weight:700}.lk--binder{color:var(--ink-2);font-style:italic}.lean-code .lk--arrow{color:var(--lean-keyword)}.lk--bracket{color:var(--ink-3)}.lean-code .lk--comment{color:var(--code-comment)}.lk--prose{font-family:var(--font-serif);color:var(--ink-2);font-size:.9375rem}.foot{margin:0;padding:10px 0 8px}.foot .fam-sites,.shelf__foot .fam-sites{font-size:var(--fs-xs)}.foot .fam-sites{max-width:72ch;margin:10px auto 0;padding:0 16px}.foot .fam-sites__title,.shelf__foot .fam-sites__title{font-size:var(--fs-xs)}.shelf__foot{max-width:1400px;margin:0 auto;padding:0 40px 20px}.foot p:not([class]){max-width:72ch;font-size:var(--fs-xs);color:var(--ink-2);text-wrap:pretty;margin:0 auto;padding:0 16px;line-height:1.4}.foot a{color:inherit}.shelf{background:var(--ground);outline:none;min-height:100%}.shelf__in{box-sizing:border-box;grid-template-columns:minmax(0,5fr) minmax(0,8fr);align-items:center;gap:56px;max-width:1400px;min-height:calc(100vh - 110px);margin:0 auto;padding:48px 40px;display:grid}.shelf h1{font-family:var(--font-serif);font-size:var(--fs-display);letter-spacing:-.015em;font-weight:400;line-height:var(--lh-tight);margin:0 0 12px}.shelf__lede{font-family:var(--font-serif);font-size:var(--fs-read);color:var(--ink-2);text-wrap:pretty;margin:0 0 36px;line-height:1.5}.shelf ul{min-height:142px;margin:0;padding:0;list-style:none}.shelf li+li{margin-top:20px}.shelf li a{color:inherit;grid-template-columns:96px minmax(0,1fr);align-items:center;gap:18px;text-decoration:none;display:grid}.shelf li a img{background:var(--paper-white);width:96px;height:auto;box-shadow:var(--sheet-shadow);display:block}.shelf li a:hover .shelf__title{color:var(--lit)}.shelf__title{font-family:var(--font-serif);text-wrap:balance;margin-bottom:5px;font-size:1.125rem;line-height:1.3;display:block}.shelf__by{font-size:var(--fs-sm);color:var(--ink-2);line-height:1.45;display:block}.shelf__status{font-size:var(--fs-sm);color:var(--ink);margin-top:4px;line-height:1.4;display:block}.shelf__picture{border-radius:var(--radius-s);width:100%;height:auto;box-shadow:var(--sheet-shadow);display:block}@media (width>=2100px){.spread--reading.has-right{grid-template-columns:260px minmax(0,1000px) minmax(0,1fr)}.lean-code{font-size:.875rem}.rail{font-size:var(--fs-ui)}}@media (width<=1360px){.bar__link{display:none}}@media (width<=1279px){.spread--reading.has-right{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.spread--reading.has-right .proof{border-left:1px solid var(--rule-strong);margin-left:0}.spread--reading:not(.has-right) .left{width:100%;max-width:800px;margin:0 auto}.rail{z-index:40;background:var(--ground);border-right:1px solid var(--rule-strong);width:min(300px,86vw);display:none;position:fixed;top:46px;bottom:0;left:0}.rail.is-open{display:flex}.rail__close{display:block}}@media (width<=960px){.shelf__in{grid-template-columns:minmax(0,1fr);gap:32px;min-height:0;padding:40px 20px}.page .fam-lockup__name,.bar__title{display:none}}@media (width<=767px){.bar{flex-wrap:wrap;gap:0 6px;height:auto;padding:2px 8px}.bar__left{order:1;gap:6px}.bar__right{order:2;margin-left:auto}.bar__column{flex-wrap:wrap;flex:1 0 100%;order:3;justify-content:flex-start;gap:4px}.bar__column .switch{margin-left:auto}.bar__contents{padding:0 4px}.spread--reading.has-right,.spread.has-right{grid-template-rows:minmax(0,40fr) minmax(0,60fr);grid-template-columns:minmax(0,1fr)}.proof{border-top:2px solid var(--rule-strong)}.proof__reading{display:none}.pdf{padding:10px 0}.pdf__page{margin:0 auto 10px}.reading{scrollbar-gutter:auto;padding:0}.stepper button{padding:0 4px}.switch button{padding:0 5px}.rail{top:0}.proof__caption{padding-left:10px}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/proof-reader/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/proof-reader/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/proof-reader/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/proof-reader/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/proof-reader/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/proof-reader/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/proof-reader/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/proof-reader/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/proof-reader/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/proof-reader/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/proof-reader/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/proof-reader/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/proof-reader/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/proof-reader/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/proof-reader/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/proof-reader/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/proof-reader/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/proof-reader/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/proof-reader/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/proof-reader/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/proof-reader/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/proof-reader/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/proof-reader/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/proof-reader/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/proof-reader/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/proof-reader/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Size3-Regular-gV2CO0n9.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/proof-reader/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/proof-reader/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/proof-reader/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/proof-reader/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/proof-reader/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.1"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--code-keyword:#2c3a8f;--code-type:#17697f;--code-comment:#436e49;--code-string:#8c4a2f;--code-well:#f6efe2}:root[data-theme=dark]{--code-keyword:#aab4ff;--code-type:#74c4d6;--code-comment:#93c79a;--code-string:#e6ab8e;--code-well:#2a2234}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--code-keyword:#aab4ff;--code-type:#74c4d6;--code-comment:#93c79a;--code-string:#e6ab8e;--code-well:#2a2234}}.reading{scrollbar-gutter:stable;scrollbar-width:thin;outline-offset:-2px;background:var(--sheet);overflow-anchor:none;min-height:0;position:relative;overflow:hidden auto}.sheet{--code-cap:.8125rem;background:var(--sheet);position:relative;container-type:inline-size}.firstline{box-sizing:border-box;width:min(var(--column,36rem), 100cqi - 2 * clamp(20px, 7cqi, 60px));font-size:var(--fs-sm);color:var(--ink-2);margin:0 auto;padding:4px 0 0;line-height:1.4}.firstline--status{color:var(--ink);padding-top:12px}.firstline button{min-height:24px;color:var(--lit);text-underline-offset:3px;text-decoration:underline}.sheet__text{font-family:var(--font-serif);font-size:var(--fs-read);color:var(--ink);font-variant-numeric:oldstyle-nums proportional-nums;font-kerning:normal;-webkit-hyphens:auto;hyphens:auto;hyphenate-limit-chars:8 3 3;-webkit-hyphenate-limit-before:3;-webkit-hyphenate-limit-after:3;overflow-wrap:break-word;--bleed:min(100cqi - 2 * clamp(10px, 3.2cqi, 28px), 44rem);padding:24px clamp(20px,7cqi,60px) 48px;line-height:1.5;position:relative}.sheet__text>*{max-width:36rem;margin-left:auto;margin-right:auto}.sheet__text p,.sheet__text ul,.sheet__text ol{margin:0 auto .72em}.sheet__text p{text-wrap:pretty}.sheet__ties{pointer-events:none;position:absolute;inset:0}.sheet .tie{--edge:max(clamp(20px, 7cqi, 60px), (100cqi - var(--column,36rem)) / 2);left:calc(var(--edge) - 27px);pointer-events:auto;cursor:pointer;background:0 0;border-radius:0;width:12px;position:absolute}.sheet .tie--code{left:calc((100cqi - min(100cqi - 2 * clamp(10px, 3.2cqi, 28px), var(--bleed-max,44rem))) / 2 - 12px)}.sheet .tie:after{content:"";background:var(--tie-rest);border-radius:1px;width:2px;transition:background-color .14s linear;position:absolute;top:0;bottom:0;left:6px}.sheet .tie.is-lit:after,.sheet .tie.is-hover:after,.sheet .tie.is-active:after,.sheet .tie.is-pinned:after{background:var(--thread)}.q{cursor:pointer;-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:2px;transition:background-color .14s linear}.q.is-lit,.q.is-hover{background:var(--highlight-soft)}.q.is-active,.q.is-pinned{background:var(--highlight)}.q.is-pinned{box-shadow:0 2px 0 var(--thread)}.q:focus-visible{outline:2px solid var(--lit);outline-offset:1px}.q::selection{background:#b4650a3d}.sheet__text ::selection{background:#b4650a3d}.sheet__text a.pg{font-family:var(--font-sans);font-variant-numeric:lining-nums tabular-nums;letter-spacing:.01em;color:var(--ink-3);-webkit-hyphens:none;hyphens:none;-webkit-user-select:none;user-select:none;margin-top:calc(.42em - 5px);padding:6px 2px;font-size:.6875rem;font-style:normal;font-weight:400;line-height:1.3;text-decoration:none;position:absolute;left:clamp(3px,1cqi,10px)}.sheet__text a.pg:hover{color:var(--lit);text-underline-offset:2px;text-decoration:underline}.sheet__text pre a.pg{margin-top:-34px}.sheet__text .front{margin-bottom:26px}.sheet__text h1{font-family:var(--font-serif);letter-spacing:-.012em;-webkit-hyphens:manual;hyphens:manual;text-wrap:balance;margin:0 0 18px;font-size:clamp(1.75rem,4.8cqi,2.375rem);font-weight:400;line-height:1.14}.authors{font-family:var(--font-sans);color:var(--ink-2);-webkit-hyphens:manual;hyphens:manual;padding:0;font-size:.875rem;line-height:1.5;list-style:none}.sheet__text ul.authors{margin:0;padding:0}.sheet__text .authors a{color:var(--ink);letter-spacing:.02em;text-decoration:none}.sheet__text .authors a:hover{color:var(--lit);text-underline-offset:3px;text-decoration:underline}.sheet__text .authors a.ext:after{display:none}.abstract{border-top:1px solid var(--rule);padding-top:16px}.front-notes{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);font-family:var(--font-sans);color:var(--ink-2);font-variant-numeric:lining-nums;-webkit-hyphens:manual;hyphens:manual;margin-top:22px;padding:12px 0 2px;font-size:.8125rem;line-height:1.5}.sheet__text .front-notes p{break-inside:avoid;margin-bottom:.6em}@container (width>=560px){.front-notes{columns:2;column-gap:26px}}.front-notes a{overflow-wrap:anywhere}.sheet__text h2,.sheet__text h3,.sheet__text h4{font-family:var(--font-serif);color:var(--ink);font-variant-numeric:lining-nums;-webkit-hyphens:manual;hyphens:manual;text-wrap:balance;scroll-margin-top:24px;font-weight:500;line-height:1.2}.sheet__text h2{font-size:var(--fs-h2);letter-spacing:-.006em;margin-top:1.9em;margin-bottom:.62em}.sheet__text h3{font-size:var(--fs-h3);margin-top:1.7em;margin-bottom:.5em}.sec-no{color:var(--ink-3);margin-right:.3em;font-weight:400}.sheet__text a{color:inherit;text-decoration-line:underline;-webkit-text-decoration-color:color-mix(in oklab, currentColor 28%, transparent);text-decoration-color:color-mix(in oklab, currentColor 28%, transparent);text-underline-offset:.18em;text-decoration-thickness:1px}.sheet__text a:hover{color:var(--lit);text-decoration-color:currentColor}.sheet__text a[href*="/@cite-"]{color:var(--ink-2);text-decoration:none}.sheet__text a[href*="/@cite-"]:hover{color:var(--lit);text-decoration:underline}.sheet__text a[aria-expanded=true]{color:var(--lit)}.sheet__text a.ext:after{content:"⁠";background-color:var(--ink-3);margin-left:.1em;padding-left:.62em;display:inline;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpath d='M3 9 9 3M4.5 3H9v4.5' fill='none' stroke='%23000' stroke-width='1.6' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") 100% .12em/.62em .62em no-repeat}.sheet__text a.nm{color:inherit;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;-webkit-text-decoration-color:var(--tie-rest);text-decoration-color:var(--tie-rest);text-underline-offset:.2em;text-decoration-thickness:1px}.sheet__text a.nm:hover{color:var(--lit);text-decoration:underline;-webkit-text-decoration-color:var(--thread);text-decoration-color:var(--thread);background:var(--highlight-soft);border-radius:2px}.sheet__text pre a.nm{text-decoration:none}.sheet__text pre a.nm:hover{text-underline-offset:2px;text-decoration:underline}.sheet__text code{font-family:var(--font-mono);font-variant-ligatures:none;-webkit-hyphens:none;hyphens:none;font-size:.8em}.sheet__text p code,.sheet__text li code,.note code,figcaption code{overflow-wrap:anywhere}.sheet__text pre.code{--room:calc(var(--bleed) - 2 * 14px);width:var(--bleed);max-width:none;margin:1.05em 0 1.2em calc(50% - var(--bleed) / 2);background:var(--code-well);border-radius:var(--radius-m);-webkit-hyphens:none;hyphens:none;scrollbar-width:thin;padding:10px 14px;overflow-x:auto}.sheet__text pre.code code{width:max-content;min-width:100%;font-size:max(.65rem, min(var(--code-cap), calc(var(--room) / var(--cols) / .6)));font-variant-numeric:normal;color:var(--ink);line-height:1.56;display:block}.cl{white-space:pre;min-height:1.56em;display:block}.cl:has(.q.is-active){background:var(--highlight);box-shadow:-14px 0 0 var(--highlight), 14px 0 0 var(--highlight)}:is(.cl:has(.q.is-lit):not(:has(.q.is-active)),.cl:has(.q.is-hover):not(:has(.q.is-active))){background:var(--highlight-soft);box-shadow:-14px 0 0 var(--highlight-soft), 14px 0 0 var(--highlight-soft)}.lk--keyword,.lk--arrow{color:var(--code-keyword)}.lk--type{color:var(--code-type)}.lk--comment{color:var(--code-comment)}.lk--string{color:var(--code-string)}.sheet__text .lk--bracket{color:var(--ink-3)}.sheet__text .code-columns{width:var(--bleed);max-width:none;margin:1.05em 0 1.2em calc(50% - var(--bleed) / 2);grid-template-columns:auto auto;justify-content:space-between;gap:0 12px;display:grid}.sheet__text .code-columns pre.code{--room:calc(var(--bleed) - 12px - 4 * 14px);width:auto;min-width:0;margin:0}.sheet__text .code-columns pre.code code{font-size:max(.625rem, min(var(--code-cap), calc(var(--room) / var(--total) / .6)))}.sheet__text figure{margin:1.4em auto 1.5em}.sheet__text figcaption{font-family:var(--font-sans);color:var(--ink-2);text-align:center;font-variant-numeric:lining-nums;-webkit-hyphens:manual;hyphens:manual;text-wrap:balance;margin-top:.7em;font-size:.875rem;line-height:1.42}.sheet__text .zoom{width:min(var(--bleed), calc(var(--natural) * 1.75px));max-width:none;margin-left:calc(50% - min(var(--bleed), calc(var(--natural) * 1.75px)) / 2);cursor:zoom-in;background:0 0;border:0;padding:0;display:block}.sheet__text .zoom img{mix-blend-mode:multiply;background:var(--paper-white);width:100%;height:auto;display:block}:root[data-theme=dark] .sheet__text .zoom img{mix-blend-mode:normal;border-radius:2px}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .sheet__text .zoom img{mix-blend-mode:normal;border-radius:2px}}.sheet__text .zoom:focus-visible{outline:2px solid var(--lit);outline-offset:2px}dialog.plot{border-radius:var(--radius-l);background:var(--sheet);width:min(1280px,94vw);max-height:94vh;box-shadow:var(--sheet-shadow);cursor:zoom-out;border:0;padding:14px 18px 12px}dialog.plot::backdrop{background:#281e0f80}dialog.plot img{object-fit:contain;width:100%;height:auto;max-height:82vh;display:block}dialog.plot p{font-family:var(--font-sans);font-size:var(--fs-ui);color:var(--ink-2);text-align:center;margin:8px 0 0}.rules{margin:.9em auto 1.1em}.rule-name{letter-spacing:.01em;font-size:.86em;font-variant-caps:small-caps}.sheet__text .katex{text-rendering:auto;font-size:1.02em}.math-display{scrollbar-width:thin;margin:.8em 0;padding:2px 0;overflow:auto hidden}.sheet__text .katex-display{margin:0}.sheet__text ul,.sheet__text ol{padding-left:1.3em}.sheet__text li{margin:0 0 .36em;padding-left:.12em}.sheet__text li>p{margin-bottom:.3em}.sheet__text li::marker{color:var(--ink-3)}.sheet__text ol.labelled{padding-left:1em;list-style:none}.mark-note{font-size:.68em;line-height:0;font-family:var(--font-sans);font-variant-numeric:lining-nums}.sheet__text .mark-note a{color:var(--lit);padding:0 1px;text-decoration:none}.note{border-left:2px solid var(--rule-strong);color:var(--ink-2);margin:-.2em auto .95em;padding:1px 0 1px 14px;font-size:.875em;line-height:1.46}.note__n{font-family:var(--font-sans);color:var(--ink-3);margin-right:2px;font-size:.8em;text-decoration:none}.inset{border-radius:var(--radius-m);background:var(--code-well);color:var(--ink-2);margin:-.1em auto 1em;padding:10px 14px 8px;font-size:.875em;line-height:1.46;animation:.18s cubic-bezier(.16,1,.3,1) backwards inset-in;position:relative}.inset p{margin:0!important}.sheet__text .inset--figure{width:var(--bleed);max-width:none;margin:.2em 0 1.1em calc(50% - var(--bleed) / 2);border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:0 0;border-radius:0;padding:8px 0 6px}.sheet__text .inset--figure figure{max-width:none;margin:0}.sheet__text .inset--figure pre.code,.sheet__text .inset--figure .code-columns{margin-top:0;margin-bottom:0;margin-left:0}.sheet__text .inset--figure img{margin-left:0}.inset__actions{font-family:var(--font-sans);font-size:var(--fs-sm);gap:16px;margin-top:4px;display:flex}.inset--figure .inset__actions{padding:0 2px}.inset__go,.inset__close{min-height:24px;color:var(--ink-2);text-underline-offset:3px;text-decoration:underline}.inset__go,.inset__go:hover,.inset__close:hover{color:var(--lit)}@keyframes inset-in{0%{opacity:0;transform:translateY(-4px)}}.is-flash{border-radius:3px;animation:1.1s ease-out flash}@keyframes flash{0%,30%{background-color:var(--highlight);box-shadow:0 0 0 6px var(--highlight)}to{background-color:#0000;box-shadow:0 0 0 6px #0000}}.ref{text-indent:-1.3em;padding-left:1.3em;scroll-margin-top:24px;font-size:.875em;line-height:1.45}.sheet__text .ref a{overflow-wrap:anywhere}@container (width<=560px){.sheet__text .code-columns{grid-template-columns:minmax(0,1fr);gap:10px}.sheet__text .code-columns pre.code{--room:calc(var(--bleed) - 2 * 14px)}.sheet__text .code-columns pre.code code{font-size:max(.65rem, min(var(--code-cap), calc(var(--room) / var(--cols) / .6)))}.sheet__text a.pg{text-align:right;margin:0 0 2px;padding:0;display:block;position:static}}@media (width>=2100px){.sheet{--code-cap:.9375rem;--column:42rem;--bleed-max:54rem}.sheet__text{--bleed:min(100cqi - 2 * clamp(10px, 3.2cqi, 28px), 54rem);font-size:1.3125rem}.sheet__text>*{max-width:42rem}.sheet__text h2{font-size:1.75rem}.sheet__text h3{font-size:1.4375rem}}@media (prefers-reduced-motion:reduce){.inset,.is-flash{animation:none}.is-flash{background:var(--highlight)}}