@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{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.7"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.uplot,.uplot *,.uplot :before,.uplot :after{box-sizing:border-box}.uplot{width:min-content;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;line-height:1.5}.u-title{text-align:center;font-size:18px;font-weight:700}.u-wrap{-webkit-user-select:none;user-select:none;position:relative}.u-over,.u-under{position:absolute}.u-under{overflow:hidden}.uplot canvas{width:100%;height:100%;display:block;position:relative}.u-axis{position:absolute}.u-legend{text-align:center;margin:auto;font-size:14px}.u-inline{display:block}.u-inline *{display:inline-block}.u-inline tr{margin-right:16px}.u-legend th{font-weight:600}.u-legend th>*{vertical-align:middle;display:inline-block}.u-legend .u-marker{width:1em;height:1em;margin-right:4px;background-clip:padding-box!important}.u-inline.u-live th:after{content:":";vertical-align:middle}.u-inline:not(.u-live) .u-value{display:none}.u-series>*{padding:4px}.u-series th{cursor:pointer}.u-legend .u-off>*{opacity:.3}.u-select{pointer-events:none;background:#00000012;position:absolute}.u-cursor-x,.u-cursor-y{pointer-events:none;will-change:transform;position:absolute;top:0;left:0}.u-hz .u-cursor-x,.u-vt .u-cursor-y{border-right:1px dashed #607d8b;height:100%}.u-hz .u-cursor-y,.u-vt .u-cursor-x{border-bottom:1px dashed #607d8b;width:100%}.u-cursor-pt{pointer-events:none;will-change:transform;border:0 solid;border-radius:50%;position:absolute;top:0;left:0;background-clip:padding-box!important}.u-axis.u-off,.u-select.u-off,.u-cursor-x.u-off,.u-cursor-y.u-off,.u-cursor-pt.u-off{display:none}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--page:#fff;--surface:#fff;--raised:#f7f7f4;--card:#f5f5f8;--ink:#16161d;--ink-2:#3b3b48;--muted:#5b5b69;--grid:#e4e4ec;--axis:#8b8b99;--border:#16161d1f;--on-series:#fff;--good:#0ca30c;--good-text:#006300;--warn:#fab219;--warn-text:#7a5000;--bad:#d03b3b;--bad-text:#b3261e;--lapis:#1d2c6b;--crimson:#8e1b2f;--gold:#b8913a;--smoke-ink:#27486b;--smoke:#3a6d9c;--smoke-line:#9db3c8;--sans:Verdana, "DejaVu Sans", "Bitstream Vera Sans", Geneva, "Segoe UI", system-ui, sans-serif;--display:"Jost Variable", "Jost", "Futura", "Century Gothic", var(--sans);--gutter:clamp(16px, 4vw, 72px);--measure:78ch;--accent:var(--lapis);--emphasis:var(--crimson);--hairline:var(--gold);--series:#2a4bb8;--series-wash:#2a4bb81f;--glow:radial-gradient(ellipse 50% 60% at 50% 0%, #b8913a2e, transparent 70%), radial-gradient(ellipse 40% 55% at 0% 0%, #1d2c6b1a, transparent 70%), radial-gradient(ellipse 40% 55% at 100% 0%, #8e1b2f12, transparent 70%);font-family:var(--sans);color:var(--ink);background:var(--page);font-size:14px;line-height:1.55}:root[data-discipline=physics]{--accent:var(--smoke-ink);--emphasis:var(--smoke);--hairline:var(--smoke-line);--series:var(--smoke);--series-wash:#3a6d9c21;--glow:radial-gradient(ellipse 35% 55% at 10% 0%, #6e91b93d, transparent 70%), radial-gradient(ellipse 45% 45% at 62% 5%, #9db3c842, transparent 72%), radial-gradient(ellipse 25% 40% at 36% 32%, #becee04d, transparent 70%)}body{background-color:var(--page);background-image:var(--glow);background-repeat:no-repeat;background-size:100% 540px;margin:0}.app{box-sizing:border-box;width:100%;padding:0 var(--gutter) 2.5rem}.app.wide{padding:0}.app.wide .bottom{margin:3rem var(--gutter) 0;padding:1rem 0 2rem}a{color:var(--series);text-underline-offset:3px}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}h1,h2,h3{font-family:var(--display);color:var(--accent);letter-spacing:.01em;font-weight:400;line-height:1.15}h2{margin:2.6rem 0 1rem;font-size:1.6rem;font-weight:300}.visually-hidden{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.masthead-bar{box-sizing:border-box;padding:1.05rem var(--gutter) 1rem;border-bottom:1px solid #16161d0f;flex-wrap:wrap;align-items:center;gap:.6rem 2.2rem;display:flex}.wordmark{font-family:var(--display);letter-spacing:.6em;color:var(--ink);margin-right:-.6em;font-size:1.4rem;font-weight:300;line-height:1;text-decoration:none}.wordmark:hover{color:var(--accent)}.disciplines{gap:1.8rem;display:flex}.discipline-link{font-family:var(--display);letter-spacing:.16em;color:var(--muted);border-bottom:1px solid #0000;padding:.25rem 0;font-size:1.02rem;text-decoration:none}.discipline-link:hover{color:var(--ink)}.discipline-link.mathematics.active{color:var(--lapis);border-bottom-color:var(--crimson)}.discipline-link.physics.active{color:var(--smoke-ink);border-bottom-color:var(--smoke)}.hall-crumb{font-family:var(--display);letter-spacing:.32em;color:var(--ink-2);font-size:1rem;font-weight:300;text-decoration:none}.masthead-end{align-items:center;gap:2rem;margin-left:auto;display:flex}.level-picker{align-items:center;display:flex;position:relative}.level-row{align-items:center;gap:1rem;display:flex}.level-toggle,.level-menu{display:none}.level-option{font:inherit;font-family:var(--display);letter-spacing:.06em;color:var(--muted);cursor:pointer;background:0 0;border:0;border-radius:0;padding:.2rem 0;font-size:.9rem;font-weight:400}.level-option:hover:not(:disabled){color:var(--ink);filter:none;background:0 0}.level-option.current{color:var(--ink);letter-spacing:.22em;text-transform:uppercase;font-size:.74rem;font-weight:600}.account-chip{color:var(--ink-2);font-family:var(--display);align-items:center;gap:.55rem;text-decoration:none;display:inline-flex}.account-chip .initial{border:1px solid color-mix(in srgb, var(--ink) 28%, transparent);width:1.95rem;height:1.95rem;color:var(--ink);border-radius:50%;place-items:center;font-size:.86rem;transition:border-color .15s;display:inline-grid}.account-chip:hover .initial{border-color:var(--accent)}.account-chip .tier{letter-spacing:.26em;text-transform:uppercase;color:var(--emphasis);font-size:.66rem;font-weight:600}.account-chip.sign-in{letter-spacing:.1em;color:var(--muted);white-space:nowrap;font-size:.92rem}.account-chip.sign-in:hover{color:var(--ink)}.masthead-tools{font-family:var(--display);letter-spacing:.1em;color:var(--muted);white-space:nowrap;font-size:.92rem;text-decoration:none}.masthead-tools:hover{color:var(--ink)}.masthead-tail{align-items:center;gap:2rem;margin-left:auto;display:flex}.query{flex:0 14rem;min-width:9rem;position:relative}.query-input{box-sizing:border-box;background:0 0;border-radius:999px;width:100%;padding:.3rem .6rem;font-size:.9rem}.query-input::placeholder{color:var(--muted)}.query-list{z-index:40;box-sizing:border-box;width:max(100%,20rem);max-width:calc(100vw - 2 * var(--gutter));background:var(--menu,#fff);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border:1px solid var(--border);border-radius:3px;padding:.4rem 0;position:absolute;top:calc(100% + .45rem);left:0;box-shadow:0 18px 40px -18px #16161d73}.query-list[hidden]{display:none}.query-group{letter-spacing:.22em;text-transform:uppercase;color:var(--muted);padding:.35rem .9rem .15rem;font-size:.66rem;font-weight:600}.query-option{cursor:pointer;flex-direction:column;gap:.1rem;padding:.35rem .9rem;display:flex}.query-option.active{background:var(--series-wash)}.query-label{color:var(--ink);overflow-wrap:anywhere}.query-detail{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-size:.8rem;overflow:hidden}select,input,textarea{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--border);border-radius:2px;padding:.35rem .5rem}button{font:inherit;background:var(--accent);color:var(--on-series);border:1px solid var(--accent);cursor:pointer;border-radius:2px;padding:.45rem 1.1rem;font-weight:700}button:hover:not(:disabled){filter:brightness(1.12)}button:disabled{background:var(--grid);border-color:var(--grid);color:var(--muted);cursor:not-allowed}button.quiet{color:var(--ink);border:1px solid var(--border);background:0 0}button.quiet:hover:not(:disabled){filter:none;color:var(--accent);border-color:var(--accent);background:0 0}.hint{color:var(--muted)}.problem{color:var(--bad-text);white-space:pre-wrap;font-weight:600}code{color:var(--ink-2);font:.9em ui-monospace,monospace}.account{max-width:var(--measure);margin-top:2rem}.account h1{margin:.4rem 0 .8rem;font-size:2.4rem;font-weight:300}.link-form{flex-direction:column;gap:.5rem;max-width:24rem;margin:1.2rem 0;display:flex}.link-form .check{align-items:center;gap:.4rem;font-weight:500;display:flex}.notice{color:var(--good-text);font-weight:600}.danger{border-top:1px solid var(--border);margin-top:2rem;padding-top:.8rem}.danger summary{cursor:pointer;color:var(--bad-text);font-weight:600}.danger input{margin-right:.5rem}.discipline-head{grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:.6rem 4rem;margin:2.6rem 0 1rem;display:grid}.discipline-title{font-family:var(--display);letter-spacing:.06em;margin:0;font-size:clamp(3rem,8vw,6.4rem);font-weight:200;line-height:.92}.discipline-lead{max-width:62ch;color:var(--ink-2);grid-column:1;margin:.4rem 0 0;font-size:1.04rem;line-height:1.7}.discipline-tools{flex-direction:column;grid-area:1/2/span 2;align-self:end;align-items:flex-end;gap:.8rem;display:flex}.discipline-tools input[type=search]{box-sizing:border-box;border:0;border-bottom:1px solid var(--border);background:0 0;border-radius:0;width:min(22rem,70vw);padding:.45rem 0;font-size:1rem}.discipline-tools input[type=search]:focus{border-bottom-color:var(--accent);outline:none}.discipline-tools .hint{margin:0}.map-link{font-family:var(--display);letter-spacing:.12em;color:var(--ink-2);font-size:.95rem;text-decoration:none}.map-link:hover{color:var(--accent)}.problems{border-left:2px solid var(--bad);background:color-mix(in srgb, var(--bad) 8%, var(--surface));margin:1rem 0;padding:.2rem 1rem}.problems h2{color:var(--bad-text);margin:.5rem 0;font-size:1.05rem}.area{margin-top:2.8rem}.area-head{margin-bottom:1.1rem}.area-head h2{color:var(--ink);margin:0;font-size:1.75rem;font-weight:300;display:inline}.area-count{font-family:var(--display);color:var(--muted);letter-spacing:.08em;white-space:nowrap;margin-left:.7rem;font-size:.9rem}.cards{grid-template-columns:repeat(auto-fill,minmax(17rem,1fr));gap:1rem 1.3rem;margin:0;padding:0;list-style:none;display:grid}.card{box-sizing:border-box;background:var(--card);height:100%;color:var(--ink);border-radius:3px;flex-direction:column;gap:.45rem;padding:1.05rem 1.2rem 1.1rem;text-decoration:none;transition:transform .18s,box-shadow .18s,background-color .18s;display:flex}.card:hover{background:var(--surface);box-shadow:0 16px 34px -24px color-mix(in srgb, var(--accent) 60%, transparent);transform:translateY(-2px)}.card strong{font-family:var(--display);color:var(--accent);font-size:1.24rem;font-weight:400;line-height:1.2}.kind{letter-spacing:.16em;text-transform:uppercase;color:var(--emphasis);font-size:.64rem;font-weight:700}.card-levels{color:var(--muted);letter-spacing:.02em;font-size:.76rem}.card-levels .current{color:var(--ink);font-weight:600}.tools-count{color:var(--muted);margin-top:auto;padding-top:.2rem;font-size:.74rem}.design-switch{align-items:center;gap:.4rem;margin-left:.8rem;display:inline-flex}.design-switch button{color:var(--ink-2);border:1px solid var(--border);background:0 0;padding:.1rem .55rem;font-size:.78rem;font-weight:400}.design-switch button[aria-pressed=true]{background:var(--accent);color:var(--on-series);border-color:var(--accent)}.concept{grid-template-columns:minmax(0,1fr) minmax(15rem,22rem);gap:0 clamp(2rem,5vw,6rem);margin-top:2.2rem;display:grid}.concept-main{min-width:0}.concept-aside{flex-direction:column;gap:1.4rem;min-width:0;padding-top:4.4rem;display:flex}.concept-wide{grid-column:1/-1;min-width:0}.aside-title{letter-spacing:.24em;text-transform:uppercase;color:var(--muted);margin:0 0 .5rem;font-size:.72rem;font-weight:600}.aside-list{flex-direction:column;gap:.3rem;margin:0;padding:0;list-style:none;display:flex}.aside-list a{color:var(--ink);text-decoration:none}.aside-list a:hover{color:var(--accent)}.aside-note{margin:0;font-size:.8rem}.crumbs{font-family:var(--display);letter-spacing:.1em;color:var(--muted);font-size:.92rem}.crumbs a{color:var(--ink-2);text-decoration:none}.crumbs a:hover{color:var(--accent)}.concept-head{margin-top:.8rem}.concept-head .kind{display:block}.concept-head h1{margin:.3rem 0 1rem;font-size:clamp(2.3rem,4.6vw,3.8rem);font-weight:300;line-height:1.04}.statement{max-width:var(--measure);border-left:2px solid var(--accent);margin:1.2rem 0 2rem;padding:.1rem 0 .1rem 1.3rem;font-size:1.08rem;line-height:1.7}.tabs{border-bottom:1px solid var(--border);flex-wrap:wrap;gap:1.6rem;margin-top:1.8rem;display:flex}.tab{font-family:var(--display);letter-spacing:.1em;color:var(--muted);background:0 0;border:0;border-bottom:1px solid #0000;border-radius:0;margin-bottom:-1px;padding:.3rem 0 .55rem;font-size:.98rem;font-weight:400}.tab:hover:not(.active):not(:disabled){color:var(--ink);filter:none;background:0 0}.tab.active{color:var(--ink);border-bottom-color:var(--accent)}.tab.active:hover{filter:none;background:0 0}.prose{max-width:var(--measure);font-size:1.02rem;line-height:1.75}.prose li{margin:.3rem 0}.prose h3,.prose h4,.prose h5{margin:1.4rem 0 .4rem}.prose h3{font-size:1.3rem}.prose h4,.prose h5{color:var(--accent);font-size:1.08rem}.katex{font-size:1.08em}.katex-display{margin:.6rem 0;padding:.25rem 0;overflow:auto hidden}.sources{max-width:var(--measure);border-top:1px solid var(--grid);color:var(--ink-2);margin-top:1.6rem;padding-top:.4rem;font-size:.88rem}.sources h3{font-size:.72rem;font-family:var(--sans);letter-spacing:.2em;text-transform:uppercase;color:var(--muted);margin:.6rem 0 .3rem;font-weight:600}.sources ol{margin:.2rem 0 .6rem;padding-left:1.3rem}.sources li{margin:.15rem 0}.provenance{color:var(--muted);font-size:.82rem}.formal{max-width:var(--measure);border-top:1px solid var(--grid);margin-top:2.4rem}.formal-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.3rem 1.2rem;display:flex}.formal-head h2{margin:1.4rem 0 .4rem}.formal-toggle{font-size:.85rem}.formal-checked{color:var(--muted);margin:0 0 1rem;font-size:.85rem}.formal-statements{flex-direction:column;gap:1.1rem;margin:0;padding:0;list-style:none;display:flex}.formal-doc{white-space:pre-wrap;overflow-wrap:anywhere;margin:.2rem 0 .4rem;line-height:1.6}.formal-lean{border-left:2px solid var(--hairline);white-space:pre-wrap;overflow-wrap:anywhere;background:#f7f7f3;max-height:24rem;margin:.3rem 0 .4rem;padding:.7rem 1rem;font:12.5px/1.55 ui-monospace,DejaVu Sans Mono,Menlo,Consolas,monospace;overflow-y:auto}.formal-lean code{font:inherit;color:var(--ink)}.formal-name{color:var(--muted);overflow-wrap:anywhere;margin:0;font-size:.8rem}.formal-cited{margin-top:1.4rem;font-size:.92rem}.formal-cited h3{font-size:.72rem;font-family:var(--sans);letter-spacing:.2em;text-transform:uppercase;color:var(--muted);margin:0 0 .4rem;font-weight:600}.formal-cited ul{flex-direction:column;gap:.7rem;margin:0;padding:0;list-style:none;display:flex}.formal-cited li{overflow-wrap:anywhere}.formal-cited a code{color:var(--accent)}.formal-module{color:var(--muted);font-size:.85rem}.panel-grid{grid-template-columns:repeat(auto-fit,minmax(min(100%,36rem),1fr));align-items:start;gap:1.4rem 2.2rem;display:grid}.context p{max-width:var(--measure)}@media (width<=980px){.concept{grid-template-columns:minmax(0,1fr)}.concept-aside{padding-top:1rem}.discipline-head{grid-template-columns:minmax(0,1fr)}.discipline-tools{grid-area:auto/1;align-items:flex-start}}.tool{background:var(--card);border-radius:3px;min-width:0;margin:0;padding:1.2rem 1.4rem .8rem}.tool h3{margin:0 0 .2rem;font-size:1.35rem;font-weight:400}.tool>.hint{margin:0 0 .4rem}.params{flex-wrap:wrap;align-items:flex-end;gap:.6rem 1rem;margin:.6rem 0;display:flex}.field{flex-direction:column;gap:.2rem;display:flex}.field.wide{flex-basis:100%}.field label{font-size:.88rem;font-weight:600}.field input{font-variant-numeric:tabular-nums;width:9rem}.field textarea{box-sizing:border-box;width:min(100%,30rem);font:14px/1.5 ui-monospace,monospace}.optional{color:var(--muted);font-weight:400}.actions{gap:.5rem;display:flex}.result.stale{opacity:.55;transition:opacity .2s}.caption{max-width:var(--measure);color:var(--ink-2);font-size:.95rem}.engine{color:var(--muted);margin:.3rem 0 .2rem;font-size:.85rem}.tool-page-link{color:var(--ink-2)}.tool-page-link:hover{color:var(--accent)}button.link-button{font:inherit;color:var(--ink-2);cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}button.link-button:hover:not(:disabled){filter:none;color:var(--accent)}.copied{color:var(--good-text,var(--ink-2))}.result-url{width:min(100%,36rem);margin-top:.3rem;font-size:.82rem;display:block}.tool-page-head{margin:2.6rem 0 1.2rem}.tool-page-head .kind{display:block}.tool-page-head h1{font-family:var(--display);margin:.2rem 0 .4rem;font-size:clamp(2rem,5vw,3.2rem);font-weight:300}.tool-page-head p{max-width:var(--measure);margin:.3rem 0}.tool-page .panel-grid{grid-template-columns:minmax(0,1fr)}.link-note{border-left:2px solid var(--warn);background:color-mix(in srgb, var(--warn) 9%, var(--surface));max-width:var(--measure);overflow-wrap:anywhere;margin:0 0 1rem;padding:.5rem 1rem}.card .card-summary{color:var(--ink-2);font-size:.86rem;line-height:1.45}.card .card-concepts{color:var(--muted);margin-top:auto;font-size:.74rem}.validity{border-left:2px solid var(--good);background:color-mix(in srgb, var(--good) 7%, var(--surface));margin:.8rem 0;padding:.3rem .9rem}.validity.marginal{border-color:var(--warn);background:color-mix(in srgb, var(--warn) 9%, var(--surface))}.validity.bad{border-color:var(--bad);background:color-mix(in srgb, var(--bad) 9%, var(--surface))}.validity h4{color:var(--ink);margin:.25rem 0;font-family:inherit;font-size:.98rem}.validity ul{margin:.3rem 0;padding-left:.2rem;list-style:none}.validity li{color:var(--ink);margin:.2rem 0;font-size:.92rem}.validity .mark{width:1.1em;font-weight:800;display:inline-block}.validity li.pass .mark{color:var(--good-text)}.validity li.marginal .mark{color:var(--warn-text)}.validity li.fail .mark{color:var(--bad-text)}.validity small{color:var(--muted)}.validity .notes{padding-left:1.2rem}.validity .notes li{color:var(--ink-2);list-style:outside}.chart{margin:.6rem 0}.chart svg{max-width:100%;display:block}.chart .grid{stroke:var(--grid);stroke-width:1px}.chart .axis{stroke:var(--axis);stroke-width:1px}.chart .tick{fill:var(--ink-2);font:12px system-ui,sans-serif}.chart .label{fill:var(--ink-2);font:600 13px system-ui,sans-serif}.chart .value{fill:var(--ink);font:600 12px system-ui,sans-serif}.chart .bar{fill:var(--series)}.chart .bar.active{fill:color-mix(in srgb, var(--series) 65%, var(--ink))}.chart .hit{fill:#0000}.chart .reference{fill:none;stroke:var(--ink-2);stroke-width:2px}.legend{color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:.35rem;font-size:.88rem;display:flex}.swatch{width:14px;height:10px;margin-left:.6rem;display:inline-block}.swatch:first-child{margin-left:0}.swatch.bar{background:var(--series);border-radius:2px}.swatch.line{background:var(--ink-2);height:2px}.readout{color:var(--ink-2);font-variant-numeric:tabular-nums;min-height:1.35em;font-size:.88rem}.plot-area{position:relative}.plot-area canvas{cursor:crosshair;border-radius:2px;display:block}.hover-line{border-left:1.5px dashed var(--ink-2);pointer-events:none;width:0;position:absolute}.values{border-collapse:collapse;color:var(--ink);font:13px ui-monospace,monospace}.values td{border-bottom:1px solid var(--grid);font-variant-numeric:tabular-nums;padding:.15rem .7rem}.scene canvas{touch-action:none;cursor:grab;border-radius:2px;display:block}.scene canvas:active{cursor:grabbing}.colour-bar{color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:.6rem;margin:.4rem 0;font-size:.88rem;display:flex}.colour-bar-label{font-weight:600}.colour-bar-scale{flex-direction:column;min-width:12rem;display:inline-flex}.colour-bar-ramp{border:1px solid var(--border);border-radius:3px;height:10px}.colour-bar-ticks{font-variant-numeric:tabular-nums;justify-content:space-between;font-size:.8rem;display:flex}.osculating circle{fill:none;stroke:var(--ink-2);stroke-width:1.5px;stroke-dasharray:5 4}.osculating line{stroke:var(--ink-2);stroke-width:1px}.osculating .point{fill:var(--ink);stroke:var(--surface);stroke-width:2px;stroke-dasharray:none}.matrix-line{margin:.6rem 0;overflow-x:auto}.plane .mapped-grid{fill:none;stroke:var(--grid);stroke-width:1px}.plane .original{fill:none;stroke:var(--ink-2);stroke-width:1.5px;stroke-dasharray:5 4}.plane .image-fill{fill:var(--series-wash);stroke:var(--series);stroke-width:2px}.plane .image-line{fill:none;stroke:var(--series);stroke-width:2px}.plane .eigen-line{stroke:var(--ink);stroke-width:1.5px;stroke-dasharray:8 5}.chart .gershgorin{fill:var(--series-wash);stroke:var(--series);stroke-width:1.5px}.chart .eigenvalue{fill:var(--ink);stroke:var(--surface);stroke-width:2px}.chart .eigenvalue.active{fill:var(--series)}.swatch.dashed{border-top:2px dashed var(--ink-2);height:0}.swatch.disc{background:var(--series-wash);border:1.5px solid var(--series);border-radius:50%;width:12px;height:12px}.swatch.dot{background:var(--ink);border-radius:50%;width:10px;height:10px}.scroll{overflow-x:auto}.values th{text-align:left;border-bottom:1px solid var(--axis);padding:.2rem .7rem;font-weight:650}.eigen-table tr.active td{background:var(--series-wash)}.properties td:first-child{color:var(--ink-2)}.chart .curve{fill:none;stroke-width:2px}.chart .curve.ink{stroke:var(--ink)}.chart .curve.series{stroke:var(--series);stroke-width:2.5px}.chart .curve.reference-dashed{stroke:var(--ink-2);stroke-dasharray:7 5}.chart .root-polygon{fill:var(--series-wash);stroke:var(--series);stroke-width:1.5px}.chart .w-point{fill:none;stroke:var(--ink);stroke-width:2px}.chart .strip{fill:var(--series-wash);stroke:var(--series);stroke-width:1px}.chart .zero-point{fill:var(--series);stroke:var(--surface);stroke-width:2px}.chart .inflection,.chart .hole{fill:var(--surface);stroke:var(--ink);stroke-width:2px}.chart .optimum{fill:none;stroke:var(--series);stroke-width:2.5px}.chart .band{fill:var(--series-wash)}.chart .band.delta{fill:color-mix(in srgb, var(--ink) 9%, transparent)}.chart .band-edge{stroke:var(--series);stroke-width:1.5px;stroke-dasharray:6 4}.chart .secant{fill:none;stroke:var(--ink-2);stroke-width:2px;stroke-dasharray:7 5}.chart .tangent{fill:none;stroke:var(--series);stroke-width:2.5px}.chart .bracket{stroke:var(--series);stroke-width:4px;stroke-linecap:round}.formula{margin:.4rem 0 .2rem;font-size:1.05rem}.chart.orbit svg{width:100%;max-width:560px;height:auto;margin:0 auto;display:block}.chart .orbit-exact{fill:none;stroke:var(--ink-2);stroke-width:.012px;stroke-dasharray:.05 .035}.chart .orbit-numeric{fill:none;stroke:var(--ink);stroke-width:.01px}.chart .sun{fill:#e8a317}.swatch.dashed{border-top:2px dashed var(--ink-2);vertical-align:middle;width:16px;display:inline-block}.chart .area{fill:var(--series-wash);stroke:none}.chart .area.other{fill:color-mix(in srgb, var(--ink) 12%, transparent)}.chart .outline{fill:none;stroke:var(--ink-2);stroke-width:1.5px;stroke-dasharray:4 3}.chart .marker{stroke:var(--ink-2);stroke-width:1.5px;stroke-dasharray:4 4}.chart .hover-rule{stroke:var(--ink-2);stroke-width:1px;stroke-dasharray:3 3}.legend-item{align-items:center;gap:.3rem;margin-right:.8rem;display:inline-flex}.swatch.line.ink{background:var(--ink)}.swatch.line.series{background:var(--series);height:3px}.swatch.line.reference-dashed{border-top:2px dashed var(--ink-2);background:0 0;height:0}.graph{margin:.5rem 0}.graph .scroll{background:var(--surface);border:1px solid var(--border);padding:.4rem 0;overflow-x:auto}.graph svg{margin:0 auto;display:block}.graph .edge{fill:none;stroke:var(--axis);stroke-width:1.5px}.graph .edge.generalizes{stroke-dasharray:6 4}.graph .arrowhead{fill:var(--axis)}.graph .node rect{fill:var(--surface);stroke:var(--axis);stroke-width:1.5px}.graph .node text{fill:var(--ink);font:13px system-ui,sans-serif}.graph .node:hover rect,.graph .node:focus-visible rect{stroke:var(--series);stroke-width:2.5px}.graph .node.self rect{fill:var(--accent);stroke:var(--accent)}.graph .node.self text{fill:var(--on-series);font-weight:700}.graph .node.dependent rect{stroke-dasharray:5 3}.graph figcaption{color:var(--ink-2);margin-top:.45rem;font-size:.88rem}.key{border:1.5px solid var(--axis);color:var(--ink);background:var(--surface);border-radius:2px;margin-left:.35rem;padding:0 .45rem;font-size:.8rem;display:inline-block}.key.self{background:var(--accent);border-color:var(--accent);color:var(--on-series)}.key.dependent{border-style:dashed}.bottom{border-top:1px solid var(--border);color:var(--muted);margin-top:3rem;padding-top:1rem;font-size:.85rem}.series{margin:.6rem 0 .4rem}.uplot,.uplot .u-title,.uplot .u-legend,.uplot .u-legend th{color:var(--ink);font-family:system-ui,sans-serif}.uplot .u-title{font-size:.98rem;font-weight:650}.uplot .u-legend{font-size:.88rem}.uplot .u-legend .u-value{font-variant-numeric:tabular-nums;font-weight:600}.uplot .u-select{background:var(--series-wash)}@media (width<=760px){.masthead-bar{gap:.55rem 1rem;padding-block:.75rem}.wordmark{letter-spacing:.42em;order:1;margin-right:-.42em;font-size:1.1rem}.hall-crumb{letter-spacing:.2em;order:2;font-size:.86rem}.masthead-end{order:3;gap:1.1rem}.masthead-tail{display:contents}.query{flex:100%;order:5;min-width:0}.query-input{padding-block:.2rem;font-size:1rem}.query-list{width:100%;max-width:none}.disciplines{flex-basis:100%;order:4;gap:1.4rem}.level-row{display:none}.level-toggle{display:inline-block}.level-menu{z-index:40;background:var(--menu,#fff);border-radius:3px;flex-direction:column;align-items:flex-start;gap:.55rem;min-width:11rem;padding:.8rem 1rem;display:flex;position:absolute;top:calc(100% + .6rem);right:-.6rem;box-shadow:0 18px 40px -18px #16161d73}.level-menu .level-option{font-size:1rem}.level-menu .level-option.current{font-size:.78rem}.discipline-title{font-size:clamp(2.6rem,14vw,3.6rem)}.area{margin-top:2rem}.area-head h2{font-size:1.45rem}.cards{gap:.6rem}.card{gap:.3rem;padding:.8rem 1rem .85rem}.card strong{font-size:1.12rem}.field input{width:7.5rem}}.app.wide{max-width:none;padding:0}.map-loading{max-width:1120px;margin:1rem auto;padding:0 1rem}.map-stage{background:radial-gradient(60% 55% at 28% 22%,#1c2660 0%,#1c266000 70%),radial-gradient(55% 50% at 82% 78%,#2a1d52 0%,#2a1d5200 70%),linear-gradient(#0e1334 0%,#0b0f2a 100%);position:relative;overflow:hidden}.map-stage:after{content:"";background:linear-gradient(#fff0, var(--page));pointer-events:none;height:3rem;position:absolute;bottom:0;left:0;right:0}.map-sky{pointer-events:none;position:absolute;inset:0}.map{touch-action:none;cursor:grab;-webkit-user-select:none;user-select:none;display:block;position:relative}.map:active{cursor:grabbing}.map-tools{z-index:2;gap:.25rem;display:flex;position:absolute;top:.8rem;right:1rem}.map-tools button{color:#e8ecff;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);background:#ffffff1a;border:1px solid #ffffff2e;min-width:2rem;padding:.2rem .65rem}.map-tools button:hover:not(:disabled){color:#fff;filter:none;background:#fff3;border-color:#ffffff59}.map-clouds{pointer-events:none;z-index:1;position:absolute;inset:0}.map-cloud{white-space:nowrap;letter-spacing:.24em;text-transform:uppercase;color:#ecf0ffc7;text-shadow:0 0 14px #788cffbf,0 0 36px #788cff73;filter:blur(.35px);font-size:clamp(.8rem,1.35vw,1.1rem);font-weight:700;position:absolute;transform:translate(-50%,-50%)}.map-cloud:before{content:"";z-index:-1;filter:blur(10px);background:radial-gradient(closest-side,#2834788c,#28347800);border-radius:50%;position:absolute;inset:-.9em -1.4em}.map-cloud.physics{color:#e2f0fccc;text-shadow:0 0 14px #6fa6d6bf,0 0 36px #6fa6d673}.map-cloud.physics:before{background:radial-gradient(closest-side,#1e466e8c,#1e466e00)}.map-edge{stroke:#c4d0ff3d;stroke-width:1px}.map-edge.generalizes{stroke:#96aaff80;stroke-dasharray:5 3}.map-edge.related{stroke:#d9b46a8c;stroke-dasharray:1.5 3}.map.focused .map-edge{opacity:.35}.map.focused .map-edge.lit{opacity:1;stroke-width:1.7px}.map.focused .map-edge.lit.before{stroke:#aebcff}.map.focused .map-edge.lit.after{stroke:#ff8a9a}.map.focused .map-edge.lit.related-lit{stroke:#e7c682}.map-node{cursor:pointer;outline:none}.map-core{fill:#eef1ff}.map-node.physics .map-core{fill:#e6f3ff}.map-core.theorem{fill:#ffd9df;stroke:#f0d28ae6;stroke-width:.6px}.map-ring{fill:none;stroke:#dfe5ff;stroke-width:1.3px}.map-node.physics .map-ring{stroke:#d6ebfb}.map-glow{transition:opacity .2s}.map-node:hover .map-glow,.map-node:focus-visible .map-glow{opacity:1;transform:scale(1.35)}.map-node.far{opacity:.4}.map-node.self .map-glow{transform:scale(1.5)}.map-label{fill:#eef1ff;paint-order:stroke;stroke:#090c24e0;stroke-width:3.5px;stroke-linejoin:round;pointer-events:none;font-weight:700}.map-node.self .map-label{fill:#f0d28a}.map-details{max-width:1120px;margin:0 auto;padding:2rem 1rem 0}.map-details-inner{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:1.5rem 3rem;display:grid}.map-title{margin:.2rem 0 .3rem;font-size:1.6rem}.map-where{color:var(--muted);margin:0 0 .9rem;font-size:.88rem}.map-statement{margin:.6rem 0 1rem;font-size:1rem;line-height:1.7}.map-open{margin:.2rem 0 1rem;font-weight:700;display:inline-block}.map-about input[type=search]{box-sizing:border-box;border-color:#0000;border-bottom:1px solid var(--gold);width:min(100%,26rem);margin:.6rem 0;padding-left:0}.map-relations{grid-template-columns:repeat(auto-fill,minmax(12rem,1fr));align-content:start;gap:.4rem 1.6rem;display:grid}.map-group h3{letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin:.6rem 0 .35rem;font-size:.7rem}.map-group.before h3{color:var(--lapis)}.map-group.after h3{color:var(--crimson)}.map-group.related h3{color:#7a5c1c}.map-group ul,.map-matches{flex-direction:column;gap:.1rem;margin:0;padding:0;list-style:none;display:flex}.map-details .map-link{color:var(--ink);text-align:left;background:0 0;border:0;border-radius:0;padding:.12rem 0;font-weight:400}.map-details .map-link:before{content:"";background:var(--lapis);border-radius:50%;width:6px;height:6px;margin:0 .55rem .12rem 0;display:inline-block}.map-details .map-link.physics:before{background:var(--smoke)}.map-details .map-link:hover:not(:disabled){color:var(--crimson);filter:none;background:0 0}.map-legend h3{letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin:.6rem 0 .5rem;font-size:.7rem}.map-legend-ground{fill:#0e1334}.map-legend-sky text{fill:#dfe4ff;font-size:12px}.map-hint{color:#eef1ff;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);z-index:5;background:#141a40b8;border:1px solid #ffffff29;border-radius:2px;align-items:center;gap:.45rem;padding:.35rem .85rem;font-size:.8rem;font-weight:700;display:inline-flex;position:fixed;bottom:.9rem;left:50%;transform:translate(-50%);box-shadow:0 6px 22px -10px #0009}.map-hint:hover:not(:disabled){filter:none;color:#fff;background:#1c2458d9;border-color:#f0d28a99}.map-hint-arrow{color:#f0d28a;animation:1.6s ease-in-out infinite map-bob;display:inline-block}@keyframes map-bob{0%,to{transform:translateY(-1px)}50%{transform:translateY(3px)}}@media (prefers-reduced-motion:reduce){.map-hint-arrow{animation:none}}@media (width<=860px){.map-details-inner{grid-template-columns:minmax(0,1fr)}}.programs{max-width:58rem}.program{margin:1.4rem 0 2.2rem}.program-head h3{margin:.1rem 0 .3rem;font-size:1.12rem}.program-text{max-width:var(--measure);font-size:.98rem;line-height:1.65}.program-code{box-sizing:border-box;width:100%;color:var(--ink);border:0;border-left:2px solid var(--hairline);tab-size:4;white-space:pre;resize:vertical;background:#f7f7f3;border-radius:0;margin:.7rem 0 .5rem;padding:.8rem 1rem;font:13px/1.55 ui-monospace,DejaVu Sans Mono,Menlo,Consolas,monospace;display:block;overflow-x:auto}textarea.program-code:focus{box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--accent) 40%, transparent);outline:none}.program-actions{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.program-status{color:var(--muted);font-size:.85rem}.program-locked{color:var(--ink-2);font-size:.92rem}.program-cases{border-collapse:collapse;margin:.8rem 0 .4rem;font-size:.9rem}.program-cases th{text-align:left;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);padding:.2rem 1.2rem .3rem 0;font-size:.7rem;font-weight:700}.program-cases td{vertical-align:top;border-top:1px solid var(--grid);padding:.25rem 1.2rem .25rem 0}.program-cases code{color:var(--ink);overflow-wrap:anywhere}.program-pass{color:var(--good-text);font-weight:700}.program-fail{color:var(--bad-text);font-weight:700}.program-verdict{color:var(--ink-2);font-size:.92rem}.program-verdict.pass{color:var(--good-text);font-weight:700}.program-output h4{letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin:.8rem 0 .2rem;font-size:.7rem}.program-output pre{color:var(--ink-2);white-space:pre-wrap;overflow-wrap:anywhere;background:#fbfbf9;max-height:28rem;margin:.4rem 0 0;padding:.7rem 1rem;font:12.5px/1.5 ui-monospace,DejaVu Sans Mono,Menlo,Consolas,monospace;overflow-y:auto}.program-grade{color:var(--ink-2);margin:.8rem 0 .2rem;font-size:.92rem}.program-grade.pass strong{color:var(--good-text)}.program-grade-error{white-space:pre-wrap;background:#fbfbf9;padding:.5rem .8rem;font:12.5px/1.5 ui-monospace,DejaVu Sans Mono,monospace}.program-hidden{letter-spacing:.05em;gap:.35rem;margin-left:.6rem;display:inline-flex}.program-best{color:var(--muted);margin:.2rem 0;font-size:.85rem}.code-editor{border-left:2px solid var(--hairline);background:#f7f7f3;margin:.7rem 0 .5rem;position:relative}.code-layer,.code-input{box-sizing:border-box;letter-spacing:0;tab-size:4;white-space:pre;width:100%;margin:0;padding:.8rem 1rem;font:13px/1.55 ui-monospace,DejaVu Sans Mono,Menlo,Consolas,monospace}.code-layer{pointer-events:none;color:var(--ink);position:absolute;inset:0;overflow:hidden}.code-input{color:#0000;caret-color:var(--ink);resize:vertical;background:0 0;border:0;border-radius:0;display:block;position:relative;overflow:auto}.code-input:focus{box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--accent) 35%, transparent);outline:none}.code-input::selection{color:#0000;background:#2a4bb833}.tok-keyword{color:#1d2c6b}.tok-name{color:#2a4bb8}.tok-string{color:#8e1b2f}.tok-number{color:#2f6690}.tok-comment{color:#6f6f7c}.tok-builtin{color:#5b3f8c}.tok-decorator{color:#7a5c1c}.map.embedded{touch-action:pan-y}.map-open-full{top:1rem;right:var(--gutter);font-family:var(--display);letter-spacing:.18em;color:#ecf0ffd9;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);background:#ffffff0f;border:1px solid #ffffff24;border-radius:2px;padding:.35rem .9rem;text-decoration:none;position:absolute}.map-open-full:hover{color:#fff;border-color:#f0d28a99}.program{background:var(--card);border-radius:3px;min-width:0;margin:0;padding:1.2rem 1.4rem 1rem}.program-head h3{font-size:1.35rem;font-weight:400}.ghost-text{white-space:nowrap;text-align:center;min-width:0;font-family:var(--display);letter-spacing:.34em;color:#f0f3ffb8;text-shadow:0 0 18px #becdff99,0 0 42px #96aaff59;pointer-events:none;flex:auto;font-size:1.02rem;font-weight:200;overflow:hidden}.ghost-text span{opacity:0;filter:blur(9px);animation:1.8s cubic-bezier(.2,.7,.2,1) forwards ghost-in;animation-delay:calc(var(--i) * 42ms);display:inline-block;transform:translateY(7px)scale(1.06)}.ghost-text.leaving span{opacity:.7;filter:blur(.3px);animation:1.3s ease-in forwards ghost-out;animation-delay:calc(var(--i) * 26ms);transform:none}@keyframes ghost-in{55%{opacity:.8;filter:blur(1.6px)}to{opacity:.7;filter:blur(.3px);transform:none}}@keyframes ghost-out{to{opacity:0;filter:blur(12px);transform:translateY(-9px)scale(1.08)}}@media (prefers-reduced-motion:reduce){.ghost-text span,.ghost-text.leaving span{opacity:.7;filter:none;animation:none;transform:none}}@media (width<=760px){.ghost-text{display:none}}.hall-split{height:calc(100svh - 4.2rem);min-height:32rem;display:flex;position:relative}.hall-door{isolation:isolate;text-align:left;min-width:0;font:inherit;color:#eef1ff;cursor:pointer;background:0 0;border:0;border-radius:0;flex-direction:column;flex:1 1 0;justify-content:center;gap:1.1rem;padding:3rem clamp(1.5rem,6vw,7rem);font-weight:400;transition:flex-grow .26s cubic-bezier(.2,.8,.2,1),opacity .2s;display:flex;position:relative;overflow:hidden}.hall-door:hover:not(:disabled){filter:none;background:0 0;flex-grow:1.14}.hall-door+.hall-door{border-left:1px solid #ffffff12}.hall-door:before{content:"";z-index:-1;opacity:.5;transition:opacity .35s,transform .8s;position:absolute;inset:-10%}.hall-door.mathematics:before{background:radial-gradient(60% 55% at 35% 45%,#5a6eff3d,#0000 70%),radial-gradient(45% 40% at 85% 85%,#8e1b2f4d,#0000 70%)}.hall-door.physics:before{background:radial-gradient(60% 55% at 60% 45%,#6fa6d642,#0000 70%),radial-gradient(45% 40% at 15% 85%,#9db3c833,#0000 70%)}.hall-door:hover:before,.hall-door:focus-visible:before{opacity:1;transform:scale(1.05)}.hall-kicker{font-family:var(--display);letter-spacing:.55em;color:#e7c682e6;font-size:.82rem;font-weight:300}.hall-door.physics .hall-kicker{color:#cde1f2e6}.hall-title{font-family:var(--display);letter-spacing:.05em;text-shadow:0 0 46px #a0b4ff47;font-size:clamp(2.6rem,5.6vw,7rem);font-weight:200;line-height:.92}.hall-lead{color:#e6ebffc7;max-width:34rem;font-size:1rem;line-height:1.7}.hall-areas-line{max-width:38rem;font-family:var(--display);letter-spacing:.08em;white-space:pre-wrap;color:#d2dafa94;font-size:.95rem;line-height:1.9}.hall-enter{font-family:var(--display);letter-spacing:.36em;color:#ffffffb8;margin-top:.5rem;font-size:.84rem}.hall-door:hover .hall-enter{color:#fff}.hall-split.chosen .hall-door{opacity:0;flex-grow:.0001}.hall-split.chosen .hall-door.picked{opacity:1;flex-grow:1}.entrance-next{font-family:var(--display);letter-spacing:.3em;color:#ecf0ffb3;background:0 0;border:0;padding:.4rem .8rem;font-size:.86rem;font-weight:300;position:absolute;bottom:1.1rem;left:50%;transform:translate(-50%)}.entrance-next:hover:not(:disabled){color:#fff;filter:none;background:0 0}.entrance-map{border-top:1px solid #ffffff0f;height:100svh;position:relative}.hall-arrival{animation:.3s cubic-bezier(.2,.8,.2,1) both hall-arrive}@keyframes hall-arrive{0%{opacity:0;transform:scale(1.012)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:reduce){.hall-arrival{animation:none}.hall-door{transition:none}}@media (width<=760px){.hall-split{flex-direction:column;height:auto;min-height:0}.hall-door{flex:none;justify-content:flex-start;gap:.75rem;min-height:0;padding:2.2rem 1.4rem 2.1rem}.hall-door:hover:not(:disabled){flex-grow:0}.hall-split.chosen .hall-door{flex:none}.hall-split.chosen .hall-door:not(.picked){display:none}.hall-door+.hall-door{border-top:1px solid #ffffff12;border-left:0}.hall-title{font-size:clamp(2.6rem,13vw,3.8rem)}.hall-lead{font-size:.95rem;line-height:1.6}.hall-areas-line{display:none}.entrance-next{margin:.6rem auto 1.2rem;display:block;position:static;transform:none}.entrance-map{height:85svh}}.sky-backdrop{z-index:-1;background:radial-gradient(60% 55% at 28% 22%,#1c2660 0%,#1c266000 70%),radial-gradient(55% 50% at 82% 78%,#2a1d52 0%,#2a1d5200 70%),linear-gradient(#0e1334 0%,#0b0f2a 100%);position:fixed;inset:0}.sky-backdrop canvas{opacity:var(--sky,.5);transition:opacity .6s;position:absolute;inset:0}:root[data-design=halls]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--page:#0b0f2a;--surface:#ffffff0f;--raised:#ffffff0d;--card:#ffffff0b;--ink:#eef1ff;--ink-2:#cdd3f2;--muted:#9ea7d2;--grid:#ffffff1a;--axis:#dce4ff80;--border:#ffffff21;--on-series:#0b0f2a;--good-text:#7ee2a0;--warn-text:#f5c96b;--bad-text:#ff9aa9;--accent:#c7d1ff;--emphasis:#ff9fae;--hairline:#e7c68299;--series:#a9b8ff;--series-wash:#a9b8ff29;--glow:none}:root[data-design=halls][data-discipline=physics]{--accent:#d2e8f8;--emphasis:#a4cbea;--hairline:#9db3c88c;--series:#9ccbef;--series-wash:#9ccbef29}:root[data-design=halls] body{background:0 0}:root[data-design=halls] .masthead{z-index:20;position:sticky;top:0}:root[data-design=halls] .masthead-bar{-webkit-backdrop-filter:blur(14px)saturate(1.15);backdrop-filter:blur(14px)saturate(1.15);background:#0a0e2857;border-bottom:1px solid #ffffff0f}:root[data-design=halls] .wordmark{color:#f4f6ff;text-shadow:0 0 16px #aabcff66}:root[data-design=halls] .hall-crumb{color:#ecf0ffcc}:root[data-design=halls] .account-chip .initial{border-color:#ecf0ff66}:root[data-design=halls] button:not(.hall-door):not(.level-option):not(.tab):not(.entrance-next):not(.map-link):not(.map-hint):not(.link-button){color:var(--ink);background:#c7d1ff24;border-color:#c7d1ff52}:root[data-design=halls] button:not(.hall-door):not(.level-option):not(.tab):not(.entrance-next):not(.map-hint):not(.link-button):hover:not(:disabled){filter:none;background:#c7d1ff42}:root[data-design=halls] button.quiet{background:0 0}:root[data-design=halls] select,:root[data-design=halls] input,:root[data-design=halls] textarea{color:var(--ink);border-color:var(--border);background:#ffffff0d}:root[data-design=halls] .discipline-tools input[type=search]{background:0 0}:root[data-design=halls] .card:hover{background:#ffffff14;box-shadow:0 18px 40px -26px #788cff8c}:root[data-design=halls] .discipline-title,:root[data-design=halls] .concept-head h1{text-shadow:0 0 40px #a0b4ff40}:root[data-design=halls] .code-editor,:root[data-design=halls] .program-code{background:#ffffff0d}:root[data-design=halls] .formal-lean{background:#00000047}:root[data-design=halls] .program-output pre,:root[data-design=halls] .program-grade-error{color:var(--ink-2);background:#00000047}:root[data-design=halls] .tok-keyword{color:#b9c6ff}:root[data-design=halls] .tok-name{color:#9ad2ff}:root[data-design=halls] .tok-string{color:#ffa3b1}:root[data-design=halls] .tok-number{color:#9fd0ec}:root[data-design=halls] .tok-comment{color:#8e97c2}:root[data-design=halls] .tok-builtin{color:#d4b8ff}:root[data-design=halls] .tok-decorator{color:#e7c682}:root[data-design=halls] .map-stage{background:0 0}:root[data-design=halls] .map-stage:after{background:linear-gradient(#0b0f2a00,#0b0f2ad9)}:root[data-design=halls] .bottom{color:var(--muted);border-top-color:#ffffff14}.legal{max-width:var(--measure);margin-top:2.2rem}.legal h1{font-size:2.6rem;font-weight:300}.footer-link{color:var(--ink-2);margin-left:.9rem}:root[data-design=halls]{--menu:#101538f5}:root[data-design=halls] .level-menu{border:1px solid #ffffff14;box-shadow:0 18px 40px -18px #000000b3}.host-switch{align-items:center;display:inline-flex;position:relative}.host-switch-link{cursor:pointer;background:0 0;border:0;padding:0}.host-switch-problem{width:max-content;max-width:16rem;color:var(--ink);background:var(--surface);border:1px solid var(--border);z-index:5;border-radius:4px;margin-top:.4rem;padding:.3rem .5rem;font-size:.8rem;position:absolute;top:100%;right:0}.ws-list{margin-top:1.6rem}.ws-list h2{margin:1.4rem 0 .4rem}.ws-rows{flex-direction:column;gap:.4rem;margin:.8rem 0;padding:0;list-style:none;display:flex}.ws-row{background:var(--card);border-radius:3px;flex-wrap:wrap;align-items:baseline;gap:.3rem .9rem;padding:.55rem .8rem;display:flex}.ws-row-title{font-family:var(--display);color:var(--accent);overflow-wrap:anywhere;font-size:1.12rem;text-decoration:none}.ws-row-title:hover{text-decoration:underline}.ws-row-when{color:var(--muted);font-size:.82rem}.ws-row .ws-small{margin-left:auto}.ws-mark{letter-spacing:.16em;text-transform:uppercase;color:var(--muted);border:1px solid var(--border);border-radius:2px;padding:0 .35rem;font-size:.64rem;font-weight:700}button.ws-small{padding:.1rem .5rem;font-size:.8rem;font-weight:400}button.quiet.active{color:var(--accent);border-color:var(--accent)}.ws-new{flex-wrap:wrap;align-items:center;gap:.5rem;margin:1rem 0;display:flex}.ws-new label{font-weight:600}.ws-new input{flex:12rem;min-width:0}.ws-open{margin-top:.6rem}.ws-open-form{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.ws-open-form select{max-width:100%}.workspace{max-width:64rem;margin-top:2rem}.ws-head{flex-direction:column;gap:.5rem;margin-bottom:1.2rem;display:flex}.ws-title,.ws-title-static{font-family:var(--display);color:var(--accent);margin:0;font-size:clamp(1.7rem,4.5vw,2.6rem);font-weight:300}.ws-title{box-sizing:border-box;border:0;border-bottom:1px solid var(--border);background:0 0;border-radius:0;width:100%;padding:.2rem 0}.ws-title:focus{border-bottom-color:var(--accent);outline:none}.ws-save{flex-wrap:wrap;align-items:center;gap:.5rem 1rem;display:flex}.ws-state{color:var(--muted);font-size:.85rem}.ws-state.unsaved{color:var(--warn-text);font-weight:700}.ws-problem{border-left:2px solid var(--bad);background:color-mix(in srgb, var(--bad) 8%, var(--surface));padding:.3rem .9rem .6rem}.ws-problem .problem{margin:.3rem 0}.ws-warnings{border-left:2px solid var(--warn);background:color-mix(in srgb, var(--warn) 9%, var(--surface));color:var(--warn-text);margin:0;padding:.3rem .9rem .3rem 1.8rem;font-size:.9rem}.ws-cells{flex-direction:column;gap:1rem;margin:0;padding:0;list-style:none;display:flex}.ws-cell{background:var(--card);border-left:2px solid #0000;border-radius:3px;min-width:0;padding:.7rem 1.1rem .9rem}.ws-cell.refused{border-left-color:var(--bad)}.ws-cell.out-of-date{border-left-color:var(--warn)}.ws-run-line{margin:0}.ws-cell-state{color:var(--muted);font-size:.82rem}.ws-cell-state.stale{color:var(--warn-text)}.ws-cell-bar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.4rem;margin-bottom:.3rem;display:flex}.ws-cell-head{flex-wrap:wrap;align-items:baseline;gap:.5rem;display:inline-flex}.ws-cell-id{color:var(--muted);font:.8rem ui-monospace,monospace}.ws-cell-label{font-family:var(--display);color:var(--accent);font-size:1.05rem}.ws-cell-actions{gap:.3rem;display:inline-flex}.ws-textarea{box-sizing:border-box;width:100%;font:14px/1.5 ui-monospace,monospace}.ws-preview{border-top:1px solid var(--grid);margin-top:.5rem}.ws-text .link-button{margin-top:.3rem;font-size:.85rem}.ws-params{align-items:flex-start}.ws-param{flex-direction:column;gap:.2rem;min-width:0;display:flex}.ws-param.wide,.ws-param.bound{flex-basis:100%}.ws-param small.problem{font-size:.8rem}.ws-bind{align-self:flex-start;font-size:.8rem}.ws-binding-label{font-size:.88rem;font-weight:600}.ws-binding-pick{flex-wrap:wrap;gap:.4rem;display:flex}.ws-binding-pick select{max-width:100%}.ws-run-problems{margin:.4rem 0;padding-left:1.2rem}.ws-output{margin-top:.6rem}.ws-json{background:var(--raised);white-space:pre-wrap;overflow-wrap:anywhere;max-height:22rem;margin:.4rem 0;padding:.6rem .9rem;font:12.5px/1.5 ui-monospace,monospace;overflow-y:auto}.ws-value code{overflow-wrap:anywhere}.ws-program-inputs{flex-wrap:wrap;gap:.6rem 1rem;margin-bottom:.6rem;display:flex}.ws-returned{margin:.3rem 0;padding-left:1.2rem}.ws-scratch{margin-top:.5rem;font-size:.9rem}.ws-scratch p{margin:0 0 .2rem}.ws-scratch ul{margin:0;padding-left:1.2rem;list-style:none}.ws-scratch label{flex-wrap:wrap;align-items:baseline;gap:.35rem;display:inline-flex}.ws-scratch-note{margin:.3rem 0 0}.ws-in-scope{margin-bottom:.4rem}.ws-in-scope p{margin:0 0 .2rem}.ws-scope-line,.ws-scope-carries,.ws-carried{overflow-wrap:anywhere;font-size:.88rem}.ws-carried{margin:.3rem 0 0}.ws-inputs-hint{flex-basis:100%}.ws-constants-table td{padding:.15rem .7rem .15rem 0}.ws-constants-table input{max-width:12rem;font-size:.9rem}.ws-constants-line{margin:.2rem 0}.ws-spec-label{margin-bottom:.2rem;font-size:.88rem;font-weight:600;display:block}.ws-params-static{overflow-wrap:anywhere;font-size:.9rem}.ws-add{flex-wrap:wrap;align-items:center;gap:.5rem;margin:1.2rem 0;display:flex}.ws-add-label{font-weight:600}.ws-add-pick{flex-wrap:wrap;gap:.5rem;max-width:100%;display:inline-flex}.ws-add-pick select{max-width:100%}.ws-versions{border-top:1px solid var(--border);margin-top:1.6rem;padding-top:.6rem}.ws-versions summary{cursor:pointer;font-weight:600}.ws-versions ul{flex-wrap:wrap;gap:.3rem 1rem;margin:.4rem 0;padding:0;list-style:none;display:flex}.ws-panel{border-top:1px solid var(--border);margin-top:1.6rem;padding-top:.6rem}.ws-panel h2{margin:.2rem 0 .5rem;font-size:1.05rem}.ws-consent{align-items:flex-start;gap:.5rem;max-width:46rem;margin:.6rem 0;display:flex}.ws-consent input{margin-top:.25rem}.ws-link-row{flex-wrap:wrap;align-items:center;gap:.5rem;margin:.6rem 0;display:flex}.ws-link{min-width:0;font-family:var(--mono,monospace);flex:18rem;font-size:.85rem}.ws-collaborator{overflow-wrap:anywhere}.ws-public-mark{letter-spacing:.12em;text-transform:uppercase;color:var(--accent);border:1px solid var(--accent);border-radius:2px;align-self:flex-start;padding:.15rem .5rem;font-size:.72rem;font-weight:700}.ws-fork{flex-direction:column;gap:.3rem;display:flex}.ws-fork button{align-self:flex-start}.ws-shared{margin-top:1.2rem}.ws-lean-code{tab-size:2}.ws-lean-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-lean-hint{margin:.4rem 0}.ws-lean-output.stale{opacity:.55}.ws-lean-verdict{letter-spacing:.14em;text-transform:uppercase;border:1px solid;border-radius:2px;margin:.4rem 0;padding:.1rem .5rem;font-size:.72rem;font-weight:700;display:inline-block}.ws-lean-verdict.ok{color:var(--good-text)}.ws-lean-verdict.failed{color:var(--bad)}.ws-lean-verdict.timeout{color:var(--warn-text)}.ws-lean-messages{flex-direction:column;gap:.3rem;margin:.2rem 0;padding:0;list-style:none;display:flex}.ws-lean-message pre{background:var(--raised);white-space:pre-wrap;overflow-wrap:anywhere;border-left:2px solid var(--border);max-height:16rem;margin:0;padding:.4rem .8rem;font:12.5px/1.5 ui-monospace,monospace;overflow-y:auto}.ws-lean-message.error pre{border-left-color:var(--bad)}.ws-lean-message.warning pre{border-left-color:var(--warn)}:root[data-design=halls] .ws-lean-message pre{background:#00000047}.ws-lean-proof code{overflow-wrap:anywhere}.ws-lean-proof.unproved{color:var(--warn-text)}.ws-requires{flex-wrap:wrap;align-items:baseline;gap:.3rem .8rem;margin-bottom:.4rem;font-size:.88rem;display:flex}.ws-requires-label{color:var(--muted)}.ws-requires-choice{align-items:baseline;gap:.3rem;display:inline-flex}.ws-requires-hint,.ws-requires-problem{flex-basis:100%}.ws-assumes{margin:.3rem 0 0;padding:0;list-style:none}.ws-assumes-line{overflow-wrap:anywhere;margin:.2rem 0 0}.ws-assumes-line.changed{color:var(--warn-text)}.ws-data{flex-direction:column;gap:.5rem;display:flex}.ws-data-actions{flex-wrap:wrap;align-items:center;gap:.4rem .8rem;display:flex}.ws-data-actions input[type=file]{max-width:100%;font-size:.82rem}.ws-data-columns select{font-size:.85rem}.ws-data-columns td{padding:.15rem .7rem .15rem 0}.ws-data-table{overflow-x:auto}.ws-data-source{max-width:34rem}.ws-data-source-note{margin:.3rem 0 0}.ws-loop{flex-direction:column;gap:.5rem;display:flex}.ws-loop-over{flex-direction:column;gap:.4rem;display:flex}.ws-loop-params{align-items:flex-end;gap:.4rem .8rem}.ws-loop-params .field input[type=number]{max-width:7rem}.ws-loop-body{max-width:34rem}.ws-loop-collect{border:1px solid var(--border);border-radius:4px;flex-wrap:wrap;gap:.2rem 1.2rem;margin:0;padding:.4rem .7rem .6rem;display:flex}.ws-loop-collect legend{color:var(--muted);padding:0 .3rem;font-size:.82rem}.ws-loop-column{align-items:baseline;gap:.3rem;font-size:.85rem;display:inline-flex}.ws-loop-bound{margin:0}.ws-loop-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-loop-table{margin-top:.4rem}.ws-loop-legend{flex-wrap:wrap;gap:.1rem 1.2rem;margin:.4rem 0 0;padding:0;list-style:none;display:flex}.ws-loop-meaning{font-style:italic}.ws-loop-output.stale{opacity:.55}.ws-fit{flex-direction:column;gap:.5rem;display:flex}.ws-fit-body{max-width:34rem}.ws-fit-free{border:1px solid var(--border);border-radius:4px;flex-direction:column;align-items:flex-start;gap:.4rem;margin:0;padding:.4rem .7rem .6rem;display:flex}.ws-fit-free legend{color:var(--muted);padding:0 .3rem;font-size:.82rem}.ws-fit-free td{vertical-align:middle;padding:.15rem .5rem .15rem 0}.ws-fit-settings{align-items:flex-end;gap:.4rem .8rem}.ws-fit-settings .field input[type=number]{max-width:7rem}.ws-fit-bound,.ws-fit-summary{margin:0}.ws-fit-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-fit-values{flex-wrap:wrap;gap:.2rem 1.2rem;margin:0;padding:0;list-style:none;display:flex}.ws-fit-said{flex-direction:column;gap:.15rem;margin:.4rem 0 0;padding:0;list-style:none;display:flex}.ws-fit-output.stale{opacity:.55}.ws-circuit{flex-direction:column;gap:.5rem;display:flex}.ws-circuit-parts td{vertical-align:middle;padding:.15rem .5rem .15rem 0}.ws-circuit-parts select,.ws-circuit-parts input{font-size:.85rem}.ws-node,.ws-number{width:6rem;max-width:100%}.ws-number.wrong{border-color:var(--bad)}.ws-circuit-quantity,.ws-circuit-bound{flex-wrap:wrap;align-items:center;gap:.25rem;display:inline-flex}.ws-circuit-add,.ws-circuit-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-circuit-analysis{flex-wrap:wrap;align-items:center;gap:.3rem .6rem;display:flex}.ws-netlist-label{margin:.3rem 0 0}.ws-netlist{white-space:pre;tab-size:2;margin:0;overflow-x:auto}.ws-netlist-record summary{color:var(--muted);cursor:pointer;font-size:.85rem}.ws-circuit-hint{margin:.4rem 0}.ws-describe{flex-direction:column;gap:.25rem;display:flex}.ws-kicad{flex-wrap:wrap;align-items:baseline;gap:.5rem;margin-top:.4rem;display:flex}.ws-kicad-note{flex:18rem}.ws-describe textarea{resize:vertical;width:100%;font:inherit}.ws-describe-cost,.ws-describe-hint,.ws-describe-waiting,.ws-describe-draft,.ws-circuit-drafted{margin:.2rem 0}.ws-describe-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-describe-parts{flex-direction:column;gap:.15rem;margin:.3rem 0;padding:0;font:12.5px/1.6 ui-monospace,monospace;list-style:none;display:flex}.ws-circuit-drafted{font-style:italic}.ws-circuit-output.stale{opacity:.55}.ws-circuit-output .ws-value code{margin-right:.4rem}.ws-circuit-verdict{letter-spacing:.14em;text-transform:uppercase;border:1px solid;border-radius:2px;margin:.4rem 0;padding:.1rem .5rem;font-size:.72rem;font-weight:700;display:inline-block}.ws-circuit-verdict.ok{color:var(--good-text)}.ws-circuit-verdict.failed{color:var(--bad)}.ws-circuit-messages{flex-direction:column;gap:.3rem;margin:.2rem 0;padding:0;list-style:none;display:flex}.ws-circuit-messages pre{background:var(--raised);white-space:pre-wrap;overflow-wrap:anywhere;border-left:2px solid var(--border);margin:0;padding:.4rem .8rem;font:12.5px/1.5 ui-monospace,monospace}:root[data-design=halls] .ws-circuit-messages pre{background:#00000047}.ws-circuit-random{white-space:nowrap}.ws-circuit-drawn{flex:18rem}.ws-circuit-waveform{flex-wrap:wrap;align-items:center;gap:.25rem;margin-left:.4rem;display:inline-flex}.ws-search{flex-direction:column;gap:.5rem;display:flex}.ws-search-params{align-items:flex-end;gap:.4rem .8rem}.ws-search-params .field input[type=number]{max-width:7rem}.ws-search-bound,.ws-search-criterion,.ws-search-measured,.ws-search-honesty{margin:0}.ws-search-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-search-table{margin-top:.4rem}.ws-search-table tbody tr.ws-search-hit td{color:var(--good-text);font-weight:600}.ws-search-legend{flex-direction:column;gap:.15rem;margin:.4rem 0 0;padding:0;list-style:none;display:flex}.ws-search-winner summary{color:var(--muted);cursor:pointer;font-size:.85rem}.ws-search-verdict{margin:.4rem 0;font-weight:600}.ws-search-verdict.ok{color:var(--good-text)}.ws-search-output.stale{opacity:.55}.ws-simulation-actions{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;display:flex}.ws-simulation-output.stale{opacity:.55}.ws-simulation-output .ws-value code{margin-right:.4rem}@media (width<=600px){.ws-cell{padding:.6rem .7rem .8rem}.ws-row .ws-small{margin-left:0}}:root[data-design=halls] .ws-json{background:#00000047}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:100 900;src:url(/fonts/inter-latin-wght-normal.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:100 900;src:url(/fonts/inter-latin-ext-wght-normal.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:Inter;font-style:normal;font-display:swap;font-weight:100 900;src:url(/fonts/inter-greek-wght-normal.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:100 800;src:url(/fonts/jetbrains-mono-latin-wght-normal.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:100 800;src:url(/fonts/jetbrains-mono-latin-ext-wght-normal.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:100 800;src:url(/fonts/jetbrains-mono-greek-wght-normal.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}:root[data-look=research],:root[data-look=research][data-discipline]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--page:#fff;--surface:#fff;--raised:#f6f7f9;--card:#f6f7f9;--ink:#1a1d21;--ink-2:#3a4048;--muted:#5f6670;--grid:#e6e9ee;--axis:#8a919b;--border:#d9dde3;--good:#1e7f4f;--good-text:#1e7f4f;--warn:#b7791f;--warn-text:#8a5a14;--bad:#b42318;--bad-text:#b42318;--accent:#1f5fbf;--emphasis:#174a97;--hairline:#d9dde3;--series:#0072b2;--series-wash:#0072b21a;--glow:none;--sans:"Inter", system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--display:var(--sans);--mono:"JetBrains Mono", ui-monospace, "DejaVu Sans Mono", Menlo, Consolas, monospace;--measure:72ch;font-feature-settings:"tnum" 1, "cv11" 1;font-size:15px;line-height:1.55}:root[data-look=research] body{background:var(--page);background-image:none}:root[data-look=research] .masthead-bar,:root[data-look=research] .tool-panel,:root[data-look=research] .ws-cell,:root[data-look=research] .account,:root[data-look=research] .exposition{background:var(--surface)}:root[data-look=research] h1,:root[data-look=research] h2,:root[data-look=research] h3{letter-spacing:-.01em;color:var(--ink);font-weight:600}:root[data-look=research] h1{font-size:1.6rem}:root[data-look=research] h2{font-size:1.2rem}:root[data-look=research] a{color:var(--accent)}:root[data-look=research] a:hover{color:var(--emphasis)}:root[data-look=research] .masthead-bar{border-bottom:1px solid var(--border);box-shadow:none;background:#fff}:root[data-look=research] .wordmark{letter-spacing:.02em;color:var(--ink);text-shadow:none;margin-right:0;font-size:1.1rem;font-weight:600}:root[data-look=research] .masthead-tools,:root[data-look=research] .level-option,:root[data-look=research] .account-chip{font-family:var(--sans);letter-spacing:0;font-size:.88rem}:root[data-look=research] .masthead-tools:hover{color:var(--accent)}:root[data-look=research] button:not(.link-button):not(.level-option):not(.masthead-tools){font-family:var(--sans);background:var(--surface);color:var(--ink);border:1px solid var(--border);box-shadow:none;border-radius:4px}:root[data-look=research] button:not(.link-button):not(.level-option):not(.masthead-tools):hover:not(:disabled){border-color:var(--accent);color:var(--accent)}:root[data-look=research] input,:root[data-look=research] select,:root[data-look=research] textarea{border:1px solid var(--border);color:var(--ink);background:#fff;border-radius:4px}:root[data-look=research] input,:root[data-look=research] select{font-family:var(--sans)}:root[data-look=research] .ws-textarea,:root[data-look=research] .ws-json,:root[data-look=research] .ws-cell-id,:root[data-look=research] .ws-link{font-family:var(--mono)}:root[data-look=research] code,:root[data-look=research] pre,:root[data-look=research] .values,:root[data-look=research] .field textarea,:root[data-look=research] .formal-lean,:root[data-look=research] .program-code,:root[data-look=research] .program-output pre{font-family:var(--mono);font-variant-ligatures:none}:root[data-look=research] .formal-lean,:root[data-look=research] .program-code,:root[data-look=research] .program-output pre,:root[data-look=research] .ws-json{background:var(--raised);border-left:0;border:1px solid var(--border);border-radius:4px;font-size:13px}:root[data-look=research] .look-switch{cursor:pointer;background:0 0;border:0;padding:0}:root[data-look=research] .ghost-text{display:none}:root[data-look=research] main a{letter-spacing:0}:root[data-look=research] .values,:root[data-look=research] .values td,:root[data-look=research] table,:root[data-look=research] .checks,:root[data-look=research] svg text,:root[data-look=research] .ws-json,:root[data-look=research] .formal-lean{font-variant-numeric:tabular-nums}