@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.18.4"}.katex .katex-mathml{border:0;clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;white-space:nowrap;width:-moz-min-content;width:min-content}.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;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 .katex-vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .katex-thinbox{display:inline-flex;flex-direction:row;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 .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{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.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;display:inline-block;width:100%}.katex .katex-hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.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:.8333333333em}.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.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.3333333333em}.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.6666666667em}.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.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.8571428571em}.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.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.5542857143em}.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:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.8888888889em}.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.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.3333333333em}.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.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.7644444444em}.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:.4166666667em}.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:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.6666666667em}.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:.8333333333em}.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.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.5555555556em}.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:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.8333333333em}.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.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.8333333333em}.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.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.8331726133em}.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.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.8336012862em}.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{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 .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{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 .katex-stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .katex-stretchy:after,.katex .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 .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>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji",Segoe UI Symbol,"Noto Color Emoji";font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:IBM Plex Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border-width:0}.\!visible{visibility:visible!important}.visible{visibility:visible}.static{position:static}.block{display:block}.inline{display:inline}.hidden{display:none}.transform{transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.resize{resize:both}.ring{--tw-ring-offset-shadow: var(--tw-ring-inset) 0 0 0 var(--tw-ring-offset-width) var(--tw-ring-offset-color);--tw-ring-shadow: var(--tw-ring-inset) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color);box-shadow:var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow, 0 0 #0000)}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.transition{transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}:root,[data-theme=dark]{color-scheme:dark;--bg: #0b0c10;--bg-raise: #15161a;--bg-sunken: #08090c;--surface-hover: #1a1c22;--ink: #e8e8e8;--ink-rgb: 232, 232, 232;--ink-dim: #8b8d93;--ink-faint: rgba(232, 232, 232, .36);--ink-mute: rgba(139, 141, 147, .72);--line: rgba(232, 232, 232, .12);--line-strong: rgba(232, 232, 232, .22);--grid: rgba(232, 232, 232, .055);--grid-major: rgba(232, 232, 232, .09);--gutter: clamp(20px, 4.5vw, 64px);--notebook-rule: color-mix(in srgb, #c45c5c 62%, transparent);--margin-col: 28px;--accent-prob: #4aa3f2;--accent-gd: #f2994a;--accent-proof: #27ae60;--accent-math: #bb86fc;--accent-prob-rgb: 74, 163, 242;--accent-gd-rgb: 242, 153, 74;--accent-proof-rgb: 39, 174, 96;--accent-math-rgb: 187, 134, 252;--focus-ring: var(--accent-prob);--glow-prob: 0 0 40px rgba(74, 163, 242, .18);--glow-gd: 0 0 40px rgba(242, 153, 74, .16);--shadow-card: 0 12px 40px rgba(0, 0, 0, .35);--font-display: "STIX Two Text", "Libertinus Serif", Georgia, serif;--font-body: "Inter", system-ui, -apple-system, sans-serif;--font-mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, monospace}[data-theme=light]{color-scheme:light;--bg: #f4f2ec;--bg-raise: #ffffff;--bg-sunken: #e8e6df;--surface-hover: #efede6;--ink: #16171c;--ink-rgb: 22, 23, 28;--ink-dim: #5c5f66;--ink-faint: rgba(22, 23, 28, .42);--ink-mute: rgba(92, 95, 102, .85);--line: rgba(22, 23, 28, .14);--line-strong: rgba(22, 23, 28, .24);--grid: rgba(22, 23, 28, .08);--grid-major: rgba(22, 23, 28, .13);--notebook-rule: color-mix(in srgb, #b42318 48%, transparent);--accent-prob: #2b7fd4;--accent-gd: #c2410c;--accent-proof: #15803d;--accent-math: #7c3aed;--accent-prob-rgb: 43, 127, 212;--accent-gd-rgb: 194, 65, 12;--accent-proof-rgb: 21, 128, 61;--accent-math-rgb: 124, 58, 237;--shadow-card: 0 12px 32px rgba(22, 23, 28, .08)}html{scroll-behavior:smooth;overflow-x:clip}body{overflow-x:clip;background:var(--bg);color:var(--ink);font-family:var(--font-body);font-size:16px;line-height:1.55;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;transition:background-color .35s ease,color .35s ease}body:before{content:"";position:fixed;top:-96px;right:-96px;bottom:-96px;left:-96px;z-index:-1;pointer-events:none;background-image:linear-gradient(var(--grid-major) 1px,transparent 1px),linear-gradient(90deg,var(--grid-major) 1px,transparent 1px),linear-gradient(var(--grid) 1px,transparent 1px),linear-gradient(90deg,var(--grid) 1px,transparent 1px);background-size:96px 96px,96px 96px,24px 24px,24px 24px;animation:grid-drift 56s linear infinite}.site-root:before{content:"";position:fixed;top:0;bottom:0;left:max(12px,calc(var(--gutter) - 22px));width:2px;background:var(--notebook-rule);pointer-events:none;z-index:40;opacity:.7}.site-root:after{content:"";position:fixed;top:0;bottom:0;left:max(18px,calc(var(--gutter) - 16px));width:1px;background:var(--notebook-rule);pointer-events:none;z-index:40;opacity:.28}@keyframes grid-drift{0%{transform:translateZ(0)}to{transform:translate3d(64px,64px,0)}}.scroll-progress{position:fixed;top:0;left:0;right:0;height:2px;z-index:80;pointer-events:none;background:transparent}.scroll-progress-bar{height:100%;width:100%;background:linear-gradient(90deg,var(--accent-prob),var(--accent-math),var(--accent-gd));transform-origin:left center;box-shadow:0 0 12px color-mix(in srgb,var(--accent-prob) 50%,transparent)}::-moz-selection{background:color-mix(in srgb,var(--accent-prob) 35%,transparent);color:var(--ink)}::selection{background:color-mix(in srgb,var(--accent-prob) 35%,transparent);color:var(--ink)}:focus-visible{outline:2px solid var(--focus-ring);outline-offset:3px}button{font:inherit;color:inherit;background:none;border:none;cursor:pointer}a{color:inherit;text-decoration:none}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:absolute;left:-9999px;top:0;z-index:100;padding:12px 16px;background:var(--accent-prob);color:#0b0c10;font-weight:600}.skip-link:focus{left:var(--gutter);top:12px}::-webkit-scrollbar{width:10px}::-webkit-scrollbar-track{background:var(--bg)}::-webkit-scrollbar-thumb{background:var(--line);border-radius:5px}.eyebrow{font-family:var(--font-mono);font-size:12px;font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-dim)}.statement{font-family:var(--font-display);font-weight:600;text-transform:none;font-size:clamp(1.85rem,4.2vw,3.2rem);line-height:1.12;letter-spacing:-.01em;max-width:none;margin-top:20px}.statement:after{content:"";display:block;width:min(100%,11rem);height:1px;margin-top:16px;background:linear-gradient(90deg,color-mix(in srgb,var(--accent-math) 80%,transparent),transparent)}.section-copy{margin-top:24px;max-width:none;font-size:17px;line-height:1.75;color:color-mix(in srgb,var(--ink) 88%,transparent)}.section-copy.tight{margin-top:8px;font-size:14px;color:var(--ink-dim)}.subhead{font-family:var(--font-mono);font-size:12px;letter-spacing:.14em;text-transform:uppercase;color:var(--accent-math);margin-top:56px;margin-bottom:12px}.lemma-label{font-family:var(--font-mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--accent-math);margin-top:18px;margin-bottom:6px}.section-eq{display:none}.section-identity{margin-top:0;max-width:none}.section-head{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:clamp(24px,4vw,48px) clamp(28px,4.5vw,64px);align-items:stretch}.section-head-copy,.section-head-math{min-width:0;display:flex;flex-direction:column}.section-head-math{gap:16px;justify-content:stretch}.section-head-math .section-identity{flex:1 1 auto;display:flex;align-items:stretch;min-height:0}.section-head-math .eq-display{flex:1 1 auto;width:100%;min-height:100%;align-self:stretch}.section-head .statement{margin-top:14px}.section-head .section-copy{margin-top:20px}.section-head-copy .thm-box{margin-top:24px}.section-spread{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:clamp(24px,4vw,48px) clamp(28px,4.5vw,64px);align-items:stretch;margin-top:36px}.method-box{margin-top:28px;max-width:58ch;padding:18px 20px;border:1px solid color-mix(in srgb,var(--accent-math) 28%,transparent);border-radius:8px;background:color-mix(in srgb,var(--bg-raise) 90%,transparent)}.method-box .lemma-label{margin-top:0}.method-box .method-line{margin-top:6px}.method-eq{display:block;margin-top:14px;color:var(--accent-math);white-space:normal}.focus-eq{margin:8px 0 4px}.lemma-card{border-left:3px solid color-mix(in srgb,var(--accent-math) 55%,transparent)}.lemma-card .lemma-label{margin-top:0}.eq,.eq-katex{color:inherit}.eq-inline{display:inline;white-space:nowrap;color:var(--accent-math)}.eq-inline .eq-body{display:inline}.eq-katex .katex{font-size:1em;color:inherit}.eq-display{display:flex;align-items:center;justify-content:center;gap:16px;width:100%;max-width:100%;min-width:0;margin:8px 0 0;padding:14px 16px;background:color-mix(in srgb,var(--bg-sunken) 88%,transparent);border:1px solid var(--line);border-radius:6px;color:var(--ink);white-space:normal;flex-wrap:nowrap}.eq-display .eq-body{flex:1 1 auto;min-width:0;text-align:center;overflow-x:auto}.eq-display .katex{font-size:1.18em}.eq-num{flex:0 0 auto;font-family:var(--font-mono);font-size:12px;letter-spacing:.04em;color:var(--ink-dim)}.thm-box{margin-top:0;max-width:none;height:100%;padding:16px 18px;background:color-mix(in srgb,var(--bg-raise) 92%,transparent);border:1px solid var(--line);border-left:3px solid var(--accent-math);border-radius:0 8px 8px 0}.thm-axiom{border-left-color:var(--accent-math)}.thm-lemma{border-left-color:var(--accent-prob)}.thm-remark{border-left-color:var(--accent-gd)}.thm-theorem,.thm-proposition{border-left-color:var(--accent-proof)}.thm-head{font-family:var(--font-display);font-size:16px;color:var(--ink);margin-bottom:8px}.thm-head em{font-style:italic;font-weight:600}.thm-title{font-style:italic;color:var(--ink-dim)}.thm-body{font-size:15px;line-height:1.65;color:color-mix(in srgb,var(--ink) 86%,transparent)}.thm-body .eq-display{margin-top:14px}.tag-row{display:flex;flex-wrap:wrap;gap:8px;margin-top:18px}.tag-row span{font-family:var(--font-mono);font-size:12px;color:var(--ink-dim);padding:6px 12px;border:1px solid var(--line);border-radius:999px}.btn{display:inline-flex;align-items:center;gap:8px;font-family:var(--font-mono);font-size:12px;letter-spacing:.08em;text-transform:uppercase;padding:10px 16px;border-radius:4px;border:1px solid var(--line);transition:background .2s ease,border-color .2s ease,color .2s ease,box-shadow .25s ease}.btn-primary{background:color-mix(in srgb,var(--accent-prob) 18%,transparent);border-color:color-mix(in srgb,var(--accent-prob) 45%,transparent);color:var(--accent-prob)}.btn-primary:hover{background:color-mix(in srgb,var(--accent-prob) 28%,transparent);box-shadow:var(--glow-prob)}.btn-ghost:hover{border-color:var(--line-strong);color:var(--ink)}.surface-panel{background:var(--bg-raise);border:1px solid var(--line);border-radius:8px;padding:clamp(20px,3vw,32px);box-shadow:var(--shadow-card)}.topbar{position:fixed;top:0;left:0;right:0;z-index:60;display:flex;align-items:center;justify-content:space-between;gap:16px;padding:14px var(--gutter);background:color-mix(in srgb,var(--bg) 86%,transparent);border-bottom:1px solid transparent;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px)}.wordmark,.monogram{font-family:var(--font-display);font-size:15px;letter-spacing:.04em;display:inline-flex;align-items:center;gap:7px;flex-shrink:0}.monogram-bracket{display:inline-flex;align-items:center;gap:6px;border:1px solid var(--line);padding:4px 10px;border-radius:4px;transition:border-color .3s ease,box-shadow .35s ease}.monogram:hover .monogram-bracket{border-color:color-mix(in srgb,var(--accent-math) 55%,transparent);box-shadow:0 0 20px #bb86fc2e}.monogram-sigma{display:inline-block;color:var(--accent-math);font-family:var(--font-display);font-size:16px;animation:sigma-pulse 4.5s ease-in-out infinite}.monogram-initials{font-family:var(--font-mono);font-size:12px;letter-spacing:.14em}.topbar-nav{display:none;gap:18px;font-family:var(--font-mono);font-size:12px;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-dim)}.topbar-nav a{position:relative;transition:color .25s ease}.topbar-nav a:after{content:"";position:absolute;left:0;bottom:-4px;width:100%;height:1px;background:var(--accent-prob);transform:scaleX(0);transform-origin:left;transition:transform .3s cubic-bezier(.22,1,.36,1)}.topbar-nav a:hover{color:var(--accent-prob)}.topbar-nav a:hover:after{transform:scaleX(1)}@keyframes sigma-pulse{0%,to{opacity:.85;transform:scale(1)}50%{opacity:1;transform:scale(1.08)}}.topbar-clock{position:absolute;left:50%;transform:translate(-50%);display:none;gap:14px;font-family:var(--font-mono);font-size:12px;letter-spacing:.12em;color:var(--ink-dim)}.topbar-clock .clock-time{color:var(--ink);font-variant-numeric:tabular-nums}.topbar-actions{display:flex;align-items:center;gap:12px;margin-left:auto}.theme-toggle{min-width:36px;height:28px;padding:0 8px;display:grid;place-items:center;border:1px solid var(--line);border-radius:4px;color:var(--accent-math);font-family:var(--font-display);font-style:italic;font-size:15px}.theme-toggle:disabled{opacity:.45;cursor:not-allowed}.menu-button{font-family:var(--font-mono);font-size:12px;letter-spacing:.16em;text-transform:uppercase;padding:6px 2px}.menu-button:hover{text-decoration:underline;text-underline-offset:5px}@media(min-width:960px){.topbar-nav{display:flex}.topbar-clock{display:inline-flex}.menu-button{display:none}}.menu-overlay{position:fixed;top:0;right:0;bottom:0;left:0;z-index:50;background:var(--bg);display:flex;flex-direction:column;justify-content:center;padding:96px var(--gutter) 48px}.menu-links{display:flex;flex-direction:column}.menu-links a{font-family:var(--font-display);font-size:clamp(2.2rem,7vw,4.2rem);line-height:1.16;font-weight:600;color:var(--ink-dim);display:flex;align-items:baseline;gap:20px;width:-moz-fit-content;width:fit-content;transition:color .25s ease,transform .35s cubic-bezier(.22,1,.36,1)}.menu-links a span{font-family:var(--font-mono);font-size:12px;letter-spacing:.14em;color:var(--ink-faint)}.menu-links a:hover{color:var(--accent-prob);transform:translate(14px)}.menu-meta{margin-top:56px;display:flex;flex-wrap:wrap;gap:28px;font-family:var(--font-mono);font-size:13px;color:var(--ink-dim)}.menu-meta a:hover{color:var(--ink);text-decoration:underline;text-underline-offset:5px}.hero{position:relative;scroll-margin-top:64px;min-height:100svh;display:flex;flex-direction:column;justify-content:flex-end;padding:96px var(--gutter) clamp(40px,7vh,80px);overflow:clip}.hero-dial{position:absolute;top:44%;right:clamp(8px,5vw,72px);transform:translateY(-50%);width:min(78vmin,720px);height:min(46vmin,420px);z-index:0;pointer-events:none}.math-dial,.hero-canvas{width:100%;height:100%;display:block}.dial-caption{position:absolute;bottom:-26px;left:0;width:100%;text-align:center;font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;color:var(--ink-faint)}.hero-eq-1,.hero-eq-2{position:absolute;z-index:1;pointer-events:none;color:var(--ink-faint)}.hero-eq-1{top:18vh;left:var(--gutter)}.hero-eq-2{top:12vh;right:var(--gutter)}.hero-eq-1 .eq-inline,.hero-eq-2 .eq-inline{color:var(--ink-faint)}.hero-block{position:relative;z-index:1;max-width:min(44rem,56vw)}.hero-byline{font-family:var(--font-mono);font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-dim);margin-bottom:16px}.hero-headline{font-family:var(--font-display);font-weight:600;font-size:clamp(2.6rem,7.2vw,6.1rem);line-height:.96;letter-spacing:-.03em;display:flex;flex-direction:column}.hero-headline span{white-space:nowrap}.hero-sub{margin-top:22px;max-width:46ch;font-size:14px;color:var(--ink-dim);font-family:var(--font-mono);letter-spacing:.02em}.hero-sub-marks{display:block;margin-top:6px;color:var(--accent-proof)}.hero-ctas{margin-top:26px;display:flex;flex-wrap:wrap;gap:8px 20px}.hero-ctas a{font-family:var(--font-mono);font-size:12px;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-dim);border-bottom:1px solid var(--line);padding-bottom:3px;transition:color .2s ease,border-color .2s ease}.hero-ctas a:hover{color:var(--accent-prob);border-color:var(--accent-prob)}.hero-ctas a.hero-cta-mark{color:var(--accent-proof);border-color:color-mix(in srgb,var(--accent-proof) 55%,transparent)}.hero-ctas a.hero-cta-mark:hover{color:var(--accent-proof);border-color:var(--accent-proof)}.hero-cue{position:relative;z-index:1;margin-top:36px;display:inline-flex;align-items:center;gap:12px;width:-moz-fit-content;width:fit-content;font-size:14px;font-weight:500}.hero-cue span{display:grid;place-items:center;width:36px;height:36px;border:1px solid var(--line);border-radius:50%}.hero-cue:hover span{background:var(--accent-prob);color:var(--bg);border-color:var(--accent-prob)}.section{position:relative;border-top:1px solid var(--line);padding:clamp(88px,13vh,150px) var(--gutter);scroll-margin-top:64px}.research-quote{margin-top:28px;max-width:56ch;padding:18px 20px;border-left:2px solid var(--accent-math);background:color-mix(in srgb,var(--bg-raise) 80%,transparent);font-family:var(--font-display);font-style:italic;font-size:17px;line-height:1.55;color:var(--ink-dim)}.method-line{margin-top:22px;max-width:58ch;font-size:15px;color:var(--ink-dim);line-height:1.65}.method-line strong{color:var(--ink);font-weight:600}.edu-path{margin-top:48px;display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;gap:16px 24px}.edu-step{min-width:0;background:var(--bg-raise);border:1px solid var(--line);border-radius:8px;padding:18px 20px}.edu-step-current{border-color:color-mix(in srgb,var(--accent-prob) 45%,transparent);box-shadow:0 0 24px color-mix(in srgb,var(--accent-prob) 12%,transparent)}.edu-label{display:block;font-family:var(--font-mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--accent-prob);margin-bottom:8px}.edu-step strong{display:block;font-size:15px;font-weight:600}.edu-step span{display:block;margin-top:6px;font-size:13px;color:var(--ink-dim)}.edu-arrow{display:flex;align-items:center;color:var(--ink-faint);font-size:1.4rem}.result-plate{display:flex;flex-direction:column;gap:18px;margin-top:36px;padding:22px 22px 18px;min-width:0;background:color-mix(in srgb,var(--bg-raise) 88%,transparent);border:1px solid color-mix(in srgb,var(--accent-proof) 38%,var(--line));border-left:3px solid var(--accent-proof);border-radius:0 10px 10px 0;box-shadow:0 0 40px rgba(var(--accent-proof-rgb),.08);transition:border-color .25s ease,box-shadow .25s ease,transform .25s ease}.result-plate:hover{border-color:color-mix(in srgb,var(--accent-proof) 58%,var(--line));box-shadow:0 0 48px rgba(var(--accent-proof-rgb),.14)}.result-kicker{font-family:var(--font-mono);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--accent-proof)}.result-head{display:grid;grid-template-columns:auto minmax(0,1fr);gap:22px 28px;align-items:end}.result-rank strong{display:block;font-family:var(--font-display);font-size:clamp(3.2rem,8vw,5.4rem);font-weight:600;line-height:.88;letter-spacing:-.04em;color:var(--ink)}.result-rank span{display:block;margin-top:8px;font-family:var(--font-mono);font-size:11px;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-dim)}.result-copy{min-width:0;padding-bottom:4px}.result-copy strong{display:block;font-family:var(--font-display);font-size:clamp(1.45rem,2.4vw,1.9rem);font-weight:600;letter-spacing:-.02em;line-height:1.15}.result-copy span{display:block;margin-top:8px;max-width:52ch;font-size:15px;line-height:1.6;color:var(--ink-dim)}.result-foot{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:14px 24px;padding-top:14px;border-top:1px solid var(--line)}.result-stats{display:flex;flex-wrap:wrap;gap:10px 22px;font-family:var(--font-mono);font-size:12px;color:var(--ink-dim)}.result-stats strong{margin-right:8px;color:var(--ink);font-weight:500}.result-go{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:12px;letter-spacing:.04em;color:var(--accent-proof)}.result-plate:hover .result-go svg{transform:translate(2px,-2px)}.result-go svg{transition:transform .2s ease}.citation-row{margin-top:36px;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px}.citation-chip{border:1px solid var(--line);border-radius:6px;padding:10px 14px;min-width:0;background:var(--bg-raise);color:inherit;text-decoration:none}.citation-chip-featured{border-color:color-mix(in srgb,var(--accent-proof) 42%,var(--line));background:color-mix(in srgb,var(--accent-proof) 8%,var(--bg-raise))}.citation-chip-featured span{color:var(--accent-proof)}.citation-chip span{display:block;font-family:var(--font-mono);font-size:10px;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint)}.citation-chip strong{display:block;margin-top:4px;font-size:13px;font-weight:500}.xp-stack{margin-top:16px}.xp-row{border-top:1px solid var(--line);padding:28px 0}.xp-head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:8px 24px}.xp-head h3{font-family:var(--font-display);font-weight:600;font-size:clamp(1.15rem,2.2vw,1.55rem);letter-spacing:-.01em}.xp-period{font-family:var(--font-mono);font-size:12px;letter-spacing:.08em;color:var(--ink-dim)}.xp-org{margin-top:8px;font-size:14px;color:var(--ink-dim)}.xp-row ul{margin-top:14px;max-width:76ch}.xp-row li{font-size:15px;color:var(--ink-dim);padding:4px 0 4px 22px;position:relative}.xp-row li:before{content:"—";position:absolute;left:0;color:var(--ink-faint)}.lemma-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr));gap:16px;margin-top:8px}.focus-line{border:1px solid var(--line);border-radius:8px;padding:18px 18px 16px;background:color-mix(in srgb,var(--bg-raise) 80%,transparent)}.focus-line h3{font-family:var(--font-mono);font-size:13px;font-weight:500;letter-spacing:.12em;text-transform:uppercase;color:var(--accent-prob)}.focus-line p{margin-top:10px;font-size:16px;line-height:1.65;color:var(--ink-dim);max-width:52ch}.tool-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:clamp(24px,4vw,40px);margin-top:20px}.tool-card{border-top:1px solid var(--line);padding-top:20px}.tool-card h3{font-family:var(--font-display);font-weight:600;font-size:1.2rem}.tool-card p{margin-top:8px;font-size:14px;color:var(--ink-dim)}.tag-filter{margin-top:32px;display:flex;flex-wrap:wrap;gap:8px}.tag-filter button{font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;padding:7px 12px;border:1px solid var(--line);border-radius:999px;color:var(--ink-dim)}.tag-filter button.active,.tag-filter button:hover{border-color:color-mix(in srgb,var(--accent-prob) 50%,transparent);color:var(--accent-prob);background:color-mix(in srgb,var(--accent-prob) 10%,transparent)}.work-index{margin-top:36px}.research-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(min(100%,340px),1fr));gap:14px}.work-row,.research-card{display:flex;flex-direction:column;align-items:stretch;gap:8px;width:100%;text-align:left;padding:18px 18px 16px;background:color-mix(in srgb,var(--bg-raise) 92%,transparent);border:1px solid var(--line);border-radius:8px;transition:border-color .25s ease,box-shadow .25s ease,background .25s ease}.research-card{min-height:100%}.research-card:hover{border-color:color-mix(in srgb,var(--accent-prob) 42%,transparent);background:var(--bg-raise);box-shadow:var(--glow-prob)}.research-card.spotlight{grid-column:1 / -1;border-color:color-mix(in srgb,var(--accent-proof) 36%,var(--line));background:color-mix(in srgb,var(--accent-proof) 6%,var(--bg-raise))}.research-card.spotlight:hover{border-color:color-mix(in srgb,var(--accent-proof) 55%,transparent);box-shadow:0 0 40px rgba(var(--accent-proof-rgb),.14)}.research-card.spotlight .work-title{font-size:clamp(1.55rem,3vw,2.15rem)}.research-badge{margin-left:auto;font-family:var(--font-mono);font-size:10px;letter-spacing:.1em;text-transform:uppercase;color:var(--accent-proof);border:1px solid color-mix(in srgb,var(--accent-proof) 38%,transparent);padding:3px 8px;border-radius:999px;white-space:nowrap}.research-card-meta{display:flex;align-items:center;justify-content:space-between;gap:12px}.work-no{font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;color:var(--ink-faint)}.work-title{font-family:var(--font-display);font-weight:600;font-size:clamp(1.25rem,2.2vw,1.65rem);line-height:1.15;letter-spacing:-.01em;transition:color .25s ease}.work-row:hover .work-title{color:var(--accent-prob)}.work-sub{font-size:13px;color:var(--ink-dim);line-height:1.45}.work-year{display:inline-flex;align-items:center;justify-content:flex-end;gap:6px;font-family:var(--font-mono);font-size:12px;color:var(--ink-dim)}.work-year svg{opacity:.45;transition:opacity .25s ease,transform .25s ease}.work-row:hover .work-year svg{opacity:1;transform:translate(2px,-2px)}.research-card-eq{margin-top:4px}.research-card-eq.eq-display{padding:10px 8px}.research-card-eq .katex{font-size:.95em}.research-card-tags{display:flex;flex-wrap:wrap;gap:6px;margin-top:4px}.research-card-tags span{font-family:var(--font-mono);font-size:10px;letter-spacing:.08em;text-transform:uppercase;color:var(--accent-math);border:1px solid color-mix(in srgb,var(--accent-math) 30%,transparent);padding:3px 8px;border-radius:999px}.archive{margin-top:88px}.archive-title{font-family:var(--font-mono);font-size:12px;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-faint);margin-bottom:16px}.archive-row{display:grid;grid-template-columns:96px 220px minmax(0,1fr) 64px;align-items:baseline;gap:24px;width:100%;text-align:left;padding:14px 0;border-top:1px solid var(--line)}.archive-row span{font-family:var(--font-mono);font-size:12px;color:var(--ink-faint)}.archive-row strong{font-size:15px;font-weight:600}.archive-row:hover strong{text-decoration:underline;text-underline-offset:4px;color:var(--accent-prob)}.archive-row em{font-style:normal;font-size:14px;color:var(--ink-dim)}.archive-row time{font-family:var(--font-mono);font-size:12px;color:var(--ink-dim);text-align:right}.notes-grid{margin-top:0;display:contents}.note-companion{background:color-mix(in srgb,var(--bg-raise) 92%,transparent);border:1px solid var(--line);border-radius:8px;padding:22px;min-width:0}.note-companion .lemma-label{margin-top:0}.note-card{background:var(--bg-raise);border:1px solid var(--line);border-radius:8px;padding:22px;height:100%;transition:border-color .2s ease,box-shadow .25s ease}.note-card:hover{border-color:color-mix(in srgb,var(--accent-math) 40%,transparent);box-shadow:0 0 32px #bb86fc1f}.note-meta{font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;color:var(--ink-faint)}.note-card h3{margin-top:10px;font-family:var(--font-display);font-weight:600;font-size:1.25rem}.note-card>p{margin-top:10px;font-size:14px;color:var(--ink-dim);line-height:1.55}.note-teaser{display:block;margin-top:14px;color:var(--accent-math)}.note-card .btn{margin-top:16px}.note-article{margin-top:0;background:color-mix(in srgb,var(--bg-raise) 92%,transparent);border:1px solid var(--line);border-radius:8px;padding:22px;min-width:0}.note-close{font-family:var(--font-mono);font-size:12px;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-dim);margin-bottom:16px}.note-article h3{font-family:var(--font-display);font-size:1.6rem;font-weight:600}.note-body{margin-top:16px;font-size:15px;line-height:1.7;color:var(--ink-dim);max-width:68ch}.note-body h1,.note-body h2,.note-body h3{font-family:var(--font-display);color:var(--ink);margin-top:1.4em;margin-bottom:.4em}.note-body p{margin:.8em 0}.note-body code{font-family:var(--font-mono);font-size:.9em;color:var(--accent-math)}.note-body pre{background:var(--bg-sunken);border:1px solid var(--line);border-radius:6px;padding:14px;overflow-x:auto;font-family:var(--font-mono);font-size:13px}.note-body .katex-display{margin:1.2em 0;overflow-x:auto}.playground-grid{margin-top:40px;display:grid;grid-template-columns:repeat(auto-fill,minmax(min(100%,420px),1fr));gap:24px}.play-card{background:var(--bg-raise);border:1px solid var(--line);border-radius:10px;padding:20px}.play-card.accent-prob{border-top:2px solid var(--accent-prob)}.play-card.accent-gd{border-top:2px solid var(--accent-gd)}.play-card.accent-proof{border-top:2px solid var(--accent-proof)}.play-card.accent-math{border-top:2px solid var(--accent-math)}.play-card h3{font-family:var(--font-display);font-weight:600;font-size:1.25rem}.play-card>p{margin-top:8px;font-size:14px;color:var(--ink-dim)}.play-eq{margin:12px 0}.play-canvas{width:100%;height:200px;display:block;background:var(--bg-sunken);border-radius:6px;border:1px solid var(--line)}.play-controls{margin-top:12px;display:flex;flex-wrap:wrap;gap:10px 14px;align-items:center;font-family:var(--font-mono);font-size:11px;color:var(--ink-dim)}.play-controls label{display:inline-flex;align-items:center;gap:8px}.play-controls input[type=range]{width:90px;accent-color:var(--accent-prob)}.play-controls select,.play-controls button{border:1px solid var(--line);border-radius:4px;padding:4px 8px;background:var(--bg);color:var(--ink);font:inherit}.play-controls button:hover{border-color:var(--accent-prob);color:var(--accent-prob)}.play-summary{margin-top:10px;font-family:var(--font-mono);font-size:11px;color:var(--ink-faint);line-height:1.45}.play-loading{font-family:var(--font-mono);font-size:12px;color:var(--ink-faint);padding:40px 0;text-align:center}.contact{position:relative;scroll-margin-top:64px;border-top:1px solid var(--line);padding:clamp(72px,10vh,120px) var(--gutter) 40px;overflow:hidden}.contact-eq{display:none}.contact-title{font-family:var(--font-display);font-weight:600;font-size:clamp(2.4rem,6vw,4rem);margin-top:16px}.contact-cosplay{margin-top:0;max-width:none}.contact-cosplay pre{font-family:var(--font-mono);font-size:12px;line-height:1.55;color:var(--ink-faint);white-space:pre-wrap}.contact-mail{display:inline-flex;align-items:center;gap:12px;margin-top:32px;font-size:clamp(1.05rem,2.4vw,1.5rem);font-weight:500;border-bottom:1px solid var(--accent-prob);color:var(--accent-prob);padding-bottom:6px}.contact-mail svg{transition:transform .25s ease}.contact-mail:hover svg{transform:translate(4px,-4px)}.contact-meta{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:32px;margin-top:clamp(40px,6vh,72px);padding-top:28px;border-top:1px solid var(--line)}.contact-meta strong{display:block;font-size:15px;font-weight:600}.contact-meta span{display:block;margin-top:6px;font-size:13px;color:var(--ink-dim)}.contact-meta span.contact-links{display:flex;flex-wrap:wrap;gap:18px}.contact-links a:hover{color:var(--accent-prob);text-decoration:underline;text-underline-offset:4px}.contact-foot{display:flex;align-items:baseline;justify-content:space-between;gap:16px;margin-top:clamp(56px,9vh,104px);font-family:var(--font-mono);font-size:12px;color:var(--ink-faint)}.modal-scrim{position:fixed;top:0;right:0;bottom:0;left:0;z-index:70;display:grid;place-items:center;padding:24px;background:#000000c7}.modal-card{position:relative;width:min(640px,100%);max-height:85vh;overflow-y:auto;background:var(--bg-raise);border:1px solid var(--line);border-radius:10px;padding:clamp(28px,5vw,48px);box-shadow:var(--shadow-card)}.modal-close{position:absolute;top:16px;right:16px;display:grid;place-items:center;width:36px;height:36px;border:1px solid var(--line);border-radius:50%;transition:background-color .2s ease,color .2s ease}.modal-close:hover{background:var(--ink);color:var(--bg)}.modal-code{font-family:var(--font-mono);font-size:12px;letter-spacing:.1em;color:var(--ink-faint)}.status-pill.warn{color:var(--accent-gd)}.modal-card h3{font-family:var(--font-display);font-weight:600;font-size:clamp(1.6rem,4vw,2.2rem);line-height:1.1;margin-top:14px}.modal-subtitle{margin-top:10px;font-size:15px;color:var(--ink-dim)}.modal-description{margin-top:16px;font-size:15px;color:var(--ink-dim);line-height:1.6}.modal-tex{display:block;margin-top:12px;color:var(--accent-math);white-space:normal}.metric-row{display:flex;flex-wrap:wrap;gap:8px;margin-top:16px}.metric-chip{font-family:var(--font-mono);font-size:11px;padding:5px 10px;border-radius:999px;border:1px solid var(--line);color:var(--ink-dim)}.metric-chip.tone-success{border-color:color-mix(in srgb,var(--accent-proof) 40%,transparent);color:var(--accent-proof)}.metric-chip.tone-warn{border-color:color-mix(in srgb,var(--accent-gd) 40%,transparent);color:var(--accent-gd)}.modal-card h4{font-family:var(--font-mono);font-size:12px;font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-dim);margin-top:28px}.modal-card ul{margin-top:12px}.modal-card li{font-size:14px;color:var(--ink-dim);padding:3px 0 3px 20px;position:relative}.modal-card li:before{content:"—";position:absolute;left:0;color:var(--ink-faint)}.modal-link{display:inline-flex;align-items:center;gap:8px;margin-top:32px;font-size:14px;font-weight:500;border-bottom:1px solid var(--accent-prob);color:var(--accent-prob);padding-bottom:4px}.modal-link:hover svg{transform:translate(3px,-3px)}.modal-link svg{transition:transform .2s ease}@media(max-width:960px){.hero-dial{top:26%;right:50%;transform:translate(50%,-50%);width:min(92vw,520px);height:min(34vw,200px);opacity:.5}.dial-caption{display:none}.hero-block{max-width:none}.hero-headline{font-size:clamp(2.4rem,12vw,3.4rem)}.section-head,.section-spread,.edu-path{grid-template-columns:1fr}.edu-arrow{display:none}.result-head{grid-template-columns:minmax(0,1fr);gap:14px}.result-rank strong{font-size:clamp(2.8rem,16vw,4rem)}.research-card-meta{flex-wrap:wrap}.research-badge{order:3;margin-left:0;width:100%}.citation-row{grid-template-columns:1fr}.work-sub{display:block}.archive-row{grid-template-columns:64px minmax(0,1fr) 56px}.archive-row em{display:none}.tool-grid,.contact-meta{grid-template-columns:1fr}}@media(max-width:640px){.site-root:before,.site-root:after{display:none}.hero-eq-1,.hero-eq-2{display:none}.hero{padding-bottom:48px}.eq-display .katex{font-size:.95em}.edu-arrow{display:none}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}body:before,.monogram-sigma{animation:none!important}*,*:before,*:after{transition-duration:.01ms!important;animation-duration:.01ms!important}}