@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_next/static/media/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_next/static/media/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_next/static/media/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_next/static/media/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_next/static/media/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_next/static/media/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_next/static/media/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_next/static/media/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_next/static/media/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_next/static/media/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(/_next/static/media/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_next/static/media/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_next/static/media/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_next/static/media/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_next/static/media/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_next/static/media/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_next/static/media/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_next/static/media/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_next/static/media/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_next/static/media/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_next/static/media/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_next/static/media/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_next/static/media/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_next/static/media/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_next/static/media/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(/_next/static/media/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_next/static/media/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_next/static/media/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_next/static/media/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_next/static/media/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_next/static/media/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_next/static/media/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_next/static/media/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(/_next/static/media/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_next/static/media/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_next/static/media/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(/_next/static/media/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_next/static/media/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_next/static/media/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_next/static/media/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_next/static/media/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_next/static/media/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.4"}.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 .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}@font-face{font-family:LearnMSO Logic Symbols;src:local(STIX Two Math),local(STIXTwoMath-Regular),local(STIXGeneral),local(Apple Symbols),local(Cambria Math),local(Noto Sans Math),local("Noto Sans Symbols 2"),local(DejaVu Sans);font-style:normal;font-weight:400;unicode-range:U+AC,U+2190-21FF,U+22??}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#f3f1e9;--paper-deep:#e8e4d8;--surface:#fffdf7;--ink:#101824;--ink-soft:#2b3440;--muted:#59636c;--line:#c8c4b8;--line-strong:#8c8d88;--night:#111a28;--night-raised:#192536;--acid:#c9f44f;--coral:#a9392f;--sky:#70c5e8;--lavender:#a89cff;--success:#166c47;--success-nav:#7ee7b0;--danger:#a33a32;--focus:#247de3;--editor-line:#1018240d;--sans:"Noto Sans CJK JP", "Noto Sans JP", Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--serif:var(--sans);--logic-symbol-font:"LearnMSO Logic Symbols", "STIX Two Math", STIXGeneral, "Apple Symbols", "Cambria Math", "Noto Sans Math", "Noto Sans Symbols 2", "DejaVu Sans", serif;--font-min:16px;--font-caption:var(--font-min);--font-body:var(--font-min);--font-lead:18px;--font-subtitle:22px;--font-title:28px;--font-display:36px;--shadow:0 18px 60px #1018241a}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);min-width:320px;color:var(--ink);font-family:var(--sans);font-size:var(--font-body);-webkit-font-smoothing:antialiased;margin:0;line-height:1.55}button,input,select,textarea{font:inherit;color:inherit}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit;text-decoration:none}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.48}:focus-visible{outline:3px solid var(--focus);outline-offset:3px}::selection{background:var(--acid);color:#101824}code,pre{font-family:var(--sans)}.logic-symbol,.cm-logic-symbol{font-family:var(--logic-symbol-font);font-synthesis:none;font-style:normal}pre{font-size:var(--font-body);overflow-x:auto}small{font-size:var(--font-min)}.visually-hidden{clip:rect(0, 0, 0, 0)!important;white-space:nowrap!important;border:0!important;width:1px!important;height:1px!important;margin:-1px!important;padding:0!important;position:absolute!important;overflow:hidden!important}.eyebrow{color:var(--muted);font:700 var(--font-caption)/1.2 var(--sans);letter-spacing:.13em;text-transform:uppercase;margin:0 0 .6rem;display:block}.wordmark{font:800 var(--font-subtitle)/1 var(--sans);letter-spacing:-.055em;white-space:nowrap;align-items:baseline;display:inline-flex}.wordmark.small{font-size:var(--font-lead)}.quantifier-mark{color:var(--coral);font-synthesis:none;letter-spacing:0;vertical-align:-.03em;margin:0 .08em 0 .06em;font-family:STIX Two Math,STIXGeneral,Apple Symbols,Cambria Math,"Noto Sans Symbols 2",Times New Roman,serif;font-size:1.04em;font-style:normal;font-weight:600;line-height:1;display:inline-block}.map-pane-brand .quantifier-mark{color:#fff}.wordmark-mso{font:600 1em/1 var(--sans);letter-spacing:-.04em;margin-left:.22em}.site-header,.lesson-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:1.5rem;width:min(1500px,100% - 3rem);min-height:74px;margin:0 auto;display:flex}.site-header nav{color:var(--ink-soft);font-size:var(--font-caption);align-items:center;gap:1.6rem;font-weight:650;display:flex}.site-header nav a:hover,.text-link:hover{color:var(--coral)}.lesson-progress{color:var(--muted);font:650 var(--font-caption)/1 var(--sans);letter-spacing:.08em;text-transform:uppercase}.text-link{color:var(--ink-soft);font-size:var(--font-caption);font-weight:700}.hero-grid{grid-template-columns:minmax(0,1.02fr) minmax(420px,.98fr);align-items:center;gap:clamp(2rem,6vw,8rem);width:min(1500px,100% - 3rem);min-height:calc(100svh - 74px);margin:0 auto;padding:clamp(4rem,8vh,7rem) 0;display:grid;position:relative}.hero-copy{z-index:2;position:relative}.hero-eyebrow{color:var(--danger)}.hero-copy h1{max-width:770px;font:500 clamp(4rem, 7.2vw, 8.4rem)/.84 var(--serif);letter-spacing:-.065em;margin:0}.hero-copy h1 em{color:var(--ink);font-style:italic}.hero-lead{max-width:660px;color:var(--ink-soft);font-size:clamp(var(--font-lead), 1.35vw, var(--font-subtitle));margin:2rem 0 0;line-height:1.85}.hero-actions{flex-wrap:wrap;align-items:center;gap:1rem;margin-top:2.3rem;display:flex}.primary-action,.secondary-action{border:1px solid var(--ink);min-height:48px;font-size:var(--font-caption);border-radius:2px;justify-content:center;align-items:center;gap:1.5rem;padding:.8rem 1.05rem;font-weight:760;transition:transform .18s,box-shadow .18s,background .18s;display:inline-flex}.primary-action{background:var(--ink);color:var(--paper)}.primary-action:hover{box-shadow:4px 4px 0 var(--coral);transform:translate(-2px,-2px)}.secondary-action{border-color:var(--line-strong);background:0 0}.secondary-action:hover{border-color:var(--ink);background:var(--surface)}.danger-action{border:1px solid var(--danger);background:var(--danger);min-height:48px;color:var(--paper);font-size:var(--font-caption);border-radius:2px;justify-content:center;align-items:center;padding:.8rem 1.05rem;font-weight:760;transition:transform .18s,box-shadow .18s,background .18s;display:inline-flex}.danger-action:hover{box-shadow:4px 4px 0 var(--ink);transform:translate(-2px,-2px)}.hero-stats{gap:clamp(1rem,3vw,3.5rem);margin:3.5rem 0 0;display:flex}.hero-stats div{min-width:100px}.hero-stats dt{color:var(--muted);font:650 var(--font-caption)/1 var(--sans);letter-spacing:.12em}.hero-stats dd{font:500 var(--font-title)/1 var(--serif);margin:.55rem 0 0}.hero-stats dd span{color:var(--muted);font:500 var(--font-caption)/1 var(--sans)}.hero-orbit{aspect-ratio:1;border:1px solid var(--line);background:radial-gradient(circle at center, transparent 0 25%, var(--line) 25.2% 25.4%, transparent 25.6% 47%, var(--line) 47.2% 47.4%, transparent 47.6%), linear-gradient(45deg, transparent 49.9%, var(--line) 50%, transparent 50.2%), linear-gradient(-45deg, transparent 49.9%, var(--line) 50%, transparent 50.2%);border-radius:50%;justify-self:end;width:100%;max-width:650px;position:relative}.orbit-center{text-align:center;background:var(--night);color:#fff;box-shadow:var(--shadow);border-radius:50%;place-content:center;display:grid;position:absolute;inset:35%}.orbit-symbol{font:500 clamp(2rem, 4vw, 4.5rem)/1 var(--serif);color:var(--acid);letter-spacing:-.15em;padding-right:.12em}.orbit-center small{color:#aeb8c4;font:600 var(--font-caption)/1.2 var(--sans);letter-spacing:.12em;margin-top:.55rem}.orbit-code{background:var(--surface);border:1px solid var(--line-strong);max-width:48%;box-shadow:6px 6px 0 var(--paper-deep);padding:.7rem .85rem;position:absolute}.orbit-code span{color:var(--danger);font:700 var(--font-caption)/1 var(--sans);margin-bottom:.35rem;display:block}.orbit-code code{font-size:var(--font-caption);white-space:nowrap;display:block}.orbit-code-a{top:9%;left:7%;transform:rotate(-3deg)}.orbit-code-b{top:47%;right:-2%;transform:rotate(2deg)}.orbit-code-c{bottom:8%;left:3%;transform:rotate(1deg)}.orbit-dot{border:2px solid var(--paper);background:var(--coral);width:12px;height:12px;box-shadow:0 0 0 1px var(--line-strong);border-radius:50%;position:absolute}.dot-one{top:24%;right:16%}.dot-two{background:var(--acid);bottom:28%;left:15%}.dot-three{background:var(--sky);bottom:12%;right:28%}.principle-strip{background:var(--night);color:#f7f5ee;border-block:1px solid #303b49;grid-template-columns:repeat(3,1fr);display:grid}.principle-strip p{font-size:var(--font-caption);border-right:1px solid #303b49;margin:0;padding:1.15rem clamp(1.5rem,4vw,4.5rem)}.principle-strip p:last-child{border:0}.principle-strip strong{color:var(--acid);font:600 var(--font-caption)/1 var(--sans);margin-right:1.4rem}.map-section{background:var(--surface);padding:clamp(5rem,9vw,9rem) max(1.5rem,50% - 660px)}.section-heading{grid-template-columns:1fr minmax(280px,.48fr);align-items:end;gap:4rem;margin-bottom:5rem;display:grid}.section-heading h2{max-width:780px;font:500 clamp(2.4rem, 4.5vw, 5.2rem)/.98 var(--serif);letter-spacing:-.045em;margin:0}.section-heading>p{color:var(--muted);font-size:var(--font-body);margin:0;line-height:1.8}.world-map{border:1px solid var(--line);background:var(--paper);grid-template-columns:repeat(3,1fr);display:grid;position:relative}.map-rail{display:none}.world-stop{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:250px;padding:1.6rem;position:relative}.world-stop:nth-of-type(3n+1){border-right:0}.world-stop:nth-last-child(-n+3){border-bottom:0}.world-marker{border:1px solid var(--line-strong);background:var(--surface);width:50px;height:50px;font:700 var(--font-caption)/1 var(--sans);border-radius:50%;place-content:center;margin-bottom:1.8rem;display:grid}.world-marker.is-accepted{background:var(--acid);color:#101824;border-color:#101824}.world-title{font:550 var(--font-title)/1.1 var(--sans);margin:0}a.world-title:hover{color:var(--coral)}.level-status{color:var(--muted);font:var(--font-caption)/1 var(--sans);margin-top:.6rem;display:block}.level-list{gap:.25rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.level-list>li{position:relative}.curriculum-section-label{color:#aeb9c7;font-family:var(--sans);font-size:var(--font-small);margin:.85rem .15rem .4rem;line-height:1.45}.level-row{display:block}.level-link{border-bottom:1px dotted var(--line);min-width:0;font-size:var(--font-caption);border-inline-start:3px solid #0000;padding:.38rem .45rem;display:block}.level-label{text-overflow:ellipsis;white-space:nowrap;display:block;overflow:hidden}.level-link.state-current{color:var(--ink);border-inline-start-color:var(--sky);background:color-mix(in srgb, var(--sky) 22%, transparent);font-weight:700}.level-link.state-accepted{color:var(--success-nav);background:color-mix(in srgb, var(--success-nav) 15%, transparent)}.level-link.state-needs-recheck{color:var(--danger);background:color-mix(in srgb, var(--danger) 8%, transparent)}.level-link.state-available{color:var(--ink)}.level-link.state-locked{color:var(--muted);background:color-mix(in srgb, var(--line) 14%, transparent)}.level-link:focus-visible{outline:3px solid var(--sky);outline-offset:2px}:is(.level-link.state-current:hover,.level-link.state-current:focus-visible){color:var(--sky);border-inline-start-color:var(--sky);background:color-mix(in srgb, var(--sky) 30%, transparent)}:is(.level-link.state-accepted:hover,.level-link.state-accepted:focus-visible){color:var(--success-nav);border-inline-start-color:var(--success-nav);background:color-mix(in srgb, var(--success-nav) 24%, transparent)}:is(.level-link.state-needs-recheck:hover,.level-link.state-needs-recheck:focus-visible){color:var(--danger);border-inline-start-color:var(--danger);background:color-mix(in srgb, var(--danger) 16%, transparent)}:is(.level-link.state-available:hover,.level-link.state-available:focus-visible){color:var(--sky);border-inline-start-color:var(--sky);background:color-mix(in srgb, var(--sky) 14%, transparent)}.world-map.is-compact{background:0 0;border:0;display:block}.world-map.is-compact .world-stop{border:0;min-height:0;padding:.65rem 0;display:block}.world-map.is-compact .world-title{font-size:var(--font-lead)}.world-map.is-compact .level-list{margin-top:.4rem}.world-map.is-compact .compact-world-title{display:none}.world-map.is-compact .compact-world-icon{fill:none;stroke:currentColor;stroke-width:1.8px;stroke-linecap:round;stroke-linejoin:round;width:16px;height:16px;display:none}.world-map.is-compact .compact-level-number{display:none}.world-map.is-compact .compact-level-full-label{display:block}.finite-note{background:var(--acid);color:#101824;grid-template-columns:90px minmax(260px,.8fr) 1fr;align-items:center;gap:2rem;padding:clamp(3rem,5vw,5rem) max(1.5rem,50% - 660px);display:grid}.finite-note-mark{font:500 5rem/1 var(--serif)}.finite-note h2{font:500 clamp(1.7rem, 3vw, 3rem)/1 var(--serif);margin:0}.finite-note .eyebrow{color:#324017}.finite-note>p{max-width:650px;font-size:var(--font-body);margin:0;line-height:1.8}.finite-note.compact{grid-template-columns:52px 1fr;margin-top:4rem;padding:2rem}.finite-note.compact>p{grid-column:2}.markdown p{color:var(--ink-soft);font-size:var(--font-lead);line-height:1.9}.callout{border-left:4px solid var(--coral);background:var(--paper-deep);font-size:var(--font-body);padding:1.2rem 1.4rem}.toggle-setting{border-top:1px solid var(--line);grid-template-columns:40px 1fr;align-items:start;gap:1rem;padding:1.2rem 0;display:grid}.toggle-setting input{width:22px;height:22px;accent-color:var(--success)}.toggle-setting span{display:grid}.toggle-setting small{color:var(--muted);margin-top:.3rem}.settings-modal-backdrop{z-index:1000;-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px);background:#10182494;place-items:center;padding:1.5rem;display:grid;position:fixed;inset:0;overflow:auto}.settings-modal-dismiss{cursor:default;background:0 0;border:0;width:100%;height:100%;padding:0;position:absolute;inset:0}.settings-modal{z-index:1;border:1px solid var(--line-strong);background:var(--surface);width:min(620px,100%);max-height:calc(100dvh - 3rem);position:relative;overflow-y:auto;box-shadow:0 24px 80px #10182459}.settings-modal-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:1rem;min-height:88px;padding:1.25rem 1.4rem;display:flex}.settings-modal-header .eyebrow{margin-bottom:.25rem}.settings-modal-header h2{font:650 var(--font-title)/1.1 var(--sans);margin:0}.settings-modal-close{border:1px solid var(--line-strong);background:var(--surface);width:42px;height:42px;font-size:var(--font-subtitle);place-content:center;padding:0;line-height:1;display:grid}.settings-modal-close:hover{border-color:var(--coral);color:var(--coral)}.settings-modal-option{border-top:1px solid var(--line);margin:0;padding:1.3rem 1.4rem}.settings-modal-action{border-top:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:1rem;margin:0;padding:1.25rem 1.4rem;display:grid}.settings-modal-action h3{font:650 var(--font-lead)/1.3 var(--sans);margin:0}.settings-modal-action p{color:var(--muted);font-size:var(--font-caption);margin:.35rem 0 0;line-height:1.55}.settings-modal-action .secondary-action,.settings-modal-clear-action .danger-action{min-width:190px}.import-message{border-top:1px solid var(--line);color:var(--success);font-size:var(--font-caption);margin:0;padding:1rem 1.4rem}.import-message.is-error{color:var(--danger)}.settings-confirmation-backdrop{z-index:2;-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px);background:#10182494;place-items:center;padding:1.5rem;display:grid;position:absolute;inset:0;overflow:auto}.settings-confirmation-dismiss{cursor:default;background:0 0;border:0;width:100%;height:100%;padding:0;position:absolute;inset:0}.settings-confirmation-modal{z-index:1;width:min(520px,100%)}.settings-confirmation-content{padding:1.25rem 1.4rem 1.4rem}.settings-confirmation-content>p{color:var(--ink-soft);font-size:var(--font-caption);margin:0;line-height:1.7}.settings-confirmation-actions{justify-content:flex-end;gap:.75rem;margin-top:1.25rem;display:flex}.settings-confirmation-actions .secondary-action,.settings-confirmation-actions .danger-action{min-height:44px}.locked-page-actions{align-items:center;gap:1.25rem;display:flex}.locked-page-actions button.text-link{background:0 0;border:0;padding:0}.formula-editor{border:1px solid var(--line-strong);background:var(--surface);min-height:14rem}.formula-editor .cm-editor{min-height:inherit}.formula-editor .cm-scroller{overflow:auto}.formula-editor .cm-diagnostic-line{background:color-mix(in srgb, var(--danger) 11%, transparent)}.formula-editor .cm-diagnostic-range{border-bottom:2px solid var(--danger);background:color-mix(in srgb, var(--danger) 24%, transparent);border-radius:2px}.symbol-bar-shell{position:relative}.symbol-bar{scrollbar-width:thin;gap:.32rem;padding:.65rem 0;display:flex;overflow-x:auto}.symbol-bar-item{flex:none;display:inline-flex}.symbol-bar button,.symbol-button{border:1px solid var(--line);background:var(--surface);min-width:34px;min-height:34px;font-family:var(--sans);font-size:var(--font-caption);flex:none;padding:.3rem .55rem}.symbol-bar button:hover{border-color:var(--coral);color:var(--coral)}.symbol-bar button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:2px}.symbol-button-tooltip{z-index:100;box-sizing:border-box;width:max-content;max-width:min(28rem, var(--tooltip-available-width,calc(100vw - 2rem)));max-height:var(--tooltip-available-height,calc(100vh - 2rem));overflow-wrap:anywhere;border:1px solid var(--line-strong);border-left:3px solid var(--coral);background:var(--surface);color:var(--ink);font:400 var(--font-body)/1.45 var(--sans);pointer-events:none;gap:.3rem;padding:.6rem .7rem;display:grid;position:fixed;overflow:auto;box-shadow:0 8px 22px #10182424}.symbol-button-tooltip code{background:var(--paper-deep);color:var(--coral);font:400 var(--font-body)/1.35 var(--sans);padding:.08rem .2rem}.check-row{align-items:flex-start;gap:1rem;margin-top:1rem;display:flex}.judge-message{border:1px solid var(--line);min-height:48px;font-size:var(--font-caption);flex:1;margin:0;padding:.75rem 1rem}.judge-message.is-accepted{border-color:var(--success);background:color-mix(in srgb, var(--success) 10%, var(--surface));color:var(--success)}.judge-message.is-wrong{border-color:var(--danger);background:color-mix(in srgb, var(--danger) 8%, var(--surface));color:var(--danger)}.option-list{border:0;gap:.55rem;margin:1rem 0;padding:0;display:grid}.option-list legend{font-size:var(--font-caption);margin-bottom:.7rem;font-weight:750}.option-list label{border:1px solid var(--line);background:var(--surface);font-size:var(--font-caption);grid-template-columns:24px 1fr;align-items:start;padding:.85rem;display:grid}.option-list label:has(input:checked){border-color:var(--ink);box-shadow:3px 3px 0 var(--acid)}.option-list input{accent-color:var(--coral);margin-top:.2rem}.option-list span{display:grid}.option-list small{color:var(--muted);margin-top:.3rem}.boolean-grid{gap:.5rem;display:grid}.boolean-grid fieldset{border:1px solid var(--line);grid-template-columns:1fr auto auto;align-items:center;gap:1rem;margin:0;padding:.8rem;display:grid}.boolean-grid legend{display:contents}.boolean-grid legend span{color:var(--coral);font:var(--font-caption)/1 var(--sans);margin-right:.7rem}.boolean-grid label{font-size:var(--font-caption)}.proof-order-list{gap:.5rem;padding:0;list-style:none;display:grid}.proof-order-list li{border:1px solid var(--line);background:var(--surface);grid-template-columns:34px 1fr auto;align-items:center;gap:1rem;padding:.8rem;display:grid}.order-index{color:var(--coral);font:var(--font-caption)/1 var(--sans)}.proof-order-list p{font-size:var(--font-caption);margin:0}.proof-order-list button{border:1px solid var(--line);background:0 0;width:32px;height:32px}.audit-lines{border:0;gap:.5rem;margin:0 0 1.5rem;padding:0;display:grid}.audit-lines legend{font-size:var(--font-caption);margin-bottom:.5rem;font-weight:750}.audit-lines label{border-left:3px solid var(--line);background:var(--paper-deep);font-size:var(--font-caption);grid-template-columns:24px 1fr;padding:.8rem;display:grid}.audit-lines label:has(input:checked){border-color:var(--coral)}.audit-lines span{grid-template-columns:60px 1fr;display:grid}.graph-figure{border:1px solid var(--line);background:var(--surface);margin:0;padding:1rem}.graph-svg{width:100%;max-height:340px;display:block}.graph-edge{stroke:var(--line-strong);stroke-width:2px}.graph-edge.is-selected{stroke:var(--coral);stroke-width:5px;stroke-dasharray:8 4}.graph-edge.membership-multiple{stroke-dasharray:11 3 2 3}.graph-edge-label{fill:var(--danger);font:700 var(--font-min)/1 var(--sans);paint-order:stroke;stroke:var(--surface);stroke-width:4px}.graph-node circle{fill:var(--surface);stroke:var(--ink);stroke-width:2px}.graph-node.is-selected circle{fill:var(--acid);stroke-width:3px}.graph-node.membership-multiple circle{stroke:var(--coral);stroke-width:5px}.graph-node.membership-many circle{stroke-dasharray:4 2}.graph-node>text{fill:var(--ink);font:700 var(--font-min)/1 var(--sans)}.graph-node .graph-membership{fill:var(--danger);font-size:var(--font-min)}.graph-figure figcaption{border-top:1px solid var(--line);font-size:var(--font-caption);justify-content:space-between;align-items:center;gap:1rem;padding-top:.8rem;font-weight:700;display:flex}.text-button{color:var(--danger);font-size:var(--font-caption);background:0 0;border:0;padding:0}.graph-text{background:var(--paper-deep);color:var(--muted);font-size:var(--font-caption);white-space:pre-wrap;margin:.8rem 0 0;padding:.7rem}.graph-editor-toolbar,.edge-builder{flex-wrap:wrap;gap:.5rem;margin-bottom:.7rem;display:flex}.graph-editor-toolbar button,.edge-builder button,.edge-list button{border:1px solid var(--line);background:var(--surface);min-height:34px;font-size:var(--font-caption);padding:.4rem .65rem}.edge-builder{align-items:end}.edge-builder label{color:var(--muted);font-size:var(--font-caption);gap:.25rem;display:grid}.edge-builder select{border:1px solid var(--line);background:var(--surface);min-width:70px;min-height:34px}.inline-diagnostic{color:var(--danger);font-size:var(--font-caption)}.graph-editor-selections{gap:.7rem;margin-top:.8rem;display:grid}.graph-editor-selections fieldset{border:1px solid var(--line);flex-wrap:wrap;gap:.7rem;margin:0;padding:.7rem;display:flex}.graph-editor-selections legend{font-size:var(--font-caption);padding:0 .4rem;font-weight:750}.graph-editor-selections label{font:var(--font-caption)/1 var(--sans)}.graph-editor-selections input{accent-color:var(--coral)}.edge-list{font:var(--font-caption)/1.4 var(--sans);gap:.3rem;padding-left:1.5rem;display:grid}.requirements-list{flex-wrap:wrap;gap:.4rem;padding:0;list-style:none;display:flex}.requirements-list li{border:1px solid var(--line);color:var(--muted);font:var(--font-caption)/1.2 var(--sans);padding:.28rem .5rem}.exercise-shell{background:var(--paper);min-width:880px;height:100svh;min-height:680px;overflow:hidden}.exercise-grid{--curriculum-pane-width:clamp(280px, 22vw, 320px);--problem-pane-width:minmax(340px, .82fr);--pane-resize-width:14px;grid-template-columns:var(--curriculum-pane-width) var(--problem-pane-width) var(--pane-resize-width) minmax(480px, 1.18fr);grid-template-rows:auto minmax(0,1fr);grid-template-areas:"map title title title""map problem resize answer";height:100svh;display:grid}.exercise-grid.is-curriculum-collapsed{--curriculum-pane-width:56px}.exercise-map-pane,.exercise-problem-pane,.exercise-answer-pane{min-width:0;overflow:auto}.exercise-map-pane{border-right:1px solid var(--line);background:var(--night);color:#fff;grid-area:map;padding:1.2rem;overflow-x:hidden}.exercise-map-pane .world-map{--ink:white;--muted:#93a0ae;--line:#344150;--surface:#172230;--paper-deep:#273546}.exercise-map-pane .world-map.is-compact .level-label{text-overflow:clip;white-space:normal;overflow-wrap:anywhere;overflow:visible}.map-pane-brand{border-bottom:1px solid #344150;justify-content:space-between;align-items:center;gap:.75rem;margin:-.2rem 0 1rem;padding-bottom:1rem;display:flex}.map-pane-brand .wordmark{color:#fff}.map-pane-actions{align-items:center;gap:.4rem;display:flex}.map-settings-link,.curriculum-pane-toggle{color:#fff;background:0 0;border:1px solid #344150;flex:none;place-items:center;width:34px;height:34px;padding:0;line-height:1;display:grid}.map-settings-link{border-radius:50%}.map-settings-link:hover,.curriculum-pane-toggle:hover{border-color:var(--sky);color:var(--sky)}.curriculum-pane-toggle{border-radius:4px}:is(.map-settings-link:focus-visible,.curriculum-pane-toggle:focus-visible){outline:3px solid var(--sky);outline-offset:2px}.map-settings-icon,.curriculum-pane-icon{fill:none;stroke:currentColor;stroke-width:1.8px;stroke-linecap:round;stroke-linejoin:round;width:20px;height:20px;display:block}.problem-header{border-bottom:1px solid var(--line);background:var(--surface);flex-wrap:wrap;grid-area:title;align-items:center;gap:.75rem 1rem;min-width:0;padding:1.15rem clamp(1.25rem,2.5vw,2.8rem);display:flex}.problem-header h1{min-width:0;font:520 var(--font-title)/1.1 var(--sans);letter-spacing:-.025em;flex-wrap:wrap;flex:auto;align-items:center;gap:.75rem 1rem;margin:0;display:flex}.problem-id-label{background:var(--ink);color:var(--paper);font-variant-numeric:slashed-zero tabular-nums;font-feature-settings:"zero" 1;letter-spacing:0;padding:.34rem .5rem;font:700 1em/1 SFMono-Regular,ui-monospace,Cascadia Code,Menlo,Monaco,Consolas,Liberation Mono,monospace}.problem-id-logic-index{vertical-align:-.18em;font-size:.76em;line-height:0}.exercise-problem-pane{border-right:1px solid var(--line);background:var(--surface);grid-area:problem}.problem-copy,.selected-section-prompt,.hint-panel,.explanation-panel,.accepted-next{padding:1.5rem clamp(1.25rem,2.5vw,2.8rem)}.pane-resize-handle{z-index:3;border:0;border-left:1px solid var(--line);cursor:col-resize;touch-action:none;background:0 0;grid-area:resize;place-self:stretch stretch;width:100%;min-width:0;margin:0;padding:0}.pane-resize-handle span{background:0 0;width:3px;height:100%;margin:0 auto;transition:background .15s;display:block}:is(.pane-resize-handle:hover span,.pane-resize-handle:focus-visible span){background:var(--sky)}.pane-resize-handle:focus-visible{outline:2px solid var(--sky);outline-offset:-2px}body.is-pane-resizing,body.is-pane-resizing *{cursor:col-resize!important;-webkit-user-select:none!important;user-select:none!important}.exercise-grid.introduction-grid{grid-template-columns:var(--curriculum-pane-width) minmax(0, 1fr);grid-template-areas:"map title""map content"}.introduction-grid .introduction-content-pane{grid-area:content}.problem-copy{border-bottom:1px solid var(--line)}.problem-statement>p{color:var(--ink-soft);font-size:var(--font-body);line-height:1.85}.problem-statement>p:first-child{color:var(--ink);margin-top:0;font-weight:700}.problem-statement>p:last-child{margin-bottom:0}.introduction-features{color:var(--ink-soft);font-size:var(--font-body);gap:.65rem;margin:1.35rem 0 0;padding:0 0 0 1.35rem;line-height:1.7;display:grid}.introduction-progress{border-bottom:1px solid var(--line);background:var(--paper);padding:1rem clamp(1.25rem,2.5vw,2.8rem) 1.2rem}.introduction-progress-heading{gap:.25rem;display:grid}.introduction-progress-heading h2{font:650 var(--font-caption)/1.15 var(--sans);margin:0}.introduction-progress-total{color:var(--muted);font-size:var(--font-min);white-space:nowrap;margin:0}.introduction-progress-total strong{color:var(--success);font:750 var(--font-lead)/1 var(--sans)}.progress-world-list{gap:.8rem;margin-top:1rem;display:grid}.progress-world-row{gap:.3rem;min-width:0;display:grid}.progress-world-row-heading{align-items:baseline;gap:.55rem;display:flex}.progress-world-row h3{color:var(--ink-soft);font:700 var(--font-caption)/1 var(--sans);margin:0}.progress-world-count{color:var(--muted);font:600 var(--font-min)/1 var(--sans)}.progress-heatmap{grid-template-rows:13px;grid-auto-columns:13px;grid-auto-flow:column;gap:3px;width:max-content;max-width:100%;margin:0;padding:0;list-style:none;display:grid;overflow-x:auto}.progress-heatmap>li{width:13px;height:13px}.progress-heatmap-link{border-radius:3px;width:100%;height:100%;display:block}.progress-heatmap-link:focus-visible{outline-offset:2px}.progress-heatmap-cell{border:1px solid color-mix(in srgb, var(--success) 25%, var(--paper-deep));background:color-mix(in srgb, var(--success) 8%, var(--paper-deep));border-radius:3px;width:100%;height:100%;display:block}.progress-heatmap-cell.level-1{background:color-mix(in srgb, var(--success) 30%, var(--paper-deep))}.progress-heatmap-cell.level-2{background:color-mix(in srgb, var(--success) 52%, var(--paper-deep))}.progress-heatmap-cell.level-3{background:color-mix(in srgb, var(--success) 74%, var(--paper-deep))}.progress-heatmap-cell.level-4{background:var(--success);border-color:var(--success)}.progress-heatmap-cell.is-locked{border-color:var(--line);background:var(--paper-deep);opacity:.62}.section-tabs{border-bottom:1px solid var(--line);display:flex;overflow-x:auto}.section-tabs button{border:0;border-right:1px solid var(--line);background:var(--paper);min-width:130px;color:var(--muted);text-align:left;font-size:var(--font-caption);padding:.75rem}.section-tabs button.is-current{background:var(--surface);color:var(--ink);box-shadow:inset 0 -3px var(--coral)}.section-tabs button span{color:var(--coral);font:var(--font-caption)/1 var(--sans);margin-bottom:.25rem;display:block}.selected-section-prompt{border-bottom:1px solid var(--line);background:var(--paper)}.selected-section-prompt h2{font:520 var(--font-subtitle)/1.1 var(--serif);margin:.8rem 0}.selected-section-prompt p:last-child{color:var(--ink-soft);font-size:var(--font-caption);margin-bottom:0}.hint-panel{border-bottom:1px solid var(--line)}.hint-heading{justify-content:space-between;align-items:center;gap:1rem;display:flex}.hint-heading h2{font:520 var(--font-subtitle)/1 var(--serif);margin:0}.hint-heading button{border:1px solid var(--line);font-size:var(--font-caption);background:0 0;padding:.4rem .6rem}.hint-empty{color:var(--muted);font-size:var(--font-caption)}.hint-item{border-left:3px solid var(--sky);background:var(--paper);font-size:var(--font-caption);margin-top:.8rem;padding:.8rem}.hint-item b{color:var(--danger);font:600 var(--font-caption)/1 var(--sans)}.hint-item p{margin:.3rem 0 0}.model-solution-controls{margin-top:1rem}.model-solution-toggle{border:1px solid var(--ink);background:var(--surface);min-height:40px;color:var(--ink);font-size:var(--font-caption);padding:.55rem .8rem;font-weight:750}.model-solution-toggle:hover{background:var(--ink);color:var(--paper)}.model-solution{border:1px solid var(--line-strong);border-left:4px solid var(--coral);background:var(--paper-deep);min-width:0;margin-top:.8rem;padding:1rem}.model-solution:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 70%, transparent);outline-offset:3px}.model-solution h3{font:520 var(--font-subtitle)/1.15 var(--serif);margin:0 0 .8rem}.model-solution-body{min-width:0;color:var(--ink-soft);font-size:var(--font-caption);line-height:1.65}.model-solution-body>:first-child,.model-solution-body>div>:first-child{margin-top:0}.model-solution-body pre{border:1px solid var(--line);background:var(--surface);white-space:pre-wrap;overflow-wrap:anywhere;max-width:100%;padding:.7rem;overflow-x:auto}.model-solution-body li{margin-block:.35rem}.model-solution-decisions{gap:.35rem;padding:0;list-style:none;display:grid}.model-solution-decisions li{border:1px solid var(--line);background:var(--surface);justify-content:space-between;gap:1rem;padding:.45rem .55rem;display:flex}.explanation-panel h2{font:520 var(--font-title)/1 var(--serif);margin:0}.explanation-panel p,.explanation-panel li{color:var(--muted);font-size:var(--font-caption)}.exercise-answer-pane{background:var(--paper);grid-area:answer;padding:1.4rem}.accepted-next{border-top:1px solid var(--line);background:var(--paper)}.accepted-next>p{color:var(--success);font-size:var(--font-caption);margin-top:0}.free-variable-strip{flex-wrap:wrap;align-items:center;gap:.35rem;min-height:34px;margin-bottom:.55rem;display:flex}.free-variable-strip>span{color:var(--muted);font:600 var(--font-caption)/1 var(--sans)}.free-variable-strip code{border:1px solid var(--line);background:var(--surface);font-size:var(--font-caption);padding:.2rem .4rem}.formula-language-guide{border:1px solid var(--line);background:var(--surface);margin-bottom:.75rem}.playground-language-guide{margin-bottom:.75rem}.playground-language-tabs{border:1px solid var(--line);background:var(--paper);border-bottom:0;display:flex;overflow-x:auto}.playground-language-tabs button{border:0;border-right:1px solid var(--line);min-width:5.5rem;color:var(--muted);font:700 var(--font-caption)/1.2 var(--sans);text-align:center;cursor:pointer;background:0 0;padding:.65rem .8rem}.playground-language-tabs button:hover{background:var(--surface);color:var(--ink)}.playground-language-tabs button.is-current{background:var(--surface);color:var(--ink);box-shadow:inset 0 -3px var(--sky)}.playground-language-tabs button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:-3px}.playground-language-tabpanel>.formula-language-guide{margin-bottom:0}.formula-guide-heading{justify-content:space-between;align-items:start;gap:1rem;padding:.8rem .9rem .25rem;display:flex}.formula-guide-heading .eyebrow{margin:0 0 .3rem}.formula-guide-heading h3{font:400 var(--font-lead)/1.45 var(--sans);margin:0}.formula-guide-heading a{color:var(--coral);font-size:var(--font-caption);flex:none;font-weight:750}.formula-guide-tabs{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:var(--paper);display:flex;overflow-x:auto}.formula-guide-tabs button{border:0;border-right:1px solid var(--line);min-width:8rem;color:var(--muted);font:600 var(--font-caption)/1.2 var(--sans);text-align:center;cursor:pointer;background:0 0;padding:.55rem .75rem}.formula-guide-tabs button:hover{background:var(--surface);color:var(--ink)}.formula-guide-tabs button.is-current{background:var(--surface);color:var(--ink);box-shadow:inset 0 -3px var(--coral)}.formula-guide-tabs button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:-3px}.formula-guide-tabpanel[hidden]{display:none}.formula-guide-contract{background:var(--surface);margin:0;padding:.25rem .9rem .65rem}.formula-guide-chip-group{min-width:0;padding:.3rem .75rem .55rem}.formula-guide-chip-group h3{color:var(--muted);font:600 var(--font-caption)/1.25 var(--sans);margin:0 0 .4rem}.formula-guide-chip-list{flex-wrap:wrap;align-items:center;gap:.35rem .5rem;min-width:0;display:flex}.formula-guide-chip-text{font:400 var(--font-body)/1.45 var(--sans);letter-spacing:0;padding:0;display:block}.formula-guide-random-example{border-top:1px solid var(--line);background:var(--surface);gap:.3rem;min-width:0;padding:.55rem .9rem .7rem;display:grid}.formula-guide-random-label{color:var(--muted);font:600 var(--font-caption)/1.2 var(--sans);white-space:nowrap;align-items:center;gap:.35rem;display:flex}.formula-guide-random-code{border:1px solid var(--line);background:var(--paper);grid-template-columns:auto minmax(0,1fr);min-width:0;display:grid}.formula-guide-random-button{border:0;border-right:1px solid var(--line);background:var(--paper);width:40px;min-height:34px;font-size:var(--font-body);align-self:stretch;place-items:center;padding:0;display:grid}.formula-guide-random-button:hover{border-color:var(--line-strong);background:var(--paper-deep)}.formula-guide-random-button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:2px}.formula-guide-random-code pre{min-width:0;max-width:100%;color:var(--ink);font-size:var(--font-caption);white-space:pre-wrap;overflow-wrap:anywhere;margin:0;padding:.3rem .45rem;line-height:1.45;overflow-x:auto}.formula-guide-random-code code{font:400 var(--font-caption)/1.45 var(--sans)}.formula-guide-logical-forms{position:relative}.formula-guide-chip{display:inline-flex;position:relative}.formula-guide-chip>button{border:1px solid var(--line);background:var(--surface);cursor:help;padding:.18rem .4rem}.formula-guide-chip>button:hover{border-color:var(--line-strong);background:var(--paper-deep)}.formula-guide-chip>button code{background:0 0;border:0;display:block}.formula-guide-chip-tooltip{z-index:30;box-sizing:border-box;width:max-content;max-width:min(24rem, var(--tooltip-available-width,calc(100vw - 2rem)));overflow-wrap:anywhere;border:1px solid var(--line-strong);border-left:3px solid var(--coral);background:var(--surface);color:var(--ink);font-size:var(--font-body);pointer-events:none;transform:translateX(var(--tooltip-shift-x,0px));padding:.55rem .65rem;font-weight:400;line-height:1.5;position:absolute;inset-block-end:calc(100% + .38rem);inset-inline-start:0;box-shadow:0 8px 22px #10182424}.formula-guide-teaching{border:1px solid color-mix(in srgb, var(--sky) 45%, var(--line));border-left:3px solid var(--sky);background:color-mix(in srgb, var(--sky) 7%, var(--paper));gap:.38rem;margin:0 .9rem .75rem;padding:.7rem .75rem;display:grid}.formula-guide-teaching>span{color:var(--ink-soft);font:750 var(--font-caption)/1 var(--sans);letter-spacing:.04em;text-transform:uppercase}.formula-guide-teaching>code{background:var(--surface);width:fit-content;max-width:100%;font-size:var(--font-caption);overflow-wrap:anywhere;padding:.24rem .42rem}.formula-guide-teaching>p{color:var(--ink-soft);font-size:var(--font-caption);margin:0;line-height:1.5}.formula-guide-teaching>p code{margin-inline:.25em}.formula-guide-contract-macros>dd{padding:0;position:relative}.formula-guide-macros{background:0 0;width:100%;min-width:0;position:relative}.formula-guide-macros>p{color:var(--muted);font-size:var(--font-body);margin:0;padding:.5rem .6rem;line-height:1.45}.formula-guide-macros ul{flex-wrap:wrap;gap:.32rem;margin:0;padding:.42rem .6rem;list-style:none;display:flex}.formula-guide-macros li{min-width:0;position:relative}.formula-guide-macros li>button{border:1px solid var(--line);background:var(--surface);color:var(--ink);cursor:help;padding:.18rem .35rem}.formula-guide-macros li>button:hover{border-color:var(--line-strong);background:var(--paper-deep)}.formula-guide-macros li>button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:2px}.formula-guide-macros li>button code{font:500 var(--font-body)/1.45 var(--sans);overflow-wrap:anywhere;background:0 0;border:0;padding:0}.formula-guide-chip.is-new>button,.formula-guide-macros li.is-new>button{border-color:color-mix(in srgb, var(--sky) 75%, var(--ink));background:color-mix(in srgb, var(--sky) 18%, var(--surface));box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--sky) 42%, transparent)}.formula-guide-chip.is-new>button:hover,.formula-guide-macros li.is-new>button:hover{border-color:var(--sky);background:color-mix(in srgb, var(--sky) 28%, var(--surface))}.formula-guide-macro-tooltip{z-index:20;box-sizing:border-box;width:max-content;min-width:min(16rem, var(--tooltip-available-width,calc(100vw - 2rem)));max-width:min(24rem, var(--tooltip-available-width,calc(100vw - 2rem)));overflow-wrap:anywhere;border:1px solid var(--line-strong);border-left:3px solid var(--coral);background:var(--surface);color:var(--ink);opacity:0;pointer-events:none;transform:translate(var(--tooltip-shift-x,0px), -.18rem);gap:.3rem;padding:.65rem .7rem;transition:opacity .12s,transform .12s;display:grid;position:absolute;inset-block-start:calc(100% + .38rem);inset-inline-start:0;box-shadow:0 8px 22px #10182424}.formula-guide-macro-tooltip[hidden]{display:none}.formula-guide-macro-tooltip code{color:var(--coral);font-size:var(--font-body);overflow-wrap:anywhere}.formula-guide-macro-tooltip>span{color:var(--ink);font-size:var(--font-body);line-height:1.45}.formula-guide-macro-tooltip small{color:var(--muted);font-size:var(--font-caption);line-height:1.4}.formula-guide-macro-tooltip[data-visible=true]{opacity:1;pointer-events:auto;transform:translate(var(--tooltip-shift-x,0px), 0)}.formula-guide-macros-panel{padding:.25rem .9rem .65rem}.formula-guide-macro-options{border-bottom:1px solid var(--line);background:var(--surface);margin:0 0 .35rem;padding:.55rem .75rem .65rem}.formula-guide-macro-options label{color:var(--ink);font:650 var(--font-caption)/1.3 var(--sans);cursor:pointer;align-items:center;gap:.5rem;display:flex}.formula-guide-macro-options input{width:1rem;height:1rem;accent-color:var(--coral);margin:0}.formula-guide-macro-group{min-width:0;padding:.3rem .75rem .55rem}.formula-guide-macro-group h3{color:var(--muted);font:700 var(--font-caption)/1.2 var(--sans);letter-spacing:.04em;margin:0 0 .35rem}.formula-guide-macro-list{flex-wrap:wrap;gap:.32rem;margin:0;padding:.42rem .6rem;list-style:none;display:flex}.formula-guide-macro-list li{min-width:0;position:relative}.formula-guide-macro-list li>button{border:1px solid var(--line);background:var(--surface);color:var(--ink);cursor:help;padding:.18rem .35rem}.formula-guide-macro-list li>button:hover{border-color:var(--line-strong);background:var(--paper-deep)}.formula-guide-macro-list li>button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:2px}.formula-guide-macro-list li.is-new>button{border-color:color-mix(in srgb, var(--sky) 75%, var(--ink));background:color-mix(in srgb, var(--sky) 18%, var(--surface));box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--sky) 42%, transparent)}.formula-guide-macro-list li>button code{font:500 var(--font-body)/1.45 var(--sans);overflow-wrap:anywhere;background:0 0;border:0;padding:0}.playground-registered-formulas{border:1px solid var(--line);background:var(--surface);margin:0;padding:.8rem .9rem .95rem}.playground-registered-formulas h3{font:520 var(--font-subtitle)/1.2 var(--sans);margin:0}.playground-registered-formulas>p{color:var(--muted);font-size:var(--font-caption);margin:.55rem 0 .75rem;line-height:1.55}.playground-registered-formulas>p code{background:var(--paper);font-size:var(--font-caption);padding:.08rem .2rem}.playground-registered-formulas>ul{gap:.65rem;margin:.8rem 0 0;padding:0;list-style:none;display:grid}.playground-registered-formulas>ul>li{border:1px solid var(--line);background:var(--paper);padding:.75rem;position:relative}.playground-registered-formulas li>div{flex-wrap:wrap;justify-content:space-between;gap:.5rem;padding-right:4.5rem;display:flex}.playground-registered-formulas li>div>span{color:var(--muted);font-size:var(--font-caption)}.playground-registered-formulas pre{border:1px solid var(--line);background:var(--surface);white-space:pre-wrap;overflow-wrap:anywhere;margin:.6rem 0 0;padding:.6rem;position:relative}.playground-registered-formulas pre>code{padding-right:4.8rem;display:block}.playground-registered-formulas pre>.playground-copy-button{border:1px solid var(--line);background:var(--paper);min-height:0;color:var(--ink);font:600 var(--font-min)/1.2 var(--sans);padding:.2rem .4rem;position:absolute;top:.35rem;right:.35rem}.playground-registered-formulas pre>.playground-copy-button:hover{border-color:var(--line-strong);background:var(--paper-deep)}.playground-registered-formulas pre>.playground-copy-button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 65%, transparent);outline-offset:2px}.playground-registered-formulas li>.playground-remove-button{min-height:0;font:600 var(--font-min)/1.2 var(--sans);padding:.2rem .4rem;position:absolute;top:.45rem;right:.45rem}.playground-registered-formulas-empty{color:var(--muted);font-size:var(--font-caption)}.diagnostic-panel,.resource-panel,.counterexample-panel,.accepted-panel,.analysis-result{border:1px solid var(--line);background:var(--surface);margin-top:1rem;padding:1rem}.diagnostic-panel{border-color:var(--danger)}.diagnostic-panel>div{border-top:1px solid var(--line);margin-top:.7rem;padding-top:.7rem}.diagnostic-panel code{color:var(--danger);font-size:var(--font-caption)}.diagnostic-panel p{font-size:var(--font-caption);margin:.35rem 0;line-height:1.55}.diagnostic-panel small,.diagnostic-panel span{color:var(--muted);font-size:var(--font-caption);line-height:1.55;display:block}.diagnostic-panel strong,.analysis-result.is-wrong strong{color:var(--ink);font:700 var(--font-caption)/1 var(--sans);text-transform:uppercase;margin-bottom:.18rem;display:block}.resource-panel{border-color:#aa791b}.counterexample-panel{border-color:var(--danger)}.counterexample-heading{grid-template-columns:1fr auto;gap:1rem;display:grid}.counterexample-heading h3{font:520 var(--font-subtitle)/1.1 var(--serif);margin:0}.counterexample-heading dl{gap:.5rem;margin:0;display:flex}.counterexample-heading dl div{border:1px solid var(--line);padding:.5rem}.counterexample-heading dt{color:var(--muted);font:var(--font-caption)/1 var(--sans)}.counterexample-heading dd{font:700 var(--font-caption)/1 var(--sans);margin:.3rem 0 0}.counterexample-panel>p{color:var(--muted);font-size:var(--font-caption)}.accepted-panel{border-color:var(--success);position:relative;overflow:hidden}.accepted-burst{background:var(--acid);color:#101824;border-radius:50%;place-content:center;width:90px;height:90px;display:grid;position:absolute;top:-28px;right:-28px}.accepted-burst span{font-size:var(--font-subtitle);transform:translate(-12px,12px)}.accepted-panel h3{color:var(--success);font:520 var(--font-display)/1 var(--serif);margin:0}.accepted-panel>p{max-width:80%;font-size:var(--font-body)}.accepted-model-solution{border-top:1px solid var(--line);margin-top:1rem;padding-top:.8rem}.accepted-model-solution p{color:var(--ink-soft);font-size:var(--font-body);margin:0 0 .45rem}.accepted-model-solution pre{border:1px solid var(--line);background:var(--night);color:#fff;white-space:pre-wrap;overflow-wrap:anywhere;font-size:var(--font-body);margin:0;padding:.8rem;line-height:1.6}.accepted-lower-logic{border:1px solid color-mix(in srgb, var(--success) 55%, var(--line));background:color-mix(in srgb, var(--success) 7%, var(--surface));margin:1rem 0;padding:1rem}.accepted-lower-logic p{font-size:var(--font-body);margin:0 0 .55rem;line-height:1.55}.accepted-lower-logic p:first-child{margin-bottom:1rem}.accepted-lower-logic pre{border:1px solid var(--line);background:var(--night);color:#fff;white-space:pre-wrap;overflow-wrap:anywhere;font-size:var(--font-body);margin:.75rem 0 0;padding:.8rem;line-height:1.6}.playground-input-pane{padding-bottom:2rem}.playground-introduction,.playground-free-variables,.playground-editor-section,.playground-definitions{border:0;border-bottom:1px solid var(--line);margin:0;padding:1.35rem clamp(1.15rem,2.2vw,2.2rem)}.playground-introduction h2,.playground-definitions h2,.playground-results h2{font:520 var(--font-subtitle)/1.2 var(--sans);margin:0}.playground-introduction p,.playground-free-variables>p,.playground-empty-copy,.playground-result-empty p{color:var(--muted);font-size:var(--font-body);line-height:1.65}.playground-introduction code{background:var(--paper);font-size:var(--font-body);padding:.08rem .25rem}.playground-free-variables legend{font:520 var(--font-subtitle)/1.2 var(--sans);padding:0}.playground-free-variables>p{margin:.5rem 0 1rem}.playground-variable-list{gap:.7rem;display:grid}.playground-variable-row{border:1px solid var(--line);background:var(--paper);grid-template-columns:minmax(7rem,.7fr) minmax(11rem,1fr) auto;align-items:end;gap:.65rem;padding:.75rem;display:grid}.playground-variable-row label{min-width:0;color:var(--muted);font-size:var(--font-caption);gap:.25rem;display:grid}.playground-variable-row input,.playground-variable-row select{border:1px solid var(--line-strong);background:var(--surface);min-width:0;min-height:40px;font-family:var(--sans);padding:.45rem .55rem}.playground-remove-button{border:1px solid var(--line);background:var(--surface);min-height:40px;color:var(--danger);padding:.45rem .65rem}.playground-add-variable{min-height:40px;margin-top:.75rem;padding-block:.5rem}.playground-editor-section .formula-editor{min-height:15rem}.playground-action-row{flex-wrap:wrap;gap:.65rem;margin-top:.45rem;display:flex}.playground-action-row .primary-action,.playground-action-row .secondary-action{min-height:44px;padding:.65rem .85rem}.playground-input-error,.playground-registration-message,.playground-registration-error{border:1px solid var(--line);background:var(--surface);font-size:var(--font-body);margin:.8rem 0 0;padding:.7rem .8rem}.playground-input-error,.playground-registration-error{border-color:var(--danger);color:var(--danger)}.playground-registration-message{border-color:var(--success);color:var(--success)}.playground-registration-error h3{color:var(--ink);font-size:var(--font-body);margin:0}.playground-registration-error p{margin:.55rem 0 0}.playground-registration-error small{color:var(--muted);margin-top:.25rem;display:block}.playground-section-heading{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.playground-section-heading>span,.playground-section-heading>p{color:var(--muted);font-size:var(--font-caption);margin:0}.playground-definitions>ul{gap:.65rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.playground-definitions>ul>li{border:1px solid var(--line);background:var(--paper);padding:.8rem;position:relative}.playground-definitions li>div{flex-wrap:wrap;justify-content:space-between;gap:.5rem;padding-right:4.5rem;display:flex}.playground-definitions li.is-builtin>div{padding-right:0}.playground-definitions li>div>span{color:var(--muted);font-size:var(--font-caption)}.playground-definitions pre{border:1px solid var(--line);background:var(--surface);white-space:pre-wrap;overflow-wrap:anywhere;margin:.65rem 0 0;padding:.65rem}.playground-definitions li>button{border:1px solid var(--line);background:var(--surface);color:var(--danger);padding:.3rem .5rem;position:absolute;top:.55rem;right:.55rem}.playground-result-pane{padding:1.4rem}.playground-result-empty{border:1px dashed var(--line-strong);background:color-mix(in srgb, var(--surface) 55%, transparent);padding:1.2rem}.playground-result-empty h2{font:520 var(--font-subtitle)/1.3 var(--sans);margin:0}.playground-results{gap:1rem;min-width:0;display:grid}.playground-compatibility,.playground-diagnostics,.playground-definition-code,.playground-tex-block{border:1px solid var(--line);background:var(--surface);min-width:0;padding:1rem}.playground-compatibility>ul{grid-template-columns:repeat(3,minmax(0,1fr));gap:.6rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.playground-compatibility li{border:1px solid var(--line);min-width:0;padding:0}.playground-compatibility li.is-current{box-shadow:0 0 0 2px color-mix(in srgb, currentColor 44%, transparent)}.playground-compatibility li>button{width:100%;min-height:4.35rem;color:inherit;font:inherit;text-align:left;cursor:pointer;background:0 0;border:0;gap:.25rem;padding:.7rem;display:grid}.playground-compatibility li>button:hover{filter:brightness(.97)}.playground-compatibility li>button:focus-visible{outline:3px solid color-mix(in srgb, var(--sky) 70%, transparent);outline-offset:-4px}.playground-compatibility li strong{font:700 var(--font-body)/1 var(--sans)}.playground-compatibility li span{font-size:var(--font-caption)}.playground-compatibility li.is-compatible{border-color:var(--success);background:color-mix(in srgb, var(--success) 8%, var(--surface));color:var(--success)}.playground-compatibility li.is-incompatible{border-color:var(--danger);background:color-mix(in srgb, var(--danger) 6%, var(--surface));color:var(--danger)}.playground-compatibility-detail{border:1px solid var(--line);background:var(--paper);border-left-width:3px;margin-top:.95rem;padding:.85rem}.playground-compatibility-detail.is-compatible{border-color:var(--success)}.playground-compatibility-detail.is-incompatible{border-color:var(--danger)}.playground-compatibility-message{color:var(--success);font-size:var(--font-caption);margin:0;line-height:1.55}.playground-compatibility-diagnostics h3{color:var(--danger);font-size:var(--font-body);margin:0}.playground-diagnostic{border-left:3px solid var(--danger);background:var(--paper);margin-top:.6rem;padding:.7rem}.playground-diagnostic p{margin:0}.playground-diagnostic small,.playground-diagnostic>span{color:var(--muted);font-size:var(--font-caption);margin-top:.3rem;line-height:1.5;display:block}.playground-diagnostic-code{border:1px solid var(--line);background:var(--surface);color:var(--ink);font:var(--font-caption)/1.6 var(--sans);white-space:pre-wrap;overflow-wrap:anywhere;margin:.7rem 0 0;padding:.65rem .75rem;overflow:auto}.playground-diagnostic-code code{grid-template-columns:auto minmax(0,1fr);gap:.7rem;min-width:max-content;display:grid}.playground-diagnostic-line-number{color:var(--muted);-webkit-user-select:none;user-select:none;margin:0}.playground-diagnostic-line-content{min-width:0;color:var(--ink);margin:0}.playground-diagnostic-line-content mark{background:color-mix(in srgb, var(--danger) 24%, transparent);color:inherit;box-shadow:inset 0 -2px var(--danger);border-radius:2px;padding:0 .12em}.playground-compatibility-no-diagnostic{color:var(--danger);font-size:var(--font-caption);margin:.6rem 0 0}.playground-definition-code>.formula-editor{margin-top:.8rem}.playground-definition-code .playground-tex-block{border:0;border-top:1px solid var(--line);background:0 0;margin-top:1rem;padding:1rem 0 0}.playground-tex-block pre{border:1px solid var(--line);background:var(--night);color:#fff;font-size:var(--font-body);white-space:pre-wrap;overflow-wrap:anywhere;margin:.8rem 0 0;padding:.8rem;line-height:1.6}.playground-tex-block h3{font:520 var(--font-subtitle)/1.2 var(--sans);margin:0}.playground-tex-block h4{font:600 var(--font-body)/1.2 var(--sans);margin:1rem 0 0}.playground-tex-preview{border:1px solid var(--line);background:var(--paper);min-width:0;min-height:5rem;margin-top:.8rem;padding:1rem;display:block;overflow:auto hidden}.playground-tex-preview .katex-display{text-align:left;width:max-content;min-width:100%;max-width:none;margin:0;overflow:visible}.playground-tex-preview .katex{white-space:nowrap}.toggle-setting label{cursor:pointer;display:grid}.graph-legend{color:var(--muted);font:var(--font-caption)/1.3 var(--sans);flex-wrap:wrap;gap:.45rem 1rem;margin:.4rem 0 .8rem;padding:0;list-style:none;display:flex}.graph-legend li{align-items:center;gap:.4rem;display:inline-flex}.legend-vertex{border:2px solid var(--ink);background:var(--acid);border-radius:50%;width:13px;height:13px}.legend-edge{border-top:4px dashed var(--coral);width:22px}.graph-vertex-control{font:var(--font-caption)/1 var(--sans);align-items:center;gap:.35rem;display:inline-flex}.graph-vertex-control button{border:1px solid var(--line);background:var(--surface);min-height:34px;font-size:var(--font-caption);padding:.4rem .65rem}.exercise-result-region{margin-top:1rem}.result-empty{border:1px dashed var(--line);color:var(--muted);font-size:var(--font-caption);margin:0;padding:.8rem}.accepted-disclaimer{color:var(--ink-soft);font-size:var(--font-caption);line-height:1.65}.locked-card{width:min(1040px,100% - 3rem);margin:0 auto;padding:clamp(4rem,8vw,8rem) 0}.locked-card h1{max-width:900px;font:500 clamp(3rem, 6vw, 6.5rem)/.95 var(--serif);letter-spacing:-.045em;margin:0}.locked-card{max-width:850px}.locked-card>p:not(.eyebrow){max-width:660px;color:var(--muted);margin:2rem 0}.exercise-grid.is-curriculum-collapsed .exercise-map-pane{padding:.65rem .45rem;overflow:hidden auto}.exercise-grid.is-curriculum-collapsed .map-pane-brand{z-index:2;background:var(--night);border-bottom:0;justify-content:center;margin:0;padding:0 0 .55rem;position:sticky;top:0}.exercise-grid.is-curriculum-collapsed .map-pane-brand .wordmark,.exercise-grid.is-curriculum-collapsed .map-settings-link,.exercise-grid.is-curriculum-collapsed .exercise-map-pane>.world-map{display:none}.exercise-grid.is-curriculum-collapsed .exercise-map-pane>.world-map.is-compact,.exercise-grid.is-curriculum-collapsed .map-pane-actions{display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list{justify-items:center;gap:.3rem;margin:.15rem 0;display:grid}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list>li{justify-content:center;width:100%;display:flex}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list>li:not(:last-child):after{content:"";border-left:1px solid var(--line);height:.3rem;position:absolute;top:100%;left:50%}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list .level-link{border:1px solid var(--line);width:36px;height:36px;font:700 13px/1 var(--sans);border-radius:50%;place-items:center;padding:0;display:grid}:is(.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list .level-link:hover,.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list .level-link:focus-visible){border-inline-start-color:var(--sky)}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-number{display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-full-label{display:none}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-introduction{display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-introduction .compact-world-title{color:var(--muted);font:750 10px/1 var(--sans);letter-spacing:.08em;text-align:center;margin:.15rem 0 .35rem;display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-zero-list .world-zero-label{display:none}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-zero-list .compact-world-icon{display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-stop-copy>.eyebrow,.exercise-grid.is-curriculum-collapsed .world-map.is-compact .curriculum-section-label{display:none}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-stop{padding:.35rem 0 .75rem}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .world-stop-copy>.world-title{color:var(--muted);font:750 10px/1 var(--sans);letter-spacing:.08em;text-align:center;margin:.15rem 0 .35rem;display:block}.exercise-grid.is-curriculum-collapsed .world-map.is-compact .compact-level-list .level-link.state-current{border-color:var(--sky);box-shadow:0 0 0 2px color-mix(in srgb, var(--sky) 28%, transparent)}@media (max-width:1040px){.hero-grid{grid-template-columns:1fr;padding-top:4rem}.hero-orbit{justify-self:center;max-width:620px}.section-heading{grid-template-columns:1fr;gap:1.5rem}.world-map{grid-template-columns:repeat(2,1fr)}.world-stop:nth-of-type(3n+1){border-right:1px solid var(--line)}.world-stop:nth-of-type(odd){border-right:0}.world-stop:nth-last-child(-n+3){border-bottom:1px solid var(--line)}.world-stop:nth-last-child(-n+2){border-bottom:0}.exercise-grid{--curriculum-pane-width:clamp(260px, 28vw, 280px);--problem-pane-width:minmax(280px, .75fr);grid-template-columns:var(--curriculum-pane-width) var(--problem-pane-width) var(--pane-resize-width) minmax(340px, 1.25fr)}}@media (max-width:760px){.site-header,.lesson-header{width:calc(100% - 2rem);min-height:62px}.site-header nav{gap:.8rem}.site-header nav a:nth-child(2),.lesson-progress{display:none}.hero-grid{grid-template-columns:1fr;gap:3rem;width:calc(100% - 2rem);min-height:auto;padding:4rem 0 3rem}.hero-copy h1{font-size:clamp(3.6rem,18vw,5.6rem)}.hero-lead{font-size:var(--font-body)}.hero-actions{flex-direction:column;align-items:stretch}.hero-actions a{width:100%}.hero-stats{justify-content:space-between;gap:.7rem}.hero-stats div{min-width:0}.hero-stats dd{font-size:var(--font-subtitle)}.hero-orbit{width:92vw;margin-left:-2vw}.orbit-code{max-width:56%}.orbit-code-b{right:-4%}.principle-strip{grid-template-columns:1fr}.principle-strip p{border-bottom:1px solid #303b49;border-right:0}.map-section{padding:4.5rem 1rem}.section-heading{margin-bottom:3rem}.section-heading h2{font-size:2.7rem}.world-map{grid-template-columns:1fr}.world-stop,.world-stop:nth-of-type(n){border-right:0;border-bottom:1px solid var(--line);min-height:0}.world-stop:last-child{border-bottom:0}.finite-note{grid-template-columns:60px 1fr;gap:1rem;padding:2.5rem 1rem}.finite-note-mark{font-size:3.8rem}.finite-note>p{grid-column:1/-1}.settings-modal-backdrop{padding:.75rem}.settings-modal{max-height:calc(100dvh - 1.5rem)}.settings-modal-action{grid-template-columns:1fr}.settings-modal-action .secondary-action,.settings-modal-action .danger-action{width:100%}.settings-confirmation-actions{flex-direction:column-reverse}.settings-confirmation-actions .secondary-action,.settings-confirmation-actions .danger-action{width:100%}.boolean-grid fieldset{grid-template-columns:1fr auto auto}.boolean-grid legend{grid-column:1/-1;display:block}.audit-lines span{grid-template-columns:1fr;gap:.25rem}.check-row{flex-direction:column}.check-row>*{width:100%}.formula-guide-heading{align-items:start}.formula-guide-heading a{text-align:right;max-width:8rem}.formula-guide-contract>div{grid-template-columns:1fr}.formula-guide-contract dd{border-top:1px solid var(--line);border-left:0}.counterexample-heading{grid-template-columns:1fr}.accepted-panel>p{max-width:100%}.locked-card{width:calc(100% - 2rem)}.introduction-progress-heading{gap:.5rem}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}:root[data-reduced-motion=true] *,:root[data-reduced-motion=true] :before,:root[data-reduced-motion=true] :after{scroll-behavior:auto!important;transition:none!important;animation:none!important}