@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/abstract-domain-explainer/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/abstract-domain-explainer/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(/abstract-domain-explainer/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/abstract-domain-explainer/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/abstract-domain-explainer/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.9"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--bg:#f5f4f0;--surface:#fffefb;--surface-2:#f0eee8;--ink:#1c1b19;--ink-2:#55534d;--ink-3:#8a877f;--line:#e4e1d9;--line-2:#d2cec3;--accent:#26394a;--accent-ink:#fbfaf7;--accent-soft:#26394a12;--lo:#3a6a8f;--hi:#b05d35;--lo-soft:#3a6a8f24;--hi-soft:#b05d3524;--band:#26394a14;--warn:#a57b18;--warn-soft:#a57b181a;--good:#3f7a55;--good-soft:#3496583d;--bad:#b3364a;--bad-soft:#d2344833;--off-soft:#1c1b1921;--shadow:0 1px 2px #1c1b190a, 0 8px 24px -12px #1c1b191f;--radius:14px;--font-display:"Instrument Serif", "Iowan Old Style", Georgia, serif;--font-ui:"Inter", system-ui, -apple-system, "Segoe UI", sans-serif;--font-mono:"JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;--font-math:KaTeX_Math, "Times New Roman", serif;--font-math-rm:KaTeX_Main, "Times New Roman", serif;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#121211;--surface:#1a1a18;--surface-2:#22221f;--ink:#ecebe5;--ink-2:#b4b1a8;--ink-3:#7c7970;--line:#2b2a27;--line-2:#3a3935;--accent:#c9d6e0;--accent-ink:#121211;--accent-soft:#c9d6e014;--lo:#86b0cf;--hi:#e09b74;--lo-soft:#86b0cf29;--hi-soft:#e09b7429;--band:#c9d6e014;--warn:#d8b45c;--warn-soft:#d8b45c1f;--good:#7fb592;--good-soft:#6ec88c3d;--bad:#e37887;--bad-soft:#f0647842;--off-soft:#ecebe51c;--shadow:0 1px 2px #0000004d, 0 8px 24px -12px #00000080;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#121211;--surface:#1a1a18;--surface-2:#22221f;--ink:#ecebe5;--ink-2:#b4b1a8;--ink-3:#7c7970;--line:#2b2a27;--line-2:#3a3935;--accent:#c9d6e0;--accent-ink:#121211;--accent-soft:#c9d6e014;--lo:#86b0cf;--hi:#e09b74;--lo-soft:#86b0cf29;--hi-soft:#e09b7429;--band:#c9d6e014;--warn:#d8b45c;--warn-soft:#d8b45c1f;--good:#7fb592;--good-soft:#6ec88c3d;--bad:#e37887;--bad-soft:#f0647842;--off-soft:#ecebe51c;--shadow:0 1px 2px #0000004d, 0 8px 24px -12px #00000080;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{margin:0}body{background:var(--bg);color:var(--ink);font:14px/1.55 var(--font-ui);-webkit-font-smoothing:antialiased}h1,h2,h3{margin:0;font-weight:400}p{margin:0 0 12px}button{font:inherit;color:inherit}code,.mono{font-family:var(--font-mono);font-size:.92em}kbd{font:11px var(--font-mono);border:1px solid var(--line-2);background:var(--surface);border-bottom-width:2px;border-radius:5px;padding:1px 6px}.muted{color:var(--ink-3)}.small{font-size:12px}.center{text-align:center}.lo{color:var(--lo)}.hi{color:var(--hi)}.row{align-items:center;display:flex}.gap{flex-wrap:wrap;gap:8px;margin-top:10px}.gap-sm{flex-wrap:wrap;gap:6px}.topbar{justify-content:space-between;align-items:center;gap:16px;padding:18px 24px 4px;display:flex}.brand{align-items:center;gap:14px;display:flex}.logo{background:var(--ink);width:38px;height:38px;color:var(--bg);font:500 15px var(--font-mono);letter-spacing:-1px;border-radius:10px;place-items:center;display:grid}.brand h1{font-family:var(--font-display);letter-spacing:.2px;font-size:28px;line-height:1}.banner{border:1px solid var(--hi);background:var(--hi-soft);color:var(--ink);border-radius:10px;margin:12px 24px 0;padding:10px 14px}.layout{grid-template-columns:minmax(0,1fr) 400px;grid-template-areas:"stage explain";align-items:stretch;gap:18px;padding:16px 24px 32px;display:grid}.stage{grid-area:stage}.explain{grid-area:explain}@media (width<=1100px){.layout{grid-template-columns:minmax(0,1fr);grid-template-areas:"stage""explain"}}@media (width<=860px){.topbar{padding:14px 16px 0}.layout{padding:12px 16px 24px}.banner{margin:12px 16px 0}}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow)}.placeholder{color:var(--ink-3);text-align:center;padding:40px}.btn{border:1px solid var(--line-2);background:var(--surface);cursor:pointer;color:inherit;border-radius:10px;justify-content:center;align-items:center;gap:6px;padding:8px 14px;text-decoration:none;transition:background .15s,border-color .15s,transform 50ms;display:inline-flex}.btn:hover:not(:disabled){background:var(--surface-2)}.btn:active:not(:disabled){transform:translateY(1px)}.btn:disabled{opacity:.4;cursor:default}.btn.small{white-space:nowrap;border-radius:8px;padding:5px 10px;font-size:12.5px}.btn.primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.btn.primary:hover:not(:disabled){background:var(--accent);filter:brightness(1.12)}.btn.ghost{background:0 0}:focus-visible{outline:2px solid var(--lo);outline-offset:2px}.num{border:1px solid var(--line);background:var(--bg);width:100%;min-width:0;color:var(--ink);font:12.5px var(--font-mono);text-align:right;appearance:textfield;border-radius:7px;padding:5px 7px}.num::-webkit-inner-spin-button{-webkit-appearance:none;margin:0}.num::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}.num:hover{border-color:var(--line-2)}.num:focus{border-color:var(--lo);background:var(--surface);outline:none}.lo-field{color:var(--lo)}.hi-field{color:var(--hi)}.select{border:1px solid var(--line-2);background:var(--surface);width:100%;color:var(--ink);font:inherit;border-radius:9px;padding:8px 10px}.stage{min-width:0;padding:16px 18px 14px}.diagram-outer{position:relative}.diagram-wrap{scrollbar-width:none;display:flex;overflow:auto hidden}.diagram-wrap::-webkit-scrollbar{display:none}.diagram-wrap.pannable{cursor:grab}.diagram-wrap.panning,.diagram-wrap.panning *{cursor:grabbing!important}.diagram{flex:none;width:100%;height:auto;margin:auto;display:block}.diagram.fit{max-height:74vh}.col-title{font:400 21px var(--font-display);fill:var(--ink)}.col-sub{font:12px var(--font-ui);fill:var(--ink-3)}.edge{fill:none;stroke:var(--ink-2);opacity:.4;transition:opacity .2s,stroke .2s}.edge.neg{stroke-dasharray:5 4}.edge.zero{opacity:.12;stroke-dasharray:1 4}.edge.dim{opacity:.1}.edge.on{stroke:var(--ink);opacity:.95}.edge.hover{opacity:.9;stroke:var(--ink)}.edge-hit{fill:none;stroke:#0000;stroke-width:14px;cursor:pointer}.weight-chip{cursor:pointer;transition:opacity .2s}.weight-chip rect{fill:var(--surface);stroke:var(--line-2)}.weight-chip text{font:13.5px var(--font-math-rm);fill:var(--ink-2)}.weight-chip.dim{opacity:.45}.weight-chip.on rect,.weight-chip.hover rect{stroke:var(--ink)}.weight-chip.on text,.weight-chip.hover text{fill:var(--ink);font-weight:600}.weight-chip.hover{opacity:1}.bias-label{font:13.5px var(--font-math-rm);white-space:pre;fill:var(--ink-3);cursor:pointer}.eq text{white-space:pre;paint-order:stroke;stroke:var(--surface);stroke-width:3.5px;stroke-linejoin:round;font-size:14px}.eq .lo{fill:var(--lo)}.eq .hi{fill:var(--hi)}.eq .exact{fill:var(--ink-2)}.eq.on text{font-weight:600}.eq text.used{font-weight:700}.eq text.unused{fill:var(--ink-3);opacity:.45;font-weight:400}.ref-halo{fill:none;stroke:var(--surface);stroke-width:6px;pointer-events:none}.ref-ring{fill:none;stroke:var(--accent);stroke-width:1.2px;stroke-dasharray:5 3.5;pointer-events:none}.eq.walking text{font-weight:700}.eq.walking text.done{fill:var(--ink-3);opacity:.7;font-weight:400}.prev-bound{color:var(--ink-3);background:var(--surface-2);cursor:pointer;border-radius:10px;flex-wrap:wrap;align-items:baseline;gap:8px;margin:0 0 8px;padding:6px 10px;display:flex}.prev-bound .katex{color:var(--ink-3)}.prev-bound:hover{color:var(--ink-2)}.bias-label:hover,.bias-label.on{fill:var(--ink);font-weight:600}.diagram-foot{margin:6px 0 10px}.diagram-foot .legend{margin:0}.diagram-tools{align-items:center;gap:14px;display:flex}.diagram-tools .toggle{margin-left:0}.zoom{border:1px solid var(--line);background:var(--surface);border-radius:9px;flex:none;display:inline-flex;overflow:hidden}.zoom button{min-width:28px;height:26px;color:var(--ink-2);cursor:pointer;background:0 0;border:0;padding:0 6px}.zoom button:hover{background:var(--surface-2);color:var(--ink)}.zoom .zoom-level{border-left:1px solid var(--line);border-right:1px solid var(--line);min-width:46px;font-size:11.5px}.pill{fill:var(--surface)}.pill-border{fill:none;stroke:var(--line-2);pointer-events:none}.cell{cursor:pointer}.cell-bg{fill:#0000;transition:fill .2s}.pill-border{transition:stroke .2s,stroke-width .2s}.cell:hover .pill-border{stroke:var(--ink-3)}.cell.source .cell-bg{fill:var(--band);fill-opacity:.5}.cell.active .cell-bg{fill:var(--accent-soft);fill-opacity:.5}.cell.active .pill-border,.cell.active:hover .pill-border{stroke:var(--accent);stroke-width:1.2px}.cell-sym{fill:var(--ink)}.sym-letter{font:21px var(--font-math)}.sym-script{font:12px var(--font-math-rm);fill:var(--ink-2)}.math .m-var{font-family:var(--font-math)}.math .m-txt{font-family:var(--font-math-rm)}.cell-val{font:16.5px var(--font-math-rm);fill:var(--ink-2)}.cell-val .lo{fill:var(--lo)}.cell-val .hi{fill:var(--hi)}.cell.pending .cell-val{fill:var(--ink-3);opacity:.6}.cell.pending .cell-sym{opacity:.55}.relu-tint{pointer-events:none}.relu-tint.st-on{fill:var(--good-soft)}.relu-tint.st-off{fill:var(--off-soft)}.relu-tint.st-unstable{fill:var(--bad-soft)}.relu-strip{pointer-events:none}.relu-strip.st-on{fill:var(--good)}.relu-strip.st-off{fill:var(--ink-3)}.relu-strip.st-unstable{fill:var(--bad)}.act line{stroke:var(--ink-2);stroke-width:1.2px;opacity:.4}.act.on line{stroke:var(--ink);opacity:.95}.act .dim{opacity:.35}.eq.faint{opacity:.45}.relu-glyph circle{fill:var(--surface);stroke:var(--line-2)}.relu-glyph polyline{fill:none;stroke:var(--ink-2);stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round}.relu-glyph{pointer-events:none}.popover{z-index:5;border:1px solid var(--line-2);background:var(--surface);width:190px;box-shadow:var(--shadow);border-radius:12px;padding:10px 12px;position:absolute;transform:translate(-50%,-115%)}.popover-title{color:var(--ink-2);margin-bottom:6px;font-size:12px}.popover-hint{color:var(--ink-3);margin-top:5px;font-size:11px}.legend{color:var(--ink-3);flex-wrap:wrap;gap:6px 18px;margin:8px 2px 12px;font-size:12px;display:flex}.legend span{align-items:center;gap:6px;display:inline-flex}.legend .sw{border-radius:3px;width:10px;height:10px}.legend .sw.lo{background:var(--lo)}.legend .sw.hi{background:var(--hi)}.legend .ln{border-top:2px solid var(--ink-2);width:20px}.legend .ln.neg{border-top-style:dashed}.legend-group{gap:10px!important}.legend .tint{border:1px solid var(--line-2);border-radius:3px;width:14px;height:10px}.legend .tint.st-on{background:var(--good-soft);border-color:var(--good);border-bottom-width:3px}.legend .tint.st-off{background:var(--off-soft);border-color:var(--ink-3);border-bottom-width:3px}.legend .tint.st-unstable{background:var(--bad-soft);border-color:var(--bad);border-bottom-width:3px}.stepper{border-top:1px solid var(--line);padding-top:12px}.stepper-controls{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.icon-btn{border:1px solid var(--line);background:var(--surface);width:32px;height:32px;color:var(--ink-2);cursor:pointer;border-radius:9px;place-items:center;display:grid}.icon-btn:hover:not(:disabled){background:var(--surface-2);color:var(--ink)}.icon-btn:disabled{opacity:.35;cursor:default}.icon-btn.primary{background:var(--accent);border-color:var(--accent);width:38px;color:var(--accent-ink)}.step-count{margin-left:8px;font-size:13px}.toggle{color:var(--ink-2);cursor:pointer;align-items:center;gap:7px;margin-left:auto;font-size:12.5px;display:inline-flex}.toggle input{accent-color:var(--accent)}.progress{gap:10px;margin-top:12px;display:flex}.progress-group{flex:var(--n,1);min-width:0}.progress-segs{gap:3px;display:flex}.seg{background:var(--line);cursor:pointer;border:0;border-radius:4px;flex:1;min-width:8px;height:8px;padding:0;transition:background .2s}.seg:hover{background:var(--line-2)}.seg.done{background:var(--ink-3)}.seg.current{background:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.progress-label{text-align:center;font:12px var(--font-ui);color:var(--ink-3);white-space:nowrap;text-overflow:ellipsis;margin-top:5px;overflow:hidden}.progress-label i{font:italic 15px var(--font-display)}.progress-label sup{font:9.5px var(--font-ui);margin-left:1px}.explain{flex-direction:column;display:flex}.explain-head{padding:18px 22px 8px}.eyebrow{color:var(--ink-3);font:600 11px var(--font-ui);letter-spacing:.08em;text-transform:uppercase}.explain h2{font-family:var(--font-display);margin-top:6px;font-size:27px;line-height:1.15}.explain-body{flex:1;min-height:0;padding:8px 22px 16px;animation:.25s fade;overflow-y:auto}.explain-body p{color:var(--ink-2)}.explain-body strong{color:var(--ink);font-weight:600}.explain-foot{border-top:1px solid var(--line);flex-direction:column;gap:10px;padding:12px 22px 16px;display:flex}.nav{justify-content:space-between;gap:8px;display:flex}.nav .btn{flex:1}.checks{flex-direction:column;gap:2px;margin:0;padding:0;list-style:none;display:flex}.check{color:var(--good);font-size:12px}.check.bad{color:var(--hi)}.hint{font-size:13px}.next-prompt{cursor:pointer;outline:none}.next-prompt rect{fill:var(--hi);stroke:var(--hi);filter:drop-shadow(0 2px 4px #1c1b1940)}.next-prompt text{fill:var(--accent-ink);white-space:pre}.next-prompt .m-word{font:600 12.5px var(--font-ui)}.next-prompt .m-var{font-family:var(--font-math)}.next-prompt .m-txt{font-family:var(--font-math-rm)}.next-prompt:hover rect,.next-prompt:focus-visible rect{fill:var(--lo);stroke:var(--lo)}.ask-ring{fill:none;stroke:var(--hi);stroke-width:1.3px;stroke-dasharray:4 3;pointer-events:none}.cell.asking{cursor:pointer}.cell.asking .cell-val,.cell-val .ask{fill:var(--hi);font-weight:600}@keyframes fade{0%{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:reduce){.explain-body{animation:none}*{transition:none!important}}.tex-block{margin:10px 0 14px;display:block;overflow:auto hidden}.tex-block .katex-display{text-align:left;margin:0}.bound-label{font:600 11px var(--font-ui);letter-spacing:.08em;text-transform:uppercase;margin-top:12px}.bound-label+.tex-block{margin-top:4px}.tex-block .katex-display>.katex{text-align:left}.katex{font-size:1.08em}.tex-lo{color:var(--lo)}.tex-hi{color:var(--hi)}.tex-note{color:var(--ink-3)}.split{flex-wrap:wrap;align-items:center;gap:18px;margin:4px 0 14px;display:flex}.bound-list{flex-direction:column;gap:6px;margin:0;padding:0;list-style:none;display:flex}.terms{border-collapse:collapse;width:100%;margin:6px 0 14px;font-size:12.5px}.terms th{border-bottom:1px solid var(--line-2);color:var(--ink-3);text-align:left;padding:6px;font-size:11.5px;font-weight:500}.terms td{white-space:nowrap;border-bottom:1px solid var(--line);vertical-align:middle;padding:7px 6px}.terms tr.muted td{opacity:.5}.terms .bias-row td{color:var(--ink-3);border-bottom:0}.terms .uses{color:var(--ink-3);font-size:11px}.ibar{grid-template-columns:auto 1fr auto;align-items:center;gap:10px;margin:8px 0 14px;display:grid}.ibar-label{min-width:34px}.ibar-svg{width:100%;height:34px}.ibar-values{white-space:nowrap;font-size:12.5px}.ibar-fill{fill:var(--band);stroke:var(--accent);stroke-width:1px}.ibar-sampled{fill:var(--ink-2)}.bars .ibar{margin:4px 0}.bars{grid-template-columns:auto 1fr auto;column-gap:10px;display:grid}.bars>div{grid-column:1/-1;grid-template-columns:subgrid;display:grid}.bars .ibar{grid-column:1/-1;grid-template-columns:subgrid}.compare{grid-template-columns:auto 1fr auto;column-gap:10px;margin:6px 0 10px;display:grid}.compare .ibar{grid-column:1/-1;grid-template-columns:subgrid;margin:2px 0}.ibar.faded{opacity:.55}.bar-name{color:var(--ink-3);font-size:11.5px}.result-card{border:1px solid var(--line-2);background:var(--surface-2);border-radius:12px;margin:14px 0;padding:12px 14px 4px}.result-title{letter-spacing:.06em;text-transform:uppercase;color:var(--ink-2);font-size:11.5px;font-weight:600}.result-card .tex-block{margin:8px 0 10px}.result-card p.small{margin:0 0 8px}.section-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:10px;margin:20px 0 10px;display:flex}.section-head h3{font-family:var(--font-display);font-size:20px}.seg-toggle{border:1px solid var(--line-2);border-radius:9px;display:inline-flex;overflow:hidden}.seg-toggle button{cursor:pointer;color:var(--ink-3);background:0 0;border:0;padding:5px 11px;font-size:12.5px}.seg-toggle button+button{border-left:1px solid var(--line-2)}.seg-toggle button.on.lo{background:var(--lo-soft);color:var(--lo);font-weight:600}.seg-toggle button.on.hi{background:var(--hi-soft);color:var(--hi);font-weight:600}.backsub{margin:0;padding:0;list-style:none;position:relative}.backsub.concretize{margin-top:4px}.backsub.concretize:before{display:none}.backsub:before{content:"";border-left:1.5px solid var(--line-2);position:absolute;top:12px;bottom:12px;left:11px}.bs-card{cursor:pointer;border-radius:12px;margin:0 0 6px;padding:6px 8px 10px 34px;transition:background .2s,opacity .2s;position:relative}.bs-card.current{background:var(--surface-2);box-shadow:inset 0 0 0 1.5px var(--line-2)}.bs-card.next{opacity:.45}.bs-card.next:hover,.bs-card.done:hover{opacity:1;background:var(--surface-2)}.bs-card.current .bs-num{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.bs-head{align-items:center;gap:10px;margin-left:-28px;display:flex}.bs-num{background:var(--surface);border:1.5px solid var(--line-2);width:24px;height:24px;font:600 11.5px var(--font-ui);color:var(--ink-2);z-index:1;border-radius:50%;flex:none;place-items:center;display:grid;position:relative}.bs-title{color:var(--ink);font-size:13.5px;font-weight:600}.bs-body{margin-top:6px}.bs-body p{font-size:13px}.bs-body .tex-block{margin:6px 0 10px}.relax-row{border:1px solid var(--line);background:var(--surface);border-radius:10px;align-items:flex-start;gap:10px;margin:8px 0 10px;padding:10px;display:flex}.relax-text{color:var(--ink-2);flex-direction:column;gap:5px;min-width:0;font-size:12.5px;display:flex}.relax-text .why{color:var(--ink-3)}.status.small{vertical-align:1px;margin:0 0 0 4px;padding:0 7px;font-size:11px}@media (width<=520px){.relax-row{flex-direction:column}}.chain-title{letter-spacing:.06em;text-transform:uppercase;margin-top:12px;font-size:11.5px;font-weight:600}.chain-title+.tex-block{margin-top:4px}.axis{stroke:var(--line-2)}.axis-zero{stroke:var(--ink-3)}.axis-text{font:11.5px var(--font-math-rm);fill:var(--ink-3)}.axis-text.lo{fill:var(--lo)}.axis-text.hi{fill:var(--hi)}.axis-text.on-plot{paint-order:stroke;stroke:var(--surface);stroke-width:3px;stroke-linejoin:round}.axis-label{font:14px var(--font-math);fill:var(--ink-3)}.axis-label .m-txt{font-family:var(--font-math-rm)}.stroke-lo{stroke:var(--lo);stroke-width:2px}.stroke-hi{stroke:var(--hi);stroke-width:2px}.relu-plot{width:100%;max-width:280px;height:auto;margin:6px 0 4px;display:block}.relu-plot .band{fill:var(--band)}.relu-plot .relu-curve{fill:none;stroke:var(--ink-3);stroke-width:1.5px;stroke-linejoin:round}.relu-plot .guide{stroke:var(--ink-3);stroke-dasharray:3 3}.relu-plot .in-seg,.relu-plot .out-seg{stroke-width:5px;stroke-linecap:round;opacity:.9}.relu-plot .stop-lo{stop-color:var(--lo)}.relu-plot .relax-area{fill:var(--hi-soft);stroke:none}.relu-plot .relax-line{stroke-width:2.2px;stroke-dasharray:5 3}.relu-plot .hi-line{stroke:var(--hi)}.relu-plot .lo-line{stroke:var(--lo)}.relu-plot .plot-eq{white-space:pre;font-size:12.5px}.relu-plot .plot-eq .m-var{font-family:var(--font-math)}.relu-plot .plot-eq .m-txt{font-family:var(--font-math-rm)}.relu-plot .plot-eq.hi{fill:var(--hi)}.relu-plot .plot-eq.lo{fill:var(--lo)}.relu-plot .plot-arrow{fill:none;stroke-width:1.3px}.relu-plot .plot-arrow.hi{stroke:var(--hi)}.relu-plot .plot-arrow.lo{stroke:var(--lo)}.relu-plot .plot-ah.hi{fill:var(--hi)}.relu-plot .plot-ah.lo{fill:var(--lo)}.relu-plot .relax-line.unused{opacity:.25}.relu-plot.small{flex:none;width:92px;max-width:92px;margin:2px 0 0}.relu-plot.small text{display:none}.relu-plot.small .relax-line{stroke-width:4px}.relu-plot.small .relu-curve{stroke-width:2.5px}.relu-plot .stop-hi{stop-color:var(--hi)}.relu-plot .dot-lo{fill:var(--lo)}.relu-plot .dot-hi{fill:var(--hi)}.status{border:1px solid var(--line-2);border-radius:99px;margin:2px 0 10px;padding:3px 10px;font-size:12px;font-weight:500;display:inline-block}.status-active{color:var(--good);background:var(--good-soft);border-color:currentColor}.status-inactive{color:var(--ink-2);background:var(--off-soft)}.status-unstable{color:var(--bad);background:var(--bad-soft);border-color:currentColor}.callout{border-left:3px solid var(--accent);background:var(--accent-soft);color:var(--ink-2);border-radius:0 10px 10px 0;margin:12px 0;padding:11px 14px;font-size:13px}.callout.warn{border-left-color:var(--warn);background:var(--warn-soft)}.aside{border:1px solid var(--line);border-radius:10px;margin-top:12px;padding:8px 12px}.aside summary{cursor:pointer;color:var(--ink-2);font-size:13px}.aside[open] summary{margin-bottom:8px}.aside p{font-size:13px}.lambda-compare{grid-template-columns:1fr 1fr;gap:10px;margin:8px 0 10px;display:grid}.lambda-compare figure{border:1px solid var(--line);border-radius:12px;min-width:0;margin:0;padding:8px 10px 4px}.lambda-compare figure.picked{border-color:var(--lo);box-shadow:inset 0 0 0 1px var(--lo)}.lambda-compare figcaption{flex-wrap:wrap;align-items:center;gap:6px;font-size:13px;display:flex}.lambda-compare .pick-badge{color:var(--lo);background:var(--lo-soft,var(--surface-2));border-radius:999px;padding:1px 7px;font-size:11px}.lambda-compare p{margin:2px 0}.lambda-compare .katex-display{margin:4px 0;font-size:.92em;overflow:auto hidden}.io-figure{grid-template-columns:1fr auto 1fr;align-items:center;gap:4px;margin:10px 0 4px;display:grid}.io-figure figure{min-width:0;margin:0}.io-figure figcaption{color:var(--ink-2);text-align:center;font-size:12px;font-weight:600}.io-figure .bound-list{text-align:center;margin:2px 0 0;padding:0;font-size:.92em}.io-arrow{color:var(--ink-3);flex-direction:column;align-items:center;font-size:11px;display:flex}.io-arrow svg{width:40px;height:14px}.io-arrow path{fill:none;stroke:var(--ink-3);stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round}.sample-plot{width:100%;height:auto;display:block}.sample-plot .sample-box{fill:var(--band);stroke:var(--ink-3);stroke-width:1.2px}.sample-plot .sample-box.proven{fill:var(--accent-soft);fill-opacity:.5;stroke:var(--accent)}.sample-plot .guide{stroke:var(--ink-3);stroke-width:1px;stroke-dasharray:3 3}.sample-plot .sample-dot{fill:var(--ink-2);opacity:.65}.sample-plot .interval{stroke:var(--ink-3);stroke-width:2px;stroke-linecap:butt;opacity:.35}.sample-plot .interval.proven{stroke:var(--accent);opacity:.7}.sample-plot .bracket{stroke-width:1.8px;stroke-linecap:round}.sample-plot .bracket.lo{stroke:var(--lo)}.sample-plot .bracket.hi{stroke:var(--hi)}.sample-plot .sample-dot.on-line{fill:var(--ink);opacity:.35}.setup{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"row tools""desc desc";column-gap:16px;margin-bottom:10px;padding-bottom:10px;display:grid}.setup-row{grid-area:row}.setup-desc{grid-area:desc}.setup-tools{grid-area:tools;align-self:start}.setup-row{flex-wrap:wrap;align-items:center;gap:10px 28px;display:flex}.setup-line{flex-wrap:wrap;align-items:center;gap:8px 10px;display:flex}.setup-line .setup-label{min-width:58px}.setup-line .select{width:auto;min-width:210px;padding:5px 10px;font-size:13px}.setup-line .small{margin:0 0 0 4px}.setup-label{color:var(--ink-3);font:600 11px var(--font-ui);letter-spacing:.08em;text-transform:uppercase}.setup-desc{margin:8px 0 0}.seg-toggle button{color:var(--ink-2)}.seg-toggle button:hover:not(:disabled):not(.on){background:var(--surface-2);color:var(--ink)}.seg-toggle button.on{background:var(--accent-soft);color:var(--ink);box-shadow:inset 0 -2px 0 var(--accent);font-weight:600}.seg-toggle button.soon-seg{color:var(--ink-3);opacity:.6;cursor:help;font-style:italic}.domain-toggle{max-width:100%;overflow-x:auto}.domain-toggle button{white-space:nowrap;flex:none;padding:5px 12px}.node-add{cursor:pointer}.node-add circle{fill:var(--surface);stroke:var(--line-2);stroke-dasharray:3 2.5;transition:stroke .15s}.node-add line{stroke:var(--ink-3);stroke-width:1.5px;stroke-linecap:round}.node-add:hover circle{stroke:var(--ink-2);stroke-dasharray:none}.node-add:hover line{stroke:var(--ink)}.node-remove{cursor:pointer;transition:opacity .15s}.node-remove:not(.show){opacity:0;pointer-events:none}.node-remove circle{fill:var(--surface);stroke:var(--line-2)}.node-remove line{stroke:var(--ink-2);stroke-width:1.5px;stroke-linecap:round}.node-remove:hover circle{stroke:var(--bad);fill:var(--bad-soft)}.node-remove:hover line{stroke:var(--bad)}@media (hover:none){.node-remove:not(.show){opacity:.8;pointer-events:auto}}.bound-hit{fill:#0000;cursor:text}.cell-val tspan.hovered{text-underline-offset:2px;font-weight:600;text-decoration:underline}.box-popover{width:220px}.box-fields{grid-template-columns:1fr 1fr;gap:8px;display:grid}.box-fields label{flex-direction:column;gap:3px;font-size:11px;display:flex}.num.invalid{border-color:var(--bad);background:var(--bad-soft)}.popover-error{color:var(--bad);margin-top:6px;font-size:11.5px;line-height:1.35}@media (width>=1101px){.app{flex-direction:column;height:100dvh;min-height:560px;display:flex}.topbar{padding-top:12px}.layout{flex:1;grid-template-rows:minmax(0,1fr);min-height:0;padding-top:12px;padding-bottom:16px}.stage{flex-direction:column;min-height:0;padding-top:12px;padding-bottom:10px;display:flex}.stage>*{flex:none}.stage>.diagram-outer{flex-direction:column;flex:1;min-height:0;display:flex}.diagram-outer>*{flex:none}.diagram-outer>.diagram-wrap{flex:1;min-height:0;max-height:none}.diagram.fit{height:100%;max-height:none}.explain{min-height:0}.app.zoomed{height:auto;min-height:100vh}.app.zoomed .layout{flex:none;grid-template-rows:auto}.app.zoomed .stage>.diagram-outer,.app.zoomed .diagram-outer>.diagram-wrap{flex:none}.app.zoomed .explain{align-self:start;height:calc(100vh - 24px);position:sticky;top:12px}}