@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/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(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/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(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/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(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/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(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/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(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/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(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/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(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/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(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/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(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/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(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/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(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/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(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/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(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/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(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/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(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/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(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/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(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/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(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/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(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);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 .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;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 .smash{display:inline;line-height:0}.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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{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}.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}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/montserrat-cyrillic-ext-400-normal-Xqov12YL.woff2) format("woff2"),url(/assets/montserrat-cyrillic-ext-400-normal-DRPPeomZ.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/montserrat-cyrillic-400-normal-BPq32Q8K.woff2) format("woff2"),url(/assets/montserrat-cyrillic-400-normal-jEs4Tk-Z.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/montserrat-vietnamese-400-normal-D4oHqQTd.woff2) format("woff2"),url(/assets/montserrat-vietnamese-400-normal-BeEscFYY.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/montserrat-latin-ext-400-normal-B8bwfy6Y.woff2) format("woff2"),url(/assets/montserrat-latin-ext-400-normal-BffdBkAA.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/montserrat-latin-400-normal-BLhwKU8k.woff2) format("woff2"),url(/assets/montserrat-latin-400-normal-xItZbAXg.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/montserrat-cyrillic-ext-600-normal-BtBW-rpm.woff2) format("woff2"),url(/assets/montserrat-cyrillic-ext-600-normal-wReYPmz2.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/montserrat-cyrillic-600-normal-CQEPC0hM.woff2) format("woff2"),url(/assets/montserrat-cyrillic-600-normal-DUglwBrH.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/montserrat-vietnamese-600-normal-DKe6qT_E.woff2) format("woff2"),url(/assets/montserrat-vietnamese-600-normal-SJ-HTWuM.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/montserrat-latin-ext-600-normal-DSkTqI9L.woff2) format("woff2"),url(/assets/montserrat-latin-ext-600-normal-CSDhkhgS.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/montserrat-latin-600-normal-UVxSCcoG.woff2) format("woff2"),url(/assets/montserrat-latin-600-normal-CdhFl4lI.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/montserrat-cyrillic-ext-700-normal-MyDreaeu.woff2) format("woff2"),url(/assets/montserrat-cyrillic-ext-700-normal-D-Mk2xRJ.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/montserrat-cyrillic-700-normal-D-Pqjtdp.woff2) format("woff2"),url(/assets/montserrat-cyrillic-700-normal-BvLYcGP1.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/montserrat-vietnamese-700-normal-C0x1De3p.woff2) format("woff2"),url(/assets/montserrat-vietnamese-700-normal-DnwGT2D9.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/montserrat-latin-ext-700-normal-BOP2Nhf0.woff2) format("woff2"),url(/assets/montserrat-latin-ext-700-normal-DdDFr05Z.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Montserrat;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/montserrat-latin-700-normal-BdjcYUrC.woff2) format("woff2"),url(/assets/montserrat-latin-700-normal-BWkrl476.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--bg:#16171c;--card:#1e2027;--lean:#191b22;--line:#2c2f3a;--text:#d8dae2;--dim:#8b90a0;--kw:#c792ea;--en:#c9d4b8;--acc:#1fc8d8;--sym:var(--acc);--chk:#d98240;--prosefont:"Iowan Old Style",serif;--codefont:Monaco,monospace;--edsize:13px;--engsize:15px}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font:14px/1.5 -apple-system,SF Pro Text,sans-serif}#root{height:100vh;display:flex;flex-direction:column}header{padding:14px 22px 10px;display:flex;gap:24px;align-items:center;background:#101116;font-size:12.5px;font-family:Montserrat,-apple-system,SF Pro Text,sans-serif}header button{font-family:inherit}#brand{display:flex;align-items:baseline;gap:8px;margin-right:4px}#brand b{color:#fff;font-size:17px;letter-spacing:.2px}#brand .dot{width:6px;height:6px;border-radius:3px;background:var(--acc);align-self:center}#brand .tag{color:#8b90a0;font-size:12px}#tabs{display:flex;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:4px;gap:3px}.tab{border:1px solid transparent;background:transparent;color:#9aa0ae;font-size:12px;padding:6px 17px;border-radius:2px;cursor:pointer}.tab.active{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 45%,transparent);background:color-mix(in srgb,var(--acc) 10%,transparent)}.fpk{position:relative}.fpk-trigger{display:flex;align-items:center;gap:6px;height:28px;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:0 10px;color:#9aa0ae;font-size:12.5px;cursor:pointer;max-width:380px}.fpk-trigger:hover,.fpk-trigger.open{border-color:var(--acc);color:#c9cdd8}.fpk-ws{color:var(--acc);font-weight:600;flex:none}.fpk-sep{color:#5a5f6b;flex:none}.fpk-file{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.fpk-chev{color:#6b7080;flex:none;margin-left:2px}.fpk-menu{position:fixed;z-index:95;min-width:280px;max-width:440px;max-height:62vh;overflow:auto;background:#131418;border:1px solid var(--line);border-radius:2px;box-shadow:0 14px 36px #00000080;padding:6px}.fpk-group{margin-bottom:3px}.fpk-group-h{color:#6b7080;font-size:10px;text-transform:uppercase;letter-spacing:.06em;padding:6px 10px 3px;font-family:var(--codefont);display:flex;align-items:center;gap:8px}.fpk-group-name{flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.fpk-remove{background:none;border:none;color:#5a5f6b;cursor:pointer;font-size:15px;line-height:1;padding:0 3px;border-radius:2px;opacity:0;transition:opacity .12s}.fpk-group:hover .fpk-remove{opacity:1}.fpk-remove:hover{color:#e08a8a;background:#241a1a}.fpk-item{display:flex;align-items:center;gap:8px;width:100%;text-align:left;background:none;border:none;color:#b8bdc9;font-family:var(--codefont);font-size:12px;padding:6px 10px;border-radius:2px;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.fpk-item:hover{background:#1d1f26;color:#e6e8ee}.fpk-item.cur{background:color-mix(in srgb,var(--acc) 16%,transparent);color:var(--acc)}.fpk-add{border-top:1px solid var(--line);margin-top:4px;padding-top:2px}.fpk-load{color:#9aa0ae}.fpk-load:disabled{opacity:.6;cursor:default}.fpk-plus{display:inline-flex;width:15px;height:15px;align-items:center;justify-content:center;border-radius:2px;background:#1d1f26;color:var(--acc);font-weight:700;flex:none;font-size:12px}.fpk-hint{color:#5a5f6b;font-size:10.5px;padding:7px 10px 4px;border-top:1px solid var(--line);margin-top:4px}.fpk-palomar{color:var(--acc);font-weight:600}.fpk-menu-pal{min-width:420px;max-width:520px;display:flex;flex-direction:column;padding:0}.fpk-palhead{display:flex;align-items:center;gap:8px;padding:9px 10px;border-bottom:1px solid var(--line)}.fpk-back{background:none;border:none;color:#9aa0ae;font-size:19px;line-height:1;cursor:pointer;padding:0 6px;border-radius:2px}.fpk-back:hover{color:var(--acc);background:#1d1f26}.fpk-palhead-t{color:#e6e8ee;font-weight:600;font-size:13px}.fpk-palhead-s{color:#5a5f6b;font-size:10.5px;margin-left:auto}.pal{display:flex;flex-direction:column;min-height:0}.pal-search{margin:8px 10px;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:6px 10px;color:#c9cdd8;font-family:var(--codefont);font-size:12px;outline:none}.pal-search:focus{border-color:var(--acc)}.pal-err{color:#e08a8a;font-size:11.5px;padding:2px 12px 8px}.pal-load{color:#6b7080;font-size:12px;padding:10px 12px}.pal-list{overflow:auto;max-height:52vh;padding:2px 6px 8px}.pal-row{display:flex;align-items:center;gap:10px;padding:8px;border-radius:2px}.pal-row:hover{background:#1a1c22}.pal-body{min-width:0;flex:1}.pal-title{color:#dfe2ea;font-size:12.5px;line-height:1.3;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pal-meta{display:flex;align-items:center;gap:6px;margin-top:3px;flex-wrap:wrap}.pal-auth{color:#8a8f9c;font-size:10.5px}.pal-tag{color:var(--acc);font-size:9.5px;border:1px solid color-mix(in srgb,var(--acc) 35%,transparent);border-radius:2px;padding:0 4px;font-family:var(--codefont)}.pal-import{flex:none;background:#17181d;border:1px solid var(--line);color:var(--acc);border-radius:2px;padding:5px 12px;font-size:11.5px;font-weight:600;cursor:pointer;min-width:58px}.pal-import:hover:not(:disabled){border-color:var(--acc);background:color-mix(in srgb,var(--acc) 12%,#17181d)}.pal-import:disabled{opacity:.55;cursor:default}.pal-import.done{color:#8a8f9c}.pal-empty{color:#6b7080;font-size:12px;padding:10px 12px}.ghi{display:flex;flex-direction:column;gap:8px;padding:12px}.ghi-row{display:flex;gap:8px}.ghi-input{flex:1;min-width:0;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:7px 11px;color:#c9cdd8;font-family:var(--codefont);font-size:12px;outline:none}.ghi-input:focus{border-color:var(--acc)}.ghi-go{flex:none;background:color-mix(in srgb,var(--acc) 14%,#17181d);border:1px solid var(--acc);color:var(--acc);border-radius:2px;padding:7px 14px;font-size:12px;font-weight:600;cursor:pointer;min-width:66px}.ghi-go:disabled{opacity:.5;cursor:default}.ghi-err{color:#e08a8a;font-size:11.5px}.ghi-egs{display:flex;gap:6px;flex-wrap:wrap}.ghi-chip{background:#1a1c22;border:1px solid var(--line);color:#9aa0ae;font-size:11px;border-radius:2px;padding:3px 9px;cursor:pointer;font-family:var(--codefont)}.ghi-chip:hover:not(:disabled){color:var(--acc);border-color:color-mix(in srgb,var(--acc) 40%,var(--line))}.lrb-hint{color:#5a5f6b;font-size:10.5px;padding:6px 10px 2px}.lrb-tree{padding:4px 0 8px}.tree-item{display:block;width:100%;text-align:left;background:none;border:none;cursor:pointer;padding:4px 10px;font-size:12px;font-family:var(--codefont);color:#c9cdd8;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.tree-item:hover:not(:disabled){background:#1a1c22;color:#e6e8ee}.tree-item:disabled{opacity:.6;cursor:default}.tree-folder{color:#9aa0ae}.tree-chev{display:inline-block;width:12px;margin-right:4px;color:#5a5f6b;transition:transform .12s ease}.tree-chev.open{transform:rotate(90deg)}.tree-filter{padding:3px 10px 5px}.tree-filter input{width:100%;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:4px 8px;color:#e6e8ee;font-size:11.5px;font-family:var(--codefont);outline:none}.tree-filter input:focus{border-color:var(--acc)}.tree-more{color:#5a5f6b;font-size:10.5px;padding:3px 10px 6px;font-style:italic}#texlink{color:#9aa0ae;font-family:var(--codefont);font-size:11.5px;background:#17181d;border:1px solid var(--line);padding:5px 12px;border-radius:2px;white-space:nowrap;cursor:pointer}#texlink:hover{color:var(--acc);border-color:var(--acc)}#texlink.active{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 55%,transparent);background:color-mix(in srgb,var(--acc) 12%,#17181d)}#texpaste{flex:1;display:flex;flex-direction:column;min-height:0;padding:18px 22px}#texpaste-body{display:flex;flex:1;min-height:0;border:1px solid var(--line);border-radius:2px;overflow:hidden}#texpaste textarea{width:42%;min-width:220px;resize:none;border:0;outline:none;padding:12px 16px;background:#17181d;color:#c3c6d1;font:14px/1.55 var(--codefont);white-space:pre;overflow:auto;border-right:1px solid var(--line)}#texpaste .tp-out{flex:1;overflow:auto;padding:12px 22px;background:#1a1c23;white-space:pre-wrap;word-wrap:break-word;font:15px/1.65 var(--codefont);color:var(--text)}#texpaste .tp-out .katex{font-size:1.3em;color:#eceef5}#texpaste .tp-out .katex-display{text-align:left;margin:.3em 0 .4em;padding-left:2ch}#texpaste .tp-out .katex-display>.katex{text-align:left}.viewbtn{color:#9aa0ae;font-family:var(--codefont);font-size:11.5px;background:#17181d;border:1px solid var(--line);padding:5px 12px;border-radius:2px;white-space:nowrap;cursor:pointer}.viewbtn:hover{color:var(--acc);border-color:var(--acc)}.viewbtn.active{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 55%,transparent);background:color-mix(in srgb,var(--acc) 12%,#17181d)}#modesw{margin-left:auto}#modesw button{display:flex;align-items:center;justify-content:center;height:28px;padding:0 15px;font-size:12.5px}#modesw button.on{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 55%,transparent);background:color-mix(in srgb,var(--acc) 12%,#17181d)}#gear{background:#17181d;border:1px solid var(--line);border-radius:2px;color:#9aa0ae;height:28px;padding:0 8px;cursor:pointer;display:grid;place-items:center}#gear:hover,#gear.active{color:var(--acc);border-color:var(--acc)}#menu-scrim{position:fixed;inset:0;z-index:90}#settings{position:fixed;top:52px;right:16px;z-index:91;width:342px;max-height:calc(100vh - 76px);overflow:auto;background:#141519;border:1px solid var(--line);border-radius:2px;padding:2px 18px 8px;box-shadow:0 14px 44px #0000008c;display:flex;flex-direction:column}#settings .pane.active{align-items:center;gap:18px;row-gap:12px;padding:14px 0;border-bottom:1px solid var(--line)}#settings .pane.active:last-child{border-bottom:none}#settings .grp{width:100%;margin:0 0 2px}#settings .cols,#settings .swatches{display:flex;align-items:center;gap:16px;flex-wrap:wrap;width:100%}#rack{background:#101116;border-bottom:1px solid #000;padding:12px 22px 16px}#topchrome{display:grid;grid-template-rows:1fr;transition:grid-template-rows .5s ease}#topchrome.collapsed{grid-template-rows:0fr}.tcinner{overflow:hidden;min-height:0}#topstrip{display:flex;align-items:center;gap:10px;padding:0 14px;background:#101116;height:0;opacity:0;overflow:hidden;transition:height .45s ease,opacity .35s ease}#topstrip.show{height:24px;opacity:1}.strip-line{flex:1;border-top:1px solid var(--line)}#topstrip button{background:transparent;border:none;color:#6d7280;cursor:pointer;display:grid;place-items:center;padding:0 8px}#topstrip button:hover{color:var(--acc)}#chromeup{margin-left:2px;height:28px}.pane{display:none;align-items:center;gap:26px;row-gap:14px;flex-wrap:wrap}.pane.active{display:flex}.grp{font-size:10px;letter-spacing:.16em;color:#6d7280;text-transform:uppercase;margin-right:6px}.ctl{display:flex;align-items:center;gap:9px;color:#aeb3c0;font-size:13px;cursor:pointer;-webkit-user-select:none;user-select:none}.seg{display:flex;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:4px;gap:3px}.seg button{border:1px solid transparent;background:transparent;color:#c3c6d1;font-size:13px;padding:6px 15px;border-radius:2px;cursor:pointer}.seg button:hover{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 45%,transparent);background:color-mix(in srgb,var(--acc) 10%,transparent)}input.sw{appearance:none;-webkit-appearance:none;width:30px;height:17px;border-radius:9px;background:#2c2f3a;position:relative;cursor:pointer;transition:background .15s;margin:0}input.sw:after{content:"";position:absolute;top:2px;left:2px;width:13px;height:13px;border-radius:7px;background:#8b90a0;transition:all .15s}input.sw:checked{background:color-mix(in srgb,var(--acc) 55%,#2c2f3a)}input.sw:checked:after{left:15px;background:#0f1013}.pane select{background:#17181d;color:#c9cdd8;border:1px solid var(--line);border-radius:2px;padding:5px 9px;font-size:13px}.pane input[type=range]{accent-color:var(--acc);width:120px}.val{background:#17181d;border:1px solid var(--line);border-radius:2px;color:var(--acc);font-family:var(--codefont);font-size:12.5px;padding:5px 8px;width:56px;text-align:center}.pill{background:#17181d;color:#c3c6d1;border:1px solid var(--line);border-radius:2px;width:31px;height:26px;cursor:pointer}.pill:hover{color:var(--acc);border-color:var(--acc)}.pillw{background:#17181d;color:#c3c6d1;border:1px solid var(--line);border-radius:2px;padding:6px 13px;font-size:13px;cursor:pointer}.pillw:hover{color:var(--acc);border-color:var(--acc)}#filesel{max-width:320px}#cookienote{position:fixed;left:0;right:0;bottom:0;z-index:120;display:flex;align-items:center;justify-content:center;gap:16px;padding:10px 18px;background:#0d0e12;border-top:1px solid var(--line);color:#9aa0ae;font-size:12px}#cookienote button{background:var(--acc);color:#0f1013;border:none;font-weight:600;border-radius:2px;padding:6px 14px;font-size:12px;cursor:pointer}#cookienote button:hover{filter:brightness(1.08)}#drophint{position:fixed;inset:10px;display:none;z-index:80;pointer-events:none;border:2px dashed var(--acc);border-radius:2px;background:color-mix(in srgb,var(--acc) 6%,transparent)}body.dragging #drophint{display:block}.swatch{width:22px;height:22px;border-radius:11px;border:2px solid transparent;cursor:pointer;padding:0}.swatch.active{border-color:#fff}main{flex:1;display:flex;min-height:0}#studymain{flex-direction:column}#studymain.focus #leanpane,#studymain.focus #vsplit,#studymain.focus #hsplit,#studymain.focus #cardwrap{display:none}#studymain.focus #toprow{flex:1 1 auto}#toprow{display:flex;flex:0 0 var(--leanh, 75%);min-height:120px}#leanpane{flex:0 0 var(--leftw, 50%);min-width:240px;position:relative}#leanwrap{height:100%;overflow:auto}#leantools{position:absolute;top:8px;right:14px;z-index:5;display:flex;gap:6px;align-items:center}.clockchip{display:flex;align-items:center;gap:4px;height:26px;padding:0 8px;border-radius:2px;cursor:pointer;font-size:11px;font-family:var(--codefont);background:color-mix(in srgb,#101116 82%,transparent);color:#8b90a0;border:1px solid var(--line)}.clockchip:hover{color:var(--acc);border-color:var(--acc)}#vsplit{width:5px;flex:none;cursor:col-resize;background:var(--line)}#vsplit:hover,#hsplit:hover{background:var(--sym)}#hsplit{height:5px;flex:none;cursor:row-resize;background:var(--line)}#engpane{flex:1;min-width:240px;position:relative}#engwrap{height:100%;overflow:auto}#engwrap .cm-gutters{display:none}#engtex{position:absolute;inset:0;z-index:2;overflow:auto;background:#faf9f6}.pdf-loader{display:flex;justify-content:center;gap:7px;padding:26px 0}.pdf-loader.top{padding-top:12px}.pdf-loader span{width:7px;height:7px;border-radius:50%;background:color-mix(in srgb,var(--acc) 45%,#b9b7ae);animation:pdfpulse 1s ease-in-out infinite}.pdf-loader span:nth-child(2){animation-delay:.15s}.pdf-loader span:nth-child(3){animation-delay:.3s}@keyframes pdfpulse{0%,to{opacity:.25;transform:translateY(0)}50%{opacity:1;transform:translateY(-3px)}}.engtex-page{max-width:44em;margin:0 auto;padding:52px 64px 72px;font-family:KaTeX_Main,Latin Modern Roman,"CMU Serif",Georgia,Times New Roman,serif;font-size:calc(var(--engsize) + 1px);line-height:1.7;color:#1a1a1a;overflow-wrap:break-word;text-wrap:pretty}.engtex-page .qed{float:right;color:#555;font-size:1.05em;margin-left:.5em}.engtex-page p.h1{font-size:1.55em;font-weight:700;color:#111;margin:1.35em 0 .4em;line-height:1.25}.engtex-page p.h2{font-size:1.28em;font-weight:700;color:#161616;margin:1.1em 0 .35em;line-height:1.3}.engtex-page p.h3{font-size:1.12em;font-weight:700;color:#1e1e1e;margin:.9em 0 .3em}.engtex-page p.h1 .secnum,.engtex-page p.h2 .secnum,.engtex-page p.h3 .secnum{margin-right:.55em}.engtex-page p{margin:0 0 .85em}.engtex-page p:last-child{margin-bottom:0}.engtex-page .katex{font-size:1em;color:inherit}.engtex-page .entex{margin:0 1px}.engtex-page .eng-head{font-weight:700;color:#111}.engtex-page .eng-head.priv{font-style:italic;color:#37373a}.engtex-page .decl-status{font-size:.82em;margin-right:.42em;vertical-align:.06em}.engtex-page .decl-status.done{color:#177245}.engtex-page .decl-status.todo{color:#c0851f}.engtex-page .thm-name{color:color-mix(in srgb,var(--acc) 62%,#151515);font-weight:600}.engtex-page .typ,.engtex-page .katex .mathbb{color:var(--chk)}.engtex-page .ln{border-radius:2px;padding:.35em 0;margin:0;-webkit-box-decoration-break:clone;box-decoration-break:clone;transition:background .15s}.engtex-page .ln:not(.doc):not(.cmt):not(.bp):not(.head){cursor:pointer}.engtex-page .ln:not(.doc):not(.cmt):not(.bp):not(.head):hover{background:color-mix(in srgb,var(--acc) 14%,#faf9f6)}.engtex-page .ln.cur{background:color-mix(in srgb,var(--acc) 20%,#faf9f6)}.engtex-page p.cmt{margin:1.05em 0 1.05em 1.5em;color:#4a4a4a;font-size:.95em}.engtex-page p.cmt .doc-head{font-weight:700;color:#222}.engtex-page p.cmt code{font-family:var(--codefont);font-size:.9em;background:#efeee8;padding:0 3px;border-radius:2px}.engtex-page p.cmt .doc-ref{color:#8a8a8a}.engtex-page .cite{color:color-mix(in srgb,var(--acc) 55%,#333);cursor:pointer}.engtex-page .cite:hover{text-decoration:underline}.engtex-page .doc-help{color:color-mix(in srgb,var(--acc) 55%,#333);cursor:pointer;text-decoration:underline dotted;text-underline-offset:3px}.engtex-page .doc-help:hover{text-decoration-style:solid}.engtex-page .doc-ref{color:#9a9a9a;font-size:.92em}.engtex-page .xref{color:color-mix(in srgb,var(--acc) 45%,#555);font-size:.92em;cursor:pointer}.engtex-page .xref:hover{text-decoration:underline}.engtex-page .bp-status{font-size:.82em;margin-right:.45em;vertical-align:.06em}.engtex-page .bp-status.done{color:#177245}.engtex-page .bp-status.todo{color:#c0851f}.engtex-page .bp-disc{color:#9a9a9a;font-size:.85em;margin-left:.15em}.engtex-page .bp-uses{color:#6a6a6a;font-size:.9em}.engtex-page .imp{white-space:nowrap}.engtex-page .katex [data-iv]{border-bottom:1px dotted color-mix(in srgb,var(--acc) 40%,#cfcfc7);cursor:help}.engtex-page .bibkey{font-weight:700;color:#222;margin-right:.4em}.engtex-page p.refhead{margin:2em 0 .5em;padding-top:.9em;border-top:1px solid #dcdcd4;font-weight:700;font-size:1.12em;color:#111}.engtex-page p.refentry{margin:.3em 0 .3em 1.6em;text-indent:-1.6em;font-size:.95em;color:#333}.engtex-page p.bp{border-left:2px solid color-mix(in srgb,var(--acc) 32%,#d6d6cc);padding-left:1em;margin:.55em 0}.engtex-page .katex-display{margin:.95em 0}.engtex-page .ln.cmt{color:#6a6a6a;font-style:italic}.engtex-page .lem{border-bottom:1px dotted color-mix(in srgb,var(--acc) 40%,#cfcfc7);cursor:help}.engtex-page .pbreak{display:block;height:.95em}.engtex-page .wordhl{font-weight:700;background:color-mix(in srgb,var(--acc) 18%,#efeee8);border-radius:2px}.engtool.tex-toggle{width:auto;padding:0 9px;font-size:11px;font-weight:600;font-family:var(--codefont)}#engtools{position:absolute;top:8px;right:14px;display:flex;gap:6px;z-index:5}.engtool{width:28px;height:26px;border-radius:2px;display:grid;place-items:center;background:color-mix(in srgb,#101116 82%,transparent);border:1px solid var(--line);color:#8b90a0;cursor:pointer;padding:0}.engtool:hover{color:var(--acc);border-color:var(--acc)}.engtool.active{color:var(--acc);border-color:color-mix(in srgb,var(--acc) 55%,transparent);background:color-mix(in srgb,var(--acc) 14%,#101116)}.cm-editor{height:100%;font-size:var(--edsize)}.cm-editor.cm-focused{outline:none}#leanwrap .cm-content{font-family:var(--codefont)}#engwrap .cm-content{font-family:var(--prosefont);font-size:var(--engsize);line-height:1.65;color:var(--en)}.eng-head{font-weight:700;color:var(--acc)}#leanwrap .cm-scroller{position:relative;scroll-behavior:smooth}.cm-lensOverlay{position:absolute;left:0;top:0;right:0;pointer-events:none;z-index:3}.lens-panel{position:absolute;left:0;right:0;background:color-mix(in srgb,var(--bg) 55%,transparent);backdrop-filter:blur(.9px);-webkit-backdrop-filter:blur(.9px)}.cm-lensOverlay.noblur .lens-panel{background:transparent;backdrop-filter:none;-webkit-backdrop-filter:none}.lens-box{position:absolute;left:1px;right:1px;border:2px solid var(--chk);border-left-width:5px;border-radius:2px;box-shadow:0 0 14px color-mix(in srgb,var(--chk) 30%,transparent)}.cm-lensOverlay.ready .lens-panel,.cm-lensOverlay.ready .lens-box{transition:top 1s cubic-bezier(.3,.8,.3,1),height 1s cubic-bezier(.3,.8,.3,1)}#leanwrap .cm-lineNumbers .cm-gutterElement{transition:color .15s ease}#leanwrap .cm-lineNumbers .cm-gutterElement.cm-jumpTarget{color:color-mix(in srgb,#e5c07b 85%,#8b90a0);font-weight:700}.dim-en{filter:blur(.8px);opacity:.5}#leanwrap .cm-wordhl{font-weight:700;background:color-mix(in srgb,var(--acc) 18%,transparent);border-radius:2px}.lean-hoverdoc{max-width:380px;padding:8px 11px;font:12.5px/1.55 var(--prosefont);color:#d8dae2}.lean-hoverdoc b{color:var(--sym);font-family:var(--codefont)}.lean-hoverdoc code{font-family:var(--codefont);font-size:.92em;color:#e5c07b;background:#101116;padding:0 3px;border-radius:2px}.cm-tooltip:has(.lean-hoverdoc){border:1px solid var(--line);border-radius:2px;background:var(--card)!important}#cardwrap{flex:1;overflow:hidden;padding:24px;margin-top:16px}#inspector{display:flex;flex-direction:column;height:100%}.insp-tabs{display:flex;gap:2px;margin:0 0 12px -24px;border-bottom:1px solid var(--line);flex:none}.insp-tab{background:none;border:none;color:#8b90a0;font-size:13px;padding:7px 14px;cursor:pointer;font-family:Montserrat,-apple-system,SF Pro Text,sans-serif;border-bottom:2px solid transparent;margin-bottom:-1px}.insp-tab:hover{color:#c9cdd8}.insp-tab.active{color:var(--acc);border-bottom-color:var(--acc);font-weight:600}.insp-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--acc);margin-left:6px;vertical-align:1px}.insp-body{flex:1;min-height:0;overflow:auto}.insp-empty{color:var(--dim);font-size:13px;padding:20px 4px;font-style:italic}.notes-tab{display:flex;flex-direction:column;gap:10px;padding:2px}.notes-empty{color:var(--dim);font-size:13px;padding:16px 4px;font-style:italic}.notes-empty .notes-dim{color:#6b7080}.note-row{border:1px solid var(--line);border-left:2px solid #3a3d47;border-radius:2px;padding:9px 13px;background:#1a1c22}.note-row.jump{cursor:pointer}.note-row.jump:hover{border-color:color-mix(in srgb,var(--acc) 45%,var(--line))}.note-row.here{border-left-color:var(--acc);background:color-mix(in srgb,var(--acc) 7%,#1a1c22)}.note-anchor{color:#9aa0ae;font-family:var(--codefont);font-size:11px;font-weight:600;margin-bottom:4px;display:flex;align-items:center;gap:7px}.note-row.here .note-anchor{color:var(--acc)}.note-here{color:var(--acc);font-size:9px;text-transform:uppercase;letter-spacing:.06em;border:1px solid color-mix(in srgb,var(--acc) 40%,transparent);border-radius:2px;padding:0 4px;font-weight:700}.note-text{color:#c7cbd6;font-size:13.5px;line-height:1.55}.note-text .katex{font-size:1em}.note-text .cite,.note-text .xref{color:var(--acc);cursor:inherit}.note-by{color:#6b7080;font-size:11px;margin-top:6px}.vdock{position:fixed;z-index:70;background:#131418;border:1px solid var(--line);border-radius:2px;box-shadow:0 14px 40px #0000008c;overflow:hidden;transition:left .38s cubic-bezier(.22,1,.36,1),top .38s cubic-bezier(.22,1,.36,1),width .38s cubic-bezier(.22,1,.36,1)}.vdock.dragging{transition:none}.vdock-bar{display:flex;align-items:center;gap:8px;padding:8px 10px;border-bottom:1px solid var(--line);cursor:move;-webkit-user-select:none;user-select:none;touch-action:none}.vdock-bar button{cursor:pointer}.vdock-resize{position:absolute;top:38px;right:0;bottom:0;width:9px;z-index:3;cursor:ew-resize;touch-action:none}.vdock-resize:hover{background:linear-gradient(to left,color-mix(in srgb,var(--acc) 45%,transparent),transparent)}.vdock-dot{width:7px;height:7px;border-radius:50%;background:var(--acc);flex:none}.vdock-title{color:#dfe2ea;font-size:12px;font-weight:600;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;flex:1}.vdock-ok{color:#177245;font-size:11px;flex:none}.vdock-warn{color:#c0851f;font-size:12px;flex:none;cursor:help}.vdock-n{background:#1d1f26;border:1px solid var(--line);color:var(--acc);font-size:10.5px;font-weight:700;border-radius:2px;padding:1px 6px;cursor:pointer;flex:none}.vdock-min{background:none;border:none;color:#9aa0ae;cursor:pointer;font-size:14px;line-height:1;padding:0 4px;flex:none}.vdock-min:hover{color:var(--acc)}.vdock video{display:block;width:100%;max-height:68vh;object-fit:contain;background:#000}.vdock-soon{display:flex;align-items:center;justify-content:center;aspect-ratio:16/9;background:repeating-linear-gradient(45deg,#15161c,#15161c 12px,#181a22 12px 24px);color:#9aa0ae;font-size:15px;font-weight:600;letter-spacing:.03em}.trust-backdrop{position:fixed;inset:0;z-index:200;background:#08090ca8;display:flex;align-items:center;justify-content:center;padding:20px}.trust-modal{width:min(520px,92vw);background:#16171d;border:1px solid var(--line);border-radius:2px;box-shadow:0 24px 70px #0009;padding:22px 24px}.trust-title{color:#fff;font-size:18px;font-weight:700}.trust-repo{color:var(--acc);font-family:var(--codefont);font-size:13px;margin:4px 0 14px;word-break:break-all}.trust-body p{color:#c2c6d0;font-size:13px;line-height:1.55;margin:0 0 10px}.trust-body b{color:#e6e8ee}.trust-fine{color:#8b90a0!important;font-size:12px!important}.trust-actions{display:flex;justify-content:flex-end;gap:10px;margin-top:16px}.trust-actions button{border-radius:2px;padding:8px 16px;font-size:13px;font-weight:600;cursor:pointer}.trust-cancel{background:#1d1f26;border:1px solid var(--line);color:#c2c6d0}.trust-cancel:hover{border-color:#3a3e4a;color:#e6e8ee}.trust-ok{background:var(--acc);border:1px solid var(--acc);color:#0f1013}.trust-ok:hover{filter:brightness(1.08)}.help-modal{width:min(660px,94vw);max-height:88vh;overflow:auto;outline:none}.help-modal pre{margin:4px 0 12px;padding:9px 11px;background:#0f1014;border:1px solid var(--line);border-radius:2px;font-family:var(--codefont);font-size:11.5px;line-height:1.5;color:#d5d8e0;white-space:pre-wrap;word-break:break-all}.help-modal code{font-family:var(--codefont);font-size:12px;color:#e6e8ee;background:#1d1f26;padding:0 4px;border-radius:2px}.help-link{background:none;border:none;padding:0;margin:0;color:var(--acc);cursor:pointer;font:inherit;font-style:normal;text-decoration:underline dotted;text-underline-offset:3px}.help-link:hover{text-decoration-style:solid}#services{display:inline-flex;align-items:center;height:28px;background:color-mix(in srgb,var(--acc) 10%,#17181d);border:1px solid var(--acc);border-radius:2px;color:var(--acc);font-size:12.5px;font-weight:600;letter-spacing:.2px;padding:0 13px;cursor:pointer;white-space:nowrap}#services:hover,#services[aria-expanded=true]{background:color-mix(in srgb,var(--acc) 22%,#17181d);color:#e9fffc}#services:focus-visible,.svc-close:focus-visible,.svc-contact a:focus-visible{outline:2px solid var(--acc);outline-offset:2px}.svc-backdrop{position:fixed;inset:0;z-index:210;background:#08090c8c;backdrop-filter:blur(6px);-webkit-backdrop-filter:blur(6px);display:flex;align-items:center;justify-content:center;padding:20px}.svc-modal{position:relative;width:min(440px,92vw);background:#16171d;border:1px solid var(--line);border-radius:2px;box-shadow:0 24px 70px #0009;padding:24px 28px 26px;color:#c2c6d0;outline:none}.svc-title{margin:0 0 6px;padding-right:28px;color:#fff;font-size:18px;font-weight:700}.svc-sub{margin:16px 0 6px;color:#8b90a0;font-size:11px;font-weight:600;letter-spacing:.08em;text-transform:uppercase}.svc-list{margin:0;padding-left:20px;font-size:14px;line-height:1.75}.svc-contact{margin:0;font-size:14px;line-height:1.6}.svc-contact a{color:var(--acc);text-decoration:underline;text-underline-offset:3px}.svc-close{position:absolute;top:10px;right:10px;width:30px;height:30px;border-radius:2px;background:transparent;border:1px solid transparent;color:#9aa0ae;font-size:20px;line-height:1;cursor:pointer;display:grid;place-items:center}.svc-close:hover{color:var(--acc);border-color:var(--acc)}.vdock-cues{display:flex;flex-wrap:wrap;align-items:flex-start;align-content:flex-start;gap:5px;padding:8px 10px;max-height:120px;overflow:auto}.vcue{flex:0 0 auto;max-width:100%;background:#1a1c22;border:1px solid var(--line);color:#9aa0ae;font-size:10.5px;line-height:1.5;border-radius:2px;padding:3px 8px;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.vcue:hover{color:#e6e8ee;border-color:color-mix(in srgb,var(--acc) 40%,var(--line))}.vcue.vcue-lean{color:#c3c6d1}.vcue-mk{color:var(--acc);margin-right:5px;font-family:var(--codefont);font-size:9px}.vcue.on{border-color:var(--acc);background:color-mix(in srgb,var(--acc) 14%,#1a1c22);color:var(--acc)}.lemmas-tab{display:flex;flex-direction:column;gap:9px;padding:2px}.lem-scope{color:var(--dim);font-size:12px;margin-bottom:2px}.lem-scope-n{color:#c9cdd8;font-family:var(--codefont)}.lemrow{display:flex;flex-direction:column;gap:2px;padding:8px 12px;border:1px solid var(--line);border-left:3px solid color-mix(in srgb,var(--acc) 50%,var(--line));border-radius:8px;background:#17181d}.lemname{color:var(--acc);font-family:var(--codefont);font-size:13px;text-decoration:none;align-self:flex-start}.lemname:hover{text-decoration:underline}.lemmean{color:#c9cdd8;font-size:13px}.lemdoc{color:#9aa0ae;font-size:12.5px;line-height:1.5}.lemdoc code{font-family:var(--codefont);background:#0e0f13;padding:0 3px;border-radius:2px}.lemlocals{display:flex;flex-wrap:wrap;align-items:center;gap:6px;margin-top:2px}.lemlocals-h{color:var(--dim);font-size:11px;text-transform:uppercase;letter-spacing:.05em}.lemlocal{color:#7c8290;font-family:var(--codefont);font-size:12px;background:#15161a;padding:1px 6px;border-radius:2px}#colbar{display:flex;align-items:center;gap:18px;margin-bottom:12px}.colchk{position:relative;display:flex;align-items:center;gap:8px;color:#aeb3c0;font-size:13px;cursor:pointer;-webkit-user-select:none;user-select:none}.colchk input{position:absolute;opacity:0;pointer-events:none}.colchk .box{width:17px;height:17px;border-radius:2px;background:#17181d;border:1px solid var(--line);display:grid;place-items:center;transition:background .15s,border-color .15s}.colchk input:checked+.box{background:var(--chk);border-color:var(--chk)}.colchk input:checked+.box:after{content:"✓";color:#fff;font-size:12px;font-weight:700;line-height:1}.colchk:hover .box{border-color:var(--acc)}#card{border:1px solid var(--line);border-left:5px solid var(--chk);border-radius:2px;overflow:hidden;background:var(--card);min-width:640px}.row{display:flex;border-bottom:1px solid var(--line);height:81px}.row:last-child{border-bottom:0}.lean,.gloss,.texcol{overflow:auto}.lean:has(.ghost-rise){overflow:visible}.lean::-webkit-scrollbar,.gloss::-webkit-scrollbar,.texcol::-webkit-scrollbar,.texsrc::-webkit-scrollbar{width:7px;height:7px}.lean::-webkit-scrollbar-thumb,.gloss::-webkit-scrollbar-thumb,.texcol::-webkit-scrollbar-thumb,.texsrc::-webkit-scrollbar-thumb{background:var(--line);border-radius:2px}.num{width:36px;flex:none;padding:10px 7px;text-align:right;color:color-mix(in srgb,var(--chk) 60%,#8b90a0);font:11px/1.6 SF Mono,Menlo,monospace;background:var(--lean);border-right:1px solid var(--line);-webkit-user-select:none;user-select:none}.lean{flex:1 1 0;min-width:0;padding:10px 14px;background:var(--lean);border-right:1px solid var(--line);font-family:var(--codefont);font-size:.96em;line-height:1.6;white-space:pre-wrap;word-break:break-word;position:relative}.lean .kw{color:var(--kw)}.lean .sym{color:var(--sym)}.lean .cm{color:#5f6572}.texsrc{flex:1 1 0;min-width:0;padding:10px 12px;border-left:1px solid var(--line);background:#1a1c23;color:#9aa3c0;font-family:var(--codefont);font-size:.88em;line-height:1.6;white-space:pre-wrap;word-break:break-word;position:relative;overflow:auto}.texgrip{display:none}.row.ghost{background:color-mix(in srgb,var(--acc) 8%,transparent)}.ghost-rise{position:absolute;inset:0;border:none!important;background:transparent!important;pointer-events:none;animation:ghostUp 1.6s ease-out forwards}.ghost-rise,.ghost-rise span{color:var(--acc)!important;text-shadow:0 0 9px color-mix(in srgb,var(--acc) 55%,transparent)}@keyframes ghostUp{0%{transform:translateY(0);opacity:.85}to{transform:translateY(-120%);opacity:0}}.ghost-mark{position:relative}.ghost-mark:before{content:attr(data-ghost);position:absolute;left:0;top:0;white-space:pre;pointer-events:none;color:var(--acc);text-shadow:0 0 9px color-mix(in srgb,var(--acc) 55%,transparent);animation:ghostUp 1.6s ease-out forwards}.gloss{flex:1;padding:10px 16px;min-width:0}.en{color:var(--en);font-family:var(--prosefont);font-size:1.12em}.en .alt{color:var(--dim);font-style:normal;font-size:.88em}.en .entex{margin:0 2px}.en .entex .katex{font-size:.98em;color:#eceef5}.en .warn{color:#e5c07b}.cm-en{color:#7d8494;font-style:italic}.en-doc{font-size:1.05em}.en-doc .doc-head{font-weight:700;color:var(--acc)}.en-doc .doc-ref{color:var(--dim);font-size:.9em}.en-doc code{font-family:var(--codefont);font-size:.85em;color:#e5c07b;background:#101116;padding:0 3px;border-radius:2px}.en-doc .katex{color:#eceef5}.texcol{flex:1;min-width:0;padding:10px 14px;border-left:1px solid var(--line);overflow-x:auto}.texcol .katex{font-size:1.12em;color:#eceef5}.na{color:#4b505e;font-size:.8em;font-style:italic;-webkit-user-select:none;user-select:none}footer{padding:8px 22px;font-size:11px;color:#565b6b;background:#101116}#pdfview{position:relative;flex:1;display:flex;flex-direction:column;min-height:0}#pdfwrap{flex:1;overflow:auto;background:#0d0e12;display:flex;justify-content:center;align-items:flex-start}#pdfcanvas{margin:18px 0 60px;box-shadow:0 10px 34px #0009;border-radius:2px}#pdfempty{color:#6d7280;font-size:13px;margin-top:120px}#pdfmenu{position:absolute;top:10px;right:16px;z-index:7;display:flex;flex-direction:column;align-items:flex-end;gap:7px}.menu-panel{background:var(--card);border:1px solid var(--line);border-radius:2px;padding:6px;display:flex;flex-direction:column;gap:2px;min-width:220px;box-shadow:0 12px 30px #0000008c}.menu-note{font-size:11px;color:#6d7280;padding:5px 10px 7px;border-bottom:1px solid var(--line);margin-bottom:3px;max-width:280px}.menu-item{text-align:left;background:transparent;border:none;color:#c3c6d1;font-size:12.5px;padding:7px 10px;border-radius:2px;cursor:pointer}.menu-item:hover{background:color-mix(in srgb,var(--acc) 12%,transparent);color:var(--acc)}.menu-item:disabled{opacity:.4;cursor:default}.menu-item:disabled:hover{background:transparent;color:#c3c6d1}#pdfnav{position:absolute;bottom:16px;left:50%;transform:translate(-50%);display:flex;gap:10px;align-items:center;background:#101116e6;border:1px solid var(--line);border-radius:2px;padding:6px 12px;font-size:12px;color:#aeb3c0;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}#pdfmapview{flex:1;display:flex;flex-direction:column;min-height:0;padding:18px 22px}#pdfmap-body{display:flex;flex:1;min-height:0;gap:14px}#pdfmap-sidebar{width:280px;flex:none;display:flex;flex-direction:column;min-height:0;border:1px solid var(--line);border-radius:2px;background:#17181d}.pdfmap-sb-tools{flex:none;display:flex;flex-direction:column;gap:8px;padding:10px;border-bottom:1px solid var(--line)}.pdfmap-open{background:#17181d;border:1px solid var(--line);border-radius:2px;color:#c3c6d1;font-size:12px;padding:6px 12px;cursor:pointer}.pdfmap-open:hover{color:var(--acc);border-color:var(--acc)}.pdfmap-open:disabled{opacity:.4;cursor:default}.pdfmap-wspicks{display:flex;flex-direction:column;gap:4px}.pdfmap-wspick{text-align:left;background:transparent;border:1px solid var(--line);border-radius:2px;color:#c3c6d1;font-size:12px;padding:6px 10px;cursor:pointer}.pdfmap-wspick:hover{border-color:var(--acc);color:var(--acc)}.pdfmap-wspick.on{border-color:var(--acc);color:var(--acc);background:color-mix(in srgb,var(--acc) 10%,transparent)}.pdfmap-drawmode{width:100%}.pdfmap-drawmode button{flex:1;font-size:11.5px;padding:6px 8px}.pdfmap-sb-list{flex:1;min-height:0;overflow:auto}.pdfmap-sb-empty{color:#6d7280;font-size:12px;padding:12px 10px;line-height:1.5}.pdfmap-sb-head{font-size:10px;letter-spacing:.1em;color:#6d7280;text-transform:uppercase;padding:9px 10px 6px;border-bottom:1px solid var(--line)}.pdfmap-outrow{display:block;width:100%;text-align:left;background:transparent;border:none;border-bottom:1px solid var(--line);color:#c3c6d1;font-size:12px;padding:7px 10px;cursor:pointer}.pdfmap-outrow:hover:not(:disabled){background:color-mix(in srgb,var(--acc) 10%,transparent)}.pdfmap-outrow.cur{color:var(--acc)}.pdfmap-outrow:disabled{cursor:default;opacity:.5}.pdfmap-hlrow{display:flex;align-items:stretch;border-bottom:1px solid var(--line)}.pdfmap-hlrow.cur{border-left:2px solid var(--chk)}.pdfmap-hlrow-btn{flex:1;min-width:0;display:flex;flex-direction:column;align-items:flex-start;gap:1px;text-align:left;background:transparent;border:none;color:#c3c6d1;padding:8px 10px;cursor:pointer}.pdfmap-hlrow-btn:hover{background:color-mix(in srgb,var(--chk) 12%,transparent)}.pdfmap-hlrow-page{font-size:10px;color:#6d7280;font-family:var(--codefont)}.pdfmap-hlrow-label{font-size:12px;color:#c3c6d1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:100%}.pdfmap-hlrow-del{flex:none;width:26px;background:transparent;border:none;color:#6d7280;font-size:15px;cursor:pointer}.pdfmap-hlrow-del:hover{color:#e08a8a}.pdfmap-draft{padding:10px;border-bottom:1px solid var(--line)}.pdfmap-draft input{width:100%;background:#0d0e12;border:1px solid var(--line);border-radius:2px;color:#c3c6d1;font-size:12px;padding:6px 8px;margin-top:6px;outline:none}.pdfmap-draft input:focus{border-color:var(--chk)}.pdfmap-draft-actions{display:flex;gap:6px;margin-top:8px}.pdfmap-sb-foot{flex:none;padding:10px;border-top:1px solid var(--line)}.pdfmap-sb-foot .pdfmap-open{width:100%}#pdfmap-main{flex:1;min-width:0;display:flex;flex-direction:column;border:1px solid var(--line);border-radius:2px;overflow:hidden;background:#0d0e12}#pdfmap-bar{display:flex;align-items:center;gap:8px;padding:8px 10px;background:#17181d;border-bottom:1px solid var(--line);flex:none}.pdfmap-name{color:#8b90a0;font-size:12px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pdfmap-nav{margin-left:auto;display:flex;align-items:center;gap:8px;font-size:12px;color:#aeb3c0;flex:none}.pdfmap-nav .pill{width:26px;height:24px;display:grid;place-items:center}#pdfmap-wrap{flex:1;overflow:auto;display:flex;justify-content:center;align-items:flex-start;padding:20px}#pdfmap-empty{color:#6d7280;font-size:13px;margin-top:100px;text-align:center;max-width:360px}.pdfmap-page{position:relative;box-shadow:0 10px 34px #0009;border-radius:2px;line-height:0}.pdfmap-page canvas{display:block;border-radius:2px}.pdfmap-page.drawing{cursor:crosshair}.pdfmap-textlayer{position:absolute;inset:0;overflow:clip;opacity:1;line-height:1;text-align:initial;transform-origin:0 0;z-index:1}.pdfmap-page.drawing .pdfmap-textlayer{pointer-events:none}.pdfmap-textlayer :is(span,br){color:transparent;position:absolute;white-space:pre;cursor:text;transform-origin:0% 0%}.pdfmap-textlayer ::selection{background:color-mix(in srgb,var(--chk) 45%,transparent)}.pdfmap-hl-layer{position:absolute;inset:0;z-index:2;pointer-events:none}.pdfmap-hl{position:absolute;pointer-events:auto;background:color-mix(in srgb,var(--chk) 28%,transparent);border:1.5px solid color-mix(in srgb,var(--chk) 75%,transparent);border-radius:2px;cursor:pointer;padding:0}.pdfmap-hl:hover,.pdfmap-hl:focus-visible{background:color-mix(in srgb,var(--chk) 45%,transparent);border-color:var(--chk);outline:none}.pdfmap-hl:focus-visible{box-shadow:0 0 0 2px color-mix(in srgb,var(--chk) 50%,transparent)}.pdfmap-hl.draft{border-style:dashed;pointer-events:none}#skelview,#ocrview{flex:1;display:flex;flex-direction:column;min-height:0;background:#0d0e12}.llmbar{display:flex;align-items:center;gap:8px;flex-wrap:wrap;padding:8px 14px}.llm-sep{width:1px;align-self:stretch;margin:4px;background:var(--line)}.llm-flash{color:var(--acc);font-size:12px}.llmcols{flex:1;display:flex;min-height:0;gap:0}.llm-left{flex:1 1 46%;overflow:auto;display:flex;flex-direction:column;align-items:center;position:relative;border-right:1px solid var(--line)}.llm-left canvas,.llm-img{margin:14px 0 60px;box-shadow:0 10px 34px #0009;border-radius:2px;max-width:calc(100% - 28px)}.llm-empty{color:#6d7280;font-size:13px;margin-top:120px;max-width:340px;text-align:center;line-height:1.6}.llmnav{position:sticky;bottom:12px;display:flex;gap:10px;align-items:center;background:#101116e6;border:1px solid var(--line);border-radius:2px;padding:6px 12px;font-size:12px;color:#aeb3c0;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);max-width:calc(100% - 40px);flex-wrap:wrap}.chips{display:flex;gap:4px;flex-wrap:wrap;max-width:420px}.pagechip{background:#17181d;color:#8b90a0;border:1px solid var(--line);border-radius:2px;font-size:11px;padding:2px 7px;cursor:pointer;font-family:var(--codefont)}.pagechip.done{color:#9ece9e;border-color:#2c3a2c}.pagechip.active,.pagechip:hover{color:var(--acc);border-color:var(--acc)}.llm-right{flex:1 1 54%;overflow:auto;display:flex;flex-direction:column;gap:8px;padding:10px 14px}.llm-paste{min-height:110px;resize:vertical;border:1px solid var(--line);border-radius:2px;outline:none;padding:10px 12px;background:#17181d;color:#c3c6d1;font:12.5px/1.5 var(--codefont);white-space:pre;overflow:auto}.llm-import{flex:1;min-height:34px;height:34px;resize:vertical;border:1px solid var(--line);border-radius:2px;outline:none;padding:7px 10px;background:#17181d;color:#c3c6d1;font:12px/1.4 var(--codefont);white-space:pre}.ocr-src{min-height:160px}.llm-errors,.llm-warn{border:1px solid var(--line);border-radius:2px;padding:8px 12px;font:12px/1.6 var(--codefont)}.llm-errors{color:#e06c75;border-color:#e06c7555}.llm-warn{color:#d8b56a;border-color:#d8b56a44}.llm-review{display:flex;flex-direction:column;gap:8px}.llm-review-head{display:flex;align-items:center;justify-content:space-between}.llm-tex{border:1px solid var(--line);border-radius:2px;padding:10px 16px;background:#1a1c23;white-space:pre-wrap;word-wrap:break-word;font:13.5px/1.65 var(--prosefont);color:var(--text)}.llm-tex .katex{font-size:1.15em;color:#eceef5}.llm-tex .katex-display{text-align:left;margin:.3em 0 .4em;padding-left:2ch}.llm-tex .katex-display>.katex{text-align:left}.ocr-preview{min-height:120px}.ocr-preview h2,.ocr-preview h3{margin:.4em 0 .2em;color:#eceef5}.llm-item{border:1px solid var(--line);border-radius:2px;padding:10px 12px;display:flex;flex-direction:column;gap:7px;background:#101116}.llm-name{width:280px;text-align:left}.llm-sig{min-height:56px;white-space:pre-wrap}.asm{margin:0;border:1px solid var(--line);border-radius:2px;padding:10px 12px;background:#0f1013;color:#c3c6d1;font:12px/1.55 var(--codefont);overflow:auto;white-space:pre}.llm-asm{margin:0 14px 12px}.llm-asm>summary{cursor:pointer;color:#aeb3c0;font-size:12.5px;padding:6px 2px}.llm-asm .asm{max-height:300px}.insp-dot.ok{background:#7fd48a}.verify-tab{display:flex;flex-direction:column;gap:12px;padding:2px}.verify-intro{color:#9aa0ae;font-size:12.5px;line-height:1.5}.verify-intro b{color:#c7cbd6}.verify-empty{color:var(--dim);font-size:12.5px;line-height:1.55;font-style:italic;padding:6px 2px}.verify-empty code{font-family:var(--codefont);font-size:11.5px;color:#c7cbd6;font-style:normal;margin:0 3px}.verify-card{border:1px solid var(--line);border-left:2px solid #3a3d47;border-radius:2px;padding:11px 13px;background:#1a1c22}.verify-card.self{border-style:dashed;border-left-style:solid;opacity:.85}.verify-card.ok{border-left-color:#7fd48a}.verify-card.bad{border-left-color:#e08a8a}.verify-head{display:flex;justify-content:space-between;gap:12px;flex-wrap:wrap;align-items:baseline}.verify-title{color:#e6e8ee;font-weight:600;font-size:13.5px}.verify-meta{display:flex;gap:10px;flex-wrap:wrap;color:#6b7080;font-size:11px}.verify-claims{display:flex;gap:6px;flex-wrap:wrap;align-items:center;margin-top:8px}.verify-claim{font-family:var(--codefont);font-size:11.5px;color:#c7cbd6;background:#17181d;border:1px solid var(--line);border-radius:2px;padding:2px 8px;cursor:default}.verify-claim.jump{cursor:pointer}.verify-claim.jump:hover{border-color:var(--acc);color:var(--acc)}.verify-file{color:#6b7080;font-size:11px;font-family:var(--codefont)}.verify-actions{display:flex;gap:10px;align-items:center;flex-wrap:wrap;margin-top:10px}.verify-run{background:#17181d;border:1px solid var(--line);color:var(--acc);font-size:12px;font-weight:600;border-radius:2px;padding:5px 12px;cursor:pointer}.verify-run:hover{border-color:var(--acc);background:color-mix(in srgb,var(--acc) 12%,#17181d)}.verify-run.cancel{color:#e08a8a}.verify-run.cancel:hover{border-color:#e08a8a;background:color-mix(in srgb,#e08a8a 12%,#17181d)}.verify-hint{color:#6b7080;font-size:11px}.verify-progress{flex:1;min-width:200px;display:flex;flex-direction:column;gap:4px}.verify-bar{height:4px;background:#2c2f3a;border-radius:2px;overflow:hidden}.verify-fill{height:100%;background:var(--acc);transition:width .2s}.verify-fill.indeterminate{width:30%;animation:verify-slide 1.2s ease-in-out infinite}@keyframes verify-slide{0%{margin-left:0}50%{margin-left:70%}to{margin-left:0}}.verify-plabel{color:#9aa0ae;font-size:11px}.verify-plabel.dim{color:#6b7080}.verify-err{color:#e08a8a;font-size:12px;margin-top:8px}.verify-result{margin-top:10px;border-top:1px solid var(--line);padding-top:9px;display:flex;flex-direction:column;gap:5px}.verify-verdict{font-size:12.5px;font-weight:600;margin-bottom:3px}.verify-verdict.ok{color:#7fd48a}.verify-verdict.bad{color:#e08a8a}.gate{display:grid;grid-template-columns:14px 74px 1fr;gap:8px;font-size:12px;align-items:baseline}.gate-dot{font-size:10px}.gate.ok .gate-dot{color:#7fd48a}.gate.bad .gate-dot{color:#e08a8a}.gate-name{color:#9aa0ae;font-weight:600;text-transform:uppercase;letter-spacing:.05em;font-size:10.5px}.gate-detail{color:#c7cbd6;font-family:var(--codefont);font-size:11.5px;word-break:break-word}.gate.bad .gate-detail{color:#e6a0a0}.verify-foot{display:flex;gap:12px;flex-wrap:wrap;color:#6b7080;font-size:10.5px;margin-top:5px}.verify-foot .ok{color:#7fd48a}.verify-foot .bad{color:#e08a8a;font-weight:600}.verify-foot .dim{color:#5a5f6b}.verify-delta{color:#c9a86a;border:1px solid #c9a86a44;border-radius:2px;padding:0 5px}.verify-certs{margin-top:9px;border-top:1px dashed var(--line);padding-top:8px}.verify-certs-head{display:flex;justify-content:space-between;align-items:center;color:#9aa0ae;font-size:11px;font-weight:600;margin-bottom:5px}.verify-certs-head button{background:#17181d;border:1px solid var(--line);color:var(--acc);font-size:10.5px;border-radius:2px;padding:2px 8px;cursor:pointer}.verify-certs-head button:hover{border-color:var(--acc)}.verify-cert{display:flex;gap:10px;font-family:var(--codefont);font-size:10.5px;align-items:baseline;overflow:hidden}.verify-cert-name{color:#c7cbd6;flex:none}.verify-cert-hash{color:#6b7080;text-overflow:ellipsis;overflow:hidden;white-space:nowrap}