@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(../media/KaTeX_AMS-Regular.25ieegmnh38ts.woff2)format("woff2"),url(../media/KaTeX_AMS-Regular.10y3kupq4t663.woff)format("woff"),url(../media/KaTeX_AMS-Regular.418dr7cz3fo2x.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(../media/KaTeX_Caligraphic-Bold.06b-ya9t43ioz.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Bold.2vmk2hva4ctha.woff)format("woff"),url(../media/KaTeX_Caligraphic-Bold.40ltxhe834pns.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(../media/KaTeX_Caligraphic-Regular.2eph4dlhid_m9.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Regular.3gxeetazf831f.woff)format("woff"),url(../media/KaTeX_Caligraphic-Regular.07-7u27-nhn_r.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(../media/KaTeX_Fraktur-Bold.2sasz-d-jtw8y.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Bold.1alcy76__wdj2.woff)format("woff"),url(../media/KaTeX_Fraktur-Bold.19yqa_tc9d_gx.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(../media/KaTeX_Fraktur-Regular.2d10y4xmjvzlf.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Regular.110oo81prr9n5.woff)format("woff"),url(../media/KaTeX_Fraktur-Regular.2qhy34r6a05dn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(../media/KaTeX_Main-Bold.3-rowy8o6_4ky.woff2)format("woff2"),url(../media/KaTeX_Main-Bold.0v1esh257kqpe.woff)format("woff"),url(../media/KaTeX_Main-Bold.0us_n0tnxlxu7.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(../media/KaTeX_Main-BoldItalic.14r2naom8mrec.woff2)format("woff2"),url(../media/KaTeX_Main-BoldItalic.13355ck5zr48q.woff)format("woff"),url(../media/KaTeX_Main-BoldItalic.3x_u9cepaced0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(../media/KaTeX_Main-Italic.0lig0v9j0700p.woff2)format("woff2"),url(../media/KaTeX_Main-Italic.0afv392dj4w59.woff)format("woff"),url(../media/KaTeX_Main-Italic.2hkw3230mfwcv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(../media/KaTeX_Main-Regular.1ryvsdzh2w1_e.woff2)format("woff2"),url(../media/KaTeX_Main-Regular.15u8r3b2y7fv4.woff)format("woff"),url(../media/KaTeX_Main-Regular.0symfa7dqj6jd.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(../media/KaTeX_Math-BoldItalic.1oopuu636h4il.woff2)format("woff2"),url(../media/KaTeX_Math-BoldItalic.12pl58orkw9rg.woff)format("woff"),url(../media/KaTeX_Math-BoldItalic.0y5w36a5aq__2.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(../media/KaTeX_Math-Italic.32405s1aq8vas.woff2)format("woff2"),url(../media/KaTeX_Math-Italic.0w0b1ugh62cfr.woff)format("woff"),url(../media/KaTeX_Math-Italic.2vkekfblmz5nb.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(../media/KaTeX_SansSerif-Bold.0h3wi2z_eouyg.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Bold.1ovw5p-yjp56g.woff)format("woff"),url(../media/KaTeX_SansSerif-Bold.2d03q85pwxpti.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(../media/KaTeX_SansSerif-Italic.0wkjc4dm2kcit.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Italic.1qavw__2zz8gk.woff)format("woff"),url(../media/KaTeX_SansSerif-Italic.3i-q087b23-m8.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(../media/KaTeX_SansSerif-Regular.2peiewu59z3d-.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Regular.1i4afx8nk8n4r.woff)format("woff"),url(../media/KaTeX_SansSerif-Regular.31pbu25feko_c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(../media/KaTeX_Script-Regular.11h14300o9pd0.woff2)format("woff2"),url(../media/KaTeX_Script-Regular.3110jb9c-bxna.woff)format("woff"),url(../media/KaTeX_Script-Regular.28p_x7iz71ofe.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size1-Regular.03lhvx36ekcou.woff2)format("woff2"),url(../media/KaTeX_Size1-Regular.1slf4bh0hc6vm.woff)format("woff"),url(../media/KaTeX_Size1-Regular.1y57-ck23ey8c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size2-Regular.14s5gg-puz6h-.woff2)format("woff2"),url(../media/KaTeX_Size2-Regular.0-kwyvx03omo8.woff)format("woff"),url(../media/KaTeX_Size2-Regular.2u0s-b07k2o9m.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size3-Regular.1n1rgzz84z8r9.woff2)format("woff2"),url(../media/KaTeX_Size3-Regular.04o9a_02gu_e8.woff)format("woff"),url(../media/KaTeX_Size3-Regular.1pkn-dge4q0fv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size4-Regular.2sgotkdv3dcyv.woff2)format("woff2"),url(../media/KaTeX_Size4-Regular.3p2r1l7xmebxv.woff)format("woff"),url(../media/KaTeX_Size4-Regular.2uelkfk2yna5e.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(../media/KaTeX_Typewriter-Regular.11gr2d2wuwz77.woff2)format("woff2"),url(../media/KaTeX_Typewriter-Regular.12f8myjij3617.woff)format("woff"),url(../media/KaTeX_Typewriter-Regular.3nee9kjfy6nm8.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.9"}.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{--paper:#edf0f5;--surface:#fff;--ink:#17203b;--muted:#56607d;--rule:#c8cfdc;--plate:#0a1130;--plate-ink:#e7eaf4;--accent:#a85400;--accent-bright:#ffb35c;--violet:#5646cf;--red:#c23a52;--green:#1e7f5c;--radius:12px;--radius-sm:8px;--nav-h:64px;--font-scale:1;--font-body:"Literata","Noto Sans JP","Noto Sans SC",Georgia,"Times New Roman",serif;--font-ui:"Be Vietnam Pro","Noto Sans JP","Noto Sans SC",system-ui,-apple-system,"Segoe UI",sans-serif;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;box-sizing:border-box;padding-top:env(safe-area-inset-top,0px);padding-bottom:env(safe-area-inset-bottom,0px)}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}:root:not([data-theme=light]){--paper:#0e1328;--surface:#141b38;--ink:#e4e8f3;--muted:#9ba4c0;--rule:#29325a;--plate:#070c22;--accent:#ffb35c;--violet:#a395ff;--red:#ff7a90;--green:#5fd3a5}}:root[data-theme=dark]{--paper:#0e1328;--surface:#141b38;--ink:#e4e8f3;--muted:#9ba4c0;--rule:#29325a;--plate:#070c22;--accent:#ffb35c;--violet:#a395ff;--red:#ff7a90;--green:#5fd3a5}*,:before,:after{box-sizing:inherit}html{font-size:calc(16px * var(--font-scale,1));scroll-padding-top:env(safe-area-inset-top,0px)}body{background:var(--paper);color:var(--ink);font:400 1.0625rem/1.65 var(--font-body);-webkit-font-smoothing:antialiased;margin:0}a{color:var(--violet);text-underline-offset:.18em}h1{margin:0 0 1rem;font-size:clamp(1.8rem,3vw,2.5rem);font-weight:600;line-height:1.15}h2{margin:2rem 0 .8rem;font-size:1.5rem;font-weight:600;line-height:1.25}.h-sm{font:600 1rem/1.3 var(--font-ui);margin:2rem 0 .8rem}p{margin:0 0 .9rem}.muted{color:var(--muted);font-family:var(--font-ui);font-size:.92rem}.lede{color:var(--muted);max-width:40rem;font-size:1.15rem}.big{font:600 2rem/1 var(--font-ui);margin:0}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}:focus-visible{outline:2px solid var(--violet);outline-offset:2px}.shell{grid-template-columns:15rem minmax(0,1fr);min-height:100dvh;transition:grid-template-columns .18s;display:grid}.shell.sidebar-collapsed{grid-template-columns:3.75rem minmax(0,1fr)}.sidebar{background:var(--plate);height:100dvh;color:var(--plate-ink);flex-direction:column;gap:1.5rem;padding:1.1rem 1rem 1.5rem;display:flex;position:sticky;top:0;overflow:hidden}.sidebar-head{justify-content:space-between;align-items:center;gap:.5rem;min-height:36px;display:flex}.brand{font:600 1.2rem/1.2 var(--font-body);color:inherit;white-space:nowrap;text-overflow:ellipsis;text-decoration:none;overflow:hidden}.sidebar-toggle{border-radius:var(--radius-sm);color:#c3c9de;cursor:pointer;background:0 0;border:0;flex-shrink:0;place-items:center;width:36px;height:36px;display:grid}.sidebar-toggle:hover{color:#fff;background:#ffffff14}.sidebar nav,.nav-group{flex-direction:column;gap:.2rem;display:flex}.nav-group-title{color:#a6aecb;font:600 .72rem var(--font-ui);letter-spacing:.06em;text-transform:uppercase;padding:.65rem .75rem .1rem}.navlink{border-radius:var(--radius-sm);color:#c3c9de;font:500 .95rem var(--font-ui);white-space:nowrap;align-items:center;gap:.75rem;min-height:44px;padding:.6rem .75rem;text-decoration:none;display:flex}.navlink svg{flex-shrink:0}.navlink:hover{color:#fff;background:#ffffff0f}.navlink[aria-current=page]{color:var(--accent-bright);background:#ffb35c24}.sidebar-foot{font:500 .9rem var(--font-ui);color:#a6aecb;margin-top:auto}.shell.sidebar-collapsed .sidebar{align-items:center;padding:1.1rem .5rem 1.5rem}.shell.sidebar-collapsed .sidebar-head{justify-content:center;width:100%}.shell.sidebar-collapsed .nav-group-title,.shell.sidebar-collapsed .sidebar .brand,.shell.sidebar-collapsed .navlink span,.shell.sidebar-collapsed .sidebar-foot{display:none}.shell.sidebar-collapsed .navlink{justify-content:center;width:44px;padding:.6rem}.points{color:var(--accent-bright);font-size:1.1rem;font-weight:600}.topbar,.bottomnav{display:none}.content{min-width:0}.page{max-width:60rem;padding:clamp(1.25rem,4vw,3rem)}.page.wide{max-width:80rem}@media (max-width:900px){.shell,.shell.sidebar-collapsed{grid-template-columns:minmax(0,1fr)}.sidebar{display:none}.topbar{z-index:20;padding:.6rem 1rem;padding-top:calc(.6rem + env(safe-area-inset-top,0px));background:var(--plate);color:var(--plate-ink);justify-content:space-between;align-items:center;display:flex;position:sticky;top:0}.icon-btn{width:44px;height:44px;color:var(--plate-ink);border-radius:50%;place-items:center;display:grid}.bottomnav{z-index:20;background:var(--surface);border-top:1px solid var(--rule);padding-bottom:env(safe-area-inset-bottom,0px);grid-template-columns:repeat(6,minmax(0,1fr));display:grid;position:fixed;bottom:0;left:0;right:0}.bottomnav a{min-height:var(--nav-h);font:500 .72rem var(--font-ui);color:var(--muted);flex-direction:column;justify-content:center;align-items:center;gap:2px;text-decoration:none;display:flex}.bottomnav a[aria-current=page]{color:var(--accent)}.content{padding-bottom:calc(var(--nav-h) + env(safe-area-inset-bottom,0px))}}.card{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius);padding:1.1rem 1.2rem}.link-card{color:inherit;min-height:44px;text-decoration:none;display:block}.link-card:hover{border-color:var(--violet)}.card-title{font:600 1.05rem/1.3 var(--font-ui);margin:0 0 .35rem}.grid-3{grid-template-columns:repeat(auto-fill,minmax(min(100%,16rem),1fr));gap:1rem;display:grid}.row{flex-wrap:wrap;align-items:center;gap:.6rem;margin:1rem 0;display:flex}.btn{font:600 .92rem var(--font-ui);border:1px solid var(--ink);background:var(--ink);min-height:44px;color:var(--paper);cursor:pointer;border-radius:999px;padding:.6rem 1.1rem}.btn.ghost{color:var(--ink);border-color:var(--rule);background:0 0}.btn:disabled{opacity:.5;cursor:not-allowed}.chip{font:500 .88rem var(--font-ui);border:1px solid var(--rule);color:var(--ink);border-radius:999px;margin:0 .4rem .4rem 0;padding:.4rem .8rem;text-decoration:none;display:inline-block}.search input{width:100%;font:400 1rem var(--font-ui);border:1px solid var(--rule);background:var(--surface);color:var(--ink);border-radius:999px;margin-bottom:1rem;padding:.75rem 1rem}.crumb{font:500 .88rem var(--font-ui);color:var(--accent);margin:0 0 .4rem}.eq{padding:.4rem 0 .4rem 1rem;overflow-x:auto}.katex{max-width:100%}.katex .katex-html{max-width:100%;overflow:auto hidden}.theorem{border-left:3px solid var(--accent);margin:1.6rem 0;padding:.2rem 0 .2rem 1.1rem}.theorem-title{font:600 .95rem var(--font-ui)}.theorem details{margin-top:.4rem}.theorem summary{font:600 .9rem var(--font-ui);color:var(--violet);cursor:pointer;min-height:32px}.pitfall{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius);margin:1.2rem 0;padding:.9rem 1.1rem}.figure{margin:1.6rem 0}.figure figcaption{color:var(--muted);margin-top:.6rem;font-size:.92rem}.topic-nav{border-top:1px solid var(--rule);gap:1rem;margin-top:2.5rem;padding-top:1.5rem;display:grid}.widget{background:var(--plate);border-radius:var(--radius);--ink:#e7eaf4;--violet:#a395ff;--red:#ff7a90;--accent:#ffb35c;overflow:hidden}.widget-controls{background:#ffffff0a;grid-template-columns:repeat(auto-fill,minmax(min(100%,13rem),1fr));gap:.4rem 1.2rem;padding:.8rem 1rem;display:grid}.widget-controls label{font:500 .85rem var(--font-ui);color:#c3c9de;grid-template-columns:auto 1fr auto;align-items:center;gap:.6rem;min-height:44px;display:grid}.widget-controls input{accent-color:#ffb35c;width:100%}.widget-controls select{font:500 .85rem var(--font-ui);border-radius:var(--radius-sm);color:#fff;background:#ffffff14;border:1px solid #ffffff38;grid-column:2/4;min-height:36px;padding:.3rem .6rem}.widget-controls output{font-variant-numeric:tabular-nums;text-align:right;color:#fff;min-width:3.5em}.widget-fallback{color:#e7eaf4;font-family:var(--font-ui);padding:1.4rem 1.2rem}.widget-fallback-title{color:#ffb35c;margin:0 0 .4rem;font-weight:600}.widget-fallback-alt{color:#c3c9de;margin:0;font-size:.92rem}.card.quiz{margin:1.4rem 0}.quiz .options{gap:.5rem;display:grid}.opt{font:inherit;text-align:left;border-radius:var(--radius-sm);border:1px solid var(--rule);min-height:44px;color:var(--ink);cursor:pointer;background:0 0;padding:.7rem 1rem}.opt.ok{border-color:var(--green);background:color-mix(in srgb,var(--green) 12%,transparent)}.opt.bad{border-color:var(--red);background:color-mix(in srgb,var(--red) 12%,transparent)}.quiz-session{gap:1rem;margin-top:1.5rem;display:grid}.quiz-setup{gap:1.25rem;display:grid}.quiz-setup fieldset{border:0;min-width:0;margin:0;padding:0}.quiz-filter-grid{grid-template-columns:repeat(auto-fill,minmax(min(100%,15rem),1fr));gap:.55rem;display:grid}.quiz-levels{grid-template-columns:repeat(auto-fill,minmax(min(100%,11rem),1fr))}.quiz-filter{border:1px solid var(--rule);border-radius:var(--radius-sm);cursor:pointer;align-items:center;gap:.65rem;min-height:44px;padding:.55rem .7rem;display:flex}.quiz-filter input{width:1.1rem;height:1.1rem;accent-color:var(--accent)}.quiz-run{gap:.75rem;display:grid}.quiz-run-meta{color:var(--muted);font:500 .9rem var(--font-ui);flex-wrap:wrap;justify-content:space-between;gap:1rem;display:flex}.quiz-flashcard{min-height:22rem}.quiz-card-face{gap:1rem;display:grid}.quiz-question{overflow-wrap:anywhere;font-size:clamp(1.15rem,2vw,1.55rem);line-height:1.6}.quiz .opt.picked{border-color:var(--accent);background:color-mix(in srgb,var(--accent) 10%,transparent)}.quiz-answer{border-top:1px solid var(--rule);gap:.6rem;padding-top:1rem;display:grid}.quiz-answer .h-sm{margin:.3rem 0}.quiz-sources{font:400 .88rem/1.5 var(--font-ui);color:var(--muted)}.quiz-sources ul{margin:.35rem 0;padding-left:1.25rem}.quiz-result{gap:1rem;display:grid}.feedback{margin-top:.8rem}.pg{grid-template-columns:minmax(0,1fr) minmax(20rem,26rem);align-items:start;gap:1.5rem;display:grid}.statement{font-size:1.1rem}.steps{gap:.6rem;margin:0;padding:0;list-style:none;display:grid}.step{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius);grid-template-columns:2rem minmax(0,1fr) auto;align-items:start;gap:.6rem;padding:.7rem;display:grid}.step.valid{border-color:var(--green)}.step.invalid{border-color:var(--red)}.step-num{font:600 .9rem var(--font-ui);color:var(--muted);text-align:center;padding-top:.5rem}.step-body{gap:.4rem;min-width:0;display:grid}math-field,.tex-input{border:1px solid var(--rule);border-radius:var(--radius-sm);background:var(--paper);width:100%;color:var(--ink);padding:.4rem .6rem;font-size:1.15rem}.tex-input{font-family:ui-monospace,monospace;font-size:.95rem}.note{font:400 .9rem var(--font-ui);border:0;border-bottom:1px dashed var(--rule);color:var(--ink);background:0 0;padding:.4rem .6rem}.verdict{font:500 .85rem var(--font-ui);margin:0}.step.valid .verdict{color:var(--green)}.step.invalid .verdict{color:var(--red)}.pg-side{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius);position:sticky;top:1rem;overflow:hidden}.tabs{border-bottom:1px solid var(--rule);display:flex;overflow-x:auto}.tab{font:600 .85rem var(--font-ui);min-height:44px;color:var(--muted);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;flex:1 0 auto;padding:.8rem .9rem}.tab[aria-selected=true]{color:var(--ink);border-bottom-color:var(--accent)}.tab-body{max-height:70vh;padding:1rem;overflow:auto}.sheet-close{display:none}.hints{gap:.5rem;margin:0;padding:0;list-style:none;display:grid}.hint-btn{width:100%;font:500 .9rem var(--font-ui);border:1px solid var(--rule);border-radius:var(--radius-sm);min-height:44px;color:var(--ink);cursor:pointer;background:0 0;justify-content:space-between;gap:1rem;padding:.7rem .9rem;display:flex}.hint-btn:disabled{opacity:.45;cursor:not-allowed}.cost{color:var(--red)}.hint-open{border:1px solid var(--rule);border-radius:var(--radius-sm);padding:.7rem .9rem}.hint-name{font:600 .8rem var(--font-ui);color:var(--accent);margin-bottom:.2rem;display:block}.tutor .msgs{gap:.5rem;margin-bottom:.8rem;display:grid}.msg{border-radius:var(--radius-sm);background:var(--paper);padding:.6rem .8rem}.msg.user{background:color-mix(in srgb,var(--violet) 12%,transparent)}.ask{gap:.5rem;display:grid}.ask textarea{font:400 .95rem var(--font-ui);border-radius:var(--radius-sm);border:1px solid var(--rule);background:var(--paper);color:var(--ink);resize:vertical;padding:.6rem}.links{padding-left:1.1rem}.snap{cursor:pointer;border-style:dashed;gap:.2rem;margin-bottom:1rem;display:grid}@media (max-width:900px){.pg{grid-template-columns:minmax(0,1fr)}.pg-side{left:0;right:0;bottom:calc(var(--nav-h) + env(safe-area-inset-bottom,0px));z-index:15;border-radius:var(--radius) var(--radius) 0 0;position:fixed;top:auto;box-shadow:0 -8px 24px #0a11302e}.pg-side .tab-body{max-height:60dvh;display:none}.pg-side.open .tab-body{display:block}.pg-side.open .sheet-close{width:40px;height:40px;color:var(--muted);background:0 0;border:0;place-items:center;font-size:1.4rem;display:grid;position:absolute;top:.3rem;right:.4rem}.pg-main{padding-bottom:5rem}.step{grid-template-columns:1.6rem minmax(0,1fr)}.step>.btn{grid-column:2;justify-self:start}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important;animation:none!important}}:root[data-reduce-motion=true] *,:root[data-reduce-motion=true] :before,:root[data-reduce-motion=true] :after{scroll-behavior:auto!important;transition:none!important;animation:none!important}.locale-switch select{font:500 .85rem var(--font-ui);border-radius:var(--radius-sm);border:1px solid var(--rule);background:var(--surface);min-height:36px;color:var(--ink);padding:.3rem .5rem}.locale-switch.dark select{color:var(--plate-ink);background:#ffffff0f;border-color:#fff3}.sidebar-foot{flex-direction:column;gap:.6rem;display:flex}.topbar-actions{align-items:center;gap:.4rem;display:flex}.notice{font:500 .9rem/1.5 var(--font-ui);background:color-mix(in srgb,var(--accent) 10%,transparent);border:1px solid color-mix(in srgb,var(--accent) 35%,transparent);border-radius:var(--radius-sm);margin:0 0 1rem;padding:.6rem .9rem}.badge{font:600 .75rem var(--font-ui);color:var(--accent);margin:.3rem 0 0;display:inline-block}.frontier{border:1px solid color-mix(in srgb,var(--violet) 40%,transparent);background:color-mix(in srgb,var(--violet) 7%,transparent);border-radius:var(--radius);margin:1.4rem 0;padding:.9rem 1.1rem}.frontier-title{font:600 .95rem var(--font-ui);color:var(--violet)}.refs{padding-left:1.2rem;font-size:.95rem}.refs li{margin-bottom:.4rem}.ref-dialog{border:1px solid var(--rule);background:var(--surface);width:min(92vw,72rem);max-width:none;height:min(88dvh,54rem);max-height:none;color:var(--ink);border-radius:16px;padding:0;overflow:hidden;box-shadow:0 24px 64px #0a113061}.ref-dialog::backdrop{background:#0a113099}.ref-dialog-shell{flex-direction:column;width:100%;height:100%;display:flex}.ref-dialog-head{border-bottom:1px solid var(--rule);background:var(--paper);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;padding:.75rem 1.1rem;display:flex}.ref-dialog-meta{flex:16rem;min-width:0}.ref-dialog-title{font:600 1rem/1.3 var(--font-ui);color:var(--ink);text-overflow:ellipsis;white-space:nowrap;margin:0;overflow:hidden}.ref-dialog-sub{font:400 .82rem/1.3 var(--font-ui);color:var(--muted);margin:.15rem 0 0}.ref-dialog-actions{flex-shrink:0;align-items:center;gap:.5rem;display:flex}.ref-dialog-btn{align-items:center;min-height:36px;padding:.35rem .85rem;font-size:.82rem;text-decoration:none;display:inline-flex}.ref-dialog-body{background:var(--paper);flex:auto;min-height:0;display:flex;position:relative}.ref-dialog-loading{font:500 .95rem var(--font-ui);color:var(--muted);place-items:center;margin:0;display:grid;position:absolute;inset:0}.ref-dialog-frame{background:0 0;border:0;flex:auto;width:100%;position:relative}.theorem-dialog{width:min(92vw,54rem);height:auto;max-height:min(88dvh,48rem)}.theorem-dialog-body{background:var(--surface);flex:auto;gap:1rem;min-height:0;padding:1.25rem 1.5rem;display:grid;overflow-y:auto}.back-btn{font:600 .86rem var(--font-ui);color:var(--accent);background:color-mix(in srgb,var(--accent) 10%,transparent);border-radius:999px;align-items:center;gap:.3rem;margin-right:.35rem;padding:.22rem .6rem;text-decoration:none;display:inline-flex}.back-btn:hover{background:color-mix(in srgb,var(--accent) 18%,transparent)}.block-h{flex-wrap:wrap;align-items:baseline;gap:.6rem;display:flex}.tier-pill{font:600 .72rem/1 var(--font-ui);text-transform:uppercase;letter-spacing:.04em;background:color-mix(in srgb,var(--accent) 14%,transparent);color:var(--accent);border-radius:999px;padding:.28rem .55rem}.definition{border-left:3px solid var(--violet);margin:1.5rem 0;padding:.2rem 0 .2rem 1.1rem}.definition-title{font:600 .95rem var(--font-ui);color:var(--violet);margin:0 0 .35rem}.example{background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius);margin:1.4rem 0;padding:1rem 1.2rem}.example-title{font:600 .95rem var(--font-ui);margin:0 0 .4rem}.example details{margin-top:.5rem}.example summary{font:600 .9rem var(--font-ui);color:var(--violet);cursor:pointer;min-height:32px}.history{background:color-mix(in srgb,var(--accent) 7%,var(--surface));border:1px solid color-mix(in srgb,var(--accent) 30%,var(--rule));border-radius:var(--radius);margin:1.4rem 0;padding:.9rem 1.1rem}.history-title{font:600 .88rem var(--font-ui);color:var(--accent);margin:0 0 .35rem}.history-people{margin:.4rem 0 0}.table-wrap{margin:1.4rem 0;overflow-x:auto}.block-table{border-collapse:collapse;background:var(--surface);border:1px solid var(--rule);border-radius:var(--radius-sm);width:100%;font-size:.95rem;overflow:hidden}.block-table caption{text-align:left;font:500 .88rem var(--font-ui);color:var(--muted);padding:0 0 .4rem}.block-table th,.block-table td{border-bottom:1px solid var(--rule);text-align:left;vertical-align:top;padding:.6rem .85rem}.block-table th{font:600 .85rem var(--font-ui);background:color-mix(in srgb,var(--ink) 4%,var(--surface))}.home-page{flex-direction:column;gap:22px;display:flex}.home-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:24px;display:flex}.home-head-copy{flex-direction:column;gap:6px;display:flex}.home-eyebrow{font:500 14px var(--font-ui);color:var(--muted)}.home-title{font:600 34px var(--font-body);letter-spacing:-.01em;margin:0}.home-search-box{border:1px solid var(--rule);background:var(--surface);width:320px;max-width:100%;height:44px;color:var(--muted);border-radius:999px;align-items:center;gap:8px;padding:0 16px;display:flex}.home-search-box input{font:400 14px var(--font-ui);color:var(--ink);background:0 0;border:0;outline:none;width:100%}.home-entries{grid-template-columns:2fr 1fr 1fr;gap:20px;display:grid}.home-entry-hero{background:var(--plate);color:var(--plate-ink);border-radius:16px;justify-content:space-between;align-items:center;gap:24px;padding:22px 26px;text-decoration:none;display:flex}.home-entry-hero-copy{flex-direction:column;gap:10px;display:flex}.home-entry-tag{font:500 13px var(--font-ui);color:var(--accent-bright)}.home-entry-lead{font:400 22px/1.4 var(--font-body);color:var(--plate-ink)}.home-entry-cta{font:600 14px var(--font-ui);color:#a6aecb}.home-entry-art{flex-shrink:0;display:block}.home-entry-card{border-radius:14px;flex-direction:column;justify-content:space-between;gap:10px;padding:20px 22px;display:flex}.home-entry-kicker{font:500 13px var(--font-ui);color:var(--muted)}.home-section{flex-direction:column;gap:14px;display:flex}.home-section-head{justify-content:space-between;align-items:baseline;gap:12px;display:flex}.home-section-head h2{font:600 22px var(--font-body);margin:0}.home-section-head a{font:500 14px var(--font-ui)}.home-feature-card{border-radius:14px;flex-direction:column;gap:8px;padding:16px 18px;display:flex}.home-card-meta{font:600 13px var(--font-ui);color:var(--accent);display:block}@media (max-width:900px){.home-title{font-size:26px}.home-search,.home-search-box{width:100%}.home-entries{grid-template-columns:minmax(0,1fr);gap:12px}.home-entry-hero{border-radius:16px;padding:16px}.home-entry-lead{font-size:18px}.home-entry-art{display:none}.home-section-head h2{font-size:19px}}.search-form{flex-wrap:wrap;align-items:center;gap:10px;margin:0 0 1.2rem;display:flex}.search-page-box{flex:16rem;width:min(100%,28rem)}.search-group{margin-top:1.5rem}.settings-layout{grid-template-columns:minmax(0,1fr) 360px;align-items:start;gap:36px;display:grid}.settings-main{flex-direction:column;gap:22px;display:flex}.settings-section{flex-direction:column;gap:12px;display:flex}.settings-h2{font:600 18px var(--font-ui);margin:0}.theme-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;display:grid}.theme-card{border:2px solid var(--rule);background:var(--surface);text-align:left;cursor:pointer;color:var(--ink);border-radius:14px;flex-direction:column;gap:10px;padding:12px;display:flex}.theme-thumb{border-radius:10px;gap:6px;height:64px;padding:8px;display:flex}.theme-thumb-plate{border-radius:6px;width:18px}.theme-thumb-lines{flex-direction:column;flex-grow:1;gap:5px;display:flex}.theme-thumb-lines>span{border-radius:6px;height:12px;display:block}.theme-card-foot{justify-content:space-between;align-items:center;gap:6px;display:flex}.theme-card-name{font:600 14px var(--font-ui)}.theme-card-tag{font:600 12px var(--font-ui)}.swatch-row{flex-wrap:wrap;gap:14px;display:flex}.swatch-btn{cursor:pointer;color:var(--ink);background:0 0;border:0;flex-direction:column;align-items:center;gap:6px;padding:0;display:flex}.swatch-dot{border-radius:50%;width:48px;height:48px;display:block}.swatch-label{font:500 12px var(--font-ui);color:var(--muted)}.settings-hint{font:400 13px/1.5 var(--font-ui);color:var(--muted);margin:0}.settings-rows{flex-direction:column;gap:4px;display:flex}.settings-scale-row{border-bottom:1px solid var(--rule);min-height:52px;font:600 15px var(--font-ui);grid-template-columns:120px minmax(0,1fr) 60px;align-items:center;gap:14px;display:grid}.settings-scale-row output{font:500 14px var(--font-ui);color:var(--muted);text-align:right}.settings-toggle-row{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:center;gap:16px;min-height:56px;display:flex}.settings-toggle-row input{flex-shrink:0;width:22px;height:22px}.settings-row-copy{flex-direction:column;gap:2px;display:flex}.settings-row-title{font:600 15px var(--font-ui)}.settings-preview{border-left:1px solid var(--rule);flex-direction:column;gap:12px;padding-left:28px;display:flex}.preview-box{border:1px solid var(--rule);border-radius:16px;flex-direction:column;display:flex;overflow:hidden}.preview-bar{height:44px;font:600 15px var(--font-body);color:#fff;align-items:center;padding:0 14px;display:flex}.preview-body{flex-direction:column;gap:12px;padding:16px;display:flex}.preview-title{font:600 22px var(--font-body);margin:0}.preview-card{border:1px solid #80808040;border-radius:12px;flex-direction:column;gap:10px;padding:14px;display:flex}.preview-eyebrow{font:600 13px var(--font-ui)}.preview-progress{background:#80808040;border-radius:4px;height:8px;display:block;overflow:hidden}.preview-progress>span{border-radius:4px;height:8px;display:block}@media (max-width:900px){.settings-layout{grid-template-columns:minmax(0,1fr);gap:24px}.settings-preview{border-left:0;border-top:1px solid var(--rule);padding-top:20px;padding-left:0}.theme-grid{grid-template-columns:minmax(0,1fr)}.settings-scale-row{grid-template-columns:90px minmax(0,1fr) 52px}}
.lib-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:24px;margin-bottom:16px;display:flex}.lib-head-title{flex-wrap:wrap;align-items:baseline;gap:14px;display:flex}.lib-head-title h1{letter-spacing:-.01em;margin:0;font-size:34px}.lib-head-count{font:500 14px/1.3 var(--font-ui);color:var(--muted)}.lib-search{flex-grow:1;max-width:420px;margin:0}.lib-search input{box-sizing:border-box;height:46px}.view-switch{border:1px solid var(--rule);border-radius:999px;flex-shrink:0;display:inline-flex;overflow:hidden}.view-switch a{min-height:38px;font:600 13px var(--font-ui);color:var(--ink);background:0 0;align-items:center;padding:0 16px;text-decoration:none;display:flex}.view-switch a[aria-current=page]{background:var(--ink);color:var(--paper)}.level-filter{flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:18px;display:flex}.level-chip{min-height:34px;font:600 12px var(--font-ui);border:1px solid var(--rule);color:var(--ink);background:0 0;border-radius:999px;align-items:center;gap:6px;padding:0 12px;text-decoration:none;display:inline-flex}.level-chip .dot{border-radius:50%;flex-shrink:0;width:10px;height:10px}.level-chip.active{border-color:var(--ink);background:var(--ink);color:var(--paper)}.level-chip.active .dot{outline:2px solid var(--paper)}.branch-grid{grid-template-columns:repeat(auto-fill,minmax(200px,1fr));gap:14px;display:grid}.branch-card{background:var(--surface);color:var(--ink);box-shadow:0 1px 0 var(--rule),0 6px 16px #17203b0f;border-radius:16px;flex-direction:column;min-width:0;text-decoration:none;display:flex;overflow:hidden}.branch-card:hover{box-shadow:0 1px 0 var(--rule),0 10px 22px #17203b1f}.branch-card-art{height:118px}.branch-card-body{flex-direction:column;gap:6px;min-width:0;padding:10px 12px 12px;display:flex}.branch-card-title{font:600 16px/1.25 var(--font-body);overflow-wrap:anywhere}.branch-card-meta{justify-content:space-between;align-items:center;gap:8px;display:flex}.coverage{flex-shrink:0;gap:3px;display:flex}.coverage-bar{border-radius:3px;width:18px;height:5px}.explore-card{color:#fff;border-radius:16px;flex-direction:column;justify-content:flex-end;gap:4px;min-height:118px;padding:14px;text-decoration:none;display:flex}.explore-title{font:600 17px/1.25 var(--font-body)}.explore-hint{font:500 12px var(--font-ui);opacity:.85}.explore-problems{background:var(--ink)}.explore-mathematicians{background:#8a3fa0}.lib-map{align-items:flex-start;gap:20px;min-width:0;display:flex}.lib-map-canvas{background:var(--surface);border:1px solid var(--rule);border-radius:16px;flex-grow:1;min-width:0;position:relative;overflow:hidden}.lib-map-canvas svg{width:100%;height:auto}.lib-map-zoom{flex-direction:column;gap:6px;display:flex;position:absolute;bottom:10px;right:10px}.lib-map-zoom button{border:1px solid var(--rule);background:var(--surface);width:40px;height:40px;font:600 18px var(--font-ui);color:var(--ink);cursor:pointer;border-radius:10px}.lib-map-panel{flex-direction:column;flex-shrink:0;gap:12px;width:300px;min-width:0;display:flex}.lib-map-detail{padding:0}.lib-map-detail-head{color:#fff;border-radius:16px 16px 0 0;justify-content:space-between;align-items:center;padding:12px 14px;display:flex}.lib-map-detail-title{font:600 18px var(--font-ui)}.lib-map-detail-level{font:600 12px var(--font-ui)}.lib-map-detail-body{flex-direction:column;gap:10px;padding:12px 14px 14px;display:flex}.lib-map-legend{font:500 12px var(--font-ui);color:var(--muted);flex-direction:column;gap:6px;display:flex}.lib-map-legend span{align-items:center;gap:8px;display:flex}.legend-swatch{background:var(--ink);border-radius:6px;width:26px;height:12px}.legend-swatch-outline{border:2px dashed var(--muted);box-sizing:border-box;background:0 0}.legend-swatch-line{background:var(--muted);border-radius:0;width:26px;height:2px}.grade-tabs{flex-wrap:wrap;gap:6px;margin-bottom:18px;display:flex}.grade-tab{min-height:38px;font:600 13px var(--font-ui);border:1px solid var(--rule);color:var(--ink);border-radius:999px;align-items:center;padding:0 14px;text-decoration:none;display:flex}.grade-tab.active{background:var(--ink);color:var(--paper);border-color:var(--ink)}.grade-branch{margin-bottom:22px}.grade-subbranch{margin:10px 0 16px}.grade-subbranch-title{font:600 14px var(--font-ui);color:var(--muted);margin:0 0 8px}.grade-note{margin-top:8px;font-size:.85rem}.level-dot{border-radius:50%;width:8px;height:8px;margin-right:6px;display:inline-block}.crumb-nav{font:500 14px var(--font-ui);color:var(--muted);flex-wrap:wrap;align-items:center;gap:6px;margin-bottom:12px;display:flex}.crumb-nav a{color:var(--muted);text-decoration:none}.crumb-nav span:last-child{color:var(--ink);font-weight:600}.branch-header{color:#fff;border-radius:18px;align-items:center;gap:18px;margin-bottom:18px;padding:14px 18px;display:flex;overflow:hidden}.branch-header-art{border-radius:10px;flex-shrink:0;width:200px;height:96px;overflow:hidden}.branch-header-body h1{color:#fff;margin:0 0 4px;font-size:28px}.branch-header-body p{opacity:.9;max-width:44rem;margin:0}.branch-layout{grid-template-columns:minmax(0,1fr) 300px;align-items:start;gap:20px;display:grid}.branch-main{flex-direction:column;gap:10px;min-width:0;display:flex}.branch-subsection{border:1px solid var(--rule);background:var(--surface);border-radius:14px;overflow:hidden}.branch-subsection summary{cursor:pointer;min-height:52px;font:600 17px var(--font-body);justify-content:space-between;align-items:center;padding:0 14px;list-style:none;display:flex}.branch-subsection summary::-webkit-details-marker{display:none}.branch-topic-list{margin:0;padding:0 6px 6px;list-style:none}.branch-topic-row{min-height:44px;color:var(--ink);border-radius:10px;grid-template-columns:minmax(0,1fr) auto auto;align-items:center;gap:12px;padding:8px;text-decoration:none;display:grid}.branch-topic-row:hover{background:var(--paper)}.branch-topic-title{font:500 15px var(--font-ui);overflow-wrap:anywhere}.level-badge{font:600 12px var(--font-ui);white-space:nowrap}.article-state{font:500 12px var(--font-ui);white-space:nowrap;border-radius:999px;padding:2px 8px}.article-state.ready{color:var(--green);background:color-mix(in srgb,var(--green) 12%,transparent)}.article-state.pending{color:var(--muted);background:var(--paper)}.branch-side{flex-direction:column;gap:14px;min-width:0;display:flex}.learning-path{flex-direction:column;gap:10px;margin:0;padding:0;list-style:none;display:flex}.learning-path li{font:500 14px var(--font-ui);align-items:center;gap:10px;display:flex}.learning-path a{color:var(--ink);text-decoration:none}.path-dot{border-radius:50%;flex-shrink:0;width:12px;height:12px}.lib-small{font-size:.8rem}.topic-layout{grid-template-columns:minmax(0,1fr) 300px;align-items:start;gap:2rem;display:grid}.topic-toc p.muted,.topic-sidebar-group p.muted{margin:0}.topic-toc ol{flex-direction:column;gap:2px;margin:6px 0 0;padding:0;list-style:none;display:flex}.topic-toc a{min-height:26px;color:var(--muted);font:500 14px var(--font-ui);flex-direction:column;gap:2px;padding:5px 0;text-decoration:none;display:flex}.topic-toc li.toc-sub a{padding-left:12px;font-size:13px}.toc-tier{font:600 11px var(--font-ui);color:var(--accent);text-transform:uppercase;letter-spacing:.03em}.topic-sidebar{flex-direction:column;gap:18px;min-width:0;max-height:calc(100dvh - 2rem);padding-bottom:1rem;padding-right:4px;display:flex;position:sticky;top:1rem;overflow-y:auto}.topic-sidebar-group{flex-direction:column;gap:8px;display:flex}.topic-sidebar-group .row{margin:0}.topic-empty,.theorem-page{max-width:44rem}.theorem-badges{gap:8px;margin-bottom:.6rem;display:flex}.kind-badge{color:var(--violet);border:1px solid color-mix(in srgb,var(--violet) 40%,transparent);font:600 12px var(--font-ui);border-radius:999px;padding:2px 10px}.status-badge{font:600 12px var(--font-ui);border-radius:999px;padding:2px 10px}.status-proved{color:var(--green);border:1px solid color-mix(in srgb,var(--green) 40%,transparent)}.status-conditional{color:var(--accent);border:1px solid color-mix(in srgb,var(--accent) 40%,transparent)}.status-open{color:var(--violet);border:1px solid color-mix(in srgb,var(--violet) 40%,transparent)}.status-independent{color:var(--muted);border:1px solid var(--rule)}.status-disproved{color:var(--red);border:1px solid color-mix(in srgb,var(--red) 40%,transparent)}.theorem-block{margin:1.4rem 0}.theorem-block summary{cursor:pointer;font:600 .95rem var(--font-ui);min-height:32px}.theorem-people{flex-wrap:wrap;gap:2rem;margin:1.4rem 0;display:flex}.proof-card{flex-direction:column;gap:.3rem;display:flex}@media (min-width:900px) and (max-width:1199px){.lib-head-title h1{font-size:30px}}@media (max-width:899px){.lib-head-title h1{font-size:26px}.lib-search{flex-basis:100%;order:3;max-width:none}.topic-layout{grid-template-columns:minmax(0,1fr)}.topic-sidebar{position:static}.branch-layout{grid-template-columns:minmax(0,1fr)}.branch-header{flex-direction:column;align-items:flex-start}.branch-header-art{width:100%;height:120px}.lib-map{flex-direction:column}.lib-map-panel{width:100%}.branch-topic-row{grid-template-columns:minmax(0,1fr);justify-items:start;gap:4px}}
.problems-layout{grid-template-columns:minmax(0,1fr) 20rem;align-items:start;gap:2rem;display:grid}.problems-main{flex-direction:column;gap:.9rem;min-width:0;display:flex}.problems-aside{flex-direction:column;gap:1rem;display:flex;position:sticky;top:1.5rem}.problems-head{flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:1rem;display:flex}.problems-toolbar{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.problems-toolbar>*{min-width:0}.crumbs{font:500 .88rem var(--font-ui);color:var(--muted);align-items:center;gap:.4rem;display:flex}.crumbs a{color:var(--muted);text-decoration:none}.crumbs a:hover{color:var(--ink)}.crumbs [aria-current=page]{color:var(--ink);font-weight:600}.subtabs{border-bottom:1px solid var(--rule);gap:1.4rem;display:flex}.subtabs a{min-height:44px;font:600 .88rem var(--font-ui);color:var(--muted);border-bottom:2px solid #0000;align-items:center;padding:.6rem 0;text-decoration:none;display:flex}.subtabs a[aria-current=page]{color:var(--ink);border-bottom-color:var(--accent)}.segmented{border:1px solid var(--rule);-webkit-overflow-scrolling:touch;border-radius:999px;min-width:0;max-width:100%;display:inline-flex;overflow:auto hidden}.segmented a{min-height:38px;font:600 .82rem var(--font-ui);color:var(--ink);background:0 0;align-items:center;padding:0 1rem;text-decoration:none;display:flex}.segmented a[aria-pressed=true]{background:var(--ink);color:var(--paper)}.problems-search{flex:16rem;align-items:center;gap:.4rem;min-width:0;display:flex}.problems-search input{border:1px solid var(--rule);background:var(--surface);min-width:0;min-height:42px;font:400 .9rem var(--font-ui);color:var(--ink);border-radius:999px;flex:auto;padding:0 1rem}.problems-field-form{flex-wrap:wrap;align-items:center;gap:.4rem;min-width:0;display:flex}.problems-field-form select{border:1px solid var(--rule);background:var(--surface);min-height:40px;font:500 .88rem var(--font-ui);color:var(--ink);text-overflow:ellipsis;white-space:nowrap;border-radius:10px;min-width:0;max-width:11rem;padding:0 .6rem;overflow:hidden}.chip-row{flex-wrap:wrap;gap:.5rem;display:flex}.chip-active{border-color:var(--ink)!important;background:var(--ink)!important;color:var(--paper)!important}.timeline{margin:0;padding:0;list-style:none}.timeline-era-group{list-style:none}.timeline-era{font:600 .88rem var(--font-ui);color:var(--muted);margin:.4rem 0 .6rem 6.5rem}.timeline-items{margin:0;padding:0;list-style:none}.timeline-row{grid-template-columns:5.6rem 1.25rem minmax(0,1fr);gap:.9rem;display:grid}.timeline-year{font:600 .88rem var(--font-ui);color:var(--accent);text-align:right;font-variant-numeric:tabular-nums;padding-top:1rem}.timeline-rail{flex-direction:column;align-items:center;display:flex}.timeline-dot{width:.88rem;height:.88rem;box-shadow:0 0 0 4px var(--paper);border-radius:50%;margin-top:1.05rem}.timeline-line{background:var(--rule);flex-grow:1;width:2px}.timeline-card{border:1px solid var(--rule);border-radius:var(--radius);background:var(--surface);grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.9rem;margin-bottom:.5rem;padding:.65rem .9rem;display:grid}.timeline-card-main{color:var(--ink);flex-direction:column;gap:.15rem;min-width:0;text-decoration:none;display:flex}.timeline-card-title{font:600 1rem var(--font-ui)}.timeline-card-sub{font:400 .82rem var(--font-ui);color:var(--muted);text-overflow:ellipsis;-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.timeline-card-solver{color:var(--ink);font:500 .8rem var(--font-ui);white-space:nowrap;align-items:center;gap:.5rem;text-decoration:none;display:flex}.dot{border-radius:50%;width:.62rem;height:.62rem;display:inline-block}.dot-green,.timeline-dot.dot-green{background:var(--green)}.dot-red,.timeline-dot.dot-red{background:var(--red)}.dot-violet,.timeline-dot.dot-violet{background:var(--violet)}.badge-tint{min-height:1.7rem;font:600 .75rem var(--font-ui);white-space:nowrap;border-radius:999px;align-items:center;gap:.25rem;padding:.2rem .65rem;display:inline-flex}.badge-green{background:color-mix(in srgb,var(--green) 16%,var(--surface));color:var(--green)}.badge-red{background:color-mix(in srgb,var(--red) 16%,var(--surface));color:var(--red)}.badge-violet{background:color-mix(in srgb,var(--violet) 14%,var(--surface));color:var(--violet)}.badge-accent{background:color-mix(in srgb,var(--accent) 16%,var(--surface));color:var(--accent)}.badge-plain{background:var(--paper);color:var(--muted);font-weight:500}.overview-card{flex-direction:column;gap:.6rem;display:flex}.overview-row{min-height:1.9rem;font:500 .88rem var(--font-ui);justify-content:space-between;align-items:center;display:flex}.overview-label{align-items:center;gap:.5rem;display:flex}.overview-n{font-weight:700}.open-kicker{font:500 .9rem var(--font-ui);color:var(--accent);margin:0}.problem-head-row{justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.statement-box{flex-direction:column;gap:.6rem;display:flex}.statement-text{font-size:1.35rem;line-height:1.5}.person-row{flex-wrap:wrap;gap:.8rem;display:flex}.detail-grid{grid-template-columns:minmax(0,1fr) 20rem;align-items:start;gap:1.6rem;display:grid}.detail-main{flex-direction:column;gap:1rem;min-width:0;display:flex}.detail-aside{flex-direction:column;gap:1rem;max-height:calc(100dvh - 3rem);display:flex;position:sticky;top:1.5rem;overflow-y:auto}.proof-list{flex-direction:column;gap:.6rem;margin:0;padding:0;list-style:none;display:flex}.proof-item{border:1px solid var(--rule);border-radius:var(--radius);background:var(--surface)}.proof-item-link{color:var(--ink);flex-direction:column;gap:.3rem;padding:.8rem 1rem;text-decoration:none;display:flex}.proof-item-title{font:600 .98rem var(--font-ui)}.proof-item-sub{font:400 .85rem var(--font-ui);color:var(--muted)}.badge-row{flex-wrap:wrap;gap:.4rem;display:flex}.history-rail{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.history-rail li{grid-template-columns:2.9rem .8rem minmax(0,1fr);align-items:start;gap:.6rem;min-height:2.9rem;display:grid}.history-year{font:600 .8rem var(--font-ui);color:var(--accent);font-variant-numeric:tabular-nums;padding-top:.1rem}.history-rail-line{background:var(--rule);place-self:stretch center;width:2px}.history-event{font:400 .88rem/1.5 var(--font-ui);padding-bottom:.8rem}.plain-list{font:400 1rem/1.55 var(--font-body);flex-direction:column;gap:.4rem;margin:0;padding-left:1.1rem;display:flex}.data-table{border-collapse:collapse;width:100%;font:400 .9rem/1.5 var(--font-ui)}.data-table th{text-align:left;font:600 .78rem var(--font-ui);color:var(--muted);border-bottom:2px solid var(--ink);padding:.5rem .7rem .5rem 0}.data-table td{border-bottom:1px solid var(--rule);padding:.6rem .7rem .6rem 0}.col-strong{font-weight:600}.open-status{flex-direction:column;gap:1.4rem;display:flex}.worked-solution{flex-direction:column;gap:.7rem;display:flex}.ws-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.8rem;display:flex}.ws-grid{grid-template-columns:18rem minmax(0,1fr);align-items:start;gap:1.25rem;display:grid}.step-left{flex-direction:column;gap:1rem;min-width:0;display:flex}.step-nav{flex-direction:column;gap:.5rem;display:flex}.step-nav-list{flex-direction:column;gap:.4rem;margin:0;padding:0;list-style:none;display:flex}.step-nav-btn{border:1px solid var(--rule);border-radius:var(--radius);width:100%;color:var(--ink);background:var(--surface);grid-template-columns:1.7rem minmax(0,1fr);align-items:start;gap:.6rem;padding:.6rem .7rem;text-decoration:none;display:grid}.step-nav-btn[aria-current=step]{border:2px solid var(--accent)}.step-badge{background:var(--paper);width:1.6rem;height:1.6rem;color:var(--muted);font:600 .74rem var(--font-ui);border-radius:50%;place-items:center;display:grid}.step-nav-btn[aria-current=step] .step-badge{background:var(--accent);color:#fff}.step-nav-label{font:400 .88rem/1.35 var(--font-body)}.step-panel{flex-direction:column;gap:.9rem;display:flex}.step-panel-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.6rem;display:flex}.step-panel-kicker{font:600 .8rem var(--font-ui);color:var(--accent)}.step-controls{gap:.4rem;display:flex}.btn-disabled{opacity:.4;pointer-events:none}.step-formula{font:400 1.25rem/1.5 var(--font-body);border-radius:var(--radius);background:var(--paper);padding:.7rem .9rem;overflow-x:auto}.step-model{background:var(--plate);border-radius:var(--radius);--ink:#e7eaf4;padding:.8rem .9rem}.step-intuition{border-radius:var(--radius);background:color-mix(in srgb,var(--green) 9%,var(--surface));border:1px solid color-mix(in srgb,var(--green) 30%,var(--rule));padding:.8rem 1rem}.step-intuition-title{font:600 .8rem var(--font-ui);color:var(--green);margin-bottom:.3rem;display:block}.step-intuition p:last-child,.step-analysis p:last-child{margin-bottom:0}.step-terms{flex-direction:column;gap:.5rem;margin:0;display:flex}.step-term{border:1px solid var(--rule);border-radius:10px;grid-template-columns:minmax(8rem,12rem) minmax(0,1fr);gap:.75rem;padding:.55rem .75rem;display:grid}.step-term dt{font:600 .9rem/1.45 var(--font-ui)}.step-term dd{font:400 .92rem/1.55 var(--font-ui);color:var(--muted);margin:0}@media (max-width:600px){.step-term{grid-template-columns:minmax(0,1fr);gap:.2rem}}.step-model-caption{font:600 .74rem var(--font-ui);color:#a6aecb;margin-bottom:.4rem;display:block}.step-aside{flex-direction:column;gap:.7rem;display:flex}.faq-list{flex-direction:column;gap:.4rem;display:flex}.faq-list details{border:1px solid var(--rule);border-radius:10px;padding:.5rem .75rem}.faq-list summary{font:600 .82rem var(--font-ui);cursor:pointer;align-items:center;min-height:28px;display:flex}.faq-list p{font:400 .85rem/1.5 var(--font-ui);color:var(--muted);margin:.4rem 0 0}.source-box{font:400 .88rem/1.5 var(--font-ui);flex-direction:column;gap:.25rem;display:flex}@media (max-width:900px){.problems-layout,.detail-grid,.ws-grid{grid-template-columns:minmax(0,1fr)}.problems-aside,.detail-aside{position:static}.timeline-row{grid-template-columns:1rem minmax(0,1fr)}.timeline-year{display:none}.timeline-card{grid-template-columns:minmax(0,1fr)}.chip-row{flex-wrap:nowrap;padding-bottom:.2rem;overflow-x:auto}}.competition-page{flex-direction:column;gap:1.2rem;display:flex}.competition-page .crumbs{flex-wrap:wrap}.competition-head,.competition-problem-head{flex-direction:column;gap:.55rem;display:flex}.competition-head h1,.competition-problem-head h1{margin:0}.competition-grid{grid-template-columns:repeat(auto-fill,minmax(min(100%,17rem),1fr));gap:.8rem;display:grid}.competition-card{color:var(--ink);flex-direction:column;gap:.55rem;text-decoration:none;display:flex;position:relative}.competition-card h2,.competition-card h3,.competition-card p{margin:0}.competition-card p{font:400 .94rem/1.5 var(--font-ui);color:var(--muted)}.competition-card-flag{font-size:1.35rem;line-height:1;position:absolute;top:.7rem;right:.8rem}.competition-problem-list{flex-direction:column;gap:.75rem;margin:0;padding:0;list-style:none;display:flex}.competition-problem-card{flex-direction:column;gap:.55rem;display:flex}.competition-statement{font-size:1.08rem;line-height:1.65}.competition-problem-card>a{font:600 .98rem var(--font-ui)}
.avatar{background:var(--plate);color:var(--accent-bright);font:600 1em var(--font-ui);border-radius:50%;flex-shrink:0;place-items:center;text-decoration:none;display:grid;overflow:hidden}.avatar img{object-fit:cover;border-radius:inherit;width:100%;height:100%}.avatar-hero{width:6.75rem;height:6.75rem;font-size:2.1rem;font-family:var(--font-body);border-radius:20px}.chip-person{color:var(--ink);align-items:center;gap:.6rem;min-height:44px;text-decoration:none;display:inline-flex}.chip-person-plain{color:var(--muted)}.chip-person-text{flex-direction:column;gap:.05rem;display:flex}.chip-person-sub{font:500 .74rem var(--font-ui);color:var(--muted)}.chip-person-name{font:600 .92rem var(--font-ui)}.person-row{flex-wrap:wrap;gap:.9rem;display:flex}.person-row .chip-person{border:1px solid var(--rule);border-radius:var(--radius);background:var(--surface);flex:14rem;padding:.6rem .7rem}.person-list{flex-direction:column;gap:.5rem;display:flex}.people-aside{flex-direction:column;gap:.9rem;min-width:0;max-height:calc(100dvh - 3rem);padding-bottom:1rem;padding-right:4px;display:flex;position:sticky;top:1.5rem;overflow-y:auto}.people-aside-title{font:600 1rem var(--font-ui)}.people-filter-form{flex-direction:column;gap:.6rem;min-width:0;display:flex}.people-filter-form .chip-row{flex-wrap:wrap;min-width:0;overflow-x:visible}.select-field{font:500 .78rem var(--font-ui);color:var(--muted);flex-direction:column;gap:.25rem;min-width:0;display:flex}.select-field select{border:1px solid var(--rule);background:var(--surface);min-height:40px;font:500 .88rem var(--font-ui);color:var(--ink);border-radius:10px;min-width:0;max-width:100%;padding:0 .6rem}.chip-radio{min-height:2.2rem;font:500 .82rem var(--font-ui);border:1px solid var(--rule);color:var(--ink);background:var(--surface);cursor:pointer;border-radius:999px;align-items:center;padding:.3rem .75rem;display:inline-flex}.checkbox-list{font:500 .88rem var(--font-ui);flex-direction:column;gap:.3rem;display:flex}.checkbox-list label{align-items:center;gap:.6rem;min-height:2.2rem;display:flex}.checkbox-list input{width:18px;height:18px;accent-color:var(--accent)}.people-group{flex-direction:column;gap:.5rem;margin-bottom:.4rem;display:flex}.people-group-title{font:600 .88rem var(--font-ui);color:var(--muted);align-items:center;gap:.6rem;margin:0;display:flex}.people-group-title:after{content:"";background:var(--rule);flex-grow:1;height:1px}.people-list{flex-direction:column;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.people-row{border:1px solid var(--rule);border-radius:var(--radius);background:var(--surface);grid-template-columns:2.75rem minmax(0,1fr);align-items:start;gap:.9rem;padding:.9rem 1.1rem;display:grid}.people-row>*{min-width:0}.people-row-body{flex-direction:column;gap:.4rem;min-width:0;display:flex}.people-row-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.75rem;display:flex}.people-row .chip-row{flex-wrap:wrap;overflow-x:visible}.people-row .chip-row .badge-tint{white-space:normal;text-align:left;max-width:100%}.people-row-name{color:var(--ink);align-items:baseline;min-width:0;text-decoration:none;display:inline-flex}.people-row-title{font:600 1.05rem/1.3 var(--font-ui)}.people-row-summary{color:var(--muted);font:400 .92rem/1.55 var(--font-ui);text-decoration:none;display:block}.people-row-meta{font:600 .82rem var(--font-ui);color:var(--ink);flex-wrap:wrap;align-items:baseline;gap:.3rem .5rem;min-width:0;display:flex}.tabular{font-variant-numeric:tabular-nums}.math-head{align-items:center;gap:1.4rem;display:flex}.math-head-text{flex-direction:column;flex-grow:1;gap:.4rem;display:flex}.contribution-grid{grid-template-columns:repeat(auto-fill,minmax(15rem,1fr));gap:.8rem;display:grid}.contribution-card{flex-direction:column;gap:.3rem;display:flex}@media (max-width:900px){.people-aside{max-height:none;position:static;overflow:visible}.math-head{text-align:left;flex-direction:column;align-items:flex-start}.avatar-hero{width:4.5rem;height:4.5rem;font-size:1.4rem}}