@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/difference-sets/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/difference-sets/_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(/difference-sets/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/difference-sets/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/difference-sets/_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.1"}.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{--bg:#fdfcf8;--bg-raised:#f5f3ec;--fg:#1c1c1e;--muted:#6b6b70;--accent:#1a5fd0;--accent-soft:#1a5fd01a;--rim:#e0e0e0;--chord:#4285f466;--member:#ea4335;--point:#9e9e9e;--border:#e2e0d8;--sidebar-width:17rem;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--bg:#16161a;--bg-raised:#1e1e23;--fg:#ececf0;--muted:#9a9aa2;--accent:#8ab4f8;--accent-soft:#8ab4f824;--rim:#3a3a40;--chord:#8ab4f873;--member:#f28b82;--point:#6f6f76;--border:#2e2e35}}*{box-sizing:border-box}body{background:var(--bg);color:var(--fg);margin:0;font:1.0625rem/1.6 system-ui,sans-serif}a{color:var(--accent)}.site-header{border-bottom:1px solid var(--border);align-items:baseline;gap:.75rem;padding:.75rem 16px;display:flex}.site-title{color:var(--fg);font-weight:700;text-decoration:none}#app-version{color:var(--muted)}.nav-toggle{font:inherit;border:1px solid var(--border);background:var(--bg-raised);color:var(--fg);border-radius:6px;padding:.2rem .6rem;font-size:.875rem;display:none}.layout{grid-template-columns:var(--sidebar-width) minmax(0, 1fr);gap:2.5rem;max-width:84rem;margin:0 auto;padding:0 16px;display:grid}.content{min-width:0;max-width:44rem;padding:1.5rem 0 4rem}.content.wide{max-width:none}.sidebar{align-self:start;max-height:100vh;padding:1.25rem 0 2rem;font-size:.9rem;line-height:1.35;position:sticky;top:0;overflow-y:auto}.sidebar-heading{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:0 0 .5rem;font-size:.75rem}.sidebar-heading:not(:first-child){margin-top:1.5rem}.sidebar-part h3{margin:.9rem 0 .3rem;font-size:.85rem;font-weight:600}.sidebar-part .numeral{color:var(--muted);font-weight:500}.sidebar ol,.sidebar ul{margin:0;padding:0;list-style:none}.sidebar a{color:var(--fg);border-radius:6px;gap:.5rem;padding:.3rem .5rem;text-decoration:none;display:flex}.sidebar a:hover{background:var(--bg-raised)}.sidebar a[aria-current=page]{background:var(--accent-soft);color:var(--accent);font-weight:600}.sidebar .num{text-align:right;min-width:1.4rem;color:var(--muted);font-variant-numeric:tabular-nums;flex:none}.sidebar a[aria-current=page] .num{color:inherit}.sidebar li.planned .title{opacity:.75}@media (width<=52rem){.layout{grid-template-columns:minmax(0,1fr);gap:0}.nav-toggle{display:inline-block}.sidebar{border-bottom:1px solid var(--border);max-height:none;display:none;position:static}.sidebar[data-open]{display:block}}h1{margin:.25rem 0 .5rem;line-height:1.2}.eyebrow{color:var(--muted);margin:0;font-size:.85rem}.lede{color:var(--muted);font-size:1.15rem}blockquote{border-left:3px solid var(--accent);background:var(--bg-raised);border-radius:0 6px 6px 0;margin:1.5rem 0;padding:.6rem 1rem}blockquote p{margin:0}.katex-display{padding:.25rem 0;overflow:auto hidden}.pager{border-top:1px solid var(--border);justify-content:space-between;gap:1rem;margin-top:3rem;padding-top:1.5rem;display:flex}.pager a{flex-direction:column;max-width:48%;text-decoration:none;display:flex}.pager .next{text-align:right;margin-left:auto}.pager span{color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-size:.8rem}.hero{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:2rem;display:grid}@media (width<=40rem){.hero{grid-template-columns:minmax(0,1fr)}}.button{background:var(--accent);color:var(--bg);border-radius:8px;padding:.55rem 1rem;font-weight:600;text-decoration:none;display:inline-block}.path-part h3{margin-bottom:.25rem}.path-list{padding-left:1.75rem}.path-list li{margin:.4rem 0}.path-list .summary{color:var(--muted);font-size:.95rem;display:block}.widget{margin:1.5rem 0}.control select{font:inherit}.gallery{border:1px solid var(--border);flex-wrap:wrap;gap:10px;padding:5px;display:flex}.gallery figure{max-width:100%;margin:0}.gallery figcaption{color:var(--muted);text-align:center;overflow-wrap:anywhere;font-size:.8125rem}.chord-diagram{max-width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.chord-diagram .rim{fill:none;stroke:var(--rim);stroke-width:1.5px}.chord-diagram .chord{stroke:var(--chord);stroke-width:1px}.chord-diagram .member{fill:var(--member)}.chord-diagram .point{fill:var(--point)}.chord-diagram text{fill:var(--fg);text-anchor:middle}.chord-diagram .member-label{font-weight:700}.chord-diagram .diff-label{fill-opacity:.5}:root{--second:#188038;--second-soft:#18803859;--ok:#188038;--ok-soft:#1880381a;--bad:#c5221f;--bad-soft:#c5221f14;--over:#e37400;--hot:#e37400}@media (prefers-color-scheme:dark){:root{--second:#81c995;--second-soft:#81c99566;--ok:#81c995;--ok-soft:#81c9951f;--bad:#f28b82;--bad-soft:#f28b821a;--over:#fcad70;--hot:#fcad70}}.widget .controls{flex-wrap:wrap;align-items:center;gap:.5rem 1rem;margin-bottom:.5rem;display:flex}.widget button,.widget input[type=number],.widget select{font:inherit;color:var(--fg);background:var(--bg-raised);border:1px solid var(--border);border-radius:6px;padding:.2rem .6rem;font-size:.95rem}.widget button{cursor:pointer}.widget button:hover{border-color:var(--accent)}.widget button[aria-pressed=true]{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.widget select{max-width:100%}.widget .v-input{width:4.5em}.widget .control.range{align-items:center;gap:.35rem;display:inline-flex}.widget .control.range input{width:7rem}.widget .control.range output{font-variant-numeric:tabular-nums;min-width:1.5em}.widget .hint{color:var(--muted);margin:0 0 .5rem;font-size:.9rem}.workbench-body{border:1px solid var(--border);border-radius:8px;flex-wrap:wrap;align-items:flex-start;gap:1rem 1.5rem;padding:.75rem;display:flex}.circle-box{flex:0 300px;min-width:0;margin:0 auto}.workbench-side{flex:240px;min-width:0}.workbench-side p{margin:0 0 .6rem}.set-line,.legend,.shared{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.verdict,.table-note{background:var(--bg-raised);border-radius:6px;padding:.4rem .6rem}.verdict.ok,.table-note.ok{background:var(--ok-soft);color:var(--ok)}.verdict.bad{background:var(--bad-soft);color:var(--bad)}.pairs{font-size:.9rem}.pairs ul{columns:2 10rem;margin:.4rem 0 0;padding-left:1.2rem}.pairs li.none{color:var(--bad)}.circle-set,.histogram,.meet-table,.fano{max-width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.circle-set{width:100%}.circle-set .rim{fill:none;stroke:var(--rim);stroke-width:1.5px}.circle-set .chord{stroke-width:1.5px}.circle-set .chord-a{stroke:var(--chord)}.circle-set .chord-b{stroke:var(--second-soft);stroke-dasharray:4 3}.circle-set .chord-a.hot{stroke:var(--hot);stroke-width:3px}.circle-set .pt .dot{fill:var(--point)}.circle-set .pt.in-a .dot{fill:var(--member)}.circle-set .pt.in-b .dot{fill:var(--second)}.circle-set .pt.in-both .dot{fill:var(--member)}.circle-set .pt .ring{fill:none;stroke:var(--second);stroke-width:2.5px}.circle-set .pt .hit{fill:#0000}.circle-set .pt[role=button]{cursor:pointer}.circle-set .pt[role=button]:hover .dot{stroke:var(--accent);stroke-width:2px}.circle-set .pt:focus-visible{outline:none}.circle-set .pt:focus-visible .dot{stroke:var(--accent);stroke-width:3px}.circle-set .pt-label{fill:var(--muted);text-anchor:middle}.circle-set .pt.in-a .pt-label,.circle-set .pt.in-b .pt-label{fill:var(--fg);font-weight:700}.histogram .tick,.meet-table .tick{fill:var(--muted);text-anchor:middle;font-size:9px}.histogram .tick{font-size:10px}.histogram .y-tick{text-anchor:end}.histogram .grid{stroke:var(--border)}.histogram .bar-hit{fill:#0000}.histogram .bar.ok .bar-fill{fill:var(--ok)}.histogram .bar.neutral .bar-fill,.histogram .bar.few .bar-fill{fill:var(--accent)}.histogram .bar.many .bar-fill{fill:var(--over)}.histogram .bar-zero{stroke:var(--bad);stroke-width:3px}.histogram .bar.few .x-tick{fill:var(--bad);font-weight:700}.histogram .bar:hover .bar-fill,.histogram .bar:focus-visible .bar-fill{fill:var(--hot)}.histogram .bar:focus-visible{outline:none}.histogram .target{stroke:var(--fg);stroke-dasharray:4 3;stroke-opacity:.6}.legend .key{margin-right:1rem;display:inline-block}.legend .key:before{content:"";border-radius:50%;width:.7em;height:.7em;margin-right:.35em;display:inline-block}.legend .key-a:before{background:var(--member)}.legend .key-b:before{background:var(--second)}.meet-table{width:100%;max-width:380px}.meet-table .cell rect{fill:var(--bg);stroke:var(--border)}.meet-table .cell{cursor:pointer}.meet-table .cell text{fill:var(--fg);text-anchor:middle;font-size:11px}.meet-table .cell.diag rect{fill:var(--bg-raised)}.meet-table .cell.diag text{fill:var(--muted)}.meet-table .cell.selected rect{fill:var(--accent-soft);stroke:var(--accent);stroke-width:2px}.table-scroll{overflow-x:auto}.count-table{border-collapse:collapse;font-variant-numeric:tabular-nums;margin-bottom:1rem;font-size:.9rem}.count-table caption{text-align:left;color:var(--muted);padding-bottom:.3rem;font-size:.85rem}.count-table th,.count-table td{white-space:nowrap;border-bottom:1px solid var(--border);text-align:right;padding:.2rem .6rem}.count-table td:last-child,.count-table th:last-child{text-align:left}.search-progress,.search-found{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.fano-figure{max-width:340px;margin:0 auto}.fano .line-stroke{fill:none;stroke:var(--rim);stroke-width:3px}.fano .line-hit{fill:none;stroke:#0000;stroke-width:16px}.fano .fano-line{cursor:pointer}.fano .fano-line:hover .line-stroke{stroke:var(--chord)}.fano .fano-line:focus-visible{outline:none}.fano .fano-line:focus-visible .line-stroke{stroke:var(--accent)}.fano .fano-line.selected .line-stroke{stroke:var(--accent);stroke-width:5px}.fano .fano-line.result .line-stroke{stroke:var(--second);stroke-width:5px}.fano .fano-point{cursor:pointer}.fano .fano-point .dot{fill:var(--bg);stroke:var(--point);stroke-width:2px}.fano .fano-point text{fill:var(--fg);text-anchor:middle;font-size:13px;font-weight:700}.fano .fano-point.selected .dot{fill:var(--member);stroke:var(--member)}.fano .fano-point.result .dot{fill:var(--second);stroke:var(--second)}.fano .fano-point.selected text,.fano .fano-point.result text{fill:var(--bg)}.fano .fano-point:focus-visible{outline:none}.fano .fano-point:focus-visible .dot{stroke:var(--accent);stroke-width:3px}.fano .arrow{fill:none;stroke:var(--hot);stroke-width:2px}.fano .arrow-head{fill:var(--hot)}.fano-info{min-height:3.2em}.line-list{flex-wrap:wrap;gap:.4rem;display:flex}.widget .line-list button{font-variant-numeric:tabular-nums;font-size:.85rem}.widget .line-list button.selected{border-color:var(--accent);color:var(--accent);background:var(--accent-soft)}.widget .line-list button.result{border-color:var(--second);color:var(--second)}.clock-box{max-width:280px;margin:0 auto}.clock{width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.clock .rim{fill:none;stroke:var(--rim);stroke-width:1.5px}.clock .pt .dot{fill:var(--point)}.clock .pt.in-a .dot{fill:var(--member)}.clock .pt.in-b .dot{fill:var(--second)}.clock .pt .hit{fill:#0000}.clock .pt[role=button]{cursor:pointer}.clock .pt:focus-visible{outline:none}.clock .pt:focus-visible .dot,.clock .pt[role=button]:hover .dot{stroke:var(--accent);stroke-width:2.5px}.clock .pt-label{fill:var(--fg);text-anchor:middle;font-size:13px}.clock .pt.in-a .pt-label,.clock .pt.in-b .pt-label{font-weight:700}.clock .walk{fill:none;stroke:var(--member);stroke-width:2.5px}.clock .walk-b{stroke:var(--second)}.clock .lap{fill:none;stroke:var(--member);stroke-opacity:.35;stroke-width:2px}.clock .arrow-head-a{fill:var(--member)}.clock .arrow-head-b{fill:var(--second)}.clock-equation{text-align:center;font-variant-numeric:tabular-nums}.clock-equation .key-a{color:var(--member);font-weight:600}.clock-equation .key-b{color:var(--second);font-weight:600}.clock-equation strong{font-size:1.2rem}.notation{border:1px solid var(--border);border-left:3px solid var(--second);background:var(--bg-raised);border-radius:0 6px 6px 0;margin:1.5rem 0;padding:.75rem 1rem}.notation>:first-child{margin-top:0}.notation>:last-child{margin-bottom:0}.notation .notation-title{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin-bottom:.25rem;font-size:.75rem;display:block}.lesson details{border:1px solid var(--border);border-radius:6px;margin:1rem 0;padding:.5rem .9rem}.lesson details>summary{cursor:pointer;color:var(--accent);font-weight:600}.lesson .widget details{border:none;padding:0}.lesson .widget details>summary{font-weight:400}.try-it{margin-top:2rem}.higher-singer{border:1px solid var(--border);border-radius:8px;padding:.75rem}.higher-singer .widget-heading{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:1rem 0 .3rem;font-size:.75rem}.singer-params,.higher-singer .set-line,.register-rule,.corr-note{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.singer-strip,.singer-bars{width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.singer-bars{height:7rem}.singer-strip .cell rect{fill:var(--bg);stroke:var(--border)}.singer-strip .cell.in rect{fill:var(--member);stroke:var(--member)}.singer-strip text{fill:var(--muted);text-anchor:middle;font-size:8px}.singer-bars .bar{fill:var(--accent)}.singer-bars .bar.peak{fill:var(--hot)}.singer-bars .zero{stroke:var(--muted);stroke-width:1px;vector-effect:non-scaling-stroke}.register-bits{flex-wrap:wrap;gap:2px;font:.8rem/1 ui-monospace,monospace;display:flex}.register-bits .bit{text-align:center;background:var(--bg-raised);border-radius:3px;width:1.1rem;padding:.2rem 0;display:inline-block}.register-bits .bit.zero{background:var(--member);color:#fff}:root{--st-exists:#188038;--st-exists-bg:#18803824;--st-br:#c5221f;--st-br-bg:#c5221f1f;--st-theorem:#b06000;--st-theorem-bg:#e3740024;--st-computer:#7b3fbf;--st-computer-bg:#7b3fbf21;--st-open:#6b6b70;--st-open-bg:transparent}@media (prefers-color-scheme:dark){:root{--st-exists:#81c995;--st-exists-bg:#81c99529;--st-br:#f28b82;--st-br-bg:#f28b8224;--st-theorem:#fcad70;--st-theorem-bg:#fcad7026;--st-computer:#c58af9;--st-computer-bg:#c58af926;--st-open:#9a9aa2;--st-open-bg:transparent}}.planar-search,.large-q-explorer,.polynomial-identity,.plane-orders,.bruck-ryser{border:1px solid var(--border);border-radius:8px;padding:.75rem}:is(.planar-search,.large-q-explorer,.polynomial-identity) .widget-heading{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:1rem 0 .3rem;font-size:.75rem}.widget button:disabled{opacity:.5;cursor:default}.widget button:disabled:hover{border-color:var(--border)}.planar-search .stats{grid-template-columns:repeat(auto-fit,minmax(9.5rem,1fr));gap:.5rem;margin:.75rem 0;display:grid}.planar-search .stat{background:var(--bg-raised);border-radius:6px;flex-direction:column;min-width:0;padding:.5rem .65rem;display:flex}.planar-search .stat-label{color:var(--muted);font-size:.75rem}.planar-search .stat-value{font-variant-numeric:tabular-nums;font-size:1.3rem;font-weight:600}.planar-search .stat-note{color:var(--muted);font-variant-numeric:tabular-nums;overflow-wrap:anywhere;font-size:.8rem}.planar-search.running .stat-value{color:var(--accent)}.search-status.done{font-weight:500}.search-results{font-variant-numeric:tabular-nums;margin:.75rem 0 0;padding-left:2.2rem;font-size:.95rem}.search-results li{overflow-wrap:anywhere;margin:.15rem 0}.badge{white-space:nowrap;border-radius:999px;padding:0 .45rem;font-size:.78rem;display:inline-block}.badge.singer{background:var(--ok-soft);color:var(--ok)}.badge.other{background:var(--bad-soft);color:var(--bad)}.explorer-summary{font-variant-numeric:tabular-nums}.large-q-explorer.busy .explorer-body{opacity:.45}.explorer-body{flex-wrap:wrap;align-items:flex-start;gap:1rem 1.5rem;display:flex}.explorer-chords{flex:320px;min-width:0;max-width:640px}.explorer-chords canvas,.explorer-side canvas{max-width:100%;display:block}.explorer-side{flex:260px;min-width:0}.explorer-side .widget-heading:first-child{margin-top:0}.set-text{width:100%;color:var(--fg);background:var(--bg-raised);border:1px solid var(--border);resize:vertical;border-radius:6px;padding:.4rem;font:.85rem/1.4 ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.widget .button-link{border:1px solid var(--border);background:var(--bg-raised);color:var(--fg);border-radius:6px;padding:.2rem .6rem;font-size:.95rem;text-decoration:none;display:inline-block}.widget .button-link:hover{border-color:var(--accent)}.widget .copied{margin:0}.identity-top{flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;display:flex}.identity-top .circle-box{flex:0 230px;margin:0}.identity-polys{flex:260px;min-width:0}.poly-line,.identity-collected,.identity-at-one,.arrow-note{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.poly-line{margin:0 0 .4rem;font-size:1.05rem}.product-table{border-collapse:collapse;font-variant-numeric:tabular-nums;margin-bottom:.5rem}.product-table th,.product-table td{border:1px solid var(--border);text-align:center;min-width:2.6rem;padding:.2rem .4rem}.product-table th{color:var(--muted);background:var(--bg-raised);font-weight:500}.product-table td.diag{color:var(--muted)}.product-table td.same{background:var(--accent-soft);color:var(--accent);font-weight:600}.identity-arrows{flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;display:flex}.identity-arrows svg{width:260px;max-width:100%;height:auto}.identity-arrows .arrow-note{flex:220px;margin:0}.arrows .axis{stroke:var(--border)}.arrows .target-circle{fill:none;stroke:var(--muted);stroke-dasharray:4 3}.arrows .step{stroke:var(--chord);stroke-width:2px}.arrows .step-head{fill:var(--chord)}.arrows .total{stroke:var(--member);stroke-width:2.5px}.arrows .origin{fill:var(--fg)}.order-legend{flex-wrap:wrap;gap:.3rem 1rem;margin:.25rem 0 .6rem;font-size:.85rem;display:flex}.order-key:before{content:"";vertical-align:-.1em;border:1.5px solid var(--status);background:var(--status-bg);border-radius:3px;width:.85em;height:.85em;margin-right:.35em;display:inline-block}.order-grid{grid-template-columns:repeat(auto-fill,minmax(2.35rem,1fr));gap:3px;display:grid}.widget .order-cell{font-variant-numeric:tabular-nums;border:1.5px solid var(--status);background:var(--status-bg);color:var(--status);border-radius:4px;padding:.25rem 0;font-size:.85rem}.widget .order-cell[aria-pressed=true]{outline:2px solid var(--fg);outline-offset:1px;background:var(--status-bg);color:var(--status);border-color:var(--status)}.s-singer,.s-exists{--status:var(--st-exists);--status-bg:var(--st-exists-bg)}.s-bruck-ryser{--status:var(--st-br);--status-bg:var(--st-br-bg)}.s-theorem{--status:var(--st-theorem);--status-bg:var(--st-theorem-bg)}.s-computer{--status:var(--st-computer);--status-bg:var(--st-computer-bg)}.s-open{--status:var(--st-open);--status-bg:var(--st-open-bg)}.widget .order-cell.s-open{border-style:dashed}.order-detail{background:var(--bg-raised);border-radius:6px;margin-top:.75rem;padding:.6rem .75rem;font-size:.95rem}.order-detail p{margin:.35rem 0}.order-title{font-weight:600}.br-steps{overflow-wrap:anywhere;margin:.3rem 0;padding-left:1.2rem}.widget .order-input{width:9em}:root{--card-face:#fff;--card-rim:#d6d3c8;--card-shadow:0 1px 3px #0000001f}@media (prefers-color-scheme:dark){:root{--card-face:#f4f2ec;--card-rim:#55555c;--card-shadow:0 1px 4px #0009}}.match-card{aspect-ratio:1;background:var(--card-face);border:2px solid var(--card-rim);width:100%;box-shadow:var(--card-shadow);isolation:isolate;border-radius:50%;position:relative;overflow:hidden}.match-card .sym{background:0 0;border:none;border-radius:50%;margin:0;padding:0;display:block;position:absolute}.match-card .sym img{mix-blend-mode:multiply;pointer-events:none;user-select:none;width:116%;height:116%;position:absolute;top:-8%;left:-8%}.match-card button.sym{cursor:pointer}.match-card button.sym:hover,.match-card button.sym:focus-visible{outline:3px solid var(--accent);outline-offset:-3px}.match-card .sym.found{outline:4px solid var(--ok);outline-offset:-2px;background:var(--ok-soft)}.match-card .sym.wrong{animation:.5s sym-wrong}@keyframes sym-wrong{0%,to{background:0 0}30%{background:#c5221f59;transform:translate(-4%)}60%{transform:translate(4%)}}.match-grid{grid-template-columns:repeat(auto-fill,minmax(7.5rem,1fr));gap:.75rem;display:grid}.widget .match-pick{background:0 0;border-radius:12px;flex-direction:column;align-items:center;gap:.3rem;padding:.4rem;display:flex}.widget .match-pick[aria-pressed=true]{background:var(--accent-soft);border-color:var(--accent)}.match-caption{color:var(--muted);font-size:.85rem}.match-pick[aria-pressed=true] .match-caption{color:var(--accent);font-weight:600}.point-tag{background:var(--member);color:#fff;text-align:center;z-index:1;border-radius:.7em;min-width:1.4em;padding:0 .25em;font-size:.75rem;font-weight:700;line-height:1.4;display:none;position:absolute;bottom:4%;right:4%}.match-grid.show-numbers .point-tag{display:block}.match-info{background:var(--bg-raised);font-variant-numeric:tabular-nums;overflow-wrap:anywhere;border-radius:6px;margin-top:.75rem;padding:.4rem .6rem}.deck-maker .seed-out{color:var(--muted);font-variant-numeric:tabular-nums;font-size:.9rem}.deck-maker .mode-bar{margin:.75rem 0 1rem}.deck-maker .print-button{margin-left:auto}.deck-grid{grid-template-columns:repeat(auto-fill,minmax(10rem,1fr));gap:1rem;display:grid}.deck-card{margin:0}.deck-card figcaption{text-align:center;color:var(--muted);margin-top:.25rem;font-size:.85rem}.play-table{grid-template-columns:repeat(2,minmax(0,1fr));gap:clamp(.5rem,3vw,2rem);max-width:44rem;display:grid}.play-status{font-variant-numeric:tabular-nums;font-size:1.1rem;font-weight:600}.play-message{min-height:1.6em}.verify-set,.verify-cards{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.verify-cards{font-size:.9rem}.deck-print{display:none}@media print{@page{margin:10mm}.site-header,.sidebar,.pager,.content>:not(.deck-maker),.deck-maker>:not(.deck-print){display:none!important}.layout,.content{max-width:none;margin:0;padding:0;display:block}body{background:#fff}.deck-print{display:block}.print-page{break-after:page;grid-template-columns:repeat(2,82mm);grid-auto-rows:82mm;justify-content:center;gap:4mm 8mm;display:grid}.print-page:last-child{break-after:auto}.print-page .match-card{width:82mm;height:82mm;box-shadow:none;print-color-adjust:exact;background:#fff;border:.3mm dashed #888}}.video-facade{max-width:40rem}.widget .video-play{aspect-ratio:16/9;border:1px solid var(--border);background:linear-gradient(135deg, var(--bg-raised), var(--accent-soft));text-align:left;border-radius:10px;align-items:center;gap:1rem;width:100%;padding:1.25rem;display:flex}.video-icon{background:var(--accent);border-radius:50%;flex:none;width:4rem;height:4rem;position:relative}.video-icon:after{content:"";border-style:solid;border-width:.8rem 0 .8rem 1.35rem;border-color:transparent transparent transparent var(--bg);position:absolute;top:1.2rem;left:1.55rem}.video-text{flex-direction:column;gap:.25rem;display:flex}.video-text strong{font-size:1.15rem}.video-text small{color:var(--muted)}.video-facade iframe{aspect-ratio:16/9;border:0;border-radius:10px;width:100%;display:block}.video-link{margin:.4rem 0 0;font-size:.9rem}.deck-maker [hidden]{display:none!important}:root{--ap-night:#13203d;--ap-star:#ffc94d;--ap-solid:#5f6368;--ap-hole:#fff;--ap-heat:#1a5fd0;--ap-heat-bg:#fff}@media (prefers-color-scheme:dark){:root{--ap-night:#0b1226;--ap-star:#ffd774;--ap-solid:#3c4043;--ap-hole:#e8eaed;--ap-heat:#8ab4f8;--ap-heat-bg:#101014}}.ap-toggle{display:inline-flex}.ap-toggle button+button{margin-left:-1px}.ap-toggle button:first-child{border-top-right-radius:0;border-bottom-right-radius:0}.ap-toggle button:last-child{border-top-left-radius:0;border-bottom-left-radius:0}.ap-panels{border:1px solid var(--border);border-radius:8px;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:.75rem;padding:.75rem;display:grid}.ap-panel{min-width:0;margin:0}.ap-panel figcaption{color:var(--muted);margin-top:.3rem;font-size:.85rem;line-height:1.35}.ap-panel figcaption strong{color:var(--fg)}.ap-box{aspect-ratio:17/15;border:1px solid var(--border);background:var(--bg-raised);justify-content:center;align-items:center;display:flex}.ap-grid{width:100%;height:100%;display:block}.ap-sky{cursor:crosshair;touch-action:none}.ap-sky:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.ap-sky .night{fill:var(--ap-night)}.ap-sky .star-dot{fill:var(--ap-star);pointer-events:none}.ap-sky .ap-cursor{fill:none;stroke:var(--ap-star);stroke-width:1px;stroke-dasharray:2 1.5;pointer-events:none}.ap-mask .solid{fill:var(--ap-solid)}.ap-mask .hole{fill:var(--ap-hole)}.ap-grid .heat-bg{fill:var(--ap-heat-bg)}.ap-grid .heat{fill:var(--ap-heat)}.ap-grid .heat.neg{fill:var(--bad)}.ap-grid .heat.peak{fill:var(--ap-heat);stroke:var(--ap-star);stroke-width:1px}.ap-placeholder{color:var(--muted);margin:0;font-size:.9rem}.floor-report,.echo-result{border-radius:6px;min-height:1.6em;margin:.6rem 0 0;padding:.4rem .6rem}.floor-report:empty,.echo-result:empty{padding:0}.floor-report.ok,.echo-result.ok{background:var(--ok-soft);color:var(--ok)}.floor-report.bad,.echo-result.bad{background:var(--bad-soft);color:var(--bad)}.echo-finder .echo-shift input{width:min(16rem,55vw)}.echo-panel{border:1px solid var(--border);border-radius:8px;margin:.5rem 0 0;padding:.5rem .6rem}.echo-panel figcaption{color:var(--muted);font-variant-numeric:tabular-nums;font-size:.85rem;line-height:1.35}.echo-panel figcaption strong{color:var(--fg)}.echo-chart{width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.echo-chart .axis{stroke:var(--muted);stroke-width:.75px}.echo-chart .grid{stroke:var(--border);stroke-dasharray:3 3}.echo-chart .tick{fill:var(--muted);text-anchor:middle;font-size:9px}.echo-chart .y-tick{text-anchor:end}.echo-chart .bar{fill:var(--accent);fill-opacity:.55}.echo-chart .bar.neg{fill:var(--muted)}.echo-chart .bar.current{fill:var(--hot);fill-opacity:1}.echo-chart .bar.found{fill:var(--ok);fill-opacity:1}.echo-chart.print .bar{fill-opacity:.85}.echo-signal .sig{fill:var(--point)}.echo-signal .template{fill:none;stroke:var(--hot);stroke-width:1.5px}.echo-subhead{margin:1rem 0 0;font-weight:600}.echo-prints{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.5rem;display:grid}.majority-decoder .code-circle{width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.code-circle .rim{fill:none;stroke:var(--rim);stroke-width:1.5px}.code-circle .check{stroke-width:2.5px;stroke-linejoin:round}.code-circle .check.pass{stroke:var(--ok);fill:var(--ok-soft)}.code-circle .check.fail{stroke:var(--bad);fill:var(--bad-soft);stroke-dasharray:6 3}.code-circle .bit{cursor:pointer}.code-circle .bit .cell{fill:var(--bg);stroke:var(--point);stroke-width:1.5px}.code-circle .bit.one .cell{fill:var(--accent);stroke:var(--accent)}.code-circle .bit .bit-value{fill:var(--fg);text-anchor:middle;pointer-events:none;font-size:13px;font-weight:700}.code-circle .bit.one .bit-value{fill:var(--bg)}.code-circle .bit .bit-index{fill:var(--muted);text-anchor:middle;font-size:10px}.code-circle .bit .ring{fill:#0000;stroke:none}.code-circle .bit.inspect .ring{stroke:var(--hot);stroke-width:2.5px}.code-circle .bit.err .cell{stroke:var(--bad);stroke-width:3px}.code-circle .bit.err .bit-index{fill:var(--bad);font-weight:700}.code-circle .bit.fixed .ring{stroke:var(--second);stroke-width:3px;stroke-dasharray:3 2}.code-circle .bit:hover .cell,.code-circle .bit:focus-visible .cell{stroke:var(--hot);stroke-width:3px}.code-circle .bit:focus-visible{outline:none}.majority-decoder .check-head{margin-bottom:.3rem}.majority-decoder .check-list{font-variant-numeric:tabular-nums;overflow-wrap:anywhere;margin:0 0 .6rem;padding-left:1.2rem;font-size:.9rem}.majority-decoder .check-list li.pass{color:var(--ok)}.majority-decoder .check-list li.fail{color:var(--bad)}.majority-decoder .vote-line{font-weight:600}.majority-decoder .vote-line.flip{color:var(--bad)}.majority-decoder .error-status{font-size:.95rem}.majority-decoder .bit-strips{margin-top:.5rem;font-size:.85rem}.majority-decoder .bit-strip{align-items:baseline;gap:.5rem;margin:.2rem 0;display:flex}.majority-decoder .strip-label{width:2.6rem;color:var(--muted);flex:none}.majority-decoder .bit-strip code{letter-spacing:.05em;overflow-wrap:anywhere;word-break:break-all}.majority-decoder .bit-strip .err{color:var(--bad);font-weight:700;text-decoration:underline}:root{--row-c:#7b3fc4}@media (prefers-color-scheme:dark){:root{--row-c:#c58af9}}.widget .button-group{display:inline-flex}.widget .button-group button:first-child{border-radius:6px 0 0 6px}.widget .button-group button:last-child{border-radius:0 6px 6px 0;margin-left:-1px}.wake-sliders{font-variant-numeric:tabular-nums;flex-wrap:wrap;gap:.25rem 1.25rem;margin-bottom:.5rem;display:flex}.wake-sliders .row-a span{color:var(--member)}.wake-sliders .row-b span{color:var(--second)}.wake-sliders .row-c span{color:var(--row-c)}.wake-sliders span{font-size:.95rem;font-weight:600}.wake-box,.ruler-box{border:1px solid var(--border);border-radius:8px;padding:.75rem}.wake-box p,.ruler-box p{margin:0 0 .6rem}.wake-header{color:var(--muted);font-size:.85rem}.wake-timeline{width:100%;max-width:560px;height:auto;margin-bottom:.6rem;font-family:system-ui,sans-serif;display:block}.wake-timeline .tick{fill:var(--muted);text-anchor:middle;font-size:11px}.wake-timeline .row-label{text-anchor:middle;font-size:14px;font-weight:700}.wake-timeline .row-label.row-a{fill:var(--member)}.wake-timeline .row-label.row-b{fill:var(--second)}.wake-timeline .row-label.row-c{fill:var(--row-c)}.wake-timeline .slot.off{fill:var(--bg-raised);stroke:var(--border)}.wake-timeline .slot.on.row-a{fill:var(--member)}.wake-timeline .slot.on.row-b{fill:var(--second)}.wake-timeline .slot.on.row-c{fill:var(--row-c)}.wake-timeline .slot.meet{stroke:var(--fg);stroke-width:2.5px}.schedule-line,.wake-pairs{font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.wake-pairs{margin:0 0 .6rem;padding-left:1.2rem}.wake-pairs li.miss{color:var(--bad);font-weight:600}.ruler-figure{max-width:360px;margin:0 auto .5rem}.ruler-figure:has(.ruler-line){max-width:560px}.ruler-circle,.ruler-line,.coarray{width:100%;height:auto;font-family:system-ui,sans-serif;display:block}.ruler-circle .rim{fill:none;stroke:var(--rim);stroke-width:1.5px}.ruler-circle .tick-mark,.ruler-line .tick-mark{stroke:var(--point);stroke-width:1.5px}.ruler-circle .arc{fill:none;stroke-width:5px;stroke-linecap:round}.ruler-circle .arc-a{stroke:var(--member)}.ruler-circle .arc-b{stroke:var(--second)}.ruler-circle .arc-label{text-anchor:middle;font-size:15px;font-weight:700}.ruler-circle .arc-label.arc-a{fill:var(--member)}.ruler-circle .arc-label.arc-b{fill:var(--second)}.ruler-circle .mark,.ruler-line .antenna{cursor:pointer}.ruler-circle .mark .hit,.ruler-line .antenna .hit{fill:#0000}.ruler-circle .mark .dot{fill:var(--accent)}.ruler-circle .mark.selected .dot{fill:var(--hot)}.ruler-circle .mark:hover .dot,.ruler-circle .mark:focus-visible .dot{stroke:var(--fg);stroke-width:2px}.ruler-circle .mark:focus-visible,.ruler-line .antenna:focus-visible{outline:none}.ruler-circle .mark-label,.ruler-line .mark-label{fill:var(--fg);text-anchor:middle;font-size:13px;font-weight:700}.ruler-line .baseline{stroke:var(--fg);stroke-width:2px}.ruler-line .mast{stroke:var(--accent);stroke-width:2.5px}.ruler-line .dish{fill:var(--accent)}.ruler-line .antenna.selected .mast{stroke:var(--hot)}.ruler-line .antenna.selected .dish{fill:var(--hot)}.ruler-line .antenna:hover .dish,.ruler-line .antenna:focus-visible .dish{stroke:var(--fg);stroke-width:1.5px}.coarray{max-width:560px;margin-top:.5rem}.coarray .tick{fill:var(--muted);text-anchor:middle;font-size:10px}.coarray .spacing.once rect{fill:var(--ok)}.coarray .spacing.repeat rect{fill:var(--over)}.coarray .spacing.hot rect{fill:var(--hot)}.coarray .missing-x{fill:var(--bad);text-anchor:middle;font-size:16px;font-weight:700}.distance-tally{font-variant-numeric:tabular-nums;flex-wrap:wrap;gap:4px;margin-bottom:.6rem;display:flex}.tally-cell{border:1px solid var(--border);background:var(--ok-soft);border-radius:6px;flex-direction:column;align-items:center;min-width:2.6rem;padding:.15rem .3rem;line-height:1.2;display:inline-flex}.tally-cell small{color:var(--muted);font-size:.72rem}.tally-cell.missing{background:var(--bad-soft)}.tally-cell.hot-a{border-color:var(--member);box-shadow:inset 0 0 0 1.5px var(--member)}.tally-cell.hot-b{border-color:var(--second);box-shadow:inset 0 0 0 1.5px var(--second)}.ruler-info{font-variant-numeric:tabular-nums;min-height:3em}.lesson table{border-collapse:collapse;font-variant-numeric:tabular-nums;max-width:100%;margin:1rem 0;font-size:.95rem;display:block;overflow-x:auto}.lesson th,.lesson td{border-bottom:1px solid var(--border);text-align:left;padding:.3rem .8rem}.lesson th{border-bottom-width:2px}