@font-face{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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.22"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.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 .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.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 .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.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 .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.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;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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.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 .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 .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>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.collapse{visibility:collapse}.visible{visibility:visible}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.fixed{position:fixed}.relative{position:relative}.static{position:static}.sticky{position:sticky}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.isolate{isolation:isolate}.block{display:block}.contents{display:contents}.grid{display:grid}.hidden{display:none}.inline{display:inline}.table{display:table}.grow{flex-grow:1}.ordinal{--tw-ordinal:ordinal;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.invert{--tw-invert:invert(100%);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}}:root{--paper:#f7f3ea;--surface:#fffdf8;--surface-strong:#fff;--ink:#211f1b;--muted:#706a60;--line:#ddd4c6;--line-strong:#b7aa98;--blue:#2f68c9;--blue-deep:#1d4f9e;--blue-soft:#dfeaff;--green:#237a4b;--green-soft:#e1f3e7;--gold:#a96813;--gold-soft:#fff1cf;--shadow:0 18px 55px #241d121a;--radius:12px;--dock-height:104px}*{box-sizing:border-box}html{background:radial-gradient(circle at 8% 0%, #2f68c91a, transparent 32rem), linear-gradient(145deg, #faf7f0, var(--paper));min-height:100%}body{min-height:100vh;color:var(--ink);margin:0;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}button{font:inherit}button:focus-visible{outline-offset:3px;outline:3px solid #2f68c947}.app-shell{width:min(1240px,100% - 32px);margin:0 auto;padding:24px 0 18px}.topbar{justify-content:space-between;align-items:flex-start;gap:24px;margin-bottom:20px;display:flex}.eyebrow{color:var(--muted);letter-spacing:.1em;text-transform:uppercase;margin:0 0 5px;font-size:.7rem;font-weight:850}h1,h2,p{margin-top:0}h1{letter-spacing:-.04em;margin-bottom:7px;font-size:clamp(1.72rem,3.7vw,2.85rem);line-height:1.02}h2{letter-spacing:-.015em;margin-bottom:0;font-size:1.05rem}.subtitle{max-width:670px;color:var(--muted);margin-bottom:0;line-height:1.5}.top-actions{flex-wrap:wrap;flex:none;gap:7px;display:flex}.tool-button,.reason-toggle{border:1px solid var(--line);min-height:39px;color:var(--ink);cursor:pointer;background:#ffffffd1;border-radius:9px;padding:0 13px;font-weight:720}.tool-button:hover:not(:disabled),.reason-toggle:hover{border-color:var(--line-strong);background:#fff}.tool-button:disabled{cursor:not-allowed;opacity:.4}.tool-button.is-primary{border-color:var(--blue-deep);background:var(--blue);color:#fff;box-shadow:0 8px 20px #2f68c933}.tool-button.is-primary:hover:not(:disabled){border-color:var(--blue-deep);background:var(--blue-deep)}.challenge-banner{border:1px solid var(--line);border-radius:var(--radius);background:#fffdf8d1;grid-template-columns:auto 1fr auto;align-items:center;gap:15px;margin-bottom:16px;padding:14px 16px;display:grid;box-shadow:0 8px 30px #241d120f}.challenge-number{background:var(--blue-soft);width:42px;height:42px;color:var(--blue-deep);border-radius:50%;place-items:center;font-size:.82rem;font-weight:900;display:grid}.challenge-copy{min-width:0}.challenge-copy h2{margin:0;font-size:1.02rem}.status-pill{border:1px solid var(--line);color:var(--muted);white-space:nowrap;border-radius:999px;align-items:center;gap:7px;padding:7px 10px;font-size:.77rem;font-weight:800;display:inline-flex}.status-dot{background:var(--gold);width:7px;height:7px;box-shadow:0 0 0 4px var(--gold-soft);border-radius:50%}.status-pill.is-complete{background:var(--green-soft);color:var(--green);border-color:#b8dcc6}.status-pill.is-complete .status-dot{background:var(--green);box-shadow:0 0 0 4px #237a4b1f}.briefing-stage{border-radius:calc(var(--radius) + 4px);background:radial-gradient(circle at 18% 10%,#2f68c91f,#0000 21rem),radial-gradient(circle at 84% 85%,#a968131a,#0000 19rem),#fffdf89e;border:1px solid #2f68c929;place-items:start center;min-height:min(650px,100vh - 150px);padding:clamp(20px,5vw,58px) 16px;display:grid}.briefing-card{border:1px solid var(--line);background:#fffffff0;border-radius:18px;width:min(700px,100%);padding:clamp(22px,5vw,42px);box-shadow:0 24px 70px #241d1224}.briefing-card h2{letter-spacing:-.04em;margin:2px 0 9px;font-size:clamp(1.7rem,4vw,2.6rem)}.briefing-card h2:focus-visible{outline:3px solid var(--blue);outline-offset:5px;border-radius:7px}.briefing-number{color:var(--blue-deep);margin:18px 0 0;font-size:.76rem;font-weight:850}.briefing-objective{max-width:39rem;color:var(--muted);margin:0;font-size:.96rem;line-height:1.55}.briefing-route{border:1px solid var(--line);background:var(--surface);border-radius:13px;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:15px;margin-top:24px;padding:17px;display:grid}.briefing-route>div{gap:7px;min-width:0;display:grid}.briefing-route>div>span:first-child{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.68rem;font-weight:850}.briefing-route .static-math,.briefing-route strong{min-width:0;color:var(--ink);white-space:nowrap;font-size:clamp(1.2rem,3vw,1.65rem);overflow-x:auto}.briefing-arrow{color:var(--gold);font-size:1.45rem;font-weight:900}.briefing-prompt{background:var(--gold-soft);color:#765015;border-radius:12px;align-items:flex-start;gap:12px;margin-top:16px;padding:14px 15px;display:flex}.briefing-prompt>span{background:var(--gold);color:#fff;border-radius:50%;flex:none;place-items:center;width:25px;height:25px;font-weight:900;display:grid}.briefing-prompt strong{font-size:.8rem}.briefing-prompt p{margin:3px 0 0;font-size:.88rem;line-height:1.5}.briefing-actions{flex-wrap:wrap;align-items:center;gap:11px;margin-top:22px;display:flex}.briefing-actions .tool-button{min-height:45px;padding-inline:19px}.briefing-actions p{color:var(--muted);margin:0;font-size:.75rem}.workspace{grid-template-columns:minmax(0,1fr) 330px;align-items:start;gap:16px;display:grid}.proof-card,.rules-card{border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow);background:#fffdf8e0}.proof-card{min-height:520px;overflow:hidden}.section-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:14px;padding:17px 19px;display:flex}.reason-toggle{min-height:34px;color:var(--muted);padding:0 10px;font-size:.75rem}.proof-paper{--paper-pad-x:34px;--paper-pad-top:32px;--paper-pad-bottom:32px;--rule-pitch:74px;--rule-ink:#627ea724;min-height:450px;padding:var(--paper-pad-top) var(--paper-pad-x) var(--paper-pad-bottom);background-color:#fffefa;flex-direction:column;display:flex}.paper-rest{min-height:calc(2 * var(--rule-pitch));margin:0 calc(-1 * var(--paper-pad-x)) calc(-1 * var(--paper-pad-bottom));padding:0 var(--paper-pad-x) var(--paper-pad-bottom);background-image:linear-gradient(to bottom, transparent calc(var(--rule-pitch) - 1px), var(--rule-ink) calc(var(--rule-pitch) - 1px));background-size:100% var(--rule-pitch);flex:auto}.sr-only{white-space:nowrap;clip-path:inset(50%);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.proof-lines{margin-inline:calc(-1 * var(--paper-pad-x));padding-inline:var(--paper-pad-x);display:grid}.proof-line:focus-visible{outline:2px solid var(--blue);outline-offset:-2px;border-radius:8px}.proof-line{min-height:var(--rule-pitch);border-bottom:1px solid var(--rule-ink);grid-template-columns:30px minmax(0,1fr) auto;align-items:center;display:grid}.relation{color:var(--muted);text-align:center;font-family:Georgia,serif;font-size:1.85rem}.expression-slot{min-width:0;padding:10px 8px 4px;overflow:auto visible}.static-math,.expression-stage{font-size:clamp(1.42rem,3vw,2rem)}.static-math{display:inline-block}.expression-stage{--insert-column:8px;white-space:nowrap;justify-content:start;align-items:end;row-gap:3px;display:inline-grid}.factor-row{display:contents}.factor{min-width:0;min-height:52px;color:var(--ink);border-radius:8px;grid-row:1;place-items:center;padding:5px 2px;transition:background-color .12s,color .12s;display:inline-grid}.factor.is-atom{min-width:34px;padding-inline:6px}.factor.is-open,.factor.is-close{padding-inline:0}.factor.is-script{margin-left:-1px;padding-inline:0}.factor.is-relation{min-width:30px;color:var(--ink);padding-inline:11px}.factor.is-candidate{background:#f0b43c21}.factor.is-active{background:var(--gold-soft);color:#70450d}.target{cursor:pointer;background:0 0;border:0;border-radius:0 0 7px 7px;align-content:start;justify-items:center;gap:1px;min-height:30px;margin:0 2px;padding:0;display:grid}.target-bracket{border:2px solid var(--gold);background:#f0b43c1a;border-top:0;border-radius:0 0 7px 7px;width:100%;height:9px}.target-label{background:var(--gold);color:#fff;border-radius:999px;padding:0 6px;font-family:Inter,sans-serif;font-size:.58rem;font-weight:900;line-height:1.55}.target:hover .target-bracket,.target.is-active .target-bracket{background:var(--gold-soft);border-color:#d99a1c}.target:focus-visible{outline:3px solid var(--blue);outline-offset:3px;border-radius:7px}.whole-line{border:2px solid var(--blue);background:var(--blue-soft);min-height:38px;color:var(--blue-deep);cursor:pointer;white-space:nowrap;border-radius:999px;align-items:center;margin-top:9px;padding:0 15px;font-family:Inter,sans-serif;font-size:.78rem;font-weight:850;display:inline-flex}.whole-line:hover:not(:disabled){border-color:var(--blue-deep);background:#cfe0ff}.whole-line:focus-visible{outline:3px solid var(--blue);outline-offset:3px}.whole-line:disabled{cursor:not-allowed;opacity:.45}.reason-slot{justify-items:start;gap:4px;display:grid}.reason{border:1px solid var(--line);min-height:34px;color:var(--muted);cursor:pointer;white-space:nowrap;background:#ffffffb3;border-radius:999px;align-items:center;gap:5px;padding:0 10px;font-size:.73rem;display:inline-flex}.reason:hover{border-color:var(--line-strong);color:var(--ink)}.reason-caret{font-weight:900}.reason-detail{max-width:190px;color:var(--muted);white-space:normal;margin:0;font-size:.71rem;line-height:1.45}.selection-note,.success-note{max-width:34rem;color:var(--muted);background:#ffffffc7;border-radius:9px;align-items:center;gap:10px;margin:30px 0 0 38px;padding:10px 12px;font-size:.8rem;display:flex}.selection-note div{gap:2px;display:grid}.selection-note strong{color:var(--ink)}.selection-note span:last-child{line-height:1.45}.selection-note.is-empty .selection-swatch{border-color:var(--muted);background:0 0;border-style:dashed}.selection-swatch{border:2px solid var(--gold);background:var(--gold-soft);border-radius:5px;flex:none;width:19px;height:19px}.success-note{background:var(--green-soft);color:var(--green);border:1px solid #b8dcc6;animation:.42s ease-out both success-arrives}.success-mark{background:var(--green);color:#fff;border-radius:50%;place-items:center;width:27px;height:27px;font-weight:900;display:grid}.success-note div{gap:1px;display:grid}.success-note span:last-child{color:#426d53;font-size:.76rem}@keyframes success-arrives{0%{opacity:0;transform:translateY(8px)scale(.985)}to{opacity:1;transform:translateY(0)scale(1)}}.rules-card{padding:18px}.rules-heading{margin-bottom:15px}.rules-heading h2{font-size:1.15rem}.rules-heading>p:last-child{color:var(--muted);margin:6px 0 0;font-size:.83rem;line-height:1.45}.rule-list{gap:10px;display:grid}.rule-card{border:1px solid var(--line);background:var(--surface-strong);width:100%;color:var(--ink);text-align:left;cursor:pointer;border-radius:10px;gap:9px;padding:13px;transition:border-color .12s,box-shadow .12s,transform .1s;display:grid}.rule-card:hover{border-color:var(--line-strong);transform:translateY(-1px)}.rule-card.is-active{border-color:var(--blue);background:linear-gradient(145deg, #fff, var(--blue-soft));box-shadow:0 0 0 2px #2f68c91a}.rule-topline{justify-content:space-between;align-items:center;gap:8px;display:flex}.rule-name{font-size:.87rem;font-weight:820}.candidate-count{background:var(--gold-soft);color:#76501b;border-radius:999px;padding:3px 6px;font-size:.61rem;font-weight:850}.candidate-count.is-zero{color:var(--muted);background:#f0ece5}.rule-formula{color:var(--blue-deep);font-size:1.08rem}.rule-description{color:var(--muted);font-size:.74rem;line-height:1.4}.target.is-insertion{justify-self:center;margin:0}.target.is-insertion .target-bracket{border:2px dashed var(--blue);border-top:2px dashed var(--blue);background:var(--blue-soft);border-radius:5px;width:14px;height:14px}.target.is-insertion .target-label{background:var(--blue-deep)}.target.is-insertion:hover .target-bracket,.target.is-insertion.is-active .target-bracket{background:#cfe0ff;border-style:solid}.target:disabled{cursor:not-allowed;opacity:.45}.notice{border:1px solid var(--line);border-radius:9px;margin:0 0 14px;padding:9px 12px;font-size:.82rem;line-height:1.45}.notice.is-ok{background:var(--green-soft);color:var(--green);border-color:#b8dcc6}.notice.is-error{color:#94391c;background:#fdeee8;border-color:#e0bdb0}.share-card,.menu-card{border:1px solid var(--line);border-radius:var(--radius);background:#fffdf8db;gap:12px;margin-bottom:16px;padding:14px 16px;display:grid}.share-actions{flex-wrap:wrap;gap:8px;display:flex}.share-import{justify-items:start;gap:7px;display:grid}.share-import label,.free-field label,.instantiation label{color:var(--muted);font-size:.74rem;font-weight:800}.share-import textarea,.free-field input,.instantiation input{border:1px solid var(--line);background:var(--surface-strong);width:100%;color:var(--ink);border-radius:8px;padding:8px 10px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.85rem}.share-import textarea:focus-visible,.free-field input:focus-visible,.instantiation input:focus-visible{outline-offset:1px;outline:3px solid #2f68c947}.share-note,.free-note{color:var(--muted);margin:0;font-size:.74rem;line-height:1.45}.free-note code{background:#efe9de;border-radius:4px;padding:1px 4px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.72rem}.free-fields{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:end;gap:12px;display:grid}.free-field{gap:6px;min-width:0;display:grid}.field-preview{min-width:0;max-width:100%;min-height:26px;color:var(--ink);font-size:1.05rem;display:block;overflow-x:auto}.field-preview.is-error{color:#94391c;font-size:.74rem;line-height:1.4}.field-preview.is-muted{color:var(--muted);font-size:.74rem}.menu-card{padding:0}.menu-card .section-heading{padding:15px 17px}.menu-card>:not(.section-heading):not(.challenge-list){margin-inline:17px}.menu-card>:last-child{margin-bottom:16px}.menu-lead{color:var(--muted);margin:12px 0 0;font-size:.84rem;line-height:1.5}.menu-card .free-fields,.menu-card .share-import{margin-top:12px}.menu-card .tool-button{justify-self:start}.topbar.is-menu{flex-direction:column;gap:6px;margin-bottom:18px}.topbar.is-menu h1{margin:0}.topbar.is-menu h1:focus-visible{outline:3px solid var(--blue);outline-offset:4px;border-radius:8px}.course-spotlight{border-radius:calc(var(--radius) + 3px);background:radial-gradient(circle at 88% 16%,#ffffff7a,#0000 12rem),linear-gradient(135deg,#eaf1ff,#dfeaff 58%,#eef3ff);border:1px solid #2f68c947;grid-template-columns:minmax(0,1.6fr) minmax(230px,.7fr);gap:18px;margin-bottom:16px;padding:clamp(18px,3vw,28px);display:grid;box-shadow:0 18px 48px #2f68c921}.course-spotlight-copy{align-content:start;justify-items:start;gap:9px;display:grid}.course-spotlight-copy h2{letter-spacing:-.035em;font-size:clamp(1.35rem,2.5vw,2rem)}.course-spotlight-copy p:not(.eyebrow){color:#42536c;max-width:48rem;margin:0;line-height:1.55}.course-spotlight-copy .tool-button{margin-top:5px}.course-progress{border-radius:var(--radius);background:#ffffff80;border:1px solid #ffffffb8;align-content:center;gap:9px;padding:16px;display:grid}.course-progress-number{align-items:baseline;gap:7px;display:flex}.course-progress-number strong{color:var(--blue-deep);font-size:2rem;line-height:1}.course-progress-number span,.course-progress p{color:#50617b;font-size:.76rem;font-weight:700}.course-progress p{margin:0}.course-progress-track{background:#1d4f9e1f;border-radius:999px;height:9px;overflow:hidden}.course-progress-track span{border-radius:inherit;background:linear-gradient(90deg, var(--blue), #6d89df);height:100%;transition:width .36s;display:block}.chapter-list{gap:10px;margin-top:2px;display:grid}.chapter-card{border:1px solid var(--line);background:#ffffff85;border-radius:11px;overflow:hidden}.chapter-card summary{cursor:pointer;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:12px;min-height:66px;padding:10px 13px;list-style:none;display:grid}.chapter-card summary::-webkit-details-marker{display:none}.chapter-card summary:hover{background:#2f68c90b}.chapter-card summary:focus-visible{outline-offset:-3px;outline:3px solid #2f68c959}.chapter-index{background:var(--blue-soft);width:36px;height:36px;color:var(--blue-deep);border-radius:11px;place-items:center;font-size:.78rem;font-weight:900;display:grid}.chapter-copy{gap:3px;min-width:0;display:grid}.chapter-copy strong{font-size:.94rem}.chapter-copy span{color:var(--muted);font-size:.78rem;line-height:1.4}.chapter-count{background:var(--surface);color:var(--muted);border-radius:999px;padding:4px 8px;font-size:.72rem;font-weight:850}.chapter-outcome{border-top:1px solid var(--line);background:var(--gold-soft);color:#765015;margin:0;padding:9px 13px;font-size:.78rem;line-height:1.45}.chapter-card .challenge-list{border-top:1px solid var(--line)}.challenge-list{margin:0;padding:0;list-style:none;display:grid}.challenge-entry{border:0;border-bottom:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;align-items:flex-start;gap:13px;width:100%;padding:13px 17px;display:flex}.challenge-list li:last-child .challenge-entry{border-bottom:0}.challenge-entry:hover{background:#2f68c90d}.challenge-entry:focus-visible{outline:3px solid var(--blue);outline-offset:-3px}.challenge-entry-number{background:var(--blue-soft);width:34px;height:34px;color:var(--blue-deep);border-radius:50%;flex:none;place-items:center;font-size:.74rem;font-weight:900;display:grid}.challenge-entry-copy{gap:3px;min-width:0;display:grid}.challenge-entry-copy strong{color:var(--ink);font-size:.92rem}.challenge-entry-copy span{color:var(--muted);font-size:.81rem;line-height:1.45}.challenge-entry.is-done .challenge-entry-number{background:var(--green-soft);color:var(--green)}.challenge-entry.is-locked{cursor:pointer}.challenge-entry.is-locked .challenge-entry-copy strong,.challenge-entry.is-locked .challenge-entry-copy span{color:var(--muted)}.challenge-entry.is-locked .challenge-entry-number{background:var(--surface);border:1px dashed var(--line-strong);color:var(--line-strong);font-size:.6rem}.challenge-entry-score{font-weight:700;color:var(--green)!important;font-size:.76rem!important}.challenge-list li{display:grid;position:relative}.challenge-entry-review{color:var(--blue);font:inherit;text-underline-offset:3px;cursor:pointer;background:0 0;border:0;justify-self:start;margin:-6px 0 11px 64px;padding:2px 0;font-size:.78rem;text-decoration:underline}.challenge-entry-review:hover{color:var(--blue-deep)}.challenge-entry-review:focus-visible{outline:3px solid var(--blue);outline-offset:3px;border-radius:4px}.earned-list{gap:7px;margin:12px 0 0;padding:0;list-style:none;display:grid}.earned-law{border:1px solid var(--line);background:var(--green-soft);border-radius:9px;flex-wrap:wrap;align-items:baseline;gap:4px 9px;padding:8px 11px;display:flex}.earned-law strong{color:var(--ink);font-size:.85rem}.earned-law span{color:var(--green);font-size:.77rem}.success-score,.success-earned,.success-defined,.success-takeaway{margin-top:5px;font-size:.8rem;display:block}.success-earned{color:var(--gold);font-weight:700}.success-defined{color:var(--blue-deep);font-weight:700}.progress-subheading{color:var(--muted);letter-spacing:.01em;margin:18px 0 8px;font-size:.86rem}.earned-law.is-definition span{color:var(--blue-deep)}.success-takeaway{max-width:40rem;line-height:1.45}.success-actions{flex-wrap:wrap;gap:7px;margin-top:9px;display:flex!important}.success-actions .tool-button{min-height:34px;font-size:.75rem}.rule-provenance{background:var(--green-soft);color:var(--green);border-radius:999px;justify-self:start;padding:2px 8px;font-size:.68rem;font-weight:700}.hint-card{border-radius:var(--radius);background:var(--gold-soft);border:1px solid #e6cf9c;gap:9px;padding:14px 16px;display:grid}.hint-card .eyebrow{color:var(--gold)}.hint-text{color:var(--ink);margin:0;font-size:.9rem;line-height:1.55}.hint-actions{flex-wrap:wrap;gap:8px;display:flex}.hint-route{border-top:1px solid #e6cf9c;padding-top:11px}.hint-route-lead{color:var(--gold);margin:0 0 9px;font-size:.79rem}.tool-button.is-hint{background:var(--gold-soft);color:var(--gold);border-color:#e6cf9c}.recorded-proof{gap:4px;display:grid}.proof-line.is-recorded{align-items:baseline}.proof-paper.is-reading{margin-top:12px}.recorded-missing{color:var(--muted);margin:0;font-size:.85rem}.help{color:var(--ink);gap:4px;margin-top:12px;display:grid}.help h3{margin:10px 0 0;font-size:.86rem}.help h3:first-child{margin-top:0}.help p,.help ol{color:var(--muted);margin:0;font-size:.84rem;line-height:1.55}.help ol{padding-left:20px;list-style:decimal}.help li{margin:2px 0}.help code{background:#efe9de;border-radius:4px;padding:1px 4px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.78rem}.topbar-lead{align-items:center;gap:13px;min-width:0;display:flex}.tool-button.is-back{flex:none}.tool-button.is-back:before{content:"←";margin-right:6px}.instantiation{border:1px solid var(--blue);background:linear-gradient(145deg, #fff, var(--blue-soft));border-radius:10px;gap:7px;margin-bottom:14px;padding:11px;display:grid}.order-toggle{color:var(--muted);align-items:center;gap:7px;font-size:.74rem;font-weight:700;display:flex}.order-toggle input{width:16px;height:16px}.rule-family+.rule-family{margin-top:9px}.purpose-group{border:1px solid var(--line);background:#ffffff8f;border-radius:10px;overflow:hidden}.purpose-group summary{cursor:pointer;justify-content:space-between;align-items:center;gap:9px;min-height:47px;padding:8px 10px;list-style:none;display:flex}.purpose-group summary::-webkit-details-marker{display:none}.purpose-group summary:hover{background:#2f68c90d}.purpose-group summary:focus-visible{outline-offset:-3px;outline:3px solid #2f68c94d}.purpose-group summary>span:first-child{gap:2px;min-width:0;display:grid}.purpose-group summary strong{font-size:.77rem}.purpose-group summary span span{color:var(--muted);font-size:.67rem;line-height:1.35}.purpose-count{background:var(--blue-soft);color:var(--blue-deep);border-radius:999px;flex:none;padding:3px 7px;font-size:.65rem;font-weight:850}.purpose-group[open] summary{border-bottom:1px solid var(--line);background:#2f68c90a}.purpose-group .rule-list{padding:8px}footer{color:var(--muted);text-align:center;padding:17px 4px 0;font-size:.72rem}footer p{margin:0}@media (max-width:820px){.app-shell{width:min(100% - 22px,720px);padding-top:15px}.topbar{margin-bottom:14px;display:block}.subtitle{font-size:.88rem}.top-actions{margin-top:13px}.workspace{flex-direction:column;display:flex}.proof-card,.rules-card{width:100%}.proof-card{min-height:auto}.proof-paper{--paper-pad-x:15px;--paper-pad-top:25px;--paper-pad-bottom:calc(var(--dock-height) + 20px);--rule-pitch:70px;min-height:390px}.proof-line,.success-note{scroll-margin-bottom:calc(var(--dock-height) + 20px);scroll-margin-top:12px}.rules-card{z-index:8;padding:8px;position:sticky;bottom:4px;box-shadow:0 12px 50px #241d1238}.rules-heading{display:none}.rule-family+.rule-family{margin-top:6px}.rule-list{grid-template-columns:1fr 1fr;gap:7px}.rules-card{overscroll-behavior:contain;max-height:36vh;overflow-y:auto}.purpose-group summary{min-height:39px;padding:6px 8px}.purpose-group summary span span{display:none}.purpose-group .rule-list{padding:6px}.share-actions .tool-button{flex:auto}.rule-card{gap:3px;min-height:48px;padding:6px}.rule-description{display:none}.rule-formula{font-size:.92rem}.selection-note,.success-note{margin:22px 0 0}.course-spotlight{grid-template-columns:minmax(0,1fr)}.course-progress{grid-template-columns:auto minmax(0,1fr);align-items:center}.course-progress p{grid-column:1/-1}}@media (max-width:540px){h1{font-size:1.72rem}.challenge-banner{grid-template-columns:auto minmax(0,1fr) auto;gap:8px;margin-bottom:10px;padding:8px 10px}.challenge-number{width:34px;height:34px}.challenge-copy h2{font-size:.92rem}.status-pill{grid-column:auto;width:fit-content;padding:6px 8px}.briefing-stage{min-height:auto;padding:10px}.briefing-card{border-radius:14px;padding:20px 16px}.briefing-card h2{font-size:1.75rem}.briefing-route{grid-template-columns:minmax(0,1fr);gap:10px;padding:13px}.briefing-arrow{justify-self:center;font-size:1.1rem;transform:rotate(90deg)}.briefing-actions{align-items:stretch}.briefing-actions .tool-button{width:100%}.section-heading{padding:13px}.proof-line{grid-template-columns:22px minmax(0,1fr)}.reason-detail{max-width:none}.proof-line .reason{grid-column:2;justify-self:start;margin-left:8px}.expression-slot{padding-inline:5px}.free-fields{grid-template-columns:minmax(0,1fr)}.challenge-entry{padding:12px 14px}.menu-card>:not(.section-heading):not(.challenge-list){margin-inline:14px}.course-spotlight{padding:17px}.course-progress{grid-template-columns:minmax(0,1fr)}.course-progress p{grid-column:auto}.chapter-card summary{grid-template-columns:auto minmax(0,1fr)}.chapter-count{grid-column:2;justify-self:start}.factor.is-atom{min-width:33px;padding-inline:4px}.target{min-height:44px;margin:0 1px}.whole-line{min-height:44px}.target-bracket{height:11px}.rule-topline{align-items:flex-start}.candidate-count{white-space:nowrap}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}.success-note{animation:none}}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}