@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/quartic-query-lean/assets/stix-two-text-cyrillic-ext-400-normal-klluUuQU.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-cyrillic-400-normal-BeBP8F9c.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-greek-400-normal-DURI2LrF.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-vietnamese-400-normal-D0hKSraj.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-latin-ext-400-normal-BsQBoqgu.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-latin-400-normal-Dm29J5Fl.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-cyrillic-ext-400-italic-CT9p3Bxe.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-cyrillic-400-italic-LtDj4Puq.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-greek-400-italic-BXJkY8Z_.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-vietnamese-400-italic-CHjUy4Zj.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-latin-ext-400-italic-DuoQFNx5.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/stix-two-text-latin-400-italic-BLib6pG4.woff2)format("woff2"),url(/quartic-query-lean/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:600;src:url(/quartic-query-lean/assets/stix-two-text-cyrillic-ext-600-normal-eGI7FOHf.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-cyrillic-ext-600-normal-B7DKTEVf.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:600;src:url(/quartic-query-lean/assets/stix-two-text-cyrillic-600-normal-kcc242MQ.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-cyrillic-600-normal-zdEMPwZf.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:600;src:url(/quartic-query-lean/assets/stix-two-text-greek-600-normal-B4g_sZ5N.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-greek-600-normal-Cd_Bfzy_.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:600;src:url(/quartic-query-lean/assets/stix-two-text-vietnamese-600-normal-DPFVgXT7.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-vietnamese-600-normal-BR32KHbT.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:600;src:url(/quartic-query-lean/assets/stix-two-text-latin-ext-600-normal-BIZc76hK.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-latin-ext-600-normal-cArr9DC0.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:600;src:url(/quartic-query-lean/assets/stix-two-text-latin-600-normal-B8BS22os.woff2)format("woff2"),url(/quartic-query-lean/assets/stix-two-text-latin-600-normal-CdpSAr85.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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-cyrillic-ext-400-normal-C_uLvvQ5.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-cyrillic-400-normal-BEIGL1Tu.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-greek-400-normal-C190GLew.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-vietnamese-400-normal-ByoDsISC.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-latin-ext-400-normal-Bc8Ftmh3.woff2)format("woff2"),url(/quartic-query-lean/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(/quartic-query-lean/assets/jetbrains-mono-latin-400-normal-V6pRDFza.woff2)format("woff2"),url(/quartic-query-lean/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-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/quartic-query-lean/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Size3-Regular-gV2CO0n9.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/quartic-query-lean/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(/quartic-query-lean/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/quartic-query-lean/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/quartic-query-lean/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}: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{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#1c1526;--sheet:#272132;--raised:#2f2839;--code:#150f1e;--ink:#f2e6d4;--ink-2:#bcb8c6;--ink-3:#a6a2b1;--rule:#484251;--rule-2:#363040;--control:#787383;--query:#fab250;--query-wash:#3d290e;--query-line:#f3a43a;--exact:#55c7df;--stronger:#b49bff;--partial:#a7b0ba;--editorial:#ca98c5;--gap:#ea8470;--cell:#2f2839;--serif:"STIX Two Text", "STIX fallback", "Iowan Old Style", "Palatino Linotype", Georgia, serif;--sans:"Source Sans 3 Variable", "Source Sans 3", -apple-system, "Segoe UI", Roboto, sans-serif;--mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--head:56px;--shadow-panel:-1px 0 0 var(--rule-2), -24px 0 48px -30px #000c;--shadow-sheet:0 1px 0 #0000004d, 0 12px 32px -14px #000000b3;--page:var(--paper);--surface:var(--sheet);--muted:var(--ink-2);--faint:var(--ink-3);--ink-soft:var(--ink);--rule-strong:var(--rule);--accent:var(--query);--font-serif:var(--serif);--font-sans:var(--sans)}:root[data-theme=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#f8f0e2;--sheet:#fffdf7;--raised:#fffefa;--code:#f1e7d4;--ink:#191520;--ink-2:#544d5d;--ink-3:#6d6473;--rule:#d9c7ae;--rule-2:#eaddc9;--control:#938067;--query:#a25200;--query-wash:#fae4c7;--query-line:#c9761a;--exact:#0b6f86;--stronger:#6d3fd4;--partial:#47505b;--editorial:#8c4f86;--gap:#a04034;--cell:#f1e7d4;--shadow-panel:-1px 0 0 var(--rule-2), -18px 0 36px -28px #19152040;--shadow-sheet:0 1px 0 #1915200f, 0 10px 28px -16px #1915204d}*,:before,:after{box-sizing:border-box}html,body{margin:0}body{background:var(--paper);color:var(--ink);font:400 17px/1.55 var(--sans);-webkit-text-size-adjust:100%}a{color:var(--query);text-underline-offset:.15em}:focus-visible{outline:2px solid var(--query);outline-offset:2px}button{font:inherit;color:inherit}code{font-family:var(--mono);font-size:.86em}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.skip{position:absolute;top:0;left:-999px}.skip:focus{z-index:10;background:var(--sheet);padding:6px 10px;top:8px;left:8px}.quiet{color:var(--ink-2);font-size:.92em}.pending{color:var(--ink-2);padding:24px}.pending--page{max-width:40rem;margin:10vh auto}.failed{border-left:3px solid var(--gap);margin:16px 0;padding:4px 14px}.textbutton{color:var(--query);text-underline-offset:.15em;cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.button{background:var(--query);color:var(--paper);border:1px solid var(--query);cursor:pointer;border-radius:6px;padding:9px 16px;font-weight:600;text-decoration:none;display:inline-block}.button--quiet{color:var(--ink);border-color:var(--control);background:0 0}.button--small{color:var(--ink);border-color:var(--control);background:0 0;padding:4px 10px;font-size:.9rem}.button--small:hover{border-color:var(--ink)}.disclose{color:var(--query);cursor:pointer;background:0 0;border:0;padding:0;font-size:.92rem}.disclose:before{content:"▸ "}.disclose[aria-expanded=true]:before{content:"▾ "}.site{height:var(--head);border-bottom:1px solid var(--rule);background:var(--paper);z-index:5;align-items:center;gap:24px;padding:0 20px;display:flex;position:sticky;top:0}.site__name{font-family:var(--serif);color:var(--ink);font-size:1.15rem;text-decoration:none}.site__about{color:var(--ink-2);margin-left:auto;font-size:.92rem}.banner{background:var(--query-wash);margin:0;padding:8px 20px;font-size:.92rem}.banner--gap{border-bottom:1px solid var(--gap);background:0 0}.home{max-width:1180px;margin:0 auto;padding:0 20px 80px}.hero{grid-template-columns:minmax(0,5fr) minmax(0,7fr);align-items:start;gap:56px;padding:56px 0 48px;display:grid}.hero__title{font-family:var(--serif);letter-spacing:-.01em;margin:0 0 22px;font-size:clamp(2.3rem,4.6vw,3.6rem);font-weight:400;line-height:1.05}.hero__lede{font-family:var(--serif);max-width:34rem;margin:0 0 26px;font-size:1.2rem;line-height:1.55}.hero__links{flex-wrap:wrap;gap:12px;display:flex}.board{background:var(--sheet);border:1px solid var(--rule-2);box-shadow:var(--shadow-sheet);border-radius:8px;margin:0;padding:20px 22px 18px}.board--pending{min-height:360px;color:var(--ink-2)}.board__steps{border-bottom:1px solid var(--rule);flex-wrap:wrap;gap:4px;margin:-4px 0 16px;display:flex}.board__step{cursor:pointer;color:var(--ink-2);background:0 0;border:0;border-bottom:2px solid #0000;padding:6px 10px 8px;font-size:.95rem}.board__step[aria-selected=true]{color:var(--ink);border-bottom-color:var(--query)}.board__stepno{font-family:var(--serif);color:var(--query);margin-right:2px}.scene__q{font-family:var(--serif);margin:0 0 4px;font-size:1.35rem}.scene__promise{color:var(--ink-2);margin:0 0 14px}.scene__tables{flex-wrap:wrap;align-items:flex-start;gap:22px;display:flex}.scene__aside{flex:200px;font-size:.95rem}.scene__aside p{margin:0 0 8px}.scene__status{min-height:3em;margin:12px 0 6px}.scene__next{font-family:var(--serif);margin:6px 0}.scene__fixed{border-top:1px solid var(--rule-2);margin-top:14px;padding-top:10px;font-size:.95rem}.scene__fixed input{vertical-align:middle;width:140px;accent-color:var(--query)}.scene__fixed p{margin:6px 0 0}.bits{border-collapse:collapse;font-family:var(--serif)}.bits caption{text-align:left;font-family:var(--sans);color:var(--ink-2);padding-bottom:4px;font-size:.85rem}.bits th{font:400 .75rem var(--sans);color:var(--ink-2);padding:2px 6px}.bits thead th{text-align:center}.bit{text-align:center;border:1px solid var(--rule);width:36px;height:36px;padding:0;font-size:1.1rem}.bit--zero{color:var(--query);font-weight:600}.bit--mark{background:var(--query-wash)}.bit.is-covered{background:var(--cell)}.bit.is-covered button{cursor:pointer;background:0 0;border:0;width:100%;height:100%;display:block}.bit.is-covered button:hover:not(:disabled){background:var(--query-wash)}.bit.is-covered button:disabled{cursor:default}.bit.is-open{background:var(--sheet)}.pointers th,.pointers td{border-bottom:1px solid var(--rule-2);text-align:left;padding:5px 6px}.pointers thead th{color:var(--ink-2);font-size:.82rem;font-weight:600}.toggle{cursor:pointer;align-items:baseline;gap:8px;display:inline-flex}.toggle input{accent-color:var(--query)}.math-bands{border-top:1px solid var(--rule);grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:48px;padding:40px 0;display:grid}.math-bands h2,.ways h2,.credit h2{font-family:var(--serif);margin:0 0 12px;font-size:1.6rem;font-weight:400}.exponent,.arch{margin:0}.exponent__control{align-items:center;gap:12px;margin:14px 0;display:flex}.exponent__ks{gap:4px;display:flex}.kbtn{border:1px solid var(--rule);background:var(--sheet);cursor:pointer;min-width:40px;font-family:var(--serif);padding:4px 8px;font-size:1.05rem}.kbtn[aria-checked=true]{border-color:var(--query);color:var(--query);box-shadow:inset 0 -2px 0 var(--query)}.exponent__scale{border-left:1px solid var(--ink);border-right:1px dashed var(--ink-2);width:calc(100% - 12px);height:34px;margin:8px 0 22px;position:relative}.exponent__bar{background:var(--query);height:14px;transition:width .22s;position:absolute;top:8px;left:0}.exponent__tick{font-family:var(--serif);color:var(--ink-2);font-size:.9rem;position:absolute;top:30px;transform:translate(-50%)}.exponent__read{font-family:var(--serif);font-size:1.1rem}.arch__flow{gap:22px;margin:14px 0 16px;display:grid;position:relative}.arch__flow:before{content:"";border-left:1px solid var(--rule-2);position:absolute;top:14px;bottom:14px;left:13px}.arch__pair{grid-template-columns:repeat(2,minmax(0,1fr));gap:22px;display:grid}.arch__stage{padding:0 0 0 44px;position:relative}.arch__pair .arch__stage+.arch__stage{border-left:1px solid var(--rule-2);padding-left:22px}.arch__kicker{letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3);align-items:center;gap:10px;margin:0 0 4px;font-size:.78rem;display:flex}.arch__n{border:1px solid var(--query-line);background:var(--paper);width:27px;height:27px;color:var(--query);font-family:var(--serif);letter-spacing:0;border-radius:50%;place-items:center;font-size:.95rem;display:grid;position:absolute;top:0;left:0}.arch__pair .arch__stage+.arch__stage .arch__n{flex:none;position:static}.arch__title{font-family:var(--serif);color:var(--ink);margin:0 0 6px;font-size:1.22rem;font-weight:500;line-height:1.3}.arch__steps{gap:3px;margin:0;padding:0;list-style:none;display:grid}.arch__steps a{color:var(--ink-2);padding:2px 0;font-size:.95rem;line-height:1.45;text-decoration:none;display:inline-block}.arch__steps a:after{content:" →";color:var(--ink-3)}.arch__steps a:hover,.arch__steps a:focus-visible{color:var(--query)}@media (width<=760px){.arch__pair{grid-template-columns:minmax(0,1fr)}.arch__pair .arch__stage+.arch__stage{border-left:0;padding-left:44px}.arch__pair .arch__stage+.arch__stage .arch__n{position:absolute}}@media (prefers-reduced-motion:reduce){.exponent__bar{transition:none}}.ways{border-top:1px solid var(--rule);padding:40px 0}.ways__list{grid-template-columns:repeat(3,minmax(0,1fr));align-items:stretch;gap:20px;margin:8px 0 0;padding:0;list-style:none;display:grid}.way{border:1px solid var(--rule-2);background:var(--sheet);border-radius:10px;flex-direction:column;padding:22px 22px 20px;display:flex}.way--exposition{border-color:var(--query-line)}.way__tab{letter-spacing:.07em;text-transform:uppercase;color:var(--query);margin:0 0 10px;font-size:.78rem;font-weight:600}.way__q{font-family:var(--serif);color:var(--ink);text-wrap:balance;margin:0 0 8px;font-size:1.28rem;font-weight:400;line-height:1.3}.way__who{color:var(--ink-3);margin:0 0 14px;font-size:.85rem;line-height:1.45}.way__preview{color:var(--ink-2);margin:0 0 18px;font-size:.93rem;line-height:1.6}.way__go{margin:auto 0 0}.way__go a{border:1px solid var(--query-line);color:var(--query);border-radius:6px;align-items:center;gap:6px;padding:8px 14px;font-size:.92rem;font-weight:600;text-decoration:none;display:inline-flex}.way__go a:after{content:"→"}.way__go a:hover,.way__go a:focus-visible{background:var(--query-wash)}.way--exposition .way__go a{background:var(--query);border-color:var(--query);color:var(--paper)}.way--exposition .way__go a:hover{filter:brightness(1.08)}.ways__supplement{color:var(--ink-2);margin-top:24px}.credit{border-top:1px solid var(--rule);max-width:46rem;padding:40px 0 0}.credit p{font-family:var(--serif);font-size:1.05rem}.desk{height:calc(100dvh - var(--head));grid-template-rows:auto 1fr;grid-template-columns:minmax(0,1fr);display:grid}.papers{border-bottom:1px solid var(--rule);background:var(--paper);grid-column:1/-1}.papers ul{gap:4px;margin:0;padding:0 20px;list-style:none;display:flex;overflow-x:auto}.papers a{color:var(--ink-2);white-space:nowrap;border-bottom:2px solid #0000;padding:10px 14px 9px;text-decoration:none;display:block}.papers a[aria-current=page]{color:var(--ink);border-bottom-color:var(--ink)}.papers a:hover{color:var(--ink)}.paper{outline:none;padding:32px 28px 120px;scroll-padding-top:24px;overflow-y:auto}.paper__head{max-width:42rem;margin:0 auto 28px}.paper__title{font-family:var(--serif);margin:0 0 6px;font-size:2rem;font-weight:400;line-height:1.15}.paper__byline{color:var(--ink-2);margin:0 0 10px}.paper__tools{flex-wrap:wrap;align-items:baseline;gap:18px;margin:0;font-size:.92rem;display:flex}.jump summary{cursor:pointer;color:var(--query)}.jump ul{z-index:4;background:var(--sheet);border:1px solid var(--rule);columns:2;min-width:320px;max-height:50vh;margin:6px 0 0;padding:8px 16px;list-style:none;position:absolute;overflow:auto}.jump li{break-inside:avoid;padding:2px 0}.manuscript{max-width:42rem;font-family:var(--serif);margin:0 auto;font-size:1.1rem;line-height:1.62}.manuscript h1,.manuscript h2,.manuscript h3{margin:1.8em 0 .5em;font-weight:600;line-height:1.25}.manuscript h1{font-size:1.45rem}.manuscript h2{font-size:1.2rem}.manuscript h3{font-size:1.05rem}.manuscript p{margin:0 0 .9em}.manuscript img{background:#fff;max-width:100%;height:auto;margin:0 auto;display:block}.manuscript img.is-missing{border:1px dashed var(--gap);padding:12px}.manuscript figure{margin:1.4em 0}.manuscript figcaption{color:var(--ink-2);margin-top:6px;font-size:.92rem}.manuscript table{border-collapse:collapse;max-width:100%;margin:1em 0;font-size:.95rem;display:block;overflow-x:auto}.manuscript th,.manuscript td{border-bottom:1px solid var(--rule-2);padding:4px 10px}.manuscript .katex-display{padding:4px 0;overflow:auto hidden}.manuscript .katex-display>.katex{width:max-content;min-width:100%}.manuscript .katex-display>.katex>.katex-html{padding-right:3em}.manuscript .citation a,.manuscript .footnote-ref{text-decoration:none}.manuscript .references,.manuscript .footnotes{font-size:.95rem}.manuscript .csl-entry{text-indent:-1.5em;margin:0 0 .6em;padding-left:1.5em}.manuscript :target{background:var(--query-wash)}.source-block{border-left:3px solid #0000;margin-left:-18px;padding-left:15px;position:relative}.source-block.is-linked{border-left-color:var(--rule);cursor:pointer}.source-block.is-linked:hover{border-left-color:var(--ink-2)}.source-block:not(.is-linked){cursor:text}.pdf{max-width:1180px;margin:0 auto}.pdf__page{grid-template-columns:minmax(0,900px) 220px;justify-content:center;gap:16px;margin-bottom:24px;display:grid}.pdf__sheet{box-shadow:var(--shadow-sheet);background:#fff;position:relative}.pdf__sheet canvas{display:block}.pdf__mark{background:var(--rule);width:4px;height:26px;position:absolute;left:-10px}.pdf__mark.is-selected{background:var(--query)}.pdf__rail{align-self:start;font-size:.9rem;position:sticky;top:8px}.pdf__rail ul{margin:4px 0 0;padding:0;list-style:none}.pdf__pageno{cursor:pointer;background:0 0;border:0;padding:0;font-weight:600}.pin{border:0;border-left:3px solid var(--rule);text-align:left;cursor:pointer;background:0 0;width:100%;padding:2px 8px}.pin:hover{border-left-color:var(--ink-2)}.pin.is-selected{border-left-color:var(--query);background:var(--query-wash)}.pdf__foot{text-align:center;color:var(--ink-2)}.desk--open .pdf__page{grid-template-columns:minmax(0,1fr)}.desk--open .pdf__rail{flex-wrap:wrap;align-items:baseline;gap:4px 10px;display:flex;position:static}.desk--open .pdf__rail ul{flex-wrap:wrap;gap:4px;margin:0;display:flex}.desk--open .pin{width:auto}.inspector{background:var(--sheet);box-shadow:var(--shadow-panel);flex-direction:column;display:flex;overflow-y:auto}.inspector__bar{background:var(--sheet);border-bottom:1px solid var(--rule-2);z-index:2;align-items:baseline;gap:16px;padding:10px 20px;font-size:.92rem;display:flex;position:sticky;top:0}.inspector__close{border:1px solid var(--rule);cursor:pointer;background:0 0;padding:3px 10px}.inspector__body{padding:18px 22px 60px}.narrow-only{display:none}.panel h2:focus{outline:none}.panel__title{font-family:var(--serif);margin:0 0 4px;font-size:1.5rem;font-weight:400;line-height:1.2}.panel__where,.panel__lede{color:var(--ink-2);margin:0 0 12px}.panel h3{margin:22px 0 6px;font-size:.98rem;font-weight:600}.panel h4{margin:14px 0 4px;font-size:.92rem}.panel section{margin:0}.ev{margin:4px 0;font-size:.92rem}.ev--gap{color:var(--gap)}.ev__who{color:var(--editorial);margin-right:4px;font-size:.78rem;font-weight:700}.rel{white-space:nowrap;font-size:.85rem;font-weight:700}.rel:before{content:"";vertical-align:0;background:currentColor;width:.7em;height:.7em;margin-right:.35em;display:inline-block}.rel--exact{color:var(--exact)}.rel--stronger{color:var(--stronger)}.rel--partial{color:var(--partial)}.rel--partial:before{background:linear-gradient(90deg,currentColor 50%,#0000 50%);box-shadow:inset 0 0 0 1px}.rel--unassessed{color:var(--ink-2)}.rel--unassessed:before{background:0 0;box-shadow:inset 0 0 0 1px}.verdict{border-left:3px solid var(--ink);margin:10px 0 16px;padding:2px 0 2px 12px}.verdict__line{font-family:var(--serif);margin:0 0 6px;font-size:1.08rem}.verdict__more{margin:0;font-size:.92rem}.ledger__text{font-family:var(--serif);margin:0 0 4px}.cmp{border-top:1px solid var(--rule-2);margin-top:14px;padding:14px 0 6px}.cmp--lead{border-top:2px solid var(--ink)}.cmp__head{flex-wrap:wrap;align-items:baseline;gap:10px;display:flex}.cmp__note{margin:8px 0;font-size:.95rem}.cmp__actions{align-items:baseline;gap:16px;font-size:.92rem;display:flex}.decl{color:var(--query);cursor:pointer;text-align:left;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.decl code{font-size:.85rem}.decl:hover{text-decoration:underline}.elsewhere,.plain,.claims,.roots,.uses,.ties,.findings{margin:6px 0;padding:0;list-style:none}.elsewhere>li{grid-template-columns:7.5em 1fr;gap:8px;padding:3px 0;display:grid}.elsewhere ul{margin:0;padding:0;list-style:none}.elsewhere__paper{font-size:.92rem;font-weight:600}.elsewhere__go{color:var(--query);cursor:pointer;text-align:left;background:0 0;border:0;padding:0}.claim{border-top:1px solid var(--rule-2);padding:10px 0}.claim__head{flex-wrap:wrap;align-items:baseline;gap:10px;margin:0 0 4px;display:flex}.claim__text{font-family:var(--serif);margin:0 0 6px}.note{font-size:.95rem}.examples .example{border-top:1px solid var(--rule-2);padding:10px 0}.example__q{font-family:var(--serif);margin:0 0 4px;font-size:1.05rem}.more{border-top:1px solid var(--rule-2);margin-top:20px;padding-top:10px}.more summary{cursor:pointer;color:var(--query)}.steps{margin:0;padding:0;list-style:none}.step{border-top:1px solid var(--rule-2);padding:14px 0}.step.is-current{border-top:2px solid var(--query)}.step__title{font-family:var(--serif);margin:0 0 6px;font-size:1.12rem;font-weight:400}.step__n{color:var(--query)}.step__why{font-family:var(--serif);margin:0 0 6px}.obligations{font-size:.92rem}.args{border-collapse:collapse;width:100%;margin:8px 0;font-size:.82rem}.args caption{text-align:left;padding-bottom:4px}.args th,.args td{border-bottom:1px solid var(--rule-2);vertical-align:top;text-align:left;padding:3px 6px}.wrap{white-space:pre-wrap;overflow-wrap:anywhere}.lean{font-family:var(--mono);background:var(--code);max-height:60vh;margin:8px 0;padding:10px 0;font-size:.78rem;line-height:1.5;overflow-x:auto}.lean code{font-size:inherit;display:block}.lean__line{grid-template-columns:3.4em 1fr;display:grid}.lean__line.is-marked{background:var(--query-wash)}.lean__no{color:var(--ink-2);text-align:right;-webkit-user-select:none;user-select:none;opacity:.7;padding-right:10px}.lean__text{white-space:pre-wrap;overflow-wrap:anywhere;padding-left:calc(var(--indent,0) * 1ch);text-indent:calc(var(--indent,0) * -1ch);padding-right:10px}.lk--keyword{color:var(--editorial)}.lk--type{color:var(--stronger)}.lk--comment,.lk--prose{color:var(--ink-2);font-style:italic}.lk--number{color:var(--partial)}.lean__ref{font:inherit;color:var(--query);cursor:pointer;text-decoration:underline;-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule);text-underline-offset:.2em;background:0 0;border:0;padding:0}.hood__map{margin:10px 0 6px;position:relative}.hood__wires{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.wire{fill:none;stroke:var(--rule);stroke-width:1.2px;vector-effect:non-scaling-stroke}.wire--type{stroke-dasharray:3 3}.hood__col{width:34%;margin:0;padding:0;list-style:none;position:absolute;top:0}.hood__col--left{left:0}.hood__col--right{right:0}.hood__col li{align-items:center;height:44px;font-size:.82rem;display:flex}.hood__col--left li{justify-content:flex-end}.node{background:var(--paper);border:1px solid var(--rule);cursor:pointer;max-width:100%;font-family:var(--mono);text-overflow:ellipsis;white-space:nowrap;padding:4px 8px;font-size:.74rem;overflow:hidden}.node:hover{border-color:var(--query);color:var(--query)}.node--linked:after{content:"";background:var(--query);vertical-align:middle;border-radius:50%;width:6px;height:6px;margin-left:6px;display:inline-block}.node__name{text-overflow:ellipsis;overflow:hidden}.hood__self{background:var(--ink);color:var(--paper);text-overflow:ellipsis;white-space:nowrap;max-width:30%;padding:5px 9px;font-size:.78rem;position:absolute;left:50%;overflow:hidden;transform:translate(-50%,-50%)}.hood__self code{font-size:inherit}.hood__foot{color:var(--ink-2);font-size:.86rem}.about,.notice-page{max-width:42rem;font-family:var(--serif);margin:0 auto;padding:48px 20px 80px;font-size:1.1rem}.about h1,.notice-page h1{font-size:2rem;font-weight:400}.about dt{font-family:var(--sans);margin-top:18px;font-weight:600}.about dd{margin:4px 0 0}@media (width<=1000px){.hero{grid-template-columns:minmax(0,1fr);gap:32px;padding-top:32px}.math-bands,.ways__list,.pdf__page{grid-template-columns:minmax(0,1fr)}.pdf__rail{flex-wrap:wrap;align-items:baseline;gap:4px 10px;display:flex;position:static}.pdf__rail ul{flex-wrap:wrap;gap:4px;margin:0;display:flex}.pin{width:auto}}@media (width<=900px){.desk--open{grid-template-columns:minmax(0,1fr)}.inspector{inset:var(--head) 0 0 0;z-index:6;border-left:0;position:fixed}.narrow-only{display:inline}.wide-only{display:none}}@media (width<=640px){body{font-size:16px}.site{gap:12px;padding:0 16px}.home{padding:0 16px 60px}.board{padding:14px 12px}.bit{width:30px;height:30px}.scene__tables{gap:14px}.ways__list{grid-template-columns:minmax(0,1fr)}.paper{padding:20px 16px 100px}.papers ul{padding:0 8px}.papers a{padding:10px 10px 9px}.manuscript{font-size:1.05rem}.source-block{margin-left:-12px;padding-left:9px}.jump ul{columns:1;min-width:0;left:16px;right:16px}.inspector__body{padding:16px 16px 60px}.elsewhere>li{grid-template-columns:minmax(0,1fr);gap:0}}.site{height:var(--head)}.site .fam-lockup__name{font-family:var(--serif);color:var(--ink);font-size:1.15rem}.site__tools{align-items:center;gap:18px;margin-left:auto;display:flex}.site__about{margin-left:0}.scheme{border:1px solid var(--control);cursor:pointer;color:var(--ink-2);background:0 0;border-radius:6px;padding:4px 10px;font-size:.88rem}.scheme:hover{color:var(--ink);border-color:var(--ink-2)}.film{border-top:1px solid var(--rule-2);grid-template-columns:minmax(0,7fr) minmax(0,5fr);align-items:start;gap:40px;padding:40px 0;display:grid}.film h2{font-family:var(--serif);margin:0 0 10px;font-size:1.6rem;font-weight:400}.film p{font-family:var(--serif);font-size:1.05rem}.film-chapters{padding-left:1.2em;font-size:.95rem}.home-foot{border-top:1px solid var(--rule-2);margin-top:48px;padding:28px 0 0}@media (width<=1000px){.film{grid-template-columns:minmax(0,1fr)}}.desk--open{grid-template-columns:minmax(0,1fr) clamp(440px,38vw,620px)}.inspector{flex-direction:column;min-height:0;display:flex;overflow:hidden}.inspector__body{flex:1;min-height:0;overflow-y:auto}.inspector__modes{border-bottom:1px solid var(--rule-2);flex:none;gap:2px;padding:6px 14px 0;display:flex}.inspector__modes button{cursor:pointer;color:var(--ink-2);background:0 0;border:0;border-bottom:2px solid #0000;padding:6px 10px 7px;font-size:.92rem}.inspector__modes button[aria-pressed=true]{color:var(--ink);border-bottom-color:var(--query)}.inspector__modes button:disabled{opacity:.45;cursor:default}.inspector__bar{flex:none;position:static}.inspector--graph .inspector__bar{display:none}.inspector__graph{flex-direction:column;flex:1;min-height:0;display:flex}.inspector__graph .graph{flex:1;min-height:0}.inspector__note{color:var(--ink-2);border-top:1px solid var(--rule-2);flex:none;margin:0;padding:8px 14px;font-size:.85rem}.paper--contents{grid-template-columns:200px minmax(0,1fr);align-content:start;column-gap:28px;display:grid}.paper--contents>:not(.contents){grid-column:2}.contents{max-height:calc(100dvh - var(--head) - 60px);grid-area:1/1/span 4;align-self:start;padding-top:6px;font-size:.85rem;position:sticky;top:0;overflow-y:auto}.contents__title{color:var(--ink-2);margin:0 0 6px;font-weight:600}.contents ol{margin:0;padding:0;list-style:none}.contents li{margin:0}.contents a{color:var(--ink-2);border-left:2px solid #0000;padding:3px 0 3px 8px;line-height:1.3;text-decoration:none;display:block}.contents a:hover,.contents a[aria-current=location]{color:var(--ink)}.contents a.is-here{border-left-color:var(--query);color:var(--ink)}.jump--contents{display:none}@media (width<=1240px){.paper--contents{display:block}.contents{display:none}.jump--contents{display:block}}.source-block.is-selected{border-left-color:var(--query);background:color-mix(in srgb, var(--query-wash) 55%, transparent)}@media (width<=900px){.inspector--graph .inspector__bar,.inspector{display:flex}}@media (width<=640px){.site__about{display:none}}.chain{margin-top:14px}.chain__list{margin:8px 0 0;padding:0;list-style:none}.chain__list>li{border-left:2px solid var(--rule);margin-left:6px;padding-left:16px;position:relative}.chain__list>li:last-child{border-left-color:#0000}.chain__step{padding:4px 0 8px}.chain__step:before{content:"";background:var(--sheet);border:2px solid var(--rule);border-radius:3px;width:12px;height:12px;margin-top:6px;position:absolute;left:-7px}.chain__step--card:before{background:var(--lean-fill,#2f4b3b);border-color:var(--lean-fill-line,#4f7559);border-radius:6px}.chain__name{font-family:var(--serif);margin:0}.chain__raw{color:var(--ink-2);overflow-wrap:anywhere;margin:0;font-size:.8rem}.chain__usage{color:var(--query);margin:0;font-size:.82rem;font-style:italic}.chain__actions{margin:2px 0 0;font-size:.88rem}.chain__meta{margin:0 0 4px}.hop{margin:2px 0 10px}.hop__note{color:var(--ink-2);margin:2px 0;font-size:.86rem}.hop__picks button{border:1px solid var(--control);cursor:pointer;color:var(--ink-2);background:0 0;border-radius:4px;margin-left:4px;padding:0 6px;font-size:.8rem}.hop__picks button[aria-pressed=true]{border-color:var(--query);color:var(--query)}.hop__src{margin:0;font-size:.82rem}.lean__hit{background:var(--query-wash);color:var(--query);-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:0;padding:1px 0}.paper{overflow-x:clip}.exponent__caption{color:var(--ink-2);margin:0 0 4px;font-size:.85rem}.exponent__tick--limit{white-space:nowrap;color:var(--ink);transform:translate(-100%)}.reopen{z-index:4;background:var(--sheet);color:var(--ink);border:1px solid var(--rule);cursor:pointer;box-shadow:var(--shadow-panel);border-right:0;border-radius:8px 0 0 8px;padding:14px 8px;position:fixed;top:50%;right:0;transform:translateY(-50%)}.reopen span{writing-mode:vertical-rl;letter-spacing:.02em;font-size:.9rem;transform:rotate(180deg)}.reopen:hover{color:var(--query)}.inspector__modes .inspector__close{border:1px solid var(--control);color:var(--ink-2);border-radius:6px;align-self:center;margin-bottom:4px;margin-left:auto;padding:3px 10px}.inspector__modes .inspector__close:hover{color:var(--ink)}.inspector__bar:empty,.inspector--graph .inspector__bar{display:none}@media (width<=900px){.inspector--graph .inspector__bar{display:none}}.manuscript--reconstruction>.source-block[data-l0="1"],.manuscript--reconstruction>.source-block[data-l0="3"]{display:none}@media (width<=640px){.inspector__modes{flex-wrap:wrap;padding:4px 8px 0}.inspector__modes button{padding:6px 8px 7px}.inspector__modes .inspector__close{padding:3px 8px}.graph .vocab__name,.graph .vocab__list{display:none}.graph .vocab__reached{white-space:normal;flex:1}}html,body{max-width:100%;overflow-x:clip}.katex .katex-mathml{max-width:100%;overflow:hidden}.nb__list{gap:4px;margin:4px 0 6px;padding:0;list-style:none;display:grid}.nb{text-align:left;background:var(--raised);border:1px solid var(--rule-2);cursor:pointer;border-radius:6px;gap:2px;width:100%;padding:7px 10px;display:grid}.nb:hover{border-color:var(--query-line)}.nb__title{font-family:var(--serif);color:var(--ink);font-size:.98rem;line-height:1.3}.nb__meta{color:var(--ink-3);font-size:.78rem}.nb__meta code{font-size:.78rem}.nb__list--helpers .nb{background:0 0}.nb__more{margin:2px 0 8px}.elsewhere>li{grid-template-columns:7.5em 1fr;align-items:start}.elsewhere ul{gap:6px;display:grid}.elsewhere__go{text-align:left;gap:1px;display:grid}.elsewhere__where{color:var(--query);font-size:.92rem;font-weight:600}.elsewhere__quote{color:var(--ink-2);font-family:var(--serif);font-size:.92rem;line-height:1.35}.chips{flex-wrap:wrap;gap:6px;margin:4px 0 8px;display:flex}.chip{background:var(--raised);border:1px solid var(--rule-2);cursor:pointer;color:var(--ink);border-radius:999px;padding:2px 10px}.chip:hover{border-color:var(--query-line);color:var(--query)}.chip code{font-size:.8rem}.panel__raw{color:var(--ink-3);overflow-wrap:anywhere;margin:-2px 0 6px;font-size:.85rem}.umath{font-family:var(--serif);white-space:nowrap;font-style:italic}.decl--plain{font-family:var(--serif);text-align:left;font-size:.98rem}.chip{font-family:var(--serif)}.codecard{border:1px solid var(--rule-2);background:var(--code);border-radius:8px;margin:10px 0 8px;overflow:hidden}.codecard .lean{border-radius:0;margin:0}.codecard__bar{color:var(--ink-3);border-bottom:1px solid var(--rule-2);justify-content:space-between;margin:0;padding:5px 12px;font-size:.8rem;display:flex}.codecard__from{color:var(--ink-3);border-top:1px solid var(--rule-2);margin:0;padding:5px 12px;font-size:.82rem}.codecard__from .decl--plain{font-size:.86rem}.uses__h{color:var(--ink-2);margin:10px 0 4px;font-size:.85rem}.uses{gap:4px;display:grid}.use{border-bottom:1px solid var(--rule-2);justify-content:space-between;align-items:baseline;gap:10px;padding:4px 0;display:flex}.use:last-child{border-bottom:0}.tag{border:1px solid var(--rule);color:var(--ink-3);white-space:nowrap;border-radius:999px;flex:none;margin:0 2px;padding:1px 7px;font-size:.72rem}.tag--exact{border-color:var(--query-line);color:var(--query)}.panel__kind{color:var(--ink-3);margin:0 0 2px;font-size:.82rem}.tie{border-left:3px solid var(--query-line);background:color-mix(in srgb, var(--query-wash) 40%, transparent);border-radius:0 6px 6px 0;margin:8px 0 10px;padding:8px 12px}.tie__line{margin:2px 0;font-size:.95rem}.more--inline{border-top:0;margin:2px 0 12px;padding-top:0}.more--inline summary{font-size:.9rem}.rootgroup{margin:4px 0 8px}.rootgroup__label{color:var(--ink-3);margin:0 0 2px;font-size:.8rem}.roots li{justify-content:space-between;align-items:baseline;gap:8px;padding:3px 0;display:flex}.claim__foot{justify-content:space-between;align-items:baseline;gap:12px;margin:4px 0 0;display:flex}.sharedfacts{border:1px solid var(--rule-2);border-radius:6px;margin:10px 0 4px;padding:8px 12px}.sharedfacts h3{color:var(--ink-2);margin:0 0 4px;font-size:.85rem}.follow{background:color-mix(in srgb, var(--query-wash) 45%, transparent);border-radius:6px;margin:0 0 12px;padding:6px 10px;font-size:.85rem}.follow--pinned{background:var(--raised)}.where-else{margin:10px 0 14px}.where-else h3{margin-top:6px}.papercards{grid-template-columns:repeat(auto-fill,minmax(190px,1fr));gap:8px;margin:6px 0 0;padding:0;list-style:none;display:grid}.papercard{text-align:left;border:1px solid var(--rule-2);background:var(--raised);cursor:pointer;width:100%;height:100%;color:var(--ink);border-top:3px solid var(--rule);border-radius:8px;align-content:start;gap:3px;padding:9px 11px 10px;transition:border-color .12s,transform .12s;display:grid}.papercard:hover{border-color:var(--query-line)}.papercard--original{border-top-color:var(--query)}.papercard--exposition{border-top-color:var(--exact)}.papercard--expert{border-top-color:var(--stronger)}.papercard--reconstruction{border-top-color:var(--editorial)}.papercard--here{background:color-mix(in srgb, var(--query-wash) 55%, var(--raised));border-color:var(--query-line)}.papercard__paper{color:var(--ink-3);font-size:.74rem;font-weight:700}.papercard__where{font-family:var(--serif);font-size:.98rem;line-height:1.25}.papercard__quote{font-family:var(--serif);color:var(--ink-2);font-size:.86rem;line-height:1.35}@media (prefers-reduced-motion:no-preference){.papercard:hover{transform:translateY(-1px)}}.strip{border:1px solid var(--rule-2);border-radius:8px;grid-template-columns:repeat(4,minmax(0,1fr));gap:0;margin-top:6px;display:grid;overflow:hidden}.strip__col{border-left:1px solid var(--rule-2);flex-direction:column;gap:5px;min-width:0;padding:8px 10px 10px;display:flex}.strip__col:first-child{border-left:0}.strip__col.is-here{background:color-mix(in srgb, var(--query-wash) 45%, transparent)}.strip__col.is-empty{opacity:.6}.strip__paper{color:var(--ink-3);margin:0;font-size:.74rem;font-weight:700}.strip__here{color:var(--query);font-weight:400}.strip__none{color:var(--ink-3);margin:0;font-size:.82rem}.strip__go{text-align:left;cursor:pointer;color:var(--ink);background:0 0;border:0;gap:2px;padding:0;display:grid}.strip__where{font-family:var(--serif);text-decoration:underline;-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule);text-underline-offset:3px;font-size:.9rem;line-height:1.25}.strip__go:hover .strip__where{color:var(--query);-webkit-text-decoration-color:var(--query-line);text-decoration-color:var(--query-line)}.strip__quote{font-family:var(--serif);color:var(--ink-2);font-size:.8rem;line-height:1.3}.strip__more{margin:6px 0 0;font-size:.82rem}@media (width<=640px){.strip{grid-template-columns:repeat(2,minmax(0,1fr))}.strip__col:nth-child(3){border-left:0}.strip__col:nth-child(n+3){border-top:1px solid var(--rule-2)}}.source-block.is-linked{border-left-color:color-mix(in srgb, var(--exact) 70%, transparent)}.source-block.is-linked:hover{border-left-color:var(--exact);background:color-mix(in srgb, var(--exact) 6%, transparent)}.source-block.is-linked:before{content:"Lean";text-align:right;width:34px;font-family:var(--sans);letter-spacing:.02em;color:var(--exact);opacity:.85;font-size:.66rem;font-weight:700;position:absolute;top:.35em;left:-54px}.source-block.is-selected{border-left-color:var(--query)}.source-block.is-selected:before{color:var(--query)}.legend{color:var(--ink-3);align-items:center;gap:6px;font-size:.82rem;display:inline-flex}.legend__bar{background:var(--exact);border-radius:1px;width:3px;height:1em;display:inline-block}@media (width<=640px){.source-block.is-linked:before{display:none}}.papers li:has(a[href*="/read/reconstruction"]){margin-left:auto}.papers a[href*="/read/reconstruction"]{color:var(--ink-3);font-size:.85rem}.papers a[href*="/read/reconstruction"][aria-current=page]{color:var(--ink-2);border-bottom-color:var(--ink-3)}.strip{grid-template-columns:repeat(3,minmax(0,1fr)) minmax(0,.75fr)}.strip__col--reconstruction{background:color-mix(in srgb, var(--paper) 60%, transparent)}.strip__col--reconstruction .strip__paper,.strip__col--reconstruction .strip__where{color:var(--ink-3);font-size:.8rem}@media (width<=640px){.strip{grid-template-columns:repeat(2,minmax(0,1fr))}}.scene__promise{font-size:1rem}.scene__next{font-family:var(--sans);color:var(--ink-2);border-left:2px solid var(--query-line);margin:14px 0 0;padding-left:12px;font-size:.95rem;line-height:1.6}.scene__read{margin:14px 0 0;font-size:.88rem}.scene__read a{color:var(--ink-3);text-decoration:none}.scene__read a:hover,.scene__read a:focus-visible{color:var(--query)}.scene__status{min-height:0;color:var(--ink)}.scene__tables{gap:28px}.scene__aside{flex:260px;min-width:0}.scene__certs{grid-template-columns:auto 1fr;gap:6px 14px;margin:22px 0 0;font-size:.93rem;display:grid}.scene__certs dt{color:var(--ink-3);letter-spacing:.05em;text-transform:uppercase;padding-top:2px;font-size:.78rem}.scene__certs dd{color:var(--ink-2);margin:0}.scene__again{border:1px solid var(--query-line);color:var(--query);cursor:pointer;font:inherit;background:0 0;border-radius:6px;margin:0 0 8px;padding:6px 12px;font-size:.9rem}.scene__again:hover{background:var(--query-wash)}.scene__fixed{color:var(--ink-2);margin-top:16px;padding-top:14px;font-size:.92rem}.scene__fixed label{color:var(--ink-3);letter-spacing:.05em;text-transform:uppercase;font-size:.78rem;display:block}.scene__slider{align-items:center;gap:12px;margin:8px 0 6px;display:flex}.scene__slider input{width:160px;accent-color:var(--query);border-radius:999px;margin:0}.scene__slider input:focus-visible{outline:2px solid var(--query-line);outline-offset:4px}.scene__slider output{color:var(--ink);font-variant-numeric:tabular-nums}.scene__fixed strong{color:var(--query);font-weight:600}.bits tr.is-shaded .bit{background:var(--query-wash);border-color:var(--query-line)}.bits tr.is-shaded th{color:var(--query)}.pointers{border-collapse:collapse;width:100%;margin:6px 0 10px;font-size:.93rem}.pointers caption{text-align:left;color:var(--ink-2);padding-bottom:6px;font-size:.85rem}.pointers th,.pointers td{text-align:left;border-bottom:1px solid var(--rule-2);white-space:nowrap;padding:8px 10px}.pointers thead th{letter-spacing:.04em;text-transform:uppercase;color:var(--ink-3);white-space:normal;vertical-align:bottom;font-size:.78rem;font-weight:500}.pointers tbody th{color:var(--ink);font-weight:500}.pointers td.is-zero{color:var(--query);font-family:var(--serif);font-size:1.05rem}.pointers td.is-one{font-family:var(--serif);font-size:1.05rem}.pointers tr.is-wrong{background:#c0504d24}.pointers tr.is-wrong td:nth-child(3){color:#e07a72;font-weight:600}.scene__toggle{flex-wrap:wrap;align-items:center;gap:8px 14px;margin:12px 0 4px;display:flex}.scene__toggle button{border:1px solid var(--query-line);color:var(--query);cursor:pointer;font:inherit;background:0 0;border-radius:6px;padding:7px 14px;font-size:.92rem;font-weight:600}.scene__toggle button[aria-pressed=true]{background:var(--query);color:var(--paper);border-color:var(--query)}.scene__toggle .quiet{font-size:.85rem}@media (width<=640px){.scene__tables{flex-wrap:wrap}.pointers{display:block;overflow-x:auto}.scene__tables{gap:14px 18px}.bits__word{display:none}.bit{width:28px;height:28px;font-size:1rem}.bits th{padding:2px 4px}}