@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/mathscope/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/mathscope/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/mathscope/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/mathscope/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/mathscope/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Size3-Regular-gV2CO0n9.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/mathscope/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(/mathscope/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/mathscope/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/mathscope/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.0"}.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{--font:"IBM Plex Sans JP", system-ui, -apple-system, "Hiragino Sans", "Noto Sans JP", sans-serif;--bg:#f6f5f1;--surface:#fff;--surface-2:#f0eee8;--text:#1f2328;--muted:#6b6f76;--border:#e2dfd7;--grid:#ebe8e1;--axis:#9a9ca1;--accent:#2e86ab;--accent-ink:#fff;--area:#2e86ab1f;--rect:#f2a54159;--rect-neg:#e4572e4d;--shadow:0 1px 2px #0000000a, 0 4px 16px #0000000a;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#15171a;--surface:#1d2024;--surface-2:#262a2f;--text:#e8e6e1;--muted:#9a9ea6;--border:#2f343a;--grid:#262a2f;--axis:#5d636b;--accent:#5bb3d6;--accent-ink:#0f1215;--area:#5bb3d624;--shadow:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#15171a;--surface:#1d2024;--surface-2:#262a2f;--text:#e8e6e1;--muted:#9a9ea6;--border:#2f343a;--grid:#262a2f;--axis:#5d636b;--accent:#5bb3d6;--accent-ink:#0f1215;--area:#5bb3d624;--shadow:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}body{background:var(--bg);color:var(--text);font:15px/1.6 var(--font);margin:0}button,input{font:inherit;color:inherit}.app{z-index:1;max-width:1320px;margin:0 auto;padding:20px 20px 48px;position:relative}.header{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;margin-bottom:20px;display:flex}.brand{align-items:center;gap:12px;display:flex}.brand h1{letter-spacing:.02em;margin:0;font-size:20px}.brand p{color:var(--muted);margin:0;font-size:13px}.logo{width:40px;height:40px;display:block}.tabs{background:var(--surface-2);scrollbar-width:none;border-radius:10px;gap:4px;max-width:100%;padding:4px;display:flex;overflow-x:auto}.header-nav{align-items:center;gap:8px;min-width:0;max-width:100%;display:flex}.copy-link{border:1px solid var(--border);background:var(--surface);color:var(--muted);cursor:pointer;font:inherit;white-space:nowrap;border-radius:10px;flex:none;align-items:center;gap:6px;padding:7px 12px;font-size:13px;display:inline-flex}.copy-link:hover{color:var(--text);background:var(--surface-2)}.copy-link.ok{color:var(--accent);border-color:var(--accent)}.tab{white-space:nowrap;cursor:pointer;color:var(--muted);background:0 0;border:0;border-radius:7px;flex:none;padding:6px 16px}@media (width<=640px){.copy-link:not(.ok):not(.ng) span{display:none}.copy-link{padding:8px}.tab{padding:6px 10px}}.tab.on{background:var(--surface);color:var(--text);box-shadow:var(--shadow);font-weight:600}.layout{grid-template-columns:360px minmax(0,1fr);align-items:start;gap:20px;display:grid}@media (width<=900px){.layout{grid-template-columns:minmax(0,1fr)}}.panel,.stage{background:var(--surface);border:1px solid var(--border);box-shadow:var(--shadow);border-radius:14px;min-width:0;padding:18px}.panel h2,.stage h2{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin:18px 0 8px;font-size:12px}.panel h2:first-child{margin-top:0}.hint{color:var(--muted);margin:8px 0;font-size:13px}.error{color:#e4572e;margin-top:4px;font-size:13px}input:not([type]),input.wide,.expr-input input{border:1px solid var(--border);background:var(--bg);border-radius:8px;width:100%;padding:8px 10px;font-family:ui-monospace,SF Mono,Menlo,monospace;font-size:14px}input:focus{outline:2px solid var(--accent);outline-offset:-1px}.expr-row{margin-bottom:12px}.expr-input{align-items:center;gap:8px;display:flex}.expr-input .katex{white-space:nowrap}.swatch{border-radius:50%;flex:none;width:12px;height:12px}.expr-tex{flex-direction:column;gap:2px;padding:6px 4px 0 20px;display:flex;overflow-x:auto}.expr-tex .sub{color:var(--muted);font-size:.9em}.btn,.chip,.icon-btn{border:1px solid var(--border);background:var(--surface);cursor:pointer;border-radius:8px;padding:6px 12px}.btn:hover,.chip:hover,.icon-btn:hover{background:var(--surface-2)}.btn:disabled{opacity:.4;cursor:default}.btn.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:600}.icon-btn{min-width:30px;padding:2px 8px;font-size:12px}.icon-btn.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.chips{flex-wrap:wrap;gap:6px;margin:8px 0;display:flex}.chip{border-radius:999px;padding:4px 10px;font-size:13px}.chip.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.chip.mono{font-family:ui-monospace,SF Mono,Menlo,monospace;font-size:12px}.subtabs{flex-wrap:wrap;gap:6px;margin-bottom:14px;display:flex}.controls{flex-wrap:wrap;gap:6px;margin-top:12px;display:flex}.check{cursor:pointer;align-items:center;gap:6px;margin:8px 0;font-size:14px;display:flex}.slider{grid-template-columns:34px 1fr 68px auto;align-items:center;gap:8px;margin:6px 0;display:grid}.slider input[type=range]{width:100%;accent-color:var(--accent)}.slider-num{border:1px solid var(--border);background:var(--bg);border-radius:6px;width:100%;padding:3px 6px;font-size:13px}.slider-name{text-align:right}.readout{background:var(--surface-2);border-radius:10px;margin:12px 0;padding:4px 12px;overflow-x:auto}.readout .katex-display{text-align:left;margin:8px 0}.readout .katex-display>.katex{text-align:left}.plot{width:100%;position:relative}.plot svg{touch-action:none;cursor:grab;-webkit-user-select:none;user-select:none;display:block}.plot svg:active{cursor:grabbing}.plot-reset{border:1px solid var(--border);background:var(--surface);cursor:pointer;opacity:.85;border-radius:6px;padding:3px 8px;font-size:12px;position:absolute;top:8px;right:8px}.grid{stroke:var(--grid);stroke-width:1px}.axis{stroke:var(--axis);stroke-width:1.2px}.tick{fill:var(--muted);font-size:11px}.curve{fill:none;stroke-width:2.5px;stroke-linejoin:round;stroke-linecap:round}.curve.dashed{stroke-dasharray:6 5;stroke-width:2px}.tangent{stroke:#3bb273;stroke-width:2px}.secant{stroke:#f2a541;stroke-width:2px}.delta{stroke:var(--muted);stroke-width:1.2px;stroke-dasharray:4 3}.seg-label{fill:var(--muted);font-size:13px;font-weight:600}.drag-point{cursor:grab;stroke:var(--surface);stroke-width:2px}.area{fill:var(--area)}.rect{fill:var(--rect);stroke:#f2a541;stroke-width:1px}.rect.neg{fill:var(--rect-neg);stroke:#e4572e}.bound{stroke:var(--muted);stroke-dasharray:3 4}.legend{flex-wrap:wrap;gap:16px;margin-top:8px;font-size:13px;display:flex}.figure{touch-action:none;-webkit-user-select:none;user-select:none;cursor:pointer;width:100%;height:auto;display:block}.unit{fill:none;stroke:var(--axis);stroke-width:1.5px}.ghost{fill:none;stroke:var(--grid);stroke-width:2.5px}.ghost-line{stroke:var(--axis);stroke-dasharray:4 4}.radius{stroke:var(--text);stroke-width:2px}.seg{stroke-width:4px;stroke-linecap:round}.guide{stroke:#e4572e;stroke-dasharray:4 4;opacity:.6}.arc{fill:none;stroke:var(--muted);stroke-width:1.5px}.handle{color:var(--text);stroke:var(--surface);stroke-width:2px}.hero-tex{background:var(--surface-2);text-align:center;border-radius:12px;padding:12px 20px;overflow-x:auto}.hero-tex .katex-display{margin:12px 0;font-size:1.35em}.hero-value{color:var(--muted)}.hero-value strong{color:var(--text);font-size:1.15em}.hero-step{color:var(--muted);padding-bottom:6px;font-size:13px}.terms{flex-wrap:wrap;gap:8px;margin-top:12px;display:flex}.term{border:1px solid var(--border);cursor:default;border-left:4px solid;border-radius:8px;align-items:center;gap:10px;padding:6px 10px;display:flex}.term-label{color:var(--muted);font-size:11px}.term-value{color:var(--muted);font-family:ui-monospace,Menlo,monospace;font-size:13px}.tree,.tree ul{margin:0;padding:0;list-style:none}.tree ul{border-left:1px dashed var(--border);margin-left:18px;padding-left:8px}.tree-row{cursor:default;border-radius:8px;flex-wrap:wrap;align-items:center;gap:8px;padding:4px 8px;display:flex}.tree-row:hover,.tree-row.hot{background:var(--surface-2)}.caret{width:16px;color:var(--muted);cursor:pointer;background:0 0;border:0;padding:0;font-family:inherit;font-size:12px}.caret:disabled{cursor:default}.role{color:var(--muted);border:1px solid var(--border);border-radius:4px;padding:0 5px;font-size:11px}.kind{color:var(--accent);font-size:12px;font-weight:600}.detail{color:var(--muted);font-size:12px}.value{color:var(--muted);margin-left:auto;font-family:ui-monospace,Menlo,monospace;font-size:12px}.steps{flex-direction:column;gap:6px;margin:16px 0 0;padding:0;list-style:none;display:flex}.step{border:1px solid var(--border);cursor:pointer;border-radius:10px;padding:8px 14px;animation:.35s rise;overflow-x:auto}.step.current{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.step-label{color:var(--muted);font-size:12px;display:block}.step-rewrite{margin:2px 0;font-size:.9em;display:block}@keyframes rise{0%{opacity:0;transform:translateY(6px)}}.sticky{position:sticky;top:16px}@media (width<=900px){.sticky{position:static}}.field-list{flex-direction:column;gap:2px;display:flex}.field-item{text-align:left;cursor:pointer;background:0 0;border:0;border-radius:8px;justify-content:space-between;padding:6px 10px;display:flex}.field-item:hover{background:var(--surface-2)}.field-item.on{background:var(--accent);color:var(--accent-ink);font-weight:600}.field-item:disabled{opacity:.35;cursor:default}.count{opacity:.7;font-variant-numeric:tabular-nums;font-size:12px}.theorems{flex-direction:column;gap:28px;min-width:0;display:flex}.field-title{letter-spacing:.08em;color:var(--muted);border-bottom:1px solid var(--border);margin:0 0 10px;padding-bottom:6px;font-size:13px}.field-group{flex-direction:column;gap:12px;display:flex}.theorem{background:var(--surface);border:1px solid var(--border);box-shadow:var(--shadow);border-radius:14px;padding:16px 20px;scroll-margin-top:16px}.theorem-head{flex-wrap:wrap;align-items:baseline;gap:10px;display:flex}.theorem-head h3{margin:0;font-size:17px}.aka{color:var(--muted);font-size:12px}.theorem-statement{background:var(--surface-2);border-radius:10px;margin:12px 0;padding:2px 16px;overflow-x:auto}.theorem-cond{color:var(--muted);margin:8px 0;font-size:14px}.tag{color:var(--accent);border:1px solid var(--accent);vertical-align:1px;border-radius:4px;margin-right:8px;padding:0 6px;font-size:11px;font-weight:600;display:inline-block}.theorem-usage ul{margin:6px 0 0;padding-left:22px;font-size:14px}.theorem-usage li{margin:3px 0}.theorem-example{border-top:1px dashed var(--border);margin-top:10px;padding-top:10px;font-size:14px}.theorem-example summary{cursor:pointer}.theorem-example p{background:var(--surface-2);border-radius:8px;margin:8px 0 0 4px;padding:8px 12px;overflow-x:auto}.theorem-links{flex-wrap:wrap;gap:6px;margin-top:12px;display:flex}.theorem-links a{color:var(--accent);text-decoration:none}.fig{border:1px solid var(--border);background:var(--bg);border-radius:12px;margin:12px 0;padding:12px}.fig-svg{touch-action:none;-webkit-user-select:none;user-select:none;width:100%;height:auto;max-height:440px;color:var(--text);display:block}.fig-fo{pointer-events:none;overflow:visible}.fig-tex{white-space:nowrap;align-items:center;height:100%;display:flex}.fig-tex.middle{justify-content:center}.fig-tex.end{justify-content:flex-end}.fig-handle{cursor:grab}.fig-handle-dot{stroke:var(--surface);stroke-width:2px}.fig-grid{stroke:var(--grid);stroke-width:1px}.fig-axis{stroke:var(--axis);stroke-width:1.2px}.fig-line{stroke:currentColor;stroke-width:2px;fill:none}.fig-thin{stroke:var(--axis);stroke-width:1.2px;fill:none}.fig-dash{stroke:var(--muted);stroke-width:1.4px;stroke-dasharray:5 4;fill:none}.fig-label{fill:var(--text);font-size:14px}.fig-muted{fill:var(--muted);font-size:12px}.fig-controls{grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:0 20px;margin-top:8px;display:grid}.fig-controls .chips{grid-column:1/-1;margin:4px 0}.fig-caption{margin-top:8px;font-size:14px;overflow-x:auto}.fig-caption .katex-display{margin:6px 0}.permalink{color:var(--muted);opacity:.5;margin-left:auto;font-size:14px;text-decoration:none}.permalink:hover{opacity:1}.brand{color:inherit;text-decoration:none}.home{flex-direction:column;gap:40px;display:flex}.home>*{min-width:0}a.btn{color:inherit;align-items:center;text-decoration:none;display:inline-flex}a.btn.primary{color:var(--accent-ink)}.hero{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:center;gap:32px;padding:24px 0 8px;display:grid}@media (width<=900px){.hero{grid-template-columns:minmax(0,1fr)}}.eyebrow{color:var(--accent);letter-spacing:.12em;text-transform:uppercase;margin:0;font-size:13px;font-weight:700}.nowrap{white-space:nowrap}.hero-title{letter-spacing:.01em;margin:10px 0 16px;font-size:clamp(34px,9vw,60px);line-height:1.25}.hero-lead{color:var(--muted);max-width:34em;margin:0 0 24px;font-size:16px}.hero-cta{flex-wrap:wrap;gap:10px;display:flex}.hero-cta .btn{padding:10px 18px;font-size:15px;text-decoration:none}.hero-search{align-items:center;gap:8px;max-width:30em;margin-top:20px;display:flex}.hero-search .btn{white-space:nowrap;padding:8px 16px}.hero-search input{font-family:inherit}.hero-art{background:var(--surface);border:1px solid var(--border);width:100%;height:auto;box-shadow:var(--shadow);color:var(--text);border-radius:18px}.hero-slope{color:#3bb273;background:var(--surface);border:1px solid var(--border);border-radius:6px;padding:0 8px;font-size:15px;display:inline-block}.section-title{letter-spacing:.08em;color:var(--muted);margin:0 0 14px;font-size:13px}.features{grid-template-columns:repeat(auto-fill,minmax(min(220px,100%),1fr));gap:14px;display:grid}.feature{background:var(--surface);border:1px solid var(--border);color:inherit;border-radius:14px;padding:14px 16px 16px;text-decoration:none;transition:transform .15s,border-color .15s;display:block}.feature:hover{border-color:var(--accent);transform:translateY(-2px)}.feature-art{background:var(--bg);color:var(--text);border-radius:10px;margin-bottom:12px;padding:8px}.feature-art>svg{width:100%;height:auto;display:block}.feature h3{margin:0 0 6px;font-size:16px}.feature p{color:var(--muted);margin:0;font-size:13px}.picks{grid-template-columns:repeat(auto-fill,minmax(min(260px,100%),1fr));gap:10px;display:grid}.pick{background:var(--surface);border:1px solid var(--border);min-width:0;color:inherit;border-radius:12px;flex-direction:column;gap:4px;padding:12px 14px;text-decoration:none;display:flex;overflow:hidden}.pick:hover{border-color:var(--accent)}.pick-field{color:var(--accent);font-size:11px}.pick-name{font-weight:600}.pick-tex{color:var(--muted);white-space:nowrap;text-overflow:ellipsis;font-size:13px;overflow:hidden;-webkit-mask-image:linear-gradient(90deg,#000 85%,#0000);mask-image:linear-gradient(90deg,#000 85%,#0000)}.math-input{flex-direction:column;gap:4px;display:flex}.math-input input[aria-invalid=true]{border-color:#e4572e}.mi-preview{padding:2px 4px 0;overflow-x:auto}.mi-note{color:var(--muted);padding:0 4px;font-size:12px}.mi-note code,.mi-where{background:var(--surface-2);border-radius:4px;padding:1px 6px;font-family:ui-monospace,SF Mono,Menlo,monospace;font-size:12px}.mi-error{color:#e4572e;flex-direction:column;align-items:flex-start;gap:4px;padding:0 4px;font-size:13px;display:flex}.mi-where{color:var(--text);white-space:pre}.mi-where mark{color:#fff;background:#e4572e;border-radius:2px;padding:0 1px}.hero-carousel{flex-direction:column;gap:10px;min-width:0;display:flex}.hero-stage{border:1px solid var(--border);background:var(--surface);box-shadow:var(--shadow);border-radius:18px;transition:opacity .1s linear;position:relative;overflow:hidden}.hero-canvas{width:100%;display:block}.hero-overlay{background:linear-gradient(to top, var(--surface) 30%, transparent);pointer-events:none;flex-wrap:wrap;align-items:baseline;gap:4px 10px;padding:28px 16px 12px;display:flex;position:absolute;bottom:0;left:0;right:0}.hero-field{letter-spacing:.1em;color:var(--accent);font-size:11px}.hero-title-sm{font-size:14px;font-weight:600}.hero-formula{color:var(--muted);opacity:.85;white-space:nowrap;text-overflow:ellipsis;flex-basis:100%;font-size:13px;overflow:hidden}.hero-nav{border:1px solid var(--border);background:var(--surface);width:34px;height:34px;color:var(--text);cursor:pointer;opacity:0;border-radius:50%;font-size:20px;line-height:1;transition:opacity .2s;position:absolute;top:45%;transform:translateY(-50%)}.hero-nav.prev{left:10px}.hero-nav.next{right:10px}.hero-carousel:hover .hero-nav,.hero-nav:focus-visible{opacity:.85}@media (hover:none){.hero-nav{opacity:.7}}body{overflow-x:clip}.home-bg{pointer-events:none;z-index:0;height:900px;position:absolute;inset:0 0 auto;overflow:hidden;-webkit-mask-image:radial-gradient(65% 75% at 0 0,#000 35%,#0000 100%);mask-image:radial-gradient(65% 75% at 0 0,#000 35%,#0000 100%)}.home-bg-svg{width:100%;height:100%;position:absolute;inset:0}.bg-grid-minor{stroke:var(--text);stroke-opacity:.04;stroke-width:1px}.bg-grid-major{stroke:var(--text);stroke-opacity:.08;stroke-width:1px}.bg-axis line{stroke:var(--text);stroke-opacity:.16;stroke-width:1.2px}.bg-curve{fill:none;stroke-width:2.4px;opacity:.6;stroke-dasharray:4000;stroke-dashoffset:4000px;animation:bg-draw 3.5s ease-out var(--delay,0s) forwards}.bg-curve.sub{stroke:#3bb273;stroke-width:1.6px;opacity:.4}.bg-drift{animation:40s linear infinite bg-drift}.bg-drift.slow{animation-duration:70s}@keyframes bg-draw{to{stroke-dashoffset:0}}@keyframes bg-drift{to{transform:translate(-1600px)}}@media (prefers-reduced-motion:reduce){.bg-curve,.bg-drift{stroke-dashoffset:0;animation:none}}.usecases-title{margin:0 0 6px;font-size:clamp(22px,3vw,28px)}.usecases-lead{color:var(--muted);margin:0 0 18px;font-size:14px}.feature{flex-direction:column;display:flex}.feature-head{align-items:baseline;gap:8px;margin-bottom:4px;display:flex}.feature-head h3{margin:0;font-size:20px}.feature-tab{color:var(--accent);border:1px solid var(--accent);border-radius:999px;padding:0 8px;font-size:11px}.feature p{flex:1;line-height:1.7}.feature-go{color:var(--accent);margin-top:10px;font-size:13px;font-weight:600}.feature-tex{aspect-ratio:200/120;flex-direction:column;justify-content:center;align-items:center;gap:2px;display:flex;overflow:hidden}.feature-tex .katex-display{margin:0;font-size:1.15em}.feature-legend{gap:10px;font-size:11px;display:flex}.steps-mini{align-items:flex-start;padding-left:14%;font-size:15px}:where(a,button,input,[tabindex]):focus-visible{outline:2px solid var(--accent);outline-offset:2px}.error-box{border:1px dashed var(--border);text-align:center;color:var(--muted);border-radius:12px;padding:20px}.error-box p{margin:0 0 10px}@media (width<=900px){.field-list{scrollbar-width:none;flex-direction:row;gap:6px;padding-bottom:4px;overflow-x:auto}.field-item{white-space:nowrap;border:1px solid var(--border);border-radius:999px;flex:none;gap:6px;padding:4px 12px}}.loader{color:var(--muted);flex-direction:column;align-items:center;gap:14px;padding:80px 0;display:flex}.loader-svg{width:120px;height:120px;overflow:visible}.loader-spin{transform-origin:50px 50px;animation:6s linear infinite loader-spin}.loader-track{fill:none;stroke:var(--text);stroke-opacity:.08;stroke-width:1.2px}.loader-spiral{fill:none;stroke-width:2.4px;stroke-linecap:round;stroke-dasharray:1 1;animation:2.4s cubic-bezier(.65,0,.35,1) infinite loader-draw}.loader-dot{fill:#fff;filter:drop-shadow(0 0 3px #a259ff)drop-shadow(0 0 6px #2e86ab);offset-rotate:0deg;animation:2.4s cubic-bezier(.65,0,.35,1) infinite loader-run}.loader-caption{letter-spacing:.08em;flex-direction:column;align-items:center;gap:2px;font-size:13px;display:flex}.loader-caption .katex{color:var(--text);opacity:.7;font-size:1.15em}@keyframes loader-spin{to{transform:rotate(360deg)}}@keyframes loader-draw{0%{stroke-dashoffset:1px}50%{stroke-dashoffset:0}to{stroke-dashoffset:-1px}}@keyframes loader-run{0%{offset-distance:0%;opacity:1}50%{offset-distance:100%;opacity:1}60%,to{offset-distance:100%;opacity:0}}@media (prefers-reduced-motion:reduce){.loader-spin,.loader-spiral,.loader-dot{animation:none}.loader-spiral{stroke-dasharray:none}.loader-dot{display:none}}@media (width>=901px){.theorems-layout{grid-template-columns:220px minmax(0,1fr)}.theorems-side{scrollbar-width:thin;max-height:calc(100vh - 32px);padding:14px;overflow-y:auto}}.theorems-side h2{margin:12px 0 6px}.theorems-side h2:first-child{margin-top:0}.theorems-side input.wide{padding:6px 8px;font-family:inherit;font-size:13px}.theorems-side .check{margin:8px 0 4px;font-size:13px}.theorems-side .field-item{padding:4px 8px;font-size:13px}.slider.stack{flex-direction:column;align-items:stretch;gap:2px;margin:8px 0;display:flex}.slider-top{align-items:center;gap:8px;min-height:28px;display:flex}.slider.stack .slider-name{text-align:left;white-space:nowrap;text-overflow:ellipsis;flex:1;align-items:baseline;gap:6px;min-width:0;font-size:14px;display:flex;overflow:hidden}.slider-label{color:var(--muted);font-size:12px}.slider-value{font-variant-numeric:tabular-nums;align-items:baseline;gap:2px;display:flex}.slider.stack .slider-num{text-align:right;background:0 0;border-color:#0000;width:64px;padding:2px 4px;font-weight:600}.slider.stack .slider-num:hover,.slider.stack .slider-num:focus{border-color:var(--border);background:var(--bg)}.slider-unit{color:var(--muted);font-size:12px}.slider.stack input[type=range]{width:100%;margin:0}.bayes-table-wrap{grid-column:1/-1;margin:4px 0 10px;overflow-x:auto}.bayes-table{border:1px solid var(--border);border-radius:12px;min-width:620px;overflow:hidden}.bayes-row{border-top:1px solid var(--border);cursor:pointer;grid-template-columns:92px minmax(0,1fr) 18px minmax(0,1fr) 18px 70px minmax(120px,1.1fr);align-items:center;gap:8px;padding:10px 14px;display:grid}.bayes-row.head{background:var(--surface-2);color:var(--muted);cursor:default;border-top:0;padding:8px 14px;font-size:12px}.bayes-row.head>span:nth-child(3),.bayes-row.head>span:nth-child(5){text-align:center}.bayes-row.on{background:color-mix(in srgb, var(--c) 10%, transparent)}.bayes-row.foot{background:var(--bg);color:var(--muted);cursor:default;font-size:12px}.bayes-row.foot strong{color:var(--text);font-size:14px}.bayes-row.foot .katex{font-size:1em}.bayes-name{align-items:center;gap:8px;font-weight:700;display:flex}.bayes-swatch{background:var(--c);border-radius:3px;flex:none;width:12px;height:12px}.bayes-cell{flex-direction:column;gap:2px;min-width:0;display:flex}.bayes-cell input[type=range]{width:100%;accent-color:var(--c);margin:0}.bayes-num,.bayes-joint,.bayes-post strong{font-variant-numeric:tabular-nums}.bayes-num{font-size:14px;font-weight:700}.bayes-op{text-align:center;color:var(--muted)}.bayes-post{align-items:center;gap:8px;display:flex}.bayes-bar{background:var(--surface-2);border-radius:4px;flex:1;height:8px;overflow:hidden}.bayes-bar>span{background:var(--c);height:100%;display:block}.bayes-post strong{text-align:right;min-width:48px}.bayes-result{background:var(--surface-2);border-left:0;border-radius:12px;grid-column:1/-1;justify-content:space-between;align-items:center;gap:16px;padding:12px 16px;display:flex}.bayes-ask{color:var(--muted);flex-direction:column;gap:2px;min-width:0;font-size:13px;display:flex}.bayes-ask .katex{color:var(--text);opacity:.85;font-size:1em}.bayes-result>strong{color:var(--c);font-variant-numeric:tabular-nums;font-size:30px}.katex .text{font-family:var(--font);font-size:.86em}.input-grid{grid-template-columns:minmax(0,1fr) minmax(0,1.2fr);align-items:start;gap:20px;display:grid}@media (width<=900px){.input-grid{grid-template-columns:minmax(0,1fr)}}.input-table{border-collapse:collapse;background:var(--surface);border:1px solid var(--border);border-radius:14px;width:100%;font-size:14px;overflow:hidden}.input-table th{text-align:left;color:var(--muted);background:var(--surface-2);padding:8px 14px;font-size:12px;font-weight:600}.input-table td{border-top:1px solid var(--border);padding:9px 14px}.input-table code{font-family:ui-monospace,SF Mono,Menlo,monospace;font-size:13px}.input-demo-wrap{background:var(--surface);border:1px solid var(--border);border-radius:14px;min-height:220px;padding:18px}.input-demo{flex-direction:column;gap:12px;display:flex}.input-demo .btn{align-self:flex-start}.btn.disabled{opacity:.4;pointer-events:none}.home{gap:clamp(72px,9vw,120px)}.section-head{margin-bottom:28px}.section-head .eyebrow{margin:0}.section-head-row{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 20px;display:flex}.section-head h2{letter-spacing:.01em;margin:6px 0 10px;font-size:clamp(26px,3.2vw,34px);line-height:1.3}.section-head-row a{color:var(--accent);white-space:nowrap;font-size:14px;font-weight:600;text-decoration:none}.section-head-row a:hover{text-decoration:underline}.section-lead{color:var(--muted);max-width:46em;margin:0;line-height:1.8}.input-grid{grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);align-items:stretch;gap:24px}@media (width<=900px){.input-grid{grid-template-columns:minmax(0,1fr)}}.input-demo-wrap{flex-direction:column;padding:24px;display:flex}.input-demo{flex:1;gap:16px}.input-demo .mi-preview{padding:14px 4px 6px;font-size:1.6em}.input-demo .btn{margin-top:auto}.input-table{font-size:13px}.input-table td{padding:7px 14px}.input-table th{padding:8px 14px}.picks{grid-template-columns:repeat(auto-fill,minmax(min(250px,100%),1fr));gap:12px}.pick{gap:6px;padding:16px 18px;transition:border-color .15s,transform .15s}.pick:hover{transform:translateY(-2px)}.pick-name{font-size:15px}.pick-tex{color:var(--text);opacity:.8;padding-top:4px;font-size:15px;-webkit-mask-image:none;mask-image:none}.closing{border:1px solid var(--border);background-color:var(--surface);background-image:linear-gradient(var(--grid) 1px, transparent 1px), linear-gradient(90deg, var(--grid) 1px, transparent 1px);background-size:28px 28px;border-radius:20px;grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);align-items:center;gap:32px;padding:clamp(28px,4vw,52px);display:grid}@media (width<=900px){.closing{grid-template-columns:minmax(0,1fr)}}.closing h2{margin:0 0 10px;font-size:clamp(24px,3vw,32px);line-height:1.35}.closing p{color:var(--muted);margin:0 0 22px}.closing-stats{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:0;display:grid}.closing-stats div{background:var(--surface);border:1px solid var(--border);border-radius:14px;padding:14px 18px}.closing-stats dt{color:var(--muted);font-size:12px}.closing-stats dd{color:var(--accent);font-variant-numeric:tabular-nums;margin:2px 0 0;font-size:34px;font-weight:700;line-height:1.2}.site-footer{border-top:1px solid var(--border);color:var(--muted);flex-wrap:wrap;align-items:center;gap:10px 20px;margin-top:clamp(72px,9vw,120px);padding:24px 0 8px;font-size:13px;display:flex}.site-footer a{color:var(--muted);text-decoration:none}.site-footer a:hover{color:var(--text)}.site-footer>a:last-child{margin-left:auto}.site-footer-brand{align-items:center;gap:8px;font-weight:700;display:inline-flex;color:var(--text)!important}.mini-plot{background:var(--bg);border:1px solid var(--border);border-radius:10px;width:100%;height:150px;display:block}.mini-plot.empty{color:var(--muted);place-items:center;font-size:13px;display:grid}@media (width<=900px){.graph-layout .stage{z-index:5;border-radius:0 0 14px 14px;order:-1;padding:8px;position:sticky;top:0}.graph-layout .stage .hint{margin:4px 0 0;font-size:12px}}@media (width<=640px){.theorem{padding:14px 12px}.theorem .fig{margin-left:-6px;margin-right:-6px;padding:8px 6px}.theorem-statement{padding:2px 10px;font-size:.92em}.home .pick:nth-child(n+7){display:none}}.theorem-statement{background:linear-gradient(to left, var(--surface-2), var(--surface-2)) local right / 28px 100% no-repeat, radial-gradient(farthest-side at 100% 50%, color-mix(in srgb, var(--text) 30%, transparent), transparent) scroll right / 14px 100% no-repeat, var(--surface-2)}.fig-caption{background:linear-gradient(to left, var(--bg), var(--bg)) local right / 28px 100% no-repeat, radial-gradient(farthest-side at 100% 50%, color-mix(in srgb, var(--text) 30%, transparent), transparent) scroll right / 14px 100% no-repeat}.icon-tool{border:1px solid var(--border);background:var(--surface);color:var(--muted);cursor:pointer;font:inherit;border-radius:10px;flex:none;align-items:center;gap:6px;padding:7px 10px;font-size:13px;display:inline-flex}.icon-tool:hover{color:var(--text);background:var(--surface-2)}.icon-tool.on{color:var(--accent-ink);background:var(--accent);border-color:var(--accent)}@media (width<=640px){.icon-tool span{display:none}.icon-tool{padding:8px}.icon-tool[aria-pressed]{display:none}}:root[data-present] body{font-size:19px}:root[data-present] .app{max-width:none;padding:12px 20px 20px}:root[data-present] .header{margin-bottom:12px}:root[data-present] .brand p,:root[data-present] .site-footer,:root[data-present] .panel>.hint,:root[data-present] .stage>.hint{display:none}:root[data-present] .layout{grid-template-columns:400px minmax(0,1fr)}:root[data-present] .tick{font-size:16px}:root[data-present] .curve{stroke-width:4px}:root[data-present] .katex{font-size:1.3em}:root[data-present] .hero-tex .katex{font-size:1.6em}:root[data-present] .slider-num{font-size:18px}.feature-pt circle{fill:var(--surface);stroke-width:2.2px}.pt-label{fill:var(--text);paint-order:stroke;stroke:var(--surface);stroke-width:4px;stroke-linejoin:round;pointer-events:none;font-size:12px}:root[data-present] .pt-label{font-size:17px}.course{color:var(--muted);border:1px solid var(--border);white-space:nowrap;border-radius:999px;padding:1px 8px;font-size:11px}.no-hits{background:var(--surface);border:1px solid var(--border);border-radius:14px;padding:18px 20px}.no-hits>p:first-child{margin:0 0 10px;font-weight:600}.no-hits-links{margin:0 0 8px;padding-left:1.2em}.no-hits-links li{margin:4px 0}.no-hits-links a{color:var(--accent)}.link-btn{color:var(--accent);cursor:pointer;font-size:inherit;background:0 0;border:0;padding:0;text-decoration:underline}.hero-link{z-index:1;justify-content:flex-end;align-items:flex-start;padding:12px;text-decoration:none;display:flex;position:absolute;inset:0}.hero-link span{color:var(--text);background:color-mix(in srgb, var(--surface) 85%, transparent);border:1px solid var(--border);opacity:0;border-radius:999px;padding:4px 10px;font-size:12px;transition:opacity .2s,transform .2s;transform:translateY(-4px)}.hero-stage:hover .hero-link span,.hero-link:focus-visible span{opacity:1;transform:none}@media (hover:none){.hero-link span{opacity:.9;transform:none}}.hero-nav{z-index:2}.pick-go{color:var(--accent);margin-top:auto;padding-top:4px;font-size:12px}.mi-keys{scrollbar-width:none;gap:6px;padding:2px 0 4px;display:flex;overflow-x:auto}.mi-keys button{border:1px solid var(--border);background:var(--surface-2);min-width:40px;height:36px;color:var(--text);border-radius:8px;flex:none;font-family:ui-monospace,SF Mono,Menlo,monospace;font-size:15px}.mi-keys button:active{background:var(--accent);color:var(--accent-ink)}.theme-in-header,.theme-in-footer{display:contents}.theme-in-footer{display:none}@media (width<=640px){.theme-in-header{display:none}.theme-in-footer{display:contents}}.header-tools{align-items:center;gap:8px;display:flex}.header-tools[data-hidden]{visibility:hidden}.copy-link span{text-align:center;min-width:8em;display:inline-block}.icon-tool span{text-align:center;min-width:3em;display:inline-block}@media (width<=640px){.copy-link span{min-width:0}}.theorem-gist{color:var(--text);margin:6px 0 0;font-size:15px;line-height:1.7}.theorem-try{border-left:3px solid var(--accent);background:color-mix(in srgb, var(--accent) 8%, transparent);border-radius:0 10px 10px 0;margin:4px 0 10px;padding:10px 14px;font-size:14px}.theorem-try ul{margin:6px 0 0;padding-left:1.2em}.theorem-try li+li{margin-top:4px}.theorem-related{border-top:1px dashed var(--border);flex-wrap:wrap;align-items:center;gap:6px 12px;margin-top:12px;padding-top:10px;font-size:13px;display:flex}.theorem-related a{color:var(--accent);text-decoration:none}.theorem-related a:hover{text-decoration:underline}.theorem-grid{grid-template-columns:repeat(auto-fill,minmax(min(280px,100%),1fr));gap:10px;display:grid}.theorem-item{background:var(--surface);border:1px solid var(--border);color:inherit;border-radius:12px;flex-direction:column;gap:6px;padding:14px 16px;text-decoration:none;transition:border-color .15s,transform .15s;display:flex}.theorem-item:hover{border-color:var(--accent);transform:translateY(-1px)}.theorem-item-head{justify-content:space-between;align-items:baseline;gap:8px;display:flex}.theorem-item-name{font-weight:600}.theorem-item-gist{color:var(--muted);font-size:13px;line-height:1.6}.field-group+.field-group{margin-top:24px}.theorem-page{max-width:880px;margin:0 auto}.crumbs{color:var(--muted);flex-wrap:wrap;align-items:center;gap:6px;margin:0 0 12px;font-size:13px;display:flex}.crumbs a{color:var(--accent);text-decoration:none}.crumbs a:hover{text-decoration:underline}.theorem-page .theorem{padding:22px 26px}.theorem-page .theorem-head h3{margin:0;font-size:26px}.theorem-page .theorem-gist{font-size:16px}.theorem-page .permalink{display:none}.theorem-pager{grid-template-columns:1fr 1fr;gap:10px;margin-top:14px;display:grid}.theorem-pager a{border:1px solid var(--border);background:var(--surface);color:inherit;border-radius:12px;flex-direction:column;gap:2px;padding:12px 16px;text-decoration:none;display:flex}.theorem-pager a:hover{border-color:var(--accent)}.theorem-pager a span{color:var(--muted);font-size:12px}.theorem-pager .next{text-align:right}@media (width<=640px){.theorem-page .theorem{padding:14px 12px}.theorem-page .theorem-head h3{font-size:21px}}.row-tools{flex-wrap:wrap;align-items:center;gap:6px;margin:4px 0 2px 22px;display:flex}.row-tools .chip{padding:2px 9px;font-size:12px}.area-range{align-items:center;gap:4px;font-size:13px;display:inline-flex}.area-range input{border:1px solid var(--border);background:var(--surface-2);border-radius:6px;width:56px;padding:2px 6px}.icon-btn.eye.off{opacity:.45}.param-row{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:4px;display:grid;position:relative}.param-row .range-edit{grid-column:1/-1}.range-btn{width:26px;height:26px;padding:0;font-size:14px}.range-btn[aria-expanded=true]{color:var(--accent);border-color:var(--accent)}.range-edit{color:var(--muted);flex-wrap:wrap;align-items:center;gap:6px 10px;padding:6px 8px 10px;font-size:12px;display:flex}.range-edit label{align-items:center;gap:4px;display:inline-flex}.range-edit input{border:1px solid var(--border);background:var(--surface-2);width:62px;color:var(--text);border-radius:6px;padding:2px 6px}.curve.deriv{stroke-dasharray:7 5;stroke-width:2px;opacity:.85}.trace-drop{stroke:var(--muted);stroke-dasharray:3 3}.howto{color:var(--muted);margin:0 0 10px;font-size:13px}.howto summary{cursor:pointer}.howto .hint{margin:6px 0 0}.graph-toggles{flex-wrap:wrap;gap:6px;margin:12px 0 4px;display:flex}.dropdown{position:relative}.dropdown-btn{border:1px solid var(--border);background:var(--surface-2);width:100%;color:var(--text);font:inherit;cursor:pointer;text-align:left;border-radius:10px;justify-content:space-between;align-items:center;gap:8px;padding:9px 12px;font-size:14px;display:flex}.dropdown-btn:hover{border-color:var(--accent)}.dropdown-btn:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.dropdown-btn svg{color:var(--muted);flex:none;transition:transform .15s}.dropdown.open .dropdown-btn{border-color:var(--accent)}.dropdown.open .dropdown-btn svg{transform:rotate(180deg)}.dropdown-list{z-index:20;background:var(--surface);border:1px solid var(--border);overscroll-behavior:contain;border-radius:12px;max-height:min(360px,60vh);padding:6px;position:absolute;top:calc(100% + 6px);left:0;right:0;overflow-y:auto;box-shadow:0 12px 32px #00000047}.dropdown-group{letter-spacing:.04em;color:var(--muted);background:var(--surface);padding:8px 8px 4px;font-size:11px;font-weight:600;position:sticky;top:-6px}.dropdown-item{cursor:pointer;border-radius:7px;padding:7px 10px 7px 16px;font-size:14px}.dropdown-item.active{background:color-mix(in srgb, var(--accent) 16%, transparent);color:var(--text)}.zukai-nav{flex-wrap:wrap;gap:8px 18px;display:flex}.zukai-group{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.zukai-group-label{color:var(--muted);letter-spacing:.04em;margin-right:2px;font-size:11px;font-weight:600}.zukai-related{border-top:1px dashed var(--border);flex-wrap:wrap;align-items:center;gap:4px 12px;margin-top:14px;padding-top:10px;font-size:13px;display:flex}.zukai-related a{color:var(--accent);text-decoration:none}.zukai-related a:hover{text-decoration:underline}