@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(./KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(./KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(./KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(./KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.11"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.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 .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.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{position:relative;width:0}.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;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.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:.8333333333em}.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.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.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.6666666667em}.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.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.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.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.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:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.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.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.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.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.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:.4166666667em}.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:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.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:.8333333333em}.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.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.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:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.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.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.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.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.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.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.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{display:inline-block;width:.12em}.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{display:inline-block;min-width:1px}.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:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.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{border:.04em solid;box-sizing:border-box}.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{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;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{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.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{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{--mono: ui-monospace, "JetBrains Mono", "SFMono-Regular", Menlo, Consolas, monospace;--sans: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--serif: "Latin Modern Roman", "Computer Modern Serif", Georgia, serif;--bg: #f6f5f1;--panel: #ffffff;--surface: #ffffff;--surface-2: #fafaf7;--subtle: #f1efe9;--ink: #1f2328;--ink-2: #444;--dim: #6b7280;--faint: #8c877b;--line: #e3e1da;--line-strong: #d0ccc1;--accent: #3b5bdb;--accent-soft: #e8edff;--accent-line: #b8c4f5;--accent-glow: rgba(59,91,219,.08);--on-accent: #fff;--danger: #c92a2a;--danger-bg: #fff0f0;--danger-line: #ffc9c9;--ok: #2b8a3e;--ok-bg: #ebfbee;--warn: #e67700;--warn-bg: #fff4e6;--warn-ink: #8a4b00;--goal: #f59f00;--note-bg: #fff9db;--note-line: #ffe066;--note-ink: #7c5e00;--preview-bg: #e9e7e1;--status-bg: rgba(233,231,225,.92);--paper: #ffffff;--shadow: rgba(0,0,0,.12);color-scheme:light}@media (prefers-color-scheme: dark){:root:not([data-theme=light]){--bg: #16171a;--panel: #1f2125;--surface: #24262b;--surface-2: #1c1e22;--subtle: #2b2e34;--ink: #e4e4e1;--ink-2: #c4c4c0;--dim: #9a9ca3;--faint: #868a93;--line: #33363c;--line-strong: #4a4e56;--accent: #8098ff;--accent-soft: #263055;--accent-line: #4a5ea8;--accent-glow: rgba(128,152,255,.12);--on-accent: #10131c;--danger: #ff8787;--danger-bg: #3a1f22;--danger-line: #6b2f34;--ok: #69db7c;--ok-bg: #1d3324;--warn: #ffa94d;--warn-bg: #3a2a17;--warn-ink: #ffc078;--goal: #f59f00;--note-bg: #332c12;--note-line: #6b5a14;--note-ink: #ffe066;--preview-bg: #121316;--status-bg: rgba(18,19,22,.92);--paper: #ffffff;--shadow: rgba(0,0,0,.45);color-scheme:dark}}:root[data-theme=dark]{--bg: #16171a;--panel: #1f2125;--surface: #24262b;--surface-2: #1c1e22;--subtle: #2b2e34;--ink: #e4e4e1;--ink-2: #c4c4c0;--dim: #9a9ca3;--faint: #868a93;--line: #33363c;--line-strong: #4a4e56;--accent: #8098ff;--accent-soft: #263055;--accent-line: #4a5ea8;--accent-glow: rgba(128,152,255,.12);--on-accent: #10131c;--danger: #ff8787;--danger-bg: #3a1f22;--danger-line: #6b2f34;--ok: #69db7c;--ok-bg: #1d3324;--warn: #ffa94d;--warn-bg: #3a2a17;--warn-ink: #ffc078;--goal: #f59f00;--note-bg: #332c12;--note-line: #6b5a14;--note-ink: #ffe066;--preview-bg: #121316;--status-bg: rgba(18,19,22,.92);--paper: #ffffff;--shadow: rgba(0,0,0,.45);color-scheme:dark}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{font-family:var(--sans);font-size:14px;color:var(--ink);background:var(--bg)}.theme-toggle{min-width:34px}button{font:inherit;font-size:13px;padding:4px 9px;border:1px solid var(--line);background:var(--surface);border-radius:6px;cursor:pointer;color:var(--ink);white-space:nowrap}button:hover:not(:disabled){border-color:var(--line-strong);background:var(--surface-2)}button:disabled{opacity:.4;cursor:default}button.primary{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}button.primary:hover:not(:disabled){background:var(--accent);border-color:var(--accent);filter:brightness(1.08)}button.primary:disabled{opacity:.5}button.danger{color:var(--danger)}button.active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}button.mini{font-size:12px;padding:1px 6px;border-radius:5px}button.mini.add{color:var(--accent);border-style:dashed}input,select,textarea{font:inherit;color:inherit}.mono{font-family:var(--mono);font-size:13px}.dim{color:var(--dim)}.grow{flex:1}.placeholder{color:var(--dim);font-style:italic}::placeholder{color:var(--dim);opacity:.85}code{font-family:var(--mono);font-size:.92em;background:var(--subtle);padding:0 3px;border-radius:3px}.app{display:grid;grid-template-rows:46px 1fr;height:100vh;overflow:hidden}.topbar{grid-column:1 / -1;display:flex;align-items:center;gap:8px;padding:0 12px;background:var(--surface);border-bottom:1px solid var(--line)}.logo{font-weight:700;letter-spacing:.2px;margin-right:8px}.doc-title{font-size:15px;font-weight:600;border:1px solid transparent;padding:4px 8px;border-radius:6px;width:380px;background:transparent}.doc-author{border:1px solid transparent;padding:4px 8px;border-radius:6px;width:180px;background:transparent;color:var(--dim)}.doc-title:hover,.doc-author:hover,.doc-title:focus,.doc-author:focus{border-color:var(--line);outline:none;background:var(--surface)}.picker-wrap{position:relative;display:inline-block}.menu{position:absolute;top:calc(100% + 4px);right:0;z-index:50;background:var(--surface);border:1px solid var(--line);border-radius:8px;box-shadow:0 8px 24px var(--shadow);padding:6px;display:flex;flex-direction:column;gap:4px;min-width:240px}.menu button{text-align:left;border:none}.menu.settings label{display:flex;justify-content:space-between;align-items:center;gap:12px;padding:4px 6px}.case-actions .menu{left:0;right:auto}.sidebar{background:var(--surface-2);border-right:1px solid var(--line);display:flex;flex-direction:column;min-height:0}.tabs{display:flex;gap:2px;padding:6px}.tabs button{border:none;background:transparent;padding:4px 10px}.tabs button.active{background:var(--accent-soft);color:var(--accent)}.sidebar-body{overflow:auto;padding:4px 10px 20px;flex:1}.help{color:var(--dim);font-size:12px;line-height:1.5}.outline{list-style:none;padding:0;margin:0}.outline li a{display:block;padding:3px 6px;border-radius:5px;cursor:pointer}.outline li a:hover{background:var(--accent-soft)}.outline .h1 a{font-weight:600;margin-top:6px}.outline .h2 a{padding-left:14px}.outline .h3 a{padding-left:22px}.outline .thm a,.outline .rules a,.outline .grammar a,.outline .deriv a{padding-left:18px;color:var(--dim);font-size:13px}.snippet{background:var(--surface);border:1px solid var(--line);border-radius:7px;padding:6px 8px;margin-bottom:6px;cursor:pointer}.snippet:hover{border-color:var(--accent)}.snippet-head{display:flex;justify-content:space-between;align-items:center}.snippet-prev{margin-top:3px;font-size:13px;overflow:hidden;text-overflow:ellipsis}.snippet.editing{cursor:default;display:flex;flex-direction:column;gap:6px}.snippet.editing input,.snippet.editing textarea{width:100%;border:1px solid var(--line);border-radius:5px;padding:4px 6px}.snippet .row,.sidebar .row{display:flex;gap:6px;align-items:center;flex-wrap:wrap}.snippet .prefix{font-family:var(--mono);color:var(--dim)}.snippet .arity{display:flex;align-items:center;gap:4px;font-size:12px;color:var(--dim)}.snippet .arity input{width:44px}.docs ul{list-style:none;padding:0}.docs li{display:grid;grid-template-columns:1fr auto;gap:0 6px;padding:6px;border-radius:6px}.docs .row+.row{margin-top:6px}.docs li.active{background:var(--accent-soft)}.docs li a{cursor:pointer;font-weight:500}.docs li .dim{font-size:11px;grid-column:1}.docs li .docs-actions{grid-row:1 / 3;grid-column:2;align-self:center;display:flex;gap:2px;opacity:0;transition:opacity .1s}.docs li:hover .docs-actions,.docs li.active .docs-actions,.docs li:focus-within .docs-actions{opacity:1}.docs li .docs-actions button{border-color:transparent;background:transparent}.docs-rename,.docs-filter{width:100%;font:inherit;font-size:13px;padding:3px 6px;border:1px solid var(--accent-line);border-radius:5px;background:var(--surface);color:var(--ink)}.docs-filter{margin-top:8px;border-color:var(--line)}.gh-badge{font-size:10px;font-weight:600;padding:0 5px;margin-right:6px;border-radius:4px;background:var(--subtle);color:var(--ink-2)}.editor{overflow:auto;min-height:0}.editor-inner{max-width:980px;margin:0 auto;padding:24px 28px 200px 8px}.splitter{cursor:col-resize;background:var(--line)}.splitter:hover{background:var(--accent)}.block{display:grid;grid-template-columns:76px 1fr;gap:6px;border-radius:8px;position:relative}.block-gutter{text-align:right;padding-top:8px}.block-type{font-size:10.5px;text-transform:uppercase;letter-spacing:.6px;color:var(--faint);opacity:0;transition:opacity .12s}.block:hover>.block-gutter .block-type,.block.selected>.block-gutter .block-type{opacity:1}.block-actions{display:none;flex-wrap:wrap;justify-content:flex-end;gap:2px;margin-top:4px}.block-actions button{padding:0 5px;font-size:12px}.block:hover>.block-gutter .block-actions,.block.selected>.block-gutter .block-actions{display:flex}.block-body{background:var(--panel);border:1px solid var(--line);border-radius:8px;padding:10px 14px;min-width:0}.block.selected>.block-body{border-color:var(--accent-line);box-shadow:0 0 0 3px var(--accent-glow)}.block-heading>.block-body{background:transparent;border-color:transparent;padding:4px 6px}.block.nested{grid-template-columns:60px 1fr}.block.nested>.block-body{background:var(--surface-2)}.insert-bar{height:14px;position:relative;display:flex;justify-content:center;margin-left:82px}.insert-btn{opacity:0;position:absolute;top:-6px;padding:0 8px;font-size:12px;border-radius:10px;line-height:20px;transition:opacity .1s;z-index:2}.insert-bar:hover .insert-btn,.insert-bar.open .insert-btn{opacity:1}.insert-menu{position:absolute;top:16px;z-index:40;background:var(--surface);border:1px solid var(--line);border-radius:10px;box-shadow:0 10px 30px var(--shadow);padding:6px;display:grid;grid-template-columns:1fr 1fr;gap:4px;width:420px}.insert-menu button{display:flex;flex-direction:column;align-items:flex-start;border:none;padding:6px 8px;text-align:left;white-space:normal}.insert-menu button span{color:var(--dim);font-size:12px}.insert-menu button:hover{background:var(--accent-soft)}.block-list.nested .insert-bar{margin-left:66px}.textinput{border:1px solid transparent;border-radius:5px;padding:3px 6px;background:transparent;min-width:60px}.textinput:hover,.textinput:focus{border-color:var(--line);background:var(--surface);outline:none}.block-title{font-weight:600}.heading-editor{display:flex;align-items:center;gap:6px}.heading-editor select{border:none;background:transparent;color:var(--faint);font-size:12px}.heading-editor .textinput{flex:1;font-family:var(--serif);font-weight:700}.heading-editor.h1 .textinput{font-size:24px}.heading-editor.h2 .textinput{font-size:19px}.heading-editor.h3 .textinput{font-size:16px}.mathfield{display:inline-block;cursor:text;border-radius:4px;padding:1px 3px;min-width:24px;vertical-align:middle}.mathfield:hover{background:var(--accent-soft)}.mathfield.empty{border:1px dashed var(--line-strong)}.mathfield.editing{display:inline-flex;flex-direction:column;gap:3px;background:var(--surface);padding:0;min-width:260px}.mathfield.editing .live{padding:2px 4px;background:var(--surface-2);border-radius:4px}.mathfield.boxed:not(.editing){border:1px solid var(--line-strong);border-radius:0;padding:2px 6px}.smart{position:relative;width:100%}.smart textarea{width:100%;resize:none;border:1px solid var(--accent);border-radius:5px;padding:4px 6px;outline:none;line-height:1.45;overflow:hidden;background:var(--surface);display:block}.prosefield{cursor:text;border-radius:5px;min-height:22px}.prosefield:hover{background:var(--surface-2)}.prosefield.empty{padding:4px;border:1px dashed var(--line-strong)}.prose{font-family:var(--serif);font-size:16px;line-height:1.55}.prose p{margin:4px 0}.prose ul,.prose ol{margin:4px 0;padding-left:26px}.dmath{text-align:center;margin:6px 0}.ref{color:var(--accent)}.ref.bad,.tex-error{color:var(--danger);background:var(--danger-bg);border-radius:3px;font-family:var(--mono);font-size:12px}.rulename{font-variant:small-caps;font-family:var(--serif)}.ac-list{position:absolute;left:0;top:100%;z-index:100;list-style:none;margin:2px 0 0;padding:4px;background:var(--surface);border:1px solid var(--line);border-radius:8px;box-shadow:0 8px 24px var(--shadow);min-width:300px;max-height:300px;overflow:auto}.ac-list li{display:flex;gap:10px;align-items:center;padding:3px 8px;border-radius:5px;cursor:pointer}.ac-list li.sel{background:var(--accent-soft)}.ac-label{min-width:110px}.ac-prev{flex:1}.ac-detail{color:var(--dim);font-size:12px}table.grammar{border-collapse:collapse;margin:6px 0}table.grammar td{padding:3px 6px;vertical-align:middle}table.grammar td.cat .textinput{font-style:italic;font-family:var(--serif);width:110px}table.grammar td.bnf{color:var(--dim)}table.grammar td.alts{display:flex;flex-wrap:wrap;gap:4px;align-items:center}.alt{display:inline-flex;align-items:center;gap:2px}.alt .bar{color:var(--dim);margin:0 6px}.alt .mini,.premise .mini,.row-actions .mini{opacity:0}.alt:hover .mini,.premise:hover .mini,tr:hover .row-actions .mini{opacity:1}.add-row,.add-rule{border-style:dashed;color:var(--accent)}.rules-head{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.judgment-form{display:inline-flex;align-items:center;gap:6px}.judgment-form .lbl,.thm-label .lbl{font-size:11px;color:var(--dim);text-transform:uppercase;letter-spacing:.5px}.rules-grid{display:flex;flex-wrap:wrap;gap:18px 34px;align-items:flex-end;justify-content:center;padding:12px 4px 4px}.rule-card{padding:6px 8px;border-radius:7px;cursor:pointer;border:1px solid transparent}.rule-card:hover{border-color:var(--line);background:var(--surface-2)}.rule-card.editing{cursor:default;border-color:var(--accent);background:var(--surface);flex-basis:100%}.rule-form .row{display:flex;gap:10px;align-items:flex-start;margin-bottom:6px}.rule-form label{width:110px;text-align:right;color:var(--dim);font-size:12px;padding-top:4px;flex-shrink:0}.rule-form .premises{display:flex;flex-wrap:wrap;gap:8px;align-items:center}.premise{display:inline-flex;align-items:center;gap:2px}.rule-form .preview-row{display:flex;justify-content:center;padding:10px;background:var(--surface-2);border-radius:6px;margin:6px 0}.rule-form .actions{justify-content:flex-end}.pt-node{display:inline-grid;grid-template-columns:auto auto;align-items:end;justify-items:center}.pt-prem{grid-column:1;grid-row:1;display:flex;gap:1.6em;align-items:flex-end;justify-content:center;padding:0 .2em;min-height:2px}.pt-line{grid-column:1;grid-row:2;justify-self:stretch;border-top:1px solid var(--ink);margin:3px 0 2px;height:0}.pt-line.none{border-top:none}.pt-label{grid-column:2;grid-row:2;align-self:center;justify-self:start;font-variant:small-caps;font-family:var(--serif);font-size:.9em;padding-left:5px;line-height:0;white-space:nowrap;cursor:pointer}.pt-label .side{font-variant:normal}.pt-label-input{grid-column:2;grid-row:2;width:90px;font-size:12px;margin-left:4px}.pt-concl{grid-column:1;grid-row:3;padding:1px 4px;border-radius:4px;cursor:pointer;white-space:nowrap}.rule-view .pt-concl{cursor:inherit}.pt-node.leaf>.pt-concl{grid-row:3}.pt-concl:hover{background:var(--accent-soft)}.pt-concl.sel{background:var(--accent-soft);box-shadow:0 0 0 2px var(--accent)}.pt-concl.open{box-shadow:inset 0 -2px 0 var(--goal)}.pt-node.assumption>.pt-concl{color:var(--ink-2)}.pt-vdots{padding-bottom:2px}.pt-add{padding:0 6px;font-size:12px;align-self:flex-end;border-style:dashed;color:var(--accent)}.rule-view.small{font-size:12px}.tree-editor{outline:none}.tree-toolbar{display:flex;flex-wrap:wrap;gap:4px;align-items:center;padding-bottom:8px;border-bottom:1px solid var(--subtle);min-height:34px}.tree-toolbar .sep{width:8px}.tree-toolbar .hint{color:var(--dim);font-size:12px}.open-goals{font-size:12px;padding:1px 8px;border-radius:10px}.open-goals.some{background:var(--warn-bg);color:var(--warn)}.open-goals.none{background:var(--ok-bg);color:var(--ok)}.tree-canvas{overflow-x:auto;padding:18px 8px 10px;display:flex;justify-content:center;font-size:15px}.notice{background:var(--warn-bg);color:var(--warn-ink);border-radius:6px;padding:6px 10px;margin-top:6px;font-size:13px}.caption{margin-top:6px;text-align:center;color:var(--dim)}.rule-picker{position:absolute;z-index:60;top:calc(100% + 4px);left:0;width:420px;background:var(--surface);border:1px solid var(--line);border-radius:10px;box-shadow:0 12px 32px var(--shadow);padding:8px}.rule-picker input{width:100%;padding:5px 8px;border:1px solid var(--line);border-radius:6px;margin-bottom:6px}.rule-list{max-height:360px;overflow:auto}.rule-item{padding:6px 8px;border-radius:7px;cursor:pointer}.rule-item.hi{background:var(--accent-soft)}.rule-item.nomatch{opacity:.55}.rule-item-head{display:flex;gap:8px;align-items:center;margin-bottom:4px}.rule-item .group{margin-left:auto;color:var(--dim);font-size:11px}.rule-item .rule-view{display:inline-grid;margin-left:10px}.badge{font-size:11px;padding:0 6px;border-radius:8px}.badge.ok{background:var(--ok-bg);color:var(--ok)}.empty{color:var(--dim);padding:8px}.thm-head{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-bottom:4px}.thm-head select{border:1px solid var(--line);border-radius:5px;padding:2px 4px;background:var(--surface)}.thm-num{font-family:var(--serif);font-size:16px}.thm-title{font-family:var(--serif)}.thm-label{display:inline-flex;align-items:center;gap:4px;margin-left:auto}.thm-label .textinput{font-family:var(--mono);font-size:12px;width:140px}.thm-statement .prose{font-style:italic}.kind-definition .thm-statement .prose{font-style:normal}.proof{margin-top:8px;border-left:2px solid var(--subtle);padding-left:8px}.proof-label{font-family:var(--serif);font-size:15px;margin-bottom:4px}.empty-nested{display:flex;flex-wrap:wrap;gap:4px;padding:4px}.case{margin:8px 0 4px}.case-head{display:flex;align-items:center;gap:6px;font-family:var(--serif);font-size:15px}.case-head .mini{opacity:.4}.case-head:hover .mini{opacity:1}.case-body{margin-left:10px}.case-actions{display:flex;gap:6px;margin-top:6px}.raw-editor{display:flex;flex-direction:column;gap:4px}.raw-editor label{font-size:11px;text-transform:uppercase;color:var(--dim)}.raw-editor textarea{width:100%;border:1px solid var(--line);border-radius:5px;padding:6px}.preview{display:flex;flex-direction:column;min-height:0;background:var(--preview-bg);border-left:1px solid var(--line)}.preview-bar{display:flex;align-items:center;gap:6px;padding:4px 8px;background:var(--surface);border-bottom:1px solid var(--line)}.preview-bar .tabs{padding:0}.pdf-wrap{position:relative;flex:1;overflow:auto;min-height:0}.pages{padding:16px}.pages svg.typst-doc{display:block;width:100%;height:auto;cursor:pointer;background:repeating-linear-gradient(to bottom,var(--paper) 0,var(--paper) var(--pw-sheet, 100%),transparent var(--pw-sheet, 100%),transparent var(--pw-period, 100%))}.status{position:sticky;top:0;z-index:3;font-size:12px;padding:3px 10px;color:var(--dim);background:var(--status-bg)}.status.error{color:var(--danger)}.status.loading{color:var(--accent)}.diags{position:sticky;top:22px;z-index:3;margin:0 12px;background:var(--danger-bg);color:var(--danger);border:1px solid var(--danger-line);border-radius:6px;padding:8px 10px;font-family:var(--mono);font-size:12px;white-space:pre-wrap}pre.code{flex:1;margin:0;overflow:auto;padding:12px 14px;background:var(--surface);font-family:var(--mono);font-size:12px;line-height:1.45;min-height:0}.warnings{background:var(--note-bg);color:var(--note-ink);font-size:12px;padding:6px 10px;border-top:1px solid var(--note-line);max-height:110px;overflow:auto}.unknowns{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-top:6px;font-size:13px}.unknowns .lbl{font-size:11px;text-transform:uppercase;color:var(--dim);letter-spacing:.5px}.unknown-chip{background:var(--warn-bg);border-radius:10px;padding:1px 8px;cursor:pointer;display:inline-flex;align-items:center;gap:6px}:focus{outline:none}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}.insert-btn:focus-visible{opacity:1}.block-title::placeholder,.thm-title::placeholder{font-weight:400;font-style:italic}kbd{font-family:var(--mono);font-size:11px;padding:0 4px;border:1px solid var(--line-strong);border-bottom-width:2px;border-radius:4px;background:var(--surface);color:var(--ink)}.btn-group{display:inline-flex}.btn-group>button{border-radius:0;margin-left:-1px}.btn-group>button:first-child{border-radius:6px 0 0 6px;margin-left:0}.btn-group>button:last-child{border-radius:0 6px 6px 0}.btn-group>button:only-child{border-radius:6px}.btn-group>button.active{position:relative;z-index:1}button.primary-soft{background:var(--accent-soft);border-color:var(--accent-line);color:var(--accent);font-weight:600}button.primary-soft:hover:not(:disabled){background:var(--accent-soft);border-color:var(--accent)}.tree-toolbar{gap:6px}.tree-toolbar button{padding:3px 8px}button.link{border:none;background:none;padding:0 2px;font:inherit;color:inherit}button.link:hover:not(:disabled){background:none;color:var(--accent)}.chev{font-size:11px;color:var(--dim);display:inline-block;width:10px}.proof-label{display:flex;align-items:center;gap:8px}.proof.collapsed{border-left-color:transparent}details.help summary{cursor:pointer;list-style:none}details.help summary::-webkit-details-marker{display:none}details.help summary:before{content:"▸ "}details.help[open] summary:before{content:"▾ "}details.help p{margin:6px 0 0}table.grammar td.alts .mini.add{opacity:0}table.grammar tr:hover td.alts .mini.add,table.grammar tr:focus-within td.alts .mini.add{opacity:1}.alt:focus-within .mini,.premise:focus-within .mini{opacity:1}.block.nested .prosefield.empty{border-style:solid;border-color:transparent;background:var(--surface-2)}.thm-head{display:grid;grid-template-columns:auto auto 1fr auto}.thm-label{margin-left:0}@media (prefers-reduced-motion: reduce){*{transition:none!important;scroll-behavior:auto!important}}.block.nested{grid-template-columns:0 1fr;gap:0}.block.nested>.block-gutter{padding-top:4px}.block.nested>.block-gutter .block-type{display:none}.block.nested>.block-gutter .block-actions{position:absolute;top:-11px;right:10px;z-index:5;margin:0;padding:2px;gap:2px;background:var(--surface);border:1px solid var(--line);border-radius:7px;box-shadow:0 2px 8px var(--shadow)}.block.nested>.block-body{background:transparent;border-color:transparent;padding:2px 8px}.block.nested:hover>.block-body{border-color:var(--line)}.block.nested.selected>.block-body{border-color:var(--accent-line);box-shadow:none}.block.nested.block-derivation>.block-body,.block.nested.block-cases>.block-body{border-color:var(--line)}.block-list.nested .insert-bar{margin-left:0}.case-body{margin-left:4px}.block.nested .block-actions button{padding:0 4px;font-size:11px}.case-head .mini{opacity:0}.case-head:hover .mini,.case-head:focus-within .mini{opacity:1}.topbar button:has(svg){padding:5px 7px}.section-tabs{position:sticky;top:0;z-index:5;display:flex;gap:4px;align-items:center;flex-wrap:wrap;padding:8px 16px;background:var(--bg);border-bottom:1px solid var(--line)}.section-tab{border:none;background:transparent;padding:4px 10px;border-radius:6px;color:var(--dim);max-width:220px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.section-tabs .section-tab:hover{background:var(--accent-soft);color:var(--ink)}.section-tabs .section-tab.active{background:var(--accent-soft);color:var(--accent);font-weight:600}.section-num{font-variant-numeric:tabular-nums;opacity:.7;margin-right:6px}.section-add{border-style:dashed;color:var(--accent);padding:3px 10px;margin-left:4px}.section-hint{color:var(--dim);font-size:13px}.section-pager{display:flex;justify-content:space-between;gap:12px;margin:32px 0 0 82px}.section-pager button{color:var(--accent)}.storage-error{margin:8px 16px 0;padding:8px 12px;border-radius:6px;background:var(--danger-bg);border:1px solid var(--danger-line);color:var(--danger);font-size:13px}.modal-backdrop{position:fixed;inset:0;z-index:50;background:#00000059;display:flex;align-items:flex-start;justify-content:center;padding:10vh 16px 16px}.modal{width:min(620px,100%);max-height:80vh;overflow:auto;background:var(--panel);color:var(--ink);border:1px solid var(--line);border-radius:10px;box-shadow:0 12px 40px var(--shadow);padding:14px 16px 16px}.modal-head{display:flex;justify-content:space-between;align-items:center;margin-bottom:12px}.gh-pane{display:flex;flex-direction:column;gap:10px}.gh-row{display:flex;gap:8px;align-items:flex-end}.gh-row.end{justify-content:flex-end}.gh-row>input,.gh-row>select{flex:1}.gh-pane input,.gh-pane select,.gh-token input{font:inherit;font-size:13px;padding:5px 8px;border:1px solid var(--line);border-radius:6px;background:var(--surface);color:var(--ink);min-width:0}.gh-field{display:flex;flex-direction:column;gap:3px;flex:1;font-size:12px;color:var(--dim)}.gh-files{list-style:none;margin:0;padding:0;max-height:40vh;overflow:auto;border:1px solid var(--line);border-radius:6px}.gh-files li+li{border-top:1px solid var(--line)}.gh-files button{width:100%;display:flex;justify-content:space-between;gap:12px;border:none;border-radius:0;padding:7px 10px;background:transparent;text-align:left}.gh-files button .mono{overflow:hidden;text-overflow:ellipsis}.gh-files button .dim{color:var(--dim);font-size:12px;flex-shrink:0}.gh-error{color:var(--danger);font-size:13px;margin:0}.gh-warn{color:var(--warn-ink);background:var(--warn-bg);padding:6px 10px;border-radius:6px;font-size:13px;margin:0}.gh-ok{color:var(--ok);font-size:13px;margin:0}.gh-token{margin-top:14px;border-top:1px solid var(--line);padding-top:10px;font-size:13px}.gh-token summary{cursor:pointer;color:var(--ink-2)}.gh-token .gh-row{margin-top:8px}.gh-token .help{color:var(--dim);font-size:12px;margin:8px 0 0}.sidebar .tabs{flex-wrap:wrap;gap:0}.sidebar .tabs button{padding:4px 6px}.tab-count{margin-left:4px;padding:0 4px;border-radius:8px;font-size:11px;background:var(--warn-bg);color:var(--warn-ink)}.tab-count.error{background:var(--danger-bg);color:var(--danger)}.tracker-summary{margin:4px 0 10px;font-weight:600}.tracker-summary.clean{color:var(--ok)}.tk-group{margin-bottom:12px}.tk-head{display:flex;align-items:baseline;gap:7px;padding:3px 6px;border-radius:5px;cursor:pointer;font-weight:600}.tk-head:hover,.tk-issues a:hover{background:var(--accent-soft)}.tk-dot{flex:none;width:8px;height:8px;border-radius:50%;background:var(--ok)}.tk-dot.warning{background:var(--warn)}.tk-dot.error{background:var(--danger)}.tk-line{padding:1px 6px 1px 21px;font-size:13px}.tk-ind a{cursor:pointer}.tk-over{display:flex;align-items:center;gap:5px;color:var(--dim);margin-top:2px}.tk-over select{min-width:0;max-width:130px;font-size:12px;padding:1px 2px}.tk-issues{list-style:none;margin:2px 0 0;padding:0 0 0 15px;font-size:13px}.tk-issues a{display:block;padding:2px 6px;border-radius:5px;cursor:pointer;border-left:2px solid var(--line-strong)}.tk-issues .error a{border-left-color:var(--danger)}.tk-issues .warning a{border-left-color:var(--warn)}.tk-issues .info a{color:var(--dim)}.tk-where{font-weight:600}.disk-change{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin:8px 16px 0;padding:8px 12px;border-radius:8px;background:var(--note-bg);border:1px solid var(--note-line);color:var(--note-ink)}.rules-grid{justify-content:safe center;overflow-x:auto}.rule-view{grid-template-columns:minmax(min-content,1fr) auto}.rule-view .pt-prem{flex-wrap:wrap;row-gap:.5em}.tree-canvas{justify-content:safe center}.prose{overflow-wrap:anywhere}.docs li{grid-template-columns:minmax(0,1fr) auto}.docs li a{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.sidebar-body{scrollbar-gutter:stable}.app{min-width:906px}body{overflow-x:auto}.topbar{min-width:0}.topbar .doc-title{flex:0 1 380px;min-width:90px}.topbar .doc-author{flex:0 1 auto;min-width:60px}.topbar button,.topbar .logo{flex:none}.pdf-mark{position:absolute;z-index:3;pointer-events:none;background:var(--accent);border-left:3px solid var(--accent);box-sizing:border-box;opacity:0;animation:pdf-mark 1.8s ease-out}@keyframes pdf-mark{0%{opacity:.28}60%{opacity:.18}to{opacity:0}}.insert-menu.up{top:auto;bottom:22px}.def-body{margin-top:6px}.drag-grip{cursor:grab;padding:0 4px;font-size:13px;line-height:18px;color:var(--dim);user-select:none}.drag-grip:active,.block-type:active{cursor:grabbing}.block-type{cursor:grab}.block.drop-before{box-shadow:0 -3px 0 var(--accent)}.block.drop-after{box-shadow:0 3px 0 var(--accent)}.premise{border-radius:5px}.premise .drag-grip{opacity:0;padding:0 2px}.premise:hover .drag-grip,.premise:focus-within .drag-grip{opacity:1}.premise.dragging{opacity:.45}.premise.drop-before{box-shadow:-3px 0 0 var(--accent)}.premise.drop-after{box-shadow:3px 0 0 var(--accent)}.rule-card.editing{min-width:0;max-width:100%;box-sizing:border-box}.rule-form .row>:not(label){min-width:0;max-width:100%}.rule-form .premises{flex:1 1 0}.rule-form .premise{max-width:100%;min-width:0}.rule-form .mathfield{max-width:100%}.rule-form .mathfield.editing{min-width:min(260px,100%)}.rule-form .preview-row{justify-content:safe center;overflow-x:auto}.tex-error{white-space:normal;overflow-wrap:anywhere}.mathfield .math,.mathfield .live{max-width:100%}.rule-form .mathfield:not(.editing),.rule-form .mathfield .live{overflow-x:auto;overflow-y:hidden}