@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{-webkit-clip-path:inset(50%);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{--f-read:"Source Serif 4", Georgia, serif;--f-ui:"IBM Plex Sans", system-ui, sans-serif;--f-data:"IBM Plex Mono", ui-monospace, monospace;--f-hand:"Neucha", "Comic Sans MS", cursive;--s1:4px;--s2:8px;--s3:12px;--s4:16px;--s5:24px;--s6:32px;--s7:48px;--s8:64px;--r-s:6px;--r-m:8px;--r-l:12px;--r-pill:999px;--bar-h:56px;--read-font:var(--f-read);--read-size:19px;--ui-scale:1;--read-lh:1.65;--read-measure:68;--read-w:calc(var(--read-measure) * var(--read-size) * .5);--t:.2s cubic-bezier(.2, 0, 0, 1);--hit:44px}:root,:root[data-theme=light]{color-scheme:light;--bg:#f3f0e9;--surface:#fcfbf8;--sunken:#eae6dd;--raised:#fff;--ink:#1b1d1f;--read:#24272a;--muted:#595d62;--faint:#8b8f94;--line:#d9d4c9;--line-strong:#8e9196;--hover:#ece8df;--press:#e3ded3;--hl:#f3e3a8;--hl-line:#c99a1e;--stage:#f8f6f1;--edge:#b9b3a6;--proven:#2e7d4f;--hyp:#2f5db0;--disp:#94570a;--ref:#b3362b;--gap:#b0471c;--gap-soft:#f6e3d8;--check:#94570a;--check-soft:#f4e8d2;--danger:#b3362b;--danger-soft:#f6deda;--ok:#2e6b4a;--viz1:#2b6cb0;--viz2:#a86a12;--viz3:#c0392b;--viz4:#2e7d4f;--viz5:#6b4fbb;--viz6:#b4651c;--viz7:#0e7490;--viz8:#8a5a44;--accent:#0f766e;--accent-hover:#0b5f58;--accent-ink:#0f6b64;--accent-soft:#dceeea;--on-accent:#fff}:root[data-theme=dark]{color-scheme:dark;--bg:#0e1116;--surface:#151a21;--sunken:#0a0d11;--raised:#1b212a;--ink:#e8eaed;--read:#cdd2d8;--muted:#a0a7b0;--faint:#6b737e;--line:#2a313b;--line-strong:#6b7480;--hover:#1d232c;--press:#242b35;--hl:#3a3418;--hl-line:#e3c25a;--stage:#0b0e13;--edge:#46505d;--proven:#7fcfa0;--hyp:#8fb0f5;--disp:#e9b35c;--ref:#ff8d82;--gap:#ff9b6b;--gap-soft:#3a2117;--check:#e9b35c;--check-soft:#352812;--danger:#ff8d82;--danger-soft:#3a1b19;--ok:#7fcfa0;--viz1:#58c4dd;--viz2:#ffd866;--viz3:#fc6255;--viz4:#83c167;--viz5:#b39ddb;--viz6:#f0a35e;--viz7:#5fd1e0;--viz8:#d9a58a;--accent:#5cc9bb;--accent-hover:#7fd8cc;--accent-ink:#6fd3c6;--accent-soft:#12302e;--on-accent:#0b1113}:root[data-accent=blue]{--accent:#3056a8;--accent-hover:#26478d;--accent-ink:#2b4f9b;--accent-soft:#e0e7f5}:root[data-accent=violet]{--accent:#6145b0;--accent-hover:#513896;--accent-ink:#5a40a5;--accent-soft:#e8e2f6}:root[data-accent=graphite]{--accent:#3f454c;--accent-hover:#2e3338;--accent-ink:#3a3f45;--accent-soft:#e3e1dc}:root[data-theme=dark][data-accent=blue]{--accent:#8fb0f5;--accent-hover:#a9c2f8;--accent-ink:#a3c0f8;--accent-soft:#1a2540}:root[data-theme=dark][data-accent=violet]{--accent:#b9a3f0;--accent-hover:#cab8f4;--accent-ink:#c6b4f4;--accent-soft:#241d38}:root[data-theme=dark][data-accent=graphite]{--accent:#c3c8cf;--accent-hover:#d6dadf;--accent-ink:#cdd1d7;--accent-soft:#23272d}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}*{scrollbar-width:none}::-webkit-scrollbar{display:none}body{background:var(--bg);min-height:100vh;color:var(--ink);font-family:var(--f-ui);-webkit-font-smoothing:antialiased;margin:0;font-size:14px;line-height:1.45}a{color:inherit;text-decoration:none}button,input,select,textarea{font:inherit;color:inherit}:focus-visible,.is-focus{outline:2px solid var(--accent);outline-offset:2px}h1,h2,h3,h4,p,ul,ol,figure{margin:0}ul.plain,ol.plain{padding:0;list-style:none}@media (prefers-reduced-motion:reduce){*,:before,:after{transition:none!important;animation:none!important}}.t-display{font-family:var(--f-read);letter-spacing:-.01em;text-wrap:balance;font-size:44px;font-weight:600;line-height:1.1}.t-title{font-family:var(--f-read);text-wrap:balance;font-size:32px;font-weight:600;line-height:1.15}.t-h2{font-family:var(--f-read);font-size:26px;font-weight:600;line-height:1.25}.t-h3{font-family:var(--f-read);font-size:21px;font-weight:600;line-height:1.3}.t-lead{font-family:var(--read-font);color:var(--read);text-wrap:pretty;font-size:21px;line-height:1.55}.t-read{font-family:var(--read-font);font-size:var(--read-size);line-height:var(--read-lh);color:var(--read);text-wrap:pretty}.t-read-s{font-family:var(--read-font);color:var(--read);text-wrap:pretty;font-size:16px;line-height:1.55}.t-math{font-family:var(--f-read);text-align:center;color:var(--ink);font-size:22px;font-style:italic;line-height:1.4}.u-h1{font-family:var(--f-ui);font-weight:600;font-size:calc(20px * var(--ui-scale));line-height:1.3}.u-h2{font-family:var(--f-ui);font-weight:600;font-size:calc(16px * var(--ui-scale));line-height:1.35}.u-h3{font-family:var(--f-ui);font-weight:600;font-size:calc(14px * var(--ui-scale));line-height:1.4}.u-body{font-size:calc(14px * var(--ui-scale));line-height:1.5}.u-small{font-size:calc(13px * var(--ui-scale));line-height:1.45}.u-cap{font-size:calc(12px * var(--ui-scale));color:var(--muted);line-height:1.4}.muted{color:var(--muted)}.d-m{font-family:var(--f-data);font-size:calc(13px * var(--ui-scale));font-variant-numeric:tabular-nums}.d-s{font-family:var(--f-data);font-size:calc(12px * var(--ui-scale));font-variant-numeric:tabular-nums}.d-xl{font-family:var(--f-data);font-size:calc(32px * var(--ui-scale));font-variant-numeric:tabular-nums;letter-spacing:-.02em;font-weight:500;line-height:1.1}.d-l{font-family:var(--f-data);font-size:calc(22px * var(--ui-scale));font-variant-numeric:tabular-nums;font-weight:500;line-height:1.2}.stack{flex-direction:column;display:flex}.row{align-items:center;display:flex}.wrap{flex-wrap:wrap}.between{justify-content:space-between}.g1{gap:var(--s1)}.g2{gap:var(--s2)}.g3{gap:var(--s3)}.g4{gap:var(--s4)}.g5{gap:var(--s5)}.g6{gap:var(--s6)}.g7{gap:var(--s7)}.g8{gap:var(--s8)}.grow{flex:auto;min-width:0}.container{width:100%;max-width:1376px;padding:0 var(--s6);margin:0 auto}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--r-l);padding:var(--s5);gap:var(--s4);flex-direction:column;min-width:0;display:flex}.card-s{padding:var(--s4);gap:var(--s3)}.card-flush{gap:0;padding:0}.card-head{justify-content:space-between;align-items:center;gap:var(--s3);min-height:24px;display:flex}.group+.group{border-top:1px solid var(--line);padding-top:var(--s4)}.divider{background:var(--line);border:0;width:100%;height:1px;margin:0}.vdivider{background:var(--line);align-self:stretch;width:1px}.inset{background:var(--sunken);border-radius:var(--r-m);padding:var(--s3) var(--s4)}.ic{fill:none;stroke:currentColor;stroke-width:1.75px;stroke-linecap:round;stroke-linejoin:round;flex:none;width:18px;height:18px}.ic-s{width:16px;height:16px}.btn{justify-content:center;align-items:center;gap:var(--s2);height:40px;padding:0 var(--s4);border-radius:var(--r-m);font-family:var(--f-ui);font-size:calc(14px * var(--ui-scale));white-space:nowrap;cursor:pointer;transition:background var(--t), border-color var(--t), color var(--t);background:0 0;border:1px solid #0000;font-weight:500;line-height:1;text-decoration:none;display:inline-flex;position:relative}.btn:after{content:"";position:absolute;inset:-2px}.btn-s{height:32px;padding:0 var(--s3);font-size:calc(13px * var(--ui-scale))}.btn-s:after{inset:-6px}.btn-l{height:48px;padding:0 var(--s5);font-size:calc(15px * var(--ui-scale))}.btn-primary{background:var(--accent);color:var(--on-accent)}.btn-primary:hover,.btn-primary.is-hover{background:var(--accent-hover)}.btn-primary:active,.btn-primary.is-active{background:var(--accent-hover);transform:translateY(1px)}.btn-secondary{background:var(--surface);border-color:var(--line-strong);color:var(--ink)}.btn-secondary:hover,.btn-secondary.is-hover{background:var(--hover)}.btn-secondary:active,.btn-secondary.is-active{background:var(--press)}.btn-tertiary{color:var(--accent-ink);padding:0 var(--s2)}.btn-tertiary:hover,.btn-tertiary.is-hover{background:var(--hover)}.btn-tertiary:active,.btn-tertiary.is-active{background:var(--press)}.btn-quiet{color:var(--ink);padding:0 var(--s3)}.btn-quiet:hover,.btn-quiet.is-hover{background:var(--hover)}.btn-danger{background:var(--surface);border-color:var(--danger);color:var(--danger)}.btn-icon{width:40px;color:var(--ink);padding:0}.btn-icon.btn-s{width:32px}.btn-icon:hover,.btn-icon.is-hover{background:var(--hover)}.btn-icon:active,.btn-icon.is-active{background:var(--press)}.btn[disabled],.btn.is-disabled{border-color:var(--line);color:var(--faint);cursor:not-allowed;background:0 0;transform:none}.btn-primary[disabled],.btn-primary.is-disabled{background:var(--sunken);border-color:#0000}.btn-block{width:100%}.spin{border:2px solid;border-right-color:#0000;border-radius:50%;width:16px;height:16px;animation:.8s linear infinite ac-spin}@keyframes ac-spin{to{transform:rotate(360deg)}}.seg{border:1px solid var(--line);border-radius:var(--r-m);background:var(--sunken);gap:2px;padding:3px;display:inline-flex}.seg button,.seg a{height:34px;padding:0 var(--s4);border-radius:var(--r-s);color:var(--muted);font-size:calc(14px * var(--ui-scale));align-items:center;gap:var(--s2);cursor:pointer;transition:background var(--t), color var(--t);background:0 0;border:0;font-weight:500;text-decoration:none;display:inline-flex}.seg button:hover,.seg button.is-hover{color:var(--ink)}.seg [aria-pressed=true],.seg [aria-selected=true]{background:var(--surface);color:var(--ink);box-shadow:0 0 0 1px var(--line)}.seg .seg-note{font-weight:400;font-size:calc(12px * var(--ui-scale));color:var(--muted)}.seg-s button{height:28px;padding:0 var(--s3);font-size:calc(13px * var(--ui-scale))}.tabs{gap:var(--s5);border-bottom:1px solid var(--line);display:flex}.tabs button,.tabs a{height:44px;color:var(--muted);cursor:pointer;align-items:center;gap:var(--s2);background:0 0;border:0;padding:0;font-weight:500;text-decoration:none;display:inline-flex;position:relative}.tabs button:hover,.tabs .is-hover,.tabs [aria-selected=true]{color:var(--ink)}.tabs [aria-selected=true]:after{content:"";background:var(--accent);height:2px;position:absolute;bottom:-1px;left:0;right:0}.chip{height:32px;padding:0 var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-pill);background:var(--surface);color:var(--ink);font-size:calc(13px * var(--ui-scale));cursor:pointer;transition:background var(--t);align-items:center;gap:6px;display:inline-flex}.chip:hover,.chip.is-hover{background:var(--hover)}.chip[aria-pressed=true]{background:var(--accent-soft);border-color:var(--accent);color:var(--accent-ink)}.chip[disabled]{color:var(--faint);border-color:var(--line);cursor:not-allowed}.tag{height:24px;padding:0 var(--s2);border-radius:var(--r-s);background:var(--sunken);color:var(--ink);font-size:calc(12px * var(--ui-scale));white-space:nowrap;align-items:center;gap:6px;text-decoration:none;display:inline-flex}a.tag:hover{background:var(--press)}.count{font-family:var(--f-data);font-size:calc(12px * var(--ui-scale));color:var(--muted);font-variant-numeric:tabular-nums}.status{font-size:calc(13px * var(--ui-scale));white-space:nowrap;cursor:default;align-items:center;gap:6px;font-weight:500;display:inline-flex}.mk{width:1.15em;height:1.15em;font-family:var(--f-ui);flex:none;justify-content:center;align-items:center;font-size:1.1em;font-style:normal;font-weight:700;line-height:1;display:inline-flex;position:relative}.mk:before{display:block}.mk-proven:before{content:"P";color:var(--proven)}.mk-hyp:before{content:"~";color:var(--hyp);font-size:1.25em;transform:translateY(-.08em)}.mk-disp:before,.mk-ref:before,.mk-broken:before,.mk-tri:before{content:"";width:1em;height:1em;-webkit-mask:var(--icon) center / contain no-repeat;mask:var(--icon) center / contain no-repeat}.mk-disp:before{--icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m16 16 3-8 3 8c-.87.65-1.92 1-3 1s-2.13-.35-3-1Z'/%3E%3Cpath d='m2 16 3-8 3 8c-.87.65-1.92 1-3 1s-2.13-.35-3-1Z'/%3E%3Cpath d='M7 21h10'/%3E%3Cpath d='M12 3v18'/%3E%3Cpath d='M3 7h2c2 0 5-1 7-2 2 1 5 2 7 2h2'/%3E%3C/svg%3E");background:var(--disp)}.mk-ref:before{--icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M18 6 6 18'/%3E%3Cpath d='m6 6 12 12'/%3E%3C/svg%3E");background:var(--ref)}.mk-broken:before{--icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m18.84 12.25 1.72-1.71h-.02a5 5 0 0 0-.12-7.07 5 5 0 0 0-6.95 0l-1.72 1.71'/%3E%3Cpath d='m5.17 11.75-1.71 1.71a5 5 0 0 0 .12 7.07 5 5 0 0 0 6.95 0l1.71-1.71'/%3E%3Cpath d='M8 2v3'/%3E%3Cpath d='M2 8h3'/%3E%3Cpath d='M16 19v3'/%3E%3Cpath d='M19 16h3'/%3E%3C/svg%3E");background:var(--danger)}.mk-tri{color:var(--gap)}.mk-tri:before{--icon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3'/%3E%3Cpath d='M12 9v4'/%3E%3Cpath d='M12 17h.01'/%3E%3C/svg%3E");background:currentColor}.st-proven{color:var(--proven)}.st-hyp{color:var(--hyp)}.st-disp{color:var(--disp)}.st-ref{color:var(--ref)}.st-broken{color:var(--danger)}.flag{height:24px;padding:0 var(--s2);border-radius:var(--r-s);font-size:calc(12px * var(--ui-scale));color:var(--check);white-space:nowrap;border:1px solid;align-items:center;gap:6px;font-weight:500;display:inline-flex}.flag .ic{width:14px;height:14px}.flag-quiet{color:var(--muted);border-color:var(--line-strong)}.gapmark{color:var(--gap);font-size:calc(13px * var(--ui-scale));align-items:center;gap:6px;font-weight:500;display:inline-flex}.gapspot{gap:var(--s2);padding:var(--s3) var(--s4);border:1px dashed var(--gap);border-radius:var(--r-m);color:var(--ink);flex-direction:column;display:flex}.ln{color:var(--accent-ink);cursor:pointer;transition:color var(--t);text-decoration:none}.ln:hover,.ln.is-hover{color:var(--ink)}.ln-gap{color:var(--gap);cursor:pointer;transition:color var(--t);text-decoration:none}.ln-gap:hover{color:var(--ink)}.ln-gap:after{content:"";vertical-align:-.05em;background:currentColor;width:.8em;height:.8em;margin-left:.2em;display:inline-block;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3'/%3E%3Cpath d='M12 9v4'/%3E%3Cpath d='M12 17h.01'/%3E%3C/svg%3E") 50%/contain no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3'/%3E%3Cpath d='M12 9v4'/%3E%3Cpath d='M12 17h.01'/%3E%3C/svg%3E") 50%/contain no-repeat}.ln-pair{background:var(--hl);box-shadow:0 0 0 2px var(--hl);color:var(--ink);text-decoration-color:var(--hl-line);border-radius:2px}.ln-quiet{color:var(--ink);text-decoration:none}.ln-quiet:hover{color:var(--accent-ink)}.peek{background:var(--raised);border:1px solid var(--line-strong);border-radius:var(--r-l);width:340px;padding:var(--s4);gap:var(--s3);flex-direction:column;display:flex}.fold{background:var(--surface);border:1px solid var(--line);border-radius:var(--r-l)}.fold-head{align-items:center;gap:var(--s2);width:100%;min-height:48px;padding:var(--s2) var(--s3) var(--s2) var(--s4);text-align:left;cursor:pointer;border-radius:var(--r-l);background:0 0;border:0;display:flex}.fold-head:hover{background:var(--hover)}.fold-head .u-h3{flex:1}.fold-head .chev{transition:transform var(--t);color:var(--muted)}.fold[data-open=false] .chev{transform:rotate(-90deg)}.fold-body{padding:0 var(--s4) var(--s4);gap:var(--s3);flex-direction:column;display:flex}.fold-more{align-self:flex-start}.li{align-items:center;gap:var(--s3);min-height:44px;padding:var(--s2) 0;color:var(--ink);text-decoration:none;display:flex}.li+.li{border-top:1px solid var(--line)}.li-main{flex-direction:column;flex:1;gap:2px;min-width:0;display:flex}.li-title{font-weight:500}a.li:hover .li-title{color:var(--accent-ink)}.li-sub{font-size:calc(13px * var(--ui-scale));color:var(--muted)}.toc{flex-direction:column;display:flex}.toc a{min-height:36px;padding:0 var(--s3);border-radius:var(--r-s);color:var(--muted);font-size:calc(14px * var(--ui-scale));align-items:center;text-decoration:none;display:flex;position:relative}.toc a:hover{background:var(--hover);color:var(--ink)}.toc a[aria-current=true]{color:var(--ink);background:var(--hover);font-weight:500}.toc a[aria-current=true]:before{content:"";background:var(--accent);border-radius:2px;width:2px;position:absolute;top:8px;bottom:8px;left:0}.toc .toc-sub{padding-left:var(--s5);font-size:calc(13px * var(--ui-scale))}.path{flex-direction:column;display:flex;position:relative}.path:before{content:"";background:var(--line-strong);width:1.5px;position:absolute;top:14px;bottom:14px;left:7px}.path-lvl{font-family:var(--f-data);font-size:calc(11px * var(--ui-scale));color:var(--muted);padding:var(--s2) 0 2px 28px}.pstep{align-items:center;gap:var(--s3);min-height:32px;color:var(--ink);font-size:calc(13px * var(--ui-scale));padding-left:28px;text-decoration:none;display:flex;position:relative}.pstep:before{content:"";box-sizing:border-box;border:1.5px solid var(--line-strong);background:var(--surface);border-radius:50%;width:12px;height:12px;margin-top:-6px;position:absolute;top:50%;left:2px}.pstep[data-s=read]:before{background:var(--accent);border-color:var(--accent)}.pstep[data-s=read]{color:var(--muted)}.pstep[data-s=gap]{color:var(--gap)}.pstep[data-s=gap]:before{border:0;border-left:6px solid #0000;border-right:6px solid #0000;border-bottom:11px solid var(--gap);background:0 0;border-radius:0;width:0;height:0;margin-top:-6px;left:2px}.pstep[data-s=here]:before{border:2px solid var(--accent);background:var(--bg);width:16px;height:16px;margin-top:-8px;left:0}.pstep[data-s=here]{font-weight:600}.pstep:hover{color:var(--accent-ink)}.path-or{font-size:calc(12px * var(--ui-scale));color:var(--muted);padding-left:28px}.stepper{border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--surface);align-items:center;height:40px;display:inline-flex}.stepper button{width:44px;height:38px;font-size:calc(18px * var(--ui-scale));cursor:pointer;color:var(--ink);background:0 0;border:0}.stepper button:hover{background:var(--hover)}.stepper button[disabled]{color:var(--faint);cursor:not-allowed;background:0 0}.stepper output{text-align:center;min-width:72px;font-family:var(--f-data);font-size:calc(13px * var(--ui-scale));border-left:1px solid var(--line);border-right:1px solid var(--line);line-height:38px}.switch{align-items:center;gap:var(--s3);cursor:pointer;text-align:left;background:0 0;border:0;min-height:44px;padding:0;display:inline-flex}.switch-track{border-radius:var(--r-pill);background:var(--line-strong);width:36px;height:20px;transition:background var(--t);flex:none;position:relative}.switch-track:after{content:"";background:var(--surface);width:16px;height:16px;transition:transform var(--t);border-radius:50%;position:absolute;top:2px;left:2px}.switch[aria-checked=true] .switch-track{background:var(--accent)}.switch[aria-checked=true] .switch-track:after{transform:translate(16px)}.switch[disabled]{cursor:not-allowed;color:var(--faint)}.switch[disabled] .switch-track{background:var(--line)}.check{align-items:center;gap:var(--s3);cursor:pointer;min-height:44px;display:inline-flex}.check-box{border:1.5px solid var(--line-strong);background:var(--surface);width:18px;height:18px;color:var(--on-accent);border-radius:4px;justify-content:center;align-items:center;display:inline-flex}.check[aria-checked=true] .check-box{background:var(--accent);border-color:var(--accent)}.field{flex-direction:column;gap:6px;display:flex}.field label,.field .label{font-size:calc(13px * var(--ui-scale));font-weight:500}.input{width:100%;height:44px;padding:0 var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--surface);color:var(--ink);font-size:calc(15px * var(--ui-scale));transition:border-color var(--t)}.input::placeholder{color:var(--muted)}.input:hover{border-color:var(--ink)}.input:focus,.input.is-focus{outline:2px solid var(--accent);outline-offset:-1px;border-color:var(--accent)}.input[aria-invalid=true]{border-color:var(--danger)}.input[disabled]{background:var(--sunken);border-color:var(--line);color:var(--faint)}textarea.input{height:auto;min-height:88px;padding:var(--s3);resize:vertical;line-height:1.5}.hint{font-size:calc(12px * var(--ui-scale));color:var(--muted)}.err{font-size:calc(13px * var(--ui-scale));color:var(--danger);align-items:center;gap:6px;display:flex}.select{height:44px;padding:0 var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--surface);align-items:center;gap:var(--s2);cursor:pointer;text-align:left;width:100%;display:flex;position:relative}.select .chev{color:var(--muted);margin-left:auto}.menu{background:var(--raised);border:1px solid var(--line-strong);border-radius:var(--r-l);padding:var(--s1);flex-direction:column;min-width:220px;display:flex}.menu-item{align-items:center;gap:var(--s3);min-height:40px;padding:0 var(--s3);border-radius:var(--r-s);text-align:left;cursor:pointer;color:var(--ink);background:0 0;border:0;width:100%;text-decoration:none;display:flex}.menu-item:hover,.menu-item[aria-selected=true]{background:var(--hover)}.menu-item[aria-disabled=true]{color:var(--faint);cursor:not-allowed}.menu-sep{background:var(--line);height:1px;margin:var(--s1) 0}.menu-label{padding:var(--s2) var(--s3) var(--s1);font-size:calc(12px * var(--ui-scale));color:var(--muted)}.kbd{border:1px solid var(--line);min-width:22px;height:22px;font-family:var(--f-data);font-size:calc(11px * var(--ui-scale));color:var(--muted);background:var(--surface);border-radius:4px;justify-content:center;align-items:center;padding:0 5px;display:inline-flex}.searchbox{align-items:center;gap:var(--s2);height:40px;padding:0 var(--s2) 0 var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--surface);color:var(--muted);cursor:text;text-align:left;transition:border-color var(--t);display:flex}.searchbox:hover{border-color:var(--ink)}.searchbox span.grow{font-size:calc(14px * var(--ui-scale))}.searchbox-l{height:56px;padding:0 var(--s3) 0 var(--s4);border-radius:var(--r-l);font-size:calc(17px * var(--ui-scale))}.banner{align-items:flex-start;gap:var(--s3);padding:var(--s3) var(--s4);border-radius:var(--r-m);border:1px solid var(--line);background:var(--surface);font-size:calc(14px * var(--ui-scale));display:flex}.banner .ic{margin-top:1px}.banner-body{flex-direction:column;flex:1;gap:2px;min-width:0;display:flex}.banner-title{font-weight:600}.banner-danger{border-color:var(--danger);background:var(--danger-soft)}.banner-danger>.ic,.banner-danger .banner-title{color:var(--danger)}.banner-check{border-color:var(--check);background:var(--check-soft)}.banner-check>.ic,.banner-check .banner-title{color:var(--check)}.banner-open{border:1px dashed var(--hyp);background:0 0}.banner-open>.ic,.banner-open .banner-title{color:var(--hyp)}.toast{align-items:center;gap:var(--s3);min-height:48px;padding:var(--s2) var(--s2) var(--s2) var(--s4);border-radius:var(--r-m);background:var(--ink);color:var(--bg);font-size:calc(14px * var(--ui-scale));display:inline-flex}.toast .btn-tertiary{color:var(--bg)}.toast .btn-tertiary:hover{color:var(--accent-ink);background:0 0}.empty{align-items:flex-start;gap:var(--s3);padding:var(--s5);border:1px dashed var(--line-strong);border-radius:var(--r-l);color:var(--muted);flex-direction:column;display:flex}.empty-title{color:var(--ink);font-weight:600;font-size:calc(15px * var(--ui-scale))}.skel{background:var(--sunken);border-radius:4px;height:12px;animation:1.4s ease-in-out infinite ac-pulse}@keyframes ac-pulse{50%{opacity:.5}}.avatar{background:var(--accent-soft);width:32px;height:32px;color:var(--accent-ink);font-weight:600;font-size:calc(14px * var(--ui-scale));border-radius:50%;flex:none;justify-content:center;align-items:center;display:inline-flex}.avatar-l{width:72px;height:72px;font-size:calc(28px * var(--ui-scale))}.crumbs{font-size:calc(13px * var(--ui-scale));color:var(--muted);flex-wrap:wrap;align-items:center;gap:2px 6px;display:flex}.crumbs a{color:var(--muted);padding:2px 0;text-decoration:none}.crumbs a:hover{color:var(--ink)}.crumbs .sep{color:var(--faint)}.crumbs [aria-current=page]{color:var(--ink)}.topbar{z-index:10;height:var(--bar-h);align-items:center;gap:var(--s4);padding:0 var(--s5);background:var(--bg);border-bottom:1px solid var(--line);display:flex;position:sticky;top:0}.logo{height:44px;font-weight:600;font-size:calc(17px * var(--ui-scale));letter-spacing:-.01em;color:var(--ink);align-items:center;gap:10px;text-decoration:none;display:inline-flex}.logo-mark{background:var(--accent);border-radius:2px;width:12px;height:12px;transform:rotate(45deg)}.topbar .searchbox{width:640px}.topbar-right{align-items:center;gap:var(--s1);margin-left:auto;display:flex}.aa{font-family:var(--f-read);font-size:calc(17px * var(--ui-scale));font-weight:600}.acct{align-items:center;gap:var(--s2);height:44px;padding:0 var(--s2) 0 var(--s1);margin-left:var(--s2);border-radius:var(--r-m);color:var(--ink);font-weight:500;text-decoration:none;display:inline-flex}.acct:hover{background:var(--hover)}.side{gap:var(--s4);width:264px;top:calc(var(--bar-h) + var(--s5));flex-direction:column;flex:0 0 264px;align-self:flex-start;display:flex;position:sticky}.side-r{flex-basis:320px;width:320px}.side-top{justify-content:space-between;align-items:center;min-height:40px;display:flex}.side[data-collapsed=true]{flex-basis:48px;width:48px}.rail{align-items:center;gap:var(--s2);padding:var(--s2) 0;border:1px solid var(--line);border-radius:var(--r-l);background:var(--surface);flex-direction:column;display:flex}.art-head{gap:var(--s4);flex-direction:column;display:flex}.art-meta{align-items:center;gap:var(--s2) var(--s5);font-size:calc(13px * var(--ui-scale));color:var(--muted);flex-wrap:wrap;display:flex}.art-meta .sepdot{color:var(--faint)}.art-bar{justify-content:space-between;align-items:center;gap:var(--s3);padding:var(--s3) 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);flex-wrap:wrap;display:flex}.art-row{grid-template-columns:minmax(0, var(--read-w)) 232px;column-gap:var(--s6);display:grid}.art-main{gap:var(--s4);flex-direction:column;min-width:0;display:flex}.art-margin{gap:var(--s3);flex-direction:column;padding-top:6px;display:flex}.sec-h{align-items:baseline;gap:var(--s3);scroll-margin-top:80px;display:flex}.sec-id{font-family:var(--f-data);font-size:calc(12px * var(--ui-scale));color:var(--faint)}.sec-target{padding:var(--s4);margin:0 calc(-1 * var(--s4));border-radius:var(--r-m);background:var(--hl);box-shadow:inset 0 0 0 1px var(--hl-line)}.sec-target .t-read{color:var(--ink)}.pair-note{gap:var(--s2);font-size:calc(13px * var(--ui-scale));color:var(--ink);align-items:flex-start;display:flex}.mnote{font-size:calc(13px * var(--ui-scale));color:var(--muted);flex-direction:column;gap:2px;line-height:1.4;display:flex}.mnote-head{color:var(--ink);align-items:center;gap:6px;font-weight:500;display:flex}.mnote a{color:var(--accent-ink);text-decoration:none}.mnote a:hover{color:var(--ink)}.mnote-gap .mnote-head{color:var(--gap)}.mnote-check .mnote-head{color:var(--check)}.mnote-review .mnote-head{color:var(--danger)}.mnote-actions{gap:var(--s1);margin-top:var(--s1);margin-left:calc(-1 * var(--s2));display:flex}.deriv{gap:var(--s3);padding:var(--s4);border-radius:var(--r-m);background:var(--sunken);flex-direction:column;display:flex}.deriv-head{align-items:center;gap:var(--s2) var(--s3);font-size:calc(14px * var(--ui-scale));flex-wrap:wrap;display:flex}.deriv-title{font-weight:600}.deriv-parents{gap:var(--s2);flex-wrap:wrap;display:flex}.parent{height:32px;padding:0 var(--s3);border-radius:var(--r-pill);border:1px solid var(--line-strong);background:var(--surface);font-size:calc(13px * var(--ui-scale));color:var(--ink);align-items:center;gap:6px;text-decoration:none;display:inline-flex}.parent:hover{border-color:var(--accent);color:var(--accent-ink)}.parent-gap{border-style:dashed;border-color:var(--gap);color:var(--gap)}.parent-gap:hover{border-color:var(--gap);color:var(--gap);background:var(--gap-soft)}.steps{gap:var(--s3);flex-direction:column;margin:0;padding-left:1.4em;display:flex}.case{gap:var(--s4);flex-direction:column;display:flex}.case-solved{align-items:center;gap:var(--s2);height:40px;color:var(--ok);font-weight:500;display:inline-flex}.ibox{border:1px solid var(--line);border-radius:var(--r-l);background:var(--surface);overflow:hidden}.ibox-bar{justify-content:space-between;align-items:center;gap:var(--s3);padding:var(--s2) var(--s2) var(--s2) var(--s4);border-bottom:1px solid var(--line);flex-wrap:wrap;display:flex}.ibox-stage{background:var(--stage);padding:var(--s4)}.ibox-foot{align-items:center;gap:var(--s4);padding:var(--s3) var(--s4);border-top:1px solid var(--line);font-size:calc(13px * var(--ui-scale));color:var(--muted);flex-wrap:wrap;display:flex}.range{-webkit-appearance:none;appearance:none;background:var(--line-strong);border-radius:2px;width:200px;height:4px}.range::-webkit-slider-thumb{-webkit-appearance:none;background:var(--surface);border:2px solid var(--accent);cursor:pointer;border-radius:50%;width:20px;height:20px}.gnode{box-sizing:border-box;border-radius:50%;flex:none;width:12px;height:12px;display:inline-block}.gn-article,.gn-parent{background:var(--ink)}.gn-child{background:var(--surface);border:2px solid var(--ink)}.gn-current{background:var(--accent);width:16px;height:16px;box-shadow:0 0 0 3px var(--bg), 0 0 0 4.5px var(--accent)}.gn-sem{background:var(--muted);border-radius:2px;width:10px;height:10px;transform:rotate(45deg)}.gn-gap{border-left:7px solid #0000;border-right:7px solid #0000;border-bottom:12px solid var(--gap);background:0 0;border-radius:0;width:0;height:0}.gedge{border-top:1.5px solid var(--edge);flex:none;width:28px;display:inline-block}.ge-parent{border-top-color:var(--ink)}.ge-child,.ge-sem{border-top-color:var(--muted)}.ge-bridge{border-top:2px dotted var(--accent)}.ge-review{border-top:1.5px dashed var(--danger)}.legend{gap:var(--s2) var(--s4);font-size:calc(12px * var(--ui-scale));color:var(--muted);flex-wrap:wrap;display:flex}.legend>span{align-items:center;gap:var(--s2);display:inline-flex}.gstage{border:1px solid var(--line);border-radius:var(--r-l);background:var(--stage);position:relative;overflow:hidden}.glabel{white-space:nowrap;font-size:calc(12px * var(--ui-scale));color:var(--ink);background:var(--stage);border-radius:3px;padding:0 4px;position:absolute;transform:translate(-50%)}.gdot{position:absolute;transform:translate(-50%,-50%)}.scrim{background:color-mix(in srgb, var(--ink) 28%, transparent);z-index:20;position:absolute;inset:0}.palette{z-index:21;background:var(--raised);border:1px solid var(--line-strong);border-radius:var(--r-l);flex-direction:column;width:680px;display:flex;position:absolute;top:96px;left:50%;overflow:hidden;transform:translate(-50%)}.palette-in{align-items:center;gap:var(--s3);height:60px;padding:0 var(--s4);border-bottom:1px solid var(--line);font-size:calc(17px * var(--ui-scale));display:flex}.palette-in input{min-width:0;font-size:calc(17px * var(--ui-scale));background:0 0;border:0;outline:none;flex:1}.palette-list{padding:var(--s2);flex-direction:column;max-height:520px;display:flex;overflow:auto}.palette-group{padding:var(--s2) var(--s3) var(--s1);font-size:calc(12px * var(--ui-scale));color:var(--muted)}.palette-foot{gap:var(--s4);padding:var(--s2) var(--s4);border-top:1px solid var(--line);font-size:calc(12px * var(--ui-scale));color:var(--muted);flex-wrap:wrap;display:flex}.palette-foot span{align-items:center;gap:6px;display:inline-flex}.res{align-items:center;gap:var(--s3);min-height:48px;padding:var(--s2) var(--s3);border-radius:var(--r-s);color:var(--ink);text-decoration:none;display:flex}.res[aria-selected=true]{background:var(--accent-soft)}.res-main{flex-direction:column;flex:1;gap:2px;min-width:0;display:flex}.res-sub{font-size:calc(13px * var(--ui-scale));color:var(--muted);white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.res mark{background:var(--hl);color:inherit;border-radius:2px}.pop{z-index:21;background:var(--raised);border:1px solid var(--line-strong);border-radius:var(--r-l);position:absolute}.fonttile{justify-content:space-between;align-items:flex-start;gap:var(--s1);height:76px;padding:var(--s2) var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--surface);cursor:pointer;text-align:left;flex-direction:column;min-width:0;display:flex}.fonttile:hover{background:var(--hover)}.fonttile[aria-pressed=true]{border:2px solid var(--accent);padding:calc(var(--s2) - 1px) calc(var(--s3) - 1px);background:var(--accent-soft)}.fonttile[disabled]{color:var(--faint);cursor:not-allowed;background:0 0;border-style:dashed}.fonttile .aa-big{font-size:calc(26px * var(--ui-scale));line-height:1}.fonttile .fname{font-size:calc(11px * var(--ui-scale));color:var(--muted);white-space:nowrap;text-overflow:ellipsis;max-width:100%;overflow:hidden}.swatch{cursor:pointer;border:0;border-radius:50%;width:32px;height:32px;position:relative}.swatch[aria-pressed=true]{box-shadow:0 0 0 2px var(--raised), 0 0 0 4px var(--ink)}.stabs{padding:var(--s2) var(--s2) 0;border-bottom:1px solid var(--line);background:var(--bg);align-items:flex-end;gap:2px;min-width:0;display:flex;overflow:auto hidden}.stab{align-items:center;gap:var(--s1);max-width:260px;height:40px;padding:0 var(--s1) 0 var(--s3);border-radius:var(--r-m) var(--r-m) 0 0;color:var(--muted);font-size:calc(13px * var(--ui-scale));cursor:pointer;background:0 0;border:1px solid #0000;border-bottom:0;flex:none;display:inline-flex}.stab:hover{background:var(--hover);color:var(--ink)}.stab[aria-selected=true]{background:var(--surface);border-color:var(--line);color:var(--ink);height:41px;margin-bottom:-1px;font-weight:500}.stab-name{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.stab-x{border-radius:var(--r-s);width:28px;height:28px;color:var(--muted);justify-content:center;align-items:center;display:inline-flex}.stab-x:hover{background:var(--press);color:var(--ink)}.stab-gap .stab-name{color:var(--gap)}.spec{font-size:calc(12px * var(--ui-scale));color:var(--muted)}.spec-label{font-family:var(--f-data);font-size:calc(11px * var(--ui-scale));color:var(--muted)}.swatch-card{gap:var(--s1);flex-direction:column;min-width:0;display:flex}.swatch-chip{border-radius:var(--r-m);border:1px solid var(--line);height:48px}.dialog-scrim{z-index:40;padding:96px var(--s4) var(--s4);background:color-mix(in srgb, var(--ink) 28%, transparent);justify-content:center;align-items:flex-start;display:flex;position:fixed;inset:0;overflow-y:auto}.dialog{background:var(--raised);border:1px solid var(--line-strong);border-radius:var(--r-l);flex-direction:column;width:520px;max-width:100%;display:flex}.dialog-s{width:420px}.dialog-head{align-items:center;gap:var(--s3);padding:var(--s2) var(--s2) var(--s2) var(--s5);border-bottom:1px solid var(--line);min-height:56px;display:flex}.dialog-head .u-h2{flex:1}.dialog-body{gap:var(--s4);padding:var(--s5);flex-direction:column;display:flex}.dialog-body>p{margin:0}.dialog-foot{align-items:center;gap:var(--s2);padding:var(--s3) var(--s5);border-top:1px solid var(--line);display:flex}.dialog-foot .grow{flex:1}.picker{position:relative}.picker .menu{z-index:45;max-height:360px;position:absolute;top:calc(100% + 4px);left:0;right:0;overflow-y:auto}.picker-search{height:40px;margin:0 0 var(--s1)}.picker-opt-sub{padding-left:calc(var(--s3) + 20px * var(--depth,0))}.picker-opt-sub .picker-name{color:var(--muted);font-size:calc(14px * var(--ui-scale))}.picker-opt-top .picker-name{font-weight:600}.picker-tick{flex:none;margin-left:auto}.picker-dot{border-radius:50%;flex:none;width:8px;height:8px}.picker-none{color:var(--muted)}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.topbar{transition:transform var(--t)}.topbar[data-hidden=true]{transform:translateY(-100%)}.topbar .searchbox{flex:0 1 min(var(--read-w), 640px);min-width:0}.topbar-search{grid-template-columns:1fr minmax(0,auto) 1fr;display:grid}.topbar-search .logo{justify-self:start}.topbar-center{align-items:center;gap:var(--s2);min-width:0;display:flex}.topbar-center .searchbox{width:min(var(--read-w), 640px)}.topbar-search .topbar-right{justify-self:end;margin-left:0}.page{padding-top:var(--s6);padding-bottom:96px}.page-with-side{gap:var(--s6);align-items:flex-start;display:flex}.toast-fixed{z-index:60;max-width:calc(100vw - 32px);position:fixed;bottom:32px;left:50%;transform:translate(-50%)}.toast-danger{background:var(--danger);color:var(--surface)}.peek-fixed{z-index:45;pointer-events:none;position:fixed}.loading{padding:var(--s5);color:var(--muted);font-size:calc(13px * var(--ui-scale))}.bar{background:var(--sunken);border-radius:2px;height:4px;display:block}.bar>span{background:var(--accent);border-radius:2px;height:100%;display:block}.bar-l{border-radius:3px;height:6px}.home-about{align-items:flex-start;gap:var(--s3);max-width:760px;display:flex}.home-about p{color:var(--muted)}.hero-search{gap:var(--s3);flex-wrap:wrap;display:flex}.hero-search .btn{height:56px}.hsearch{flex:320px;min-width:0;position:relative}.hsearch .searchbox{width:100%}.hsearch input{min-width:0;font:inherit;font-size:calc(17px * var(--ui-scale));color:var(--ink);background:0 0;border:0;outline:none;flex:1}.hsearch input::placeholder{color:var(--muted)}.hsearch[data-open=true] .searchbox{background:var(--raised);border-color:var(--line-strong);border-bottom-color:var(--line);border-radius:var(--r-l) var(--r-l) 0 0}.hsearch-drop{z-index:30;background:var(--raised);border:1px solid var(--line-strong);border-radius:0 0 var(--r-l) var(--r-l);border-top:0;flex-direction:column;display:flex;position:absolute;top:100%;left:0;right:0;overflow:hidden;box-shadow:0 16px 32px #0000002e}.hsearch-drop .palette-list{max-height:min(480px,60vh)}.counters{align-items:center;gap:var(--s3) var(--s5);flex-wrap:wrap;display:flex}.counters .vdivider{align-self:center;height:24px}.counter{align-items:baseline;gap:var(--s2);text-decoration:none;display:inline-flex}.grid-2{gap:var(--s5);grid-template-columns:repeat(auto-fit,minmax(min(360px,100%),1fr));align-items:start;display:grid}.grid-3{gap:var(--s5);grid-template-columns:repeat(auto-fit,minmax(min(240px,100%),1fr));display:grid}.katex{font-size:1.04em}.math-block{padding:var(--s1) 0;text-align:center;font-size:var(--read-size);color:var(--ink);overflow:auto hidden}.art-title-row{justify-content:space-between;align-items:baseline;gap:var(--s2) var(--s4);flex-wrap:wrap;display:flex}.art-title-row .art-meta{flex:none}@media (width>=1101px){.art-page .art-bar-narrow{display:none}}.split-main .art-bar-narrow{display:none}.nav-actions{padding-top:var(--s2);border-top:1px solid var(--line)}.rail-form{font-family:var(--f-data);font-weight:600;font-size:calc(14px * var(--ui-scale))}.art-title-row .status{font-size:calc(24px * var(--ui-scale))}.sec-title-row{justify-content:space-between;align-items:baseline;gap:var(--s4);display:flex}.sec-title-row .status{font-size:calc(18px * var(--ui-scale));flex:none}.art-page{gap:var(--s7);align-items:flex-start;display:flex}.art-page>main{flex:auto;min-width:0;max-width:924px}.container.art-page{max-width:max(1376px, calc(264px + var(--s7) + var(--read-w) + var(--s6) + 232px + 2 * var(--s6)))}.art-page>.side{max-height:calc(100vh - var(--bar-h) - 2 * var(--s5));overscroll-behavior:contain;overflow-y:auto}.split-main .art-page>.side{max-height:calc(100vh - var(--bar-h) - 2 * var(--s6))}.art-page>.side[data-collapsed=true]>.rail{width:48px}.art-row{grid-template-columns:minmax(0, var(--read-w)) 232px}.art-body{gap:var(--s7);padding-top:var(--s2);flex-direction:column;display:flex}.art-section{gap:var(--s4);flex-direction:column;scroll-margin-top:80px;display:flex}.notes-inline{align-items:center;gap:var(--s1) var(--s4);font-size:calc(13px * var(--ui-scale));flex-wrap:wrap;display:flex}.notes-inline .mnote{flex-direction:row;gap:6px}.form-fallback{gap:var(--s4);flex-direction:column;display:flex}.links-card{gap:var(--s5) var(--s6);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.links-card>.stack:nth-child(n+3){border-top:1px solid var(--line);padding-top:var(--s4)}.links-card .ln,.links-card .ln-gap{align-self:flex-start}.fig-caption i{font-family:var(--f-read)}@media (width>=1101px){.art-page:not(.art-page-split){padding-right:calc(232px + var(--s6))}.art-page:not(.art-page-split)>main{max-width:var(--read-w)}.art-page:not(.art-page-split) .art-row{width:calc(100% + var(--s6) + 232px)}}@media (width<=1100px){.art-row{row-gap:var(--s2);grid-template-columns:minmax(0,1fr)}.art-margin{gap:var(--s2) var(--s4);flex-flow:wrap;padding-top:0}.art-page>.side{display:none}}.split-root{flex-direction:column;height:100vh;display:flex}.split-root .topbar{flex:none;position:static}.split{flex:1;min-height:0;display:flex}.split-main{min-width:0;padding:var(--s6) var(--s6) var(--s8);flex:0 0 58%;overflow:auto}.art-page-split>main{max-width:var(--read-w)}.split-main .side{top:0}.split-handle{cursor:col-resize;touch-action:none;outline:none;flex:none;width:7px;position:relative}.split-handle:before{content:"";background:var(--line);width:1px;transition:background var(--t), left var(--t), width var(--t);position:absolute;top:0;bottom:0;left:3px}.split-handle:hover:before,.split-handle:focus-visible:before,.split-handle[data-drag=true]:before{background:var(--accent);width:3px;left:2px}.split-stack{background:var(--bg);flex-direction:column;flex:auto;min-width:0;display:flex}.split-tabsbar{border-bottom:1px solid var(--line);background:var(--bg);align-items:stretch;display:flex}.split-tabsbar .stabs{border-bottom:0;flex:1}.split-tools{align-items:center;gap:var(--s1);padding:0 var(--s2);border-left:1px solid var(--line);display:flex}.split-chain-note{align-items:center;gap:var(--s2);padding:var(--s2) var(--s5);border-bottom:1px solid var(--line);background:var(--accent-soft);color:var(--accent-ink);font-size:calc(13px * var(--ui-scale));display:flex}.split-panel{background:var(--sunken);flex:1;min-height:0;overflow:auto}.split-panel .t-read{font-size:calc(var(--read-size) * .9)}.split-panel .t-lead{font-size:calc(var(--read-size) * .95)}.split-panes{flex:1;min-width:0;display:flex}.split>.side{max-height:none;padding:var(--s6) 0 var(--s6) var(--s6);box-sizing:content-box;align-self:stretch;position:static;overflow-y:auto}.split>.side[data-collapsed=true]{padding-right:var(--s2)}.split-main>main{max-width:var(--read-w);margin:0 auto}.split-main-panel{flex-direction:column;padding:0;display:flex;overflow:hidden}.split-panel-left{background:var(--bg)}.split-panel-left .t-read{font-size:var(--read-size)}.split-panel-left .t-lead{font-size:21px}.side-handle{width:8px;margin:0 calc(-1 * var(--s7) / 2 - 4px);cursor:col-resize;touch-action:none;z-index:2;outline:none;flex:none;align-self:stretch;position:relative}.split>.side-handle{margin:0}.side-handle:before{content:"";width:2px;transition:background var(--t);background:0 0;position:absolute;top:0;bottom:0;left:3px}.side-handle:hover:before,.side-handle:focus-visible:before,.side-handle[data-drag=true]:before{background:var(--accent)}.split-bar{align-items:center;gap:var(--s3);min-height:44px;padding:0 var(--s2) 0 var(--s4);border-bottom:1px solid var(--line);background:var(--bg);flex:none;display:flex}.trail{white-space:nowrap;flex:1;align-items:center;min-width:0;display:flex;overflow-x:auto}.trail-step{text-overflow:ellipsis;border-radius:var(--r-s);max-width:280px;font:inherit;font-size:calc(13px * var(--ui-scale));color:var(--muted);cursor:pointer;transition:color var(--t), background var(--t);background:0 0;border:0;align-items:center;gap:6px;padding:6px 10px;display:inline-flex;overflow:hidden}.trail-step:hover{color:var(--ink)}.trail-step[aria-current]{color:var(--ink);background:var(--hover);font-weight:600}.trail-step[data-gap]{color:var(--gap)}.trail-main{color:var(--ink)}.trail-step[data-left]{color:var(--ink);box-shadow:inset 0 -2px 0 var(--line-strong)}.trail-sep{color:var(--faint);padding:0 2px}.sec-fold{justify-content:space-between;align-items:center;gap:var(--s3);width:100%;color:inherit;text-align:left;cursor:pointer;opacity:.7;transition:opacity var(--t);background:0 0;border:0;padding:0;display:flex}.sec-fold:hover{opacity:1}.panel-inner{gap:var(--s4);padding:0 40px var(--s8);flex-direction:column;display:flex}.panel-title{padding-top:var(--s6)}.panel-head{z-index:2;justify-content:space-between;align-items:center;gap:var(--s2);padding:var(--s3) 0;border-bottom:1px solid var(--line);background:var(--surface);flex-wrap:wrap;display:flex;position:sticky;top:0}.panel-inner .art-row,.split-main .art-row{grid-template-columns:minmax(0,1fr)}@media (width<=900px){.split-main,.split-handle{display:none}}.basics-body{gap:var(--s5);align-items:flex-start;display:flex}.basics-list{flex:0 0 340px;width:340px}.basics-level{gap:var(--s1);padding:var(--s3) var(--s5);border-top:1px solid var(--line);flex-direction:column;display:flex}.basics-step{border-radius:var(--r-s);text-align:left;cursor:pointer;width:100%;min-height:40px;font:inherit;font-size:calc(14px * var(--ui-scale));background:0 0;border:0}.basics-step[aria-current=true]{background:var(--accent-soft)}.basics-graph{flex:auto;min-width:0}.basics-preview{flex:0 0 320px;width:320px;position:sticky;top:80px}.basics-node{cursor:pointer}.basics-node:focus-visible{outline:none}.basics-node:focus-visible .ring{stroke:var(--accent);stroke-width:2px}@media (width<=1100px){.basics-body{flex-wrap:wrap}.basics-list,.basics-preview{flex:100%;width:auto;position:static}}.map-root{flex-direction:column;height:100vh;display:flex}.map-root .topbar{flex:none;position:static}.map-stage{background:var(--stage);flex:1;min-height:480px;position:relative;overflow:hidden}.map-halo,.map-sigma{width:100%;height:100%;position:absolute;inset:0}.map-labels{pointer-events:none;position:absolute;inset:0;overflow:hidden}.map-card-title{justify-content:space-between;align-items:flex-start;gap:var(--s3);display:flex}.map-card-title .status,.map-card-title>.mk{font-size:calc(22px * var(--ui-scale));flex:none}.map-pool-label{pointer-events:auto;white-space:nowrap;font-family:var(--f-read);font-size:calc(17px * var(--ui-scale));font-weight:600;text-decoration:none;position:absolute;top:0;left:0}.map-float{z-index:3;position:absolute}.map-layers{background:var(--raised);width:280px;max-height:calc(100% - 32px);top:16px;left:16px;overflow:auto}.map-top-right{align-items:center;gap:var(--s3);display:flex;top:16px;right:16px}.map-chip{padding:var(--s2) var(--s3);border:1px solid var(--line);border-radius:var(--r-m);background:var(--raised);font-size:calc(13px * var(--ui-scale))}.map-zoom{border:1px solid var(--line-strong);border-radius:var(--r-m);background:var(--raised);align-items:center;display:flex;overflow:hidden}.map-zoom .btn-icon{border-radius:0}.map-zoom .btn-icon+.btn-icon{border-left:1px solid var(--line)}.map-card{background:var(--raised);width:340px;bottom:16px;right:16px}@media (width<=900px){.map-card{width:auto;left:16px}}.tree-row{align-items:center;gap:var(--s2);min-height:48px;padding:0 var(--s5) 0 var(--s4);border-top:1px solid var(--line);display:flex}.tree-row a{text-decoration:none}.tree-row a:hover{color:var(--accent-ink)}.tree-row[aria-current=true]{background:var(--hover)}.tree-toggle{border-radius:var(--r-s);width:32px;height:32px;color:var(--muted);cursor:pointer;background:0 0;border:0;justify-content:center;align-items:center;display:inline-flex}.tree-toggle:hover{background:var(--hover)}.tree-toggle[aria-expanded=false] .ic{transform:rotate(-90deg)}.tree-spacer{flex:none;width:32px}.ed-head{top:var(--bar-h);z-index:9;justify-content:space-between;align-items:center;gap:var(--s3);padding:10px var(--s5);border-bottom:1px solid var(--line);background:var(--bg);flex-wrap:wrap;display:flex;position:sticky}.ed-title{width:22ch;min-width:0;font-family:var(--f-read);background:0 0;border:0;border-bottom:1px dashed #0000;outline:none;font-size:18px;font-weight:600}.ed-title:focus{border-bottom-color:var(--line-strong)}.ed-body{gap:var(--s5);max-width:1440px;padding:var(--s5);align-items:flex-start;margin:0 auto;display:flex}.ed-left{flex:0 0 248px;width:248px;position:sticky;top:136px}.ed-right{flex:0 0 320px;width:320px;position:sticky;top:136px}.ed-main{flex:auto;min-width:0}.ed-paper{max-width:820px;padding:var(--s7) var(--s8) var(--s8);margin:0 auto}.ed-two{grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.ed-two>div{min-width:0;padding:var(--s5)}.ed-two>div:first-child{border-right:1px solid var(--line)}.ed-canvas{gap:var(--s4);outline:none;flex-direction:column;min-height:50vh;display:flex}.ed-canvas:focus-visible{outline:none}.ed-canvas h2{font-family:var(--f-read);font-weight:600;font-size:calc(26px * var(--ui-scale));margin:var(--s4) 0 0;line-height:1.25}.ed-canvas h3{font-family:var(--f-read);font-weight:600;font-size:calc(21px * var(--ui-scale));margin:var(--s2) 0 0}.ed-canvas p{font-family:var(--read-font);font-size:var(--read-size);line-height:var(--read-lh);color:var(--read);margin:0}.ed-canvas ul,.ed-canvas ol{font-family:var(--read-font);font-size:var(--read-size);line-height:var(--read-lh);color:var(--read);margin:0;padding-left:24px}.ed-canvas p.is-empty:before,.ed-canvas h2.is-empty:before{content:attr(data-placeholder);color:var(--faint);pointer-events:none;float:left;height:0}.ed-canvas .ProseMirror-selectednode{outline:2px solid var(--accent);border-radius:4px}.wl{color:var(--accent-ink);text-decoration:none}.wl-gap{color:var(--gap)}.ed-math{cursor:pointer}.ed-math-block{padding:var(--s1) 0;text-align:center;font-size:var(--read-size);overflow-x:auto}.ed-figure{justify-content:space-between;gap:var(--s3);padding:var(--s5) var(--s4);border:1px dashed var(--line-strong);border-radius:var(--r-l);background:var(--stage);font-size:calc(12px * var(--ui-scale));color:var(--muted);display:flex}.ed-derivation{gap:var(--s2);padding:var(--s4);border-radius:var(--r-m);background:var(--sunken);flex-direction:column;display:flex}.ed-derivation-head{justify-content:space-between;gap:var(--s2);font-size:calc(14px * var(--ui-scale));font-weight:600;display:flex}.ed-derivation-chips{flex-wrap:wrap;gap:6px;display:flex}.ed-pop{z-index:50;width:380px;position:fixed}.ed-outline-tags{gap:var(--s1);margin-left:auto;display:inline-flex}.ed-outline-tags .tag{height:20px;font-family:var(--f-data);font-size:calc(11px * var(--ui-scale));padding:0 5px}.ed-outline-tags .tag[data-on=false]{border:1px solid var(--line-strong);color:var(--faint);background:0 0}.ed-outline-tags .tag[data-on=true]{background:var(--accent-soft);color:var(--accent-ink)}@media (width<=1100px){.ed-body{flex-wrap:wrap}.ed-left,.ed-right{flex:100%;width:auto;position:static}.ed-paper{padding:var(--s5)}.ed-two{grid-template-columns:1fr}}.login{padding:72px var(--s4) 96px;justify-content:center;display:flex}.login .card{width:440px;max-width:100%;padding:var(--s6);gap:var(--s5)}.ligo-mark{border:2px solid var(--ink);border-radius:2px;width:10px;height:10px;transform:rotate(45deg)}@media (width<=900px){.page-with-side{flex-direction:column}.page-with-side>.side{flex-basis:auto;width:100%;position:static}.topbar{padding:0 var(--s4);gap:var(--s2)}.topbar .searchbox .grow,.topbar .searchbox .kbd,.topbar .btn-quiet .label,.topbar .acct .label{display:none}.topbar-search{display:flex}.topbar-center{margin-left:auto}.topbar .searchbox{flex:none;justify-content:center;width:40px;margin-left:auto;padding:0}.container{padding:0 var(--s4)}.links-card{grid-template-columns:1fr}}.stab{cursor:pointer}.stab-name{font:inherit;color:inherit;cursor:pointer;text-align:left;background:0 0;border:0;padding:0}.stab-x{cursor:pointer;background:0 0;border:0;padding:0}