@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(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(/differential-geometry-sandbox/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/differential-geometry-sandbox/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/differential-geometry-sandbox/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/differential-geometry-sandbox/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--bg:#eef1f4;--panel:#fff;--panel-2:#f6f8fa;--border:#d0d7de;--border-soft:#e5e9ed;--text:#1f2328;--muted:#656d76;--accent:#0969da;--accent-soft:#ddf4ff;--accent-text:#fff;--view-bg:#fff;--grid:#e1e6eb;--grid-minor:#f2f4f6;--axis:#57606a;--danger:#cf222e;--danger-soft:#ffebe9;--ok:#1a7f37;--ok-soft:#dafbe1;--warn:#9a6700;--warn-soft:#fff8c5;--shadow:0 8px 24px #8c959f40;--statement-bg:#f3f7fc;--proof-bar:#d0d7de;--font:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#010409;--panel:#0d1117;--panel-2:#161b22;--border:#30363d;--border-soft:#21262d;--text:#e6edf3;--muted:#8d96a0;--accent:#4493f8;--accent-soft:#12263f;--accent-text:#fff;--view-bg:#0d1117;--grid:#232a33;--grid-minor:#161c23;--axis:#9198a1;--danger:#f85149;--danger-soft:#2d1214;--ok:#3fb950;--ok-soft:#0f2a18;--warn:#d29922;--warn-soft:#2b2111;--shadow:0 8px 24px #010409cc;--statement-bg:#111a26;--proof-bar:#30363d;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#010409;--panel:#0d1117;--panel-2:#161b22;--border:#30363d;--border-soft:#21262d;--text:#e6edf3;--muted:#8d96a0;--accent:#4493f8;--accent-soft:#12263f;--accent-text:#fff;--view-bg:#0d1117;--grid:#232a33;--grid-minor:#161c23;--axis:#9198a1;--danger:#f85149;--danger-soft:#2d1214;--ok:#3fb950;--ok-soft:#0f2a18;--warn:#d29922;--warn-soft:#2b2111;--shadow:0 8px 24px #010409cc;--statement-bg:#111a26;--proof-bar:#30363d;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{height:100%;margin:0;overflow:hidden}body{background:var(--bg);color:var(--text);font:14px/1.45 var(--font);-webkit-font-smoothing:antialiased}#app{height:100vh;flex-direction:column;height:100dvh;display:flex}button{font:inherit;color:inherit}code{background:var(--panel-2);border:1px solid var(--border-soft);border-radius:4px;padding:0 4px;font:12.5px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}a{color:var(--accent)}.muted{color:var(--muted)}.small{font-size:.8em}.pad{padding:12px 16px}hr{border:none;border-top:1px solid var(--border-soft);margin:4px 0}.icon-btn{cursor:pointer;width:34px;height:34px;color:var(--text);background:0 0;border:1px solid #0000;border-radius:8px;flex:none;justify-content:center;align-items:center;display:inline-flex}.icon-btn:hover{background:var(--panel-2);border-color:var(--border-soft)}.icon-btn:disabled{opacity:.35;cursor:default}.icon-btn.sm{border-radius:6px;width:26px;height:26px}.icon-btn.sm svg{width:16px;height:16px}.btn{border:1px solid var(--border);background:var(--panel-2);cursor:pointer;border-radius:8px;align-items:center;gap:6px;padding:6px 12px;font-weight:500;display:inline-flex}.btn svg{width:16px;height:16px}.btn:hover{border-color:var(--muted)}.btn.primary{background:var(--accent);color:var(--accent-text);border-color:var(--accent)}.btn.primary:hover{filter:brightness(1.08)}.btn.sm{padding:3px 8px;font-size:12.5px}.chip{border:1px solid var(--border);background:var(--panel);cursor:pointer;color:var(--muted);border-radius:999px;padding:2px 9px;font-size:12px}.chip.on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.topbar{background:var(--panel);border-bottom:1px solid var(--border);z-index:20;flex:none;align-items:center;gap:10px;min-height:52px;padding:6px 10px;display:flex;position:relative}.brand{letter-spacing:-.01em;flex:none;align-items:center;gap:8px;font-weight:650;display:flex}.logo{background:var(--accent);color:#fff;width:30px;height:30px;font:italic 20px/1 var(--serif);border-radius:8px;justify-content:center;align-items:center;display:inline-flex}.toolbar-slot{flex:1;min-width:0}.toolbar{scrollbar-width:none;align-items:center;gap:4px;display:flex;position:relative;overflow-x:auto}.toolbar::-webkit-scrollbar{display:none}.tool-fixed,.tool-groups{gap:3px;display:flex}.tool-sep{background:var(--border);flex:none;width:1px;height:26px;margin:0 4px}.tool-btn{cursor:pointer;white-space:nowrap;background:0 0;border:1px solid #0000;border-radius:8px;flex:none;align-items:center;gap:5px;height:36px;padding:0 8px;display:inline-flex}.tool-btn:hover,.tool-btn.open{background:var(--panel-2);border-color:var(--border-soft)}.tool-btn.active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.tool-btn.dim-off{opacity:.45}.tool-label{font-size:12.5px}.tool-btn .caret,.toc-sec-title .caret{opacity:.5;border-top:5px solid;border-left:4px solid #0000;border-right:4px solid #0000;width:0;height:0}.tool-menu{background:var(--panel);border:1px solid var(--border);width:340px;max-height:calc(100vh - 70px);box-shadow:var(--shadow);z-index:50;border-radius:10px;padding:6px;position:fixed;top:50px;overflow:auto}.tool-menu-head{border-bottom:1px solid var(--border-soft);margin-bottom:4px;padding:6px 8px 8px;font-weight:600}.tool-item{text-align:left;cursor:pointer;background:0 0;border:none;border-radius:6px;justify-content:space-between;align-items:baseline;gap:10px;width:100%;padding:7px 8px;display:flex}.tool-item:hover{background:var(--accent-soft)}.tool-item.disabled{opacity:.45;cursor:not-allowed}.ti-ref{color:var(--muted);white-space:nowrap;font-size:11.5px}.ti-ref em{color:var(--warn);margin-left:6px;font-style:normal}.top-actions{flex:none;align-items:center;gap:2px;display:flex}.top-actions .sep{background:var(--border);width:1px;height:24px;margin:0 5px}.toggle-btn{cursor:pointer;height:32px;color:var(--muted);background:0 0;border:1px solid #0000;border-radius:7px;align-items:center;gap:4px;padding:0 7px;font-size:12px;display:inline-flex}.toggle-btn svg{width:17px;height:17px}.toggle-btn:hover{background:var(--panel-2)}.toggle-btn.on{color:var(--accent);background:var(--accent-soft)}.menu-wrap{position:relative}.dropdown{background:var(--panel);border:1px solid var(--border);width:270px;box-shadow:var(--shadow);z-index:60;border-radius:10px;padding:6px;position:absolute;top:40px;right:0}.dropdown button{cursor:pointer;text-align:left;background:0 0;border:none;border-radius:6px;align-items:center;gap:8px;width:100%;padding:7px 8px;display:flex}.dropdown button svg{opacity:.75;width:16px;height:16px}.dropdown button:hover{background:var(--accent-soft)}.workspace{flex:1;min-height:0;display:flex;position:relative}.panel{background:var(--panel);flex-direction:column;flex:0 auto;min-width:200px;display:flex;overflow:hidden}.panel>*{flex-direction:column;flex:1;min-height:0;display:flex}.splitter{cursor:col-resize;background:var(--border-soft);border-left:1px solid var(--border);touch-action:none;flex:none;width:5px}.splitter:hover{background:var(--accent)}.panel-head{border-bottom:1px solid var(--border-soft);flex:none;align-items:center;gap:6px;min-height:40px;padding:8px 12px;display:flex}.panel-title{font-weight:650}.panel-sub{color:var(--muted);margin-left:auto;font-size:12px}.graphics{background:var(--border);flex:360px;gap:1px;min-width:280px;display:flex;position:relative}.graphics.stacked{flex-direction:column}.graphics.stacked .gview[data-view="2d"]{flex:.7;order:2}.gview{background:var(--view-bg);outline-offset:-2px;outline:2px solid #0000;flex:1;min-width:0;position:relative;overflow:hidden}.gview.active{outline-color:var(--accent)}.gview canvas{touch-action:none;display:block;position:absolute;inset:0}.tool-point .gview canvas{cursor:crosshair}.gview-tag{color:var(--muted);z-index:3;pointer-events:none;letter-spacing:.05em;font-size:11px;font-weight:650;position:absolute;top:6px;left:8px}.gview-reset{z-index:4;position:absolute;top:4px;right:6px;background:var(--panel)!important;border-color:var(--border-soft)!important}.graphics-empty{text-align:center;color:var(--muted);background:var(--view-bg);flex-direction:column;flex:1;justify-content:center;align-items:center;gap:10px;padding:20px;display:flex}.graphics.no-views{flex:0 240px;min-width:160px}.workspace.no-views .panel[data-pane=course]{flex:auto}.math-display .katex{font-size:1.1em}.labels3d,.labels2d{pointer-events:none;z-index:2;position:absolute;inset:0}.labels2d .obj-label{position:absolute;transform:translateY(-100%)}.obj-label{color:var(--text);white-space:nowrap;text-shadow:0 0 3px var(--view-bg), 0 0 3px var(--view-bg), 0 0 2px var(--view-bg);font-size:13px}.obj-label.small{color:var(--muted);font-size:11px}.axis-label{font:italic 15px var(--serif);color:var(--axis)}.tick-label{color:var(--muted);opacity:.8;font-size:10px}.plot-legend{background:var(--panel);border:1px solid var(--border-soft);border-radius:8px;gap:12px;padding:4px 10px;font-size:12.5px;display:flex;position:absolute;top:8px;right:40px}.plot-legend i{vertical-align:middle;border-radius:2px;width:14px;height:3px;margin-right:5px;display:inline-block}.toc-tools{flex-direction:column;gap:7px;padding:8px 0 10px;display:flex}.toc-search,.cmd-input,.pform input[type=text],.pform input[type=number],.pform select,.alg-editor input[type=text],.modal input[type=text]{border:1px solid var(--border);background:var(--panel);width:100%;color:var(--text);font:inherit;border-radius:7px;padding:6px 9px}.toc-search:focus,.cmd-input:focus,.pform input:focus,.pform select:focus,.alg-editor input:focus,.modal input:focus{outline:2px solid var(--accent);outline-offset:-1px;border-color:var(--accent)}.toc-filters{flex-wrap:wrap;gap:4px;display:flex}.book-cover{background:linear-gradient(135deg, var(--accent-soft), var(--panel-2));border:1px solid var(--border-soft);border-radius:10px;margin:4px 0 6px;padding:14px 16px}.book-title{font:600 21px/1.25 var(--serif)}.book-sub{color:var(--muted);margin-top:2px;font-size:13px}.book-meta{margin-top:8px;font-size:12.5px}.toc-chapter{margin-top:10px}.toc-ch-title{border:none;border-bottom:2px solid var(--border-soft);width:100%;font:650 15px/1.3 var(--serif);cursor:pointer;text-align:left;background:0 0;align-items:center;gap:7px;padding:8px 2px 6px;display:flex}.toc-chapter.closed .toc-ch-body{display:none}.toc-chapter.closed .caret{transform:rotate(-90deg)}.toc-ch-title .caret{opacity:.5;border-top:6px solid;border-left:5px solid #0000;border-right:5px solid #0000;width:0;height:0}.toc-sec-title{color:var(--text);align-items:baseline;gap:6px;padding:8px 4px 3px;font-size:13.5px;font-weight:650;text-decoration:none;display:flex}.toc-sec-title:hover{color:var(--accent)}.sec-num{color:var(--muted);font-variant-numeric:tabular-nums}.toc-ch-title .pg,.toc-sec-title .pg,.toc-item .pg{color:var(--muted);font-size:11px;font-weight:400;font-family:var(--font);margin-left:auto}.toc-item{color:var(--text);border-left:3px solid #0000;border-radius:0 6px 6px 0;align-items:baseline;gap:6px;padding:3px 6px 3px 12px;font-size:13px;text-decoration:none;display:flex}.toc-item:hover{background:var(--panel-2)}.toc-item.current{background:var(--accent-soft);border-left-color:var(--accent)}.toc-item.todo .ttl,.toc-item.todo .num{color:var(--muted)}.toc-item .num{font-variant-numeric:tabular-nums;color:var(--muted);flex:none;font-size:12px}.toc-item .ttl{min-width:0}.sec-entry{border-bottom:1px solid var(--border-soft);margin:14px 0;padding-bottom:12px}.sec-entry.todo{opacity:.75}.sec-entry-head{align-items:baseline;gap:8px;margin-bottom:6px;display:flex}.sec-entry-title{color:var(--text);font-weight:650;text-decoration:none}.sec-entry-title:hover{color:var(--accent)}.sec-entry-title .num{color:var(--muted)}.sec-entry-head .pg{color:var(--muted);margin-left:auto;font-size:12px}.sec-entry .statement{margin-bottom:8px}.sec-entry p.muted{margin:2px 0 0 46px;font-size:13px}.kind,.badge{text-transform:uppercase;letter-spacing:.03em;text-align:center;background:var(--panel-2);width:38px;color:var(--muted);border:1px solid var(--border-soft);border-radius:4px;flex:none;padding:1px 5px;font-size:10px;font-weight:700}.badge{width:auto;padding:2px 8px;font-size:11px}.k-theorem,.k-proposition{color:#fff;background:#0969da;border-color:#0969da}.k-lemma{color:#fff;background:#6639ba;border-color:#6639ba}.k-corollary{color:#fff;opacity:.85;background:#1f6feb;border-color:#1f6feb}.k-definition{color:#fff;background:#1a7f37;border-color:#1a7f37}.k-example{color:#fff;background:#bc4c00;border-color:#bc4c00}.k-remark{color:#fff;background:#6e7781;border-color:#6e7781}.k-notion{color:#1a7f37;background:var(--ok-soft);border-color:#1a7f37}.k-object{color:#fff;background:var(--c,#57606a);border-color:var(--c,#57606a)}.alg-list{flex:1;padding:4px 0 30px;overflow:auto}.alg-empty{color:var(--muted);padding:16px;line-height:1.6}.alg-row{border-bottom:1px solid var(--border-soft);cursor:pointer;border-left:3px solid #0000;align-items:flex-start;gap:8px;padding:7px 8px 7px 10px;display:flex}.alg-row:hover{background:var(--panel-2)}.alg-row.selected{background:var(--accent-soft);border-left-color:var(--accent)}.alg-row.hidden-obj .alg-tex{opacity:.55}.vis-dot{border:2px solid var(--c);cursor:pointer;background:0 0;border-radius:50%;flex:none;width:16px;height:16px;margin-top:3px;padding:0}.vis-dot.on{background:var(--c)}.vis-dot.nodraw{opacity:.6;background:0 0;border-style:dotted}.alg-main{flex:1;min-width:0}.alg-tex{scrollbar-width:none;padding:1px 0;font-size:14px;overflow:auto hidden}.alg-err{color:var(--danger);margin-top:2px;font-size:12px}.alg-warn{color:var(--warn);margin-top:2px;font-size:12px}.alg-actions{opacity:0;flex:none;gap:1px;display:flex}.alg-row:hover .alg-actions,.alg-row.selected .alg-actions{opacity:1}.alg-slider{align-items:center;gap:4px;min-width:0;margin-top:4px;display:flex}.alg-slider input[type=range]{min-width:40px;accent-color:var(--accent);flex:60px}.alg-group{text-transform:uppercase;letter-spacing:.05em;color:var(--muted);background:var(--panel-2);border-bottom:1px solid var(--border-soft);padding:8px 10px 3px;font-size:11px;font-weight:700}.alg-num{border:1px solid var(--border);background:var(--panel);width:52px;color:var(--text);font:12px var(--font);font-variant-numeric:tabular-nums;border-radius:5px;flex:none;padding:2px 4px}.alg-slider .speed{border:1px solid var(--border-soft);background:var(--panel-2);cursor:pointer;color:var(--muted);border-radius:5px;padding:1px 4px;font-size:11px}.alg-slider input[type=range]{cursor:grab}.alg-slider input[type=range]:active{cursor:grabbing}.alg-slider .lim{color:var(--muted);font-variant-numeric:tabular-nums;font-size:11px}.alg-editor{background:var(--panel-2);border-bottom:1px solid var(--border);padding:8px 10px 10px 30px}.ed-head{flex-direction:column;gap:2px;display:flex}.ed-style{color:var(--muted);align-items:center;gap:14px;margin:4px 0;font-size:12.5px;display:flex}.ed-style input[type=color]{border:1px solid var(--border);vertical-align:middle;background:0 0;border-radius:4px;width:30px;height:22px;padding:0}.ed-error,.m-error{color:var(--danger);min-height:4px;margin:4px 0;font-size:12.5px}.ed-buttons,.modal-buttons{justify-content:flex-end;gap:8px;display:flex}.pform{flex-direction:column;gap:2px;display:flex}.pform-row{flex-direction:column;gap:3px;padding:4px 0;display:flex}.pform-label{color:var(--muted);font-size:12px;font-weight:500}.pform-help{color:var(--muted);font-size:11.5px}.pform-check{flex-direction:row;align-items:center;gap:8px}.pform-check .pform-label{color:var(--text)}.pform-matrix{flex-direction:column;gap:3px;display:flex}.pform-note{background:var(--warn-soft);border:1px solid var(--warn);color:var(--text);border-radius:8px;margin-bottom:4px;padding:7px 10px;font-size:12.5px}.course-head .crumb{min-width:0;color:var(--muted);white-space:nowrap;text-overflow:ellipsis;text-align:right;flex:1;font-size:12px;overflow:hidden}.course-head .crumb a{color:var(--muted);text-decoration:none}.course-head .crumb a:hover{color:var(--accent)}.toc-btn.on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.workspace.course-max .panel[data-pane=algebra],.workspace.course-max .splitter,.workspace.course-max .graphics{display:none!important}.workspace.course-max .panel[data-pane=course]{flex:auto;width:auto!important}.workspace.course-max .course-body>.entry{max-width:820px;margin:0 auto}.course-body{flex:1;overflow:auto}.entry{padding:14px 18px 40px;line-height:1.6}.entry h2{margin:6px 0;font-size:19px;font-weight:650;line-height:1.3}.entry h2 .num{color:var(--muted);font-weight:600}.entry h3{text-transform:uppercase;letter-spacing:.04em;color:var(--muted);margin:18px 0 6px;font-size:14px}.entry-head{flex-wrap:wrap;align-items:center;gap:4px 10px;display:flex}.entry-head h2{flex-basis:100%;order:2}.book-page{color:var(--muted);align-items:center;gap:4px;margin-left:auto;font-size:12px;display:inline-flex}.book-page svg,.defined-in svg{vertical-align:-2px;width:14px;height:14px}.entry-actions{flex-wrap:wrap;gap:8px;margin:8px 0 12px;display:flex}.statement{background:var(--statement-bg);border:1px solid var(--border-soft);border-left:4px solid var(--accent);font-family:var(--serif);border-radius:8px;padding:10px 14px;font-size:15.5px}.statement.kind-definition,.statement.kind-notion{border-left-color:#1a7f37}.statement.kind-example{font-family:var(--font);border-left-color:#bc4c00;font-size:14px}.statement.kind-remark{border-left-color:#6e7781}.statement.kind-lemma{border-left-color:#6639ba}.statement-label{font-family:var(--font);margin-bottom:2px;font-size:13px;font-weight:700}.statement p,.proof p,.notes p{margin:6px 0}.proof{border-left:3px solid var(--proof-bar);padding-left:12px}.math-display{margin:8px 0;padding:2px 0;overflow:auto hidden}.entry ul{margin:6px 0;padding-left:20px}.entry li{margin:3px 0}.entry blockquote{background:var(--warn-soft);border-left:3px solid var(--warn);border-radius:6px;margin:8px 0;padding:7px 12px}.xref,.objref{border-bottom:1px dotted var(--accent);text-decoration:none}.xref:hover,.objref:hover{border-bottom-style:solid}.todo-box{border:1px dashed var(--border);color:var(--muted);background:var(--panel-2);border-radius:10px;margin:16px 0;padding:14px}.checks-table{border-collapse:collapse;width:100%;font-size:13px}.checks-table td{border-bottom:1px solid var(--border-soft);vertical-align:middle;padding:5px 6px}.checks-table td.val{font-variant-numeric:tabular-nums;white-space:nowrap}.checks-table td.mark{text-align:center;width:24px;font-weight:700}.checks-table tr.ok td.mark{color:var(--ok)}.checks-table tr.bad td.mark{color:var(--danger)}.entry-nav{border-top:1px solid var(--border-soft);justify-content:space-between;gap:12px;margin-top:28px;padding-top:12px;font-size:13px;display:flex}.entry-nav .nav-next{text-align:right}.defined-in{color:var(--muted);margin:6px 0 10px;font-size:13px}.obj-def{background:var(--panel-2);border-radius:8px;padding:6px 10px}.facts{border-collapse:collapse;margin:8px 0}.facts td{border-bottom:1px solid var(--border-soft);padding:3px 12px 3px 0}.error-box,.warn-box{border-radius:8px;margin:8px 0;padding:8px 12px;font-size:13px}.error-box{background:var(--danger-soft);color:var(--danger)}.warn-box{background:var(--warn-soft);color:var(--warn)}.obj-graph p{margin:4px 0;font-size:13px}.cmdbar{border-top:1px solid var(--border);background:var(--panel);flex:none;align-items:center;gap:8px;padding:6px 10px;display:flex;position:relative}.cmd-prompt{color:var(--muted);font-size:13px;font-weight:650}.cmd-input{flex:1;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:13px}.cmd-msg{white-space:nowrap;text-overflow:ellipsis;max-width:40%;font-size:13px;overflow:hidden}.cmd-msg .err{color:var(--danger)}.cmd-help{background:var(--panel);border:1px solid var(--border);width:min(620px,100vw - 32px);max-height:60vh;box-shadow:var(--shadow);z-index:40;border-radius:10px;padding:10px 14px;position:absolute;bottom:48px;right:10px;overflow:auto}.cmd-help-head{margin-bottom:8px;font-weight:650}.cmd-help-grid{grid-template-columns:auto 1fr;align-items:baseline;gap:4px 14px;font-size:12.5px;display:grid}.modal-overlay{z-index:100;background:#01040959;justify-content:center;align-items:flex-start;padding:60px 16px;display:flex;position:fixed;inset:0;overflow:auto}.modal{background:var(--panel);border:1px solid var(--border);box-shadow:var(--shadow);border-radius:12px;width:min(520px,100%);padding:14px 18px 16px}.modal-head{align-items:baseline;gap:10px;display:flex}.modal-head h3{margin:0;font-size:16px}.modal-close{margin-left:auto}.modal-desc{color:var(--muted);margin:6px 0 10px;font-size:13px}.toasts{z-index:200;flex-direction:column;gap:6px;display:flex;position:fixed;bottom:60px;right:16px}.toast{background:var(--panel);border:1px solid var(--border);box-shadow:var(--shadow);border-radius:8px;padding:8px 12px;font-size:13px}.toast.error{border-color:var(--danger);color:var(--danger)}@media (max-width:1700px){.toggle-btn span,.brand-name{display:none}}@media (max-width:1250px){.tool-label{display:none}}@media (max-width:900px){.brand-name{display:none}.topbar{flex-wrap:wrap;padding:6px 16px}.toolbar-slot{flex-basis:100%;order:3}.top-actions{margin-left:auto}.tool-menu{width:calc(100vw - 32px);top:96px;left:16px!important}.panel[data-pane=course]{z-index:15;box-shadow:var(--shadow);position:absolute;top:0;bottom:0;right:0;width:min(420px,92vw)!important}.splitter[data-split=course]{display:none!important}.panel[data-pane=algebra]{min-width:150px;width:38vw!important}.cmd-msg{display:none}}@media (max-width:560px){.workspace{flex-direction:column}.panel[data-pane=algebra]{order:2;height:38%;width:100%!important}.splitter[data-split=algebra]{display:none!important}.cmd-prompt{display:none}}