@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(./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(./KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(./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(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(./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(./KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(./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(./KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.2"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}html{background:#fbfbfa;min-width:320px}body{text-rendering:optimizelegibility;min-width:320px;min-height:100vh;margin:0;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,Noto Sans JP,sans-serif}a{color:inherit}:root{--paper:#fbfbfa;--ink:#17191b;--muted:#626971;--line:#d9dde1;--line-dark:#aab1b8;--blue:#1769aa;--blue-soft:#e7f1f8;--blue-deep:#0d4f84;--code:#151a20;color:var(--ink)}*{box-sizing:border-box}button,input{font:inherit}button{color:inherit}button:focus-visible,a:focus-visible,[tabindex]:focus-visible,input:focus-visible{outline-offset:3px;outline:3px solid #0b74c9}.app-shell{background:var(--paper);min-height:100dvh}.app-header{z-index:20;border-bottom:1px solid var(--line);background:#fbfbfaf7;grid-template-columns:1fr auto 1fr;align-items:center;height:64px;padding:0 26px;display:grid;position:fixed;inset:0 0 auto}.brand-lockup{letter-spacing:-.01em;align-items:center;gap:11px;font-weight:650;display:flex}.brand-name{white-space:nowrap}.brand-mark{border:1px solid var(--ink);place-items:center;width:30px;height:30px;font:600 17px/1 Georgia,serif;display:grid}.header-position{color:var(--muted);align-items:center;gap:18px;font-size:13px;display:flex}.header-position button{min-height:44px;color:inherit;cursor:pointer;background:0 0;border:0}.position-count{color:var(--ink);font-variant-numeric:tabular-nums;white-space:nowrap}.header-progress{cursor:pointer;appearance:none;touch-action:manipulation;background:0 0;border:0;height:16px;padding:5px 0;position:absolute;top:58px;left:0;right:0}.header-progress-track{background:var(--line);width:100%;height:5px;transition:height .15s,background-color .15s;display:block;overflow:hidden}.header-progress:hover .header-progress-track,.header-progress:focus-visible .header-progress-track{background:var(--line-dark);height:7px}.header-progress-fill{background:var(--ink);height:100%;transition:width .18s;display:block}.header-progress:focus-visible{outline-offset:-2px;outline:2px solid #0b74c9}.menu-button{cursor:pointer;background:0 0;border:0;place-content:center;justify-self:end;gap:6px;width:44px;height:44px;display:grid}.menu-button span{background:currentColor;width:20px;height:1px;display:block}.tour-layout{grid-template-columns:41% 59%;min-height:100dvh;padding-top:69px;display:grid}.door-layout .reading-pane{color:#f4f5f5;background:#15191d;border-color:#343a40}.door-layout .visual-stage{background:#f1f3f4}.door-layout .page-eyebrow,.door-layout .lesson-body,.door-layout .source-link{color:#c1c8ce}.door-layout .inline-code{color:#f4f5f5;background:#242a2f;border-color:#4b545c}.door-layout .tour-route{border-color:#4a5259}.door-layout .tour-route small{color:#75b9ea}.door-layout .tour-route ol,.door-layout .tour-route li{border-color:#3b4248}.app-shell:has(.door-layout) .lesson-navigation-shell{background:#15191dfa;border-color:#343a40}.app-shell:has(.door-layout) .lesson-navigation button{color:#f4f5f5;background:0 0;border-color:#66717a}.app-shell:has(.door-layout) .lesson-navigation .next-button{color:var(--ink);background:#f4f5f5;border-color:#f4f5f5}.reading-pane{border-right:1px solid var(--line);flex-direction:column;min-width:0;height:calc(100dvh - 69px);padding:clamp(40px,6vh,74px) clamp(34px,4.6vw,76px) 112px;display:flex;overflow-y:auto}.lesson-copy{width:min(100%,560px);margin:0 auto}.lesson-copy h1{letter-spacing:-.03em;max-width:17em;margin:0 0 27px;font-size:clamp(26px,2.1vw,34px);font-weight:630;line-height:1.25}.page-eyebrow{color:var(--muted);letter-spacing:.04em;margin:0 0 14px;font:13px ui-monospace,monospace}.lesson-body{font-size:17px;line-height:1.82}.lesson-body-loading{min-height:3.64em;color:var(--muted);font-size:14px}.lesson-body p{margin:0 0 1em}.lesson-body a{color:#0b5cab;text-underline-offset:3px;text-decoration-thickness:1px}.lesson-body a:hover{text-decoration-thickness:2px}.lesson-body a:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 45%, transparent);outline-offset:3px;border-radius:2px}.inline-code{border:1px solid var(--line);color:var(--ink);word-break:break-word;background:#f1f3f5;border-radius:4px;margin:0 2px;padding:2px 6px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em}.code-block{overflow-wrap:anywhere;white-space:pre-wrap;background:var(--code);color:#e8edf2;tab-size:4;border-radius:3px;max-width:100%;margin:27px 0 20px;padding:18px 20px;font:14px/1.65 ui-monospace,SFMono-Regular,Menlo,monospace;overflow-x:auto}.token.keyword,.token.builtin{color:#8fc8ff}.token.function{color:#f0d48a}.token.number,.token.boolean{color:#bd9cff}.token.string{color:#9bd6a8}.token.comment{color:#9aa4ad}.lesson-note{border-left:2px solid var(--blue);color:var(--muted);margin:20px 0;padding-left:14px;font-size:14px;line-height:1.75}.source-links{gap:7px;margin-top:22px;display:grid}.source-link{width:fit-content;color:var(--muted);text-underline-offset:3px;font-size:13px;line-height:1.5}.lesson-navigation{justify-content:space-between;gap:16px;width:min(100%,560px);margin:auto;display:flex}.lesson-navigation button,.button-row button,.segment-switch button,.symbol-picker button,.occurrence-picker button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;min-height:44px;padding:0 16px}.lesson-navigation .next-button{border-color:var(--ink);background:var(--ink);color:#fff}.lesson-navigation button:disabled{opacity:.35;cursor:default}.lesson-navigation-shell{z-index:18;border-top:1px solid var(--line);border-right:1px solid var(--line);background:#fbfbfafa;width:41%;padding:10px clamp(34px,4.6vw,76px);position:fixed;inset:auto auto 0 0}.visual-stage{background:#f7f8f8;place-items:center;min-width:0;height:calc(100dvh - 69px);display:grid;position:relative;overflow:auto}.stage-inner{flex-direction:column;justify-content:center;gap:28px;width:min(88%,780px);min-width:0;min-height:510px;padding:48px 0;display:flex}.stage-loading{color:var(--muted);align-items:center;font-size:14px}.stage-heading{color:var(--muted);align-items:baseline;gap:18px;display:flex}.stage-heading output{color:var(--ink);letter-spacing:.13em;font:18px ui-monospace,monospace}.bit-row{justify-content:center;align-items:end;gap:7px;min-width:max-content;display:flex}.bit-row.compact{margin-top:8px}.bit-wrap{justify-items:center;gap:7px;padding-top:50px;display:grid;position:relative}.bit-wrap small{color:var(--muted);font:11px ui-monospace,monospace}.bit{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;z-index:1;width:clamp(46px,5.4vw,64px);height:clamp(54px,6vw,70px);font:600 21px ui-monospace,monospace;position:relative}.bit-1{border-color:var(--ink);background:var(--ink);color:#fff}.bit.counted{box-shadow:inset 0 -6px 0 var(--blue)}.bit.selected{outline:3px double var(--blue);outline-offset:3px}.bit.in-base{color:#3b536b;background:#eef3f8;border-color:#9cb2c9}.bit-1.in-base{color:#fff;background:#39526e;border-color:#2b4560}.bit.in-tail{border-color:var(--blue);box-shadow:inset 0 0 0 2px var(--blue)}.ordinal{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;border-radius:50%;width:44px;height:44px;padding:0;font-size:12px;position:absolute;top:0}.ordinal.selected{border:2px solid var(--blue);color:var(--blue-deep);font-weight:700}.block-line{z-index:0;background:var(--blue);width:1px;height:88px;position:absolute;bottom:22px;left:-5px}.index-strip{border-top:1px solid var(--line-dark);grid-template-columns:1fr 1fr;gap:12px;width:100%;padding-top:12px;font:13px ui-monospace,monospace;display:grid}.block-card{border:1px solid var(--line-dark);background:var(--paper);text-align:center;border-radius:4px;gap:3px;padding:10px 12px;display:grid}.block-card.active{border-color:var(--blue);background:var(--blue-soft)}.block-card.disabled{opacity:.7;background:#f3f4f6;border-style:dashed}.block-card.disabled .block-base-val b{color:var(--muted)}.block-card .block-title{color:var(--ink);font-weight:600}.block-card .block-title small{color:var(--muted);margin-left:4px;font-weight:400}.block-card .block-base-val b{color:var(--blue-deep);margin-left:4px;font-size:16px}.block-card .block-note{color:var(--muted);font-size:11px}.super-strip{background:var(--blue-soft);border:1px solid #abcce2;justify-content:space-between;width:100%;padding:12px 16px;font:13px ui-monospace,monospace;display:flex}.stage-control{grid-template-columns:minmax(110px,auto) 1fr 48px;align-items:center;gap:16px;display:grid}.stage-control output{border:1px solid var(--ink);text-align:center;min-width:44px;padding:10px;font-weight:700}.stage-control input{min-height:44px;accent-color:var(--blue)}.annotation-row,.result-equation{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);flex-wrap:wrap;justify-content:center;align-items:center;gap:13px;padding:16px;font:14px ui-monospace,monospace;display:flex}.annotation-row strong,.result-equation strong{color:var(--blue-deep);font-size:20px}.result-equation.block-breakdown{gap:10px 14px}.result-equation.block-breakdown>span{align-items:baseline;gap:4px;display:inline-flex}.result-equation.block-breakdown small{color:var(--muted);font-size:12px}.button-row{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;display:flex}.button-row button:first-child{border-color:var(--ink);background:var(--ink);color:#fff}.button-row span{color:var(--muted);font:13px ui-monospace,monospace}.space-meter{gap:9px;display:grid}.space-meter span{border:1px solid var(--line-dark);align-items:center;height:45px;padding:0 14px;display:flex;position:relative;overflow:hidden}.space-meter i{z-index:0;background:#d5dadd;position:absolute;inset:0 auto 0 0}.space-meter i.aux{background:var(--blue-soft)}.space-meter span{isolation:isolate}.space-meter span:after{content:"";z-index:-1}.space-meter i{z-index:-1}.space-meter b{text-align:right;color:var(--blue-deep);font:13px ui-monospace,monospace}.information-stage{align-items:center}.state-number{align-items:baseline;gap:9px;display:flex}.state-number small{color:var(--muted)}.state-number strong{font:500 clamp(70px,10vw,132px)/1 Georgia,serif}.state-number span{color:var(--muted);font:14px ui-monospace,monospace}.readout-grid{border:1px solid var(--line-dark);grid-template-columns:repeat(4,1fr);width:min(100%,600px);display:grid}.readout-grid p{border-right:1px solid var(--line);gap:7px;margin:0;padding:16px;display:grid}.readout-grid p:last-child{border:0}.readout-grid small{color:var(--muted)}.readout-grid strong{font-size:22px}.representation-flow{justify-items:center;gap:17px;width:min(100%,600px);display:grid}.representation-flow>div:first-child{text-align:center;border:1px solid var(--line-dark);gap:7px;width:100%;padding:22px;display:grid}.representation-flow small{color:var(--muted)}.representation-flow strong{font:600 19px ui-monospace,monospace}.split-representation{grid-template-columns:1fr auto 1fr;align-items:center;gap:14px;width:100%;display:grid}.split-representation p{border:1px solid var(--line-dark);text-align:center;gap:7px;margin:0;padding:20px;display:grid}.split-representation .accent-box{border-color:var(--blue);background:var(--blue-soft)}.query-pills{gap:9px;display:flex}.query-pills span{border:1px solid var(--ink);padding:8px 14px;font:13px ui-monospace,monospace}.mapping-view{justify-items:center;gap:18px;display:grid}.mini-bits{justify-content:center;gap:6px;display:flex}.mini-bits span,.high-bits span{border:1px solid var(--line-dark);background:var(--paper);border-radius:4px;place-items:center;width:clamp(38px,4.8vw,44px);height:clamp(42px,5.5vw,50px);font:700 clamp(16px,2.2vw,20px) ui-monospace,monospace;display:grid}.mini-bits span.source-0-bit,.bit-chip.source-0-bit,.source-0-partition,.source-0-tag{background:var(--blue-soft);color:var(--blue-deep);border:1px solid #abcce2;font-weight:700}.mini-bits span.source-1-bit,.bit-chip.source-1-bit,.source-1-partition,.source-1-tag,.high-bits span.one{background:var(--ink);color:#fff;border:1px solid var(--ink);font-weight:700}.alphabet-split .source-0-tag,.alphabet-split .source-1-tag{border-radius:4px;padding:4px 16px}.partition-symbol-row{align-items:center;gap:6px;display:flex}.partition-chip{border-radius:4px;place-items:center;width:34px;height:38px;font:700 18px ui-monospace,monospace;display:grid}.position-set{border:1px solid var(--blue);background:var(--blue-soft);padding:16px 23px;font:18px ui-monospace,monospace}.segment-switch{justify-content:center;display:flex}.segment-switch button+button{margin-left:-1px}.segment-switch .active,.symbol-picker .active,.occurrence-picker .active{border-color:var(--blue);background:var(--blue-soft);color:var(--blue-deep);font-weight:650;position:relative}.large-pattern{justify-content:center;gap:8px;display:flex}.large-pattern span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:68px;height:74px;font:24px ui-monospace,monospace;display:grid}.large-pattern span.one{background:var(--ink);color:#fff}.class-offset{border:1px solid var(--line-dark);grid-template-columns:repeat(3,1fr);display:grid}.class-offset p{border-right:1px solid var(--line);gap:5px;margin:0;padding:13px 18px;display:grid}.class-offset p:last-child{border:0}.class-offset small{color:var(--muted)}.class-offset strong{font:19px ui-monospace,monospace}.rrr-table-wrapper{width:100%;margin-top:10px;overflow-x:auto}.rrr-class-table{border-collapse:collapse;border:1px solid var(--line-dark);width:100%;font:13px ui-monospace,monospace}.rrr-class-table th,.rrr-class-table td{border:1px solid var(--line);text-align:left;padding:6px 10px}.rrr-class-table th{background:var(--paper);color:var(--muted);font-size:11px;font-weight:500}.rrr-class-table tr.active-row{background:var(--blue-soft)}.rrr-class-table tr.active-row td:first-child{border-left:3px solid var(--blue);font-weight:700}.patterns-cell{flex-wrap:wrap;gap:4px;display:flex}.pattern-chip{border:1px solid var(--line);background:var(--paper);padding:2px 5px;font-size:12px}.pattern-chip small{color:var(--muted);margin-right:4px;font-size:10px}.pattern-chip.active-pattern{border-color:var(--blue);background:var(--blue-soft);color:var(--blue-deep);font-weight:700}.pattern-list{flex-wrap:wrap;justify-content:center;gap:7px;display:flex}.pattern-list span{border:1px solid var(--line);background:var(--paper);padding:8px 10px;font:13px ui-monospace,monospace}.pattern-list small{color:var(--muted);margin-right:8px}.pattern-list .current{border:2px solid var(--blue);background:var(--blue-soft)}.step-flow{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;font:13px ui-monospace,monospace;display:flex}.step-flow span,.step-flow strong{opacity:.3;border:1px solid var(--line-dark);padding:8px}.step-flow .done{opacity:1;border-color:var(--blue)}.integer-rows{gap:8px;display:grid}.integer-rows>div{grid-template-columns:35px 90px 1fr;align-items:center;gap:16px;display:grid}.integer-rows .integer-row-head{border-bottom:1px solid var(--line);padding-bottom:7px}.integer-row-head small:nth-child(2){text-align:center}.binary{grid-template-columns:1fr 2fr;font:16px ui-monospace,monospace;display:grid}.binary i,.binary em{text-align:center;border:1px solid var(--line-dark);padding:9px;font-style:normal}.binary em{border-color:var(--blue);background:var(--blue-soft)}.integer-rows small{color:var(--muted);font:12px ui-monospace,monospace}.low-array,.high-bits{border-top:1px solid var(--line-dark);padding-top:14px}.low-array>small,.high-bits>small{color:var(--muted);font-size:13px}.low-array p,.high-bits p{justify-content:center;gap:6px;margin-top:6px;display:flex}.low-array span{border:1px solid var(--blue);background:var(--blue-soft);padding:9px;font:14px ui-monospace,monospace}.ef-high-transform{gap:6px;width:min(100%,480px);font:13px ui-monospace,monospace;display:grid}.ef-high-transform>div{border-bottom:1px solid var(--line);text-align:center;grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:8px;padding:8px 11px;display:grid}.ef-high-transform strong{color:var(--blue-deep)}.high-bits span{grid-template-rows:13px 1fr 13px;height:68px;padding:4px 0}.high-bits span small,.high-bits span em{color:inherit;opacity:.72;font:10px ui-monospace,monospace}.high-bits span b{font:700 19px ui-monospace,monospace}.high-bits span.selected-one{outline:3px solid var(--blue);outline-offset:3px}.ef-index-selector{grid-template-columns:repeat(3,1fr);width:min(100%,430px);display:grid}.ef-index-selector button{border:1px solid var(--line-dark);background:var(--paper);place-items:center;gap:3px;min-width:0;min-height:58px;display:grid}.ef-index-selector button+button{margin-left:-1px}.ef-index-selector button.active{border:2px solid var(--blue);background:var(--blue-soft);color:var(--blue-deep);position:relative}.ef-index-selector small{font-size:12px}.ef-index-selector strong{font:600 13px ui-monospace,monospace}.ef-decode-flow{justify-items:center;gap:6px;width:min(100%,430px);font:13px ui-monospace,monospace;display:grid}.ef-decode-flow>span{border:1px solid var(--line-dark);background:var(--paper);justify-content:space-between;align-items:center;gap:14px;width:100%;min-height:50px;padding:9px 13px;display:flex}.ef-decode-flow small{color:var(--muted);font-size:12px}.ef-decode-flow>i{color:var(--blue-deep);font-style:normal}.ef-decode-flow .decode-answer{border:2px solid var(--blue);background:var(--blue-soft)}.decode-answer strong{color:var(--blue-deep);font-size:17px}.encoding-comparison{gap:18px;width:min(100%,610px);display:grid}.comparison-example{border-bottom:1px solid var(--line-dark);grid-template-columns:1fr auto;align-items:end;gap:5px 20px;padding-bottom:14px;display:grid}.comparison-example small{color:var(--muted);grid-column:1/-1;font:12px ui-monospace,monospace}.comparison-example strong{font-size:22px}.comparison-example span{color:var(--muted);font:13px ui-monospace,monospace}.comparison-example code{border:1px solid var(--line);background:var(--paper);color:var(--ink);padding:2px 5px}.comparison-bars{gap:8px;display:grid}.comparison-bars button{border:1px solid var(--line-dark);background:var(--paper);text-align:left;grid-template-columns:minmax(118px,1fr) minmax(120px,2fr) 92px;align-items:center;gap:14px;min-width:0;min-height:62px;padding:9px 12px;display:grid}.comparison-bars button.active{border:2px solid var(--blue);background:var(--blue-soft)}.comparison-name{font:600 13px ui-monospace,monospace}.comparison-track{border:1px solid var(--line-dark);background:#e7eaec;height:12px;overflow:hidden}.comparison-track i{background:var(--ink);min-width:3px;height:100%;display:block}.comparison-bars button.active .comparison-track i{background:var(--blue-deep)}.comparison-size{justify-items:end;gap:3px;display:grid}.comparison-size strong{white-space:nowrap;font:600 14px ui-monospace,monospace}.comparison-size small{color:var(--muted);font:12px ui-monospace,monospace}.comparison-detail{border:1px solid var(--blue);background:var(--blue-soft);justify-content:space-between;align-items:center;gap:18px;min-height:62px;padding:12px 14px;display:flex}.comparison-detail small{color:var(--muted);font-size:12px}.comparison-detail strong{text-align:right;font:600 14px ui-monospace,monospace}.comparison-note{color:var(--muted);text-align:center;margin:-5px 0 0;font:12px ui-monospace,monospace}.sequence-stage{position:relative}.stage-connector-overlay{pointer-events:none;z-index:10;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.connector-path-bg{fill:none;stroke:var(--paper);stroke-width:7px;stroke-linecap:round;stroke-linejoin:round;opacity:.95}.connector-path-fg{fill:none;stroke:var(--blue);stroke-width:3px;stroke-linecap:round;stroke-linejoin:round;stroke-dasharray:6 4;animation:1.2s linear infinite connectorFlow}.connector-path-fg.seg-bit-0{stroke:var(--blue)}.connector-path-fg.seg-bit-1{stroke:var(--ink)}@keyframes connectorFlow{to{stroke-dashoffset:-20px}}.connector-node-dot{stroke:#fff;stroke-width:2px}.connector-node-dot.seg-bit-0{fill:var(--blue-deep)}.connector-node-dot.seg-bit-1{fill:var(--ink)}.trace-active{outline:3px double var(--blue)!important;outline-offset:2px!important;box-shadow:0 0 0 3px var(--blue-soft)!important;z-index:3!important}.trace-leaf-active{border:3px solid var(--blue)!important;background:var(--blue-soft)!important;font-weight:700!important}.wave-bits-group{flex-direction:column;align-items:flex-start;width:fit-content;margin:0 auto;display:flex}.rank-prefix-container{flex-direction:column;align-items:flex-start;width:100%;margin-top:2px;display:flex}.rank-prefix-bar-wrap{width:100%;height:8px;position:relative}.rank-prefix-bar{background:var(--blue);border-radius:2px;height:3px;transition:width .2s,opacity .2s;position:absolute;top:1px;left:0}.rank-prefix-bar:before,.rank-prefix-bar:after{content:"";background:var(--blue);width:2px;height:6px;position:absolute;top:-2px}.rank-prefix-bar:before{left:0}.rank-prefix-bar:after{right:0}.rank-prefix-label{color:var(--blue-deep);white-space:nowrap;margin-top:2px;font:11px/1.2 ui-monospace,monospace}.rank-prefix-label strong{color:var(--blue-deep);font-weight:700}.symbol-row,.text-row{justify-content:center;display:flex}.symbol-row button,.text-row button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;width:clamp(50px,6vw,70px);height:66px;margin-left:-1px;font:20px ui-monospace,monospace}.symbol-row button.selected,.text-row button.selected{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.symbol-row small,.text-row small{color:var(--muted);margin-top:5px;font-size:10px;display:block}.alphabet-split{text-align:center;grid-template-columns:1fr auto 1fr;gap:24px;font:21px ui-monospace,monospace;display:grid}.alphabet-split i{color:var(--blue);font-style:normal}.wavelet-diagram{grid-template:94px 30px 88px 30px 58px/repeat(4,1fr);gap:6px 14px;height:350px;display:grid;position:relative}.wave-node{--chip-width:28px;--chip-gap:4px;border:1px solid var(--line-dark);background:var(--paper);flex-direction:column;justify-content:flex-start;align-items:center;gap:4px;padding:6px 8px;display:flex}.wave-node b{color:var(--muted);letter-spacing:.04em;font:500 12px ui-monospace,monospace}.wave-bit-row{gap:var(--chip-gap);justify-content:center;align-items:center;display:flex}.wave-node .bit-chip{width:var(--chip-width);border-radius:4px;place-items:center;height:32px;font:700 16px ui-monospace,monospace;display:grid}.wave-node.root{grid-column:2/4}.wavelet-diagram>i{place-self:center;font-style:normal}.wavelet-diagram>i:first-of-type{grid-column:2}.wavelet-diagram>i:nth-of-type(2){grid-column:3}.wave-node.left{grid-column:1/3}.wave-node.right{grid-column:3/5}.wave-leaf{border:1px solid var(--line-dark);background:var(--paper);place-items:center;font:600 16px ui-monospace,monospace;display:grid}.wave-node.path,.wave-leaf.path{border:2px solid var(--blue);background:var(--blue-soft)}.wavelet-diagram i.path{color:var(--blue-deep);font-weight:700}.wave-node.node-disabled{opacity:.35;filter:grayscale(80%);pointer-events:none}.wave-leaf.leaf-disabled{opacity:.35;filter:grayscale(80%)}.wavelet-diagram>i.disabled{opacity:.35}.symbol-picker,.occurrence-picker{justify-content:center;display:flex}.symbol-picker button,.occurrence-picker button{min-width:44px;padding:0 13px}.symbol-picker button+button,.occurrence-picker button+button{margin-left:-1px}.matrix-source-row{grid-template-columns:repeat(8,minmax(0,1fr));width:min(100%,600px);display:grid}.matrix-source-row button{width:auto;min-width:44px}.matrix-levels{gap:8px;width:min(100%,700px);display:grid}.matrix-level-group{gap:8px;display:grid}.matrix-level-card,.matrix-partition-card{border:1px solid var(--line-dark);background:var(--paper);grid-template-columns:92px minmax(0,1fr) auto;align-items:center;gap:12px;min-width:0;padding:10px 12px;display:grid}.matrix-levels small,.matrix-levels em{color:var(--muted);font-style:normal}.matrix-levels em{white-space:nowrap;font:12px ui-monospace,monospace}.matrix-partition-card{background:0 0;border-style:dashed}.matrix-bit-row,.partition-symbol-row{justify-content:center;align-items:center;gap:4px;min-width:0;display:flex}.matrix-bit-row .bit-chip,.matrix-stage .partition-chip{border-radius:4px;place-items:center;width:32px;height:36px;font:700 17px ui-monospace,monospace;display:grid}.bit-chip.selected,.partition-chip.selected{outline:3px double var(--blue);outline-offset:2px;z-index:1;position:relative}.matrix-order-compare{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-template-columns:112px 1fr;align-items:center;gap:6px 12px;width:min(100%,560px);padding:10px 12px;display:grid}.matrix-order-compare small{color:var(--muted);font-size:12px}.matrix-order-compare code{word-spacing:.45em;font:13px ui-monospace,monospace}.matrix-trace-result strong{white-space:nowrap}.partition-row{word-spacing:.55em;letter-spacing:.12em;color:var(--ink);font:700 20px ui-monospace,monospace}.tree-svg{width:100%;max-height:320px;overflow:visible}.tree-svg line{stroke:var(--line-dark);stroke-width:2px}.tree-svg line.active{stroke:var(--blue);stroke-width:4px;stroke-dasharray:7 4}.tree-svg g{cursor:pointer}.tree-svg circle{fill:var(--paper);stroke:var(--ink);stroke-width:1.5px}.tree-svg g.selected circle{fill:var(--blue-soft);stroke:var(--blue);stroke-width:3px}.tree-svg text{text-anchor:middle;pointer-events:none;font:600 15px ui-monospace,monospace}.pointer-readout,.tree-query{border:1px solid var(--line-dark);grid-template-columns:repeat(3,1fr);display:grid}.pointer-readout span,.pointer-readout strong,.tree-query p{text-align:center;border-right:1px solid var(--line);margin:0;padding:14px}.pointer-readout strong,.tree-query p:last-child{border:0}.tree-query p{gap:4px;display:grid}.tree-query small{color:var(--muted)}.tree-query strong{font:17px ui-monospace,monospace}.paren-row{justify-content:center;gap:4px;display:flex}.paren-row span{opacity:.12;border-bottom:1px solid var(--line-dark);place-items:center;width:39px;min-height:58px;display:grid}.paren-row span.visible{opacity:1}.paren-row span.range{background:var(--blue-soft);border-bottom:3px solid var(--blue)}.paren-row span.selected{outline:2px solid var(--blue)}.paren-row span.current{background:var(--blue-soft);border-bottom:3px solid var(--blue)}.paren-row b{font:28px Georgia,serif}.paren-row small{color:var(--muted);font:10px ui-monospace,monospace}.excess-chart svg{width:100%}.excess-chart path{fill:none;stroke:var(--blue);stroke-width:3px}.excess-chart line{stroke:var(--line-dark)}.excess-chart circle{fill:var(--paper);stroke:var(--blue);stroke-width:2px}.excess-chart text{fill:var(--ink);text-anchor:middle;font:600 13px Georgia,serif}.excess-chart{text-align:center;grid-template-columns:1fr 1fr;gap:8px;font:13px ui-monospace,monospace;display:grid}.excess-chart svg{grid-column:1/-1}.louds-row{justify-content:center;gap:6px;font:18px ui-monospace,monospace;display:flex}.louds-row span{opacity:.12;border:1px solid var(--line-dark);background:var(--paper);gap:7px;padding:11px;display:grid}.louds-row span.visible{opacity:1}.louds-row span.selected{border:2px solid var(--blue);background:var(--blue-soft)}.louds-row small{color:var(--muted);font-size:10px}.louds-bit-row{flex-wrap:wrap;justify-content:center;gap:4px;display:flex}.louds-bit-chip{border:1px solid var(--line-dark);background:var(--paper);border-radius:4px;place-items:center;width:38px;min-height:58px;padding:4px 0;display:grid}.louds-bit-chip small{color:var(--muted);font:10px ui-monospace,monospace}.louds-bit-chip b{font:700 18px ui-monospace,monospace}.louds-bit-chip .node-tag{color:var(--muted);font-size:9px}.louds-bit-chip.selected-owner{border-color:var(--blue)}.louds-bit-chip.in-range{background:var(--blue-soft);border-bottom:3px solid var(--blue)}.louds-bit-chip.is-edge{outline:2px solid var(--blue);outline-offset:-1px;background:var(--blue-soft)}.louds-nav-calc{grid-template-columns:1fr 1fr;gap:12px;display:grid}.calc-card{border:1px solid var(--line-dark);background:var(--paper);text-align:center;flex-direction:column;gap:10px;padding:12px 14px;display:flex}.calc-card.empty{opacity:.7;justify-content:center}.calc-flow{flex-direction:column;align-items:center;gap:6px;display:flex}.flow-step{background:var(--paper);border:1px solid var(--line);flex-direction:column;align-items:center;gap:3px;width:100%;padding:8px 6px;display:flex}.flow-arrow{color:var(--blue);font:700 14px ui-monospace,monospace}.step-label{color:var(--muted);font-size:11px}.step-val{color:var(--ink);word-break:break-all;font:600 13px ui-monospace,monospace}.step-badge{border:1px solid var(--line-dark);background:var(--paper);margin-top:2px;padding:3px 8px;font:600 11px ui-monospace,monospace}.step-badge.highlight{border-color:var(--blue);background:var(--blue-soft);color:var(--blue-deep);font-weight:700}.suffix-table{border-top:1px solid var(--line-dark);width:min(100%,620px);margin:auto;font:13px ui-monospace,monospace;display:grid}.suffix-table>div{border-bottom:1px solid var(--line);align-items:center;min-height:37px;display:grid}.suffix-table.unsorted>div{grid-template-columns:42px 1fr}.suffix-table.sorted>div{grid-template-columns:42px 42px 1fr}.suffix-table.with-bwt>div{grid-template-columns:42px 42px 1fr 38px 38px}.suffix-table>div>*{min-width:0;padding:7px 8px}.suffix-table>div.selected{outline:2px solid var(--blue);outline-offset:-2px}.suffix-table>div.matched{background:var(--blue-soft);border-left:4px solid var(--blue)}.suffix-table .suffix-head{color:var(--muted);font-size:11px}.suffix-table strong{overflow-wrap:anywhere;font-weight:500}.suffix-table b{text-align:center;border-left:1px solid var(--line)}.sa-strip,.bwt-strip{opacity:.15;justify-content:center;align-items:center;display:flex}.sa-strip.visible,.bwt-strip{opacity:1}.sa-strip small,.bwt-strip>small{color:var(--muted);margin-right:12px}.sa-strip span,.bwt-strip span,.bwt-strip button{border:1px solid var(--line-dark);background:var(--paper);place-items:center;min-width:44px;height:44px;margin-left:-1px;font:15px ui-monospace,monospace;display:grid}.bwt-strip button{cursor:pointer}.bwt-strip button.selected,.bwt-strip span.selected{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.bwt-strip button small{color:var(--muted);font-size:9px}.lf-arrow{justify-content:center;align-items:center;gap:20px;display:flex}.lf-arrow span{border:1px solid var(--line-dark);background:var(--paper);padding:12px}.lf-arrow b{color:var(--blue-deep)}.pattern-build{justify-content:center;align-items:center;gap:16px;display:flex}.pattern-build small{color:var(--muted)}.pattern-build span{min-width:64px;font:22px ui-monospace,monospace}.pattern-build strong{border:1px solid var(--blue);background:var(--blue-soft);padding:10px;font:15px ui-monospace,monospace}.fm-count-demo,.fm-locate-demo{gap:18px;width:min(100%,680px);font-family:ui-monospace,monospace;display:grid}.fm-search-timeline{align-items:stretch;display:flex}.fm-search-segment{flex:1 1 0;align-items:center;min-width:0;display:flex}.fm-search-segment>span{border:1px solid var(--line-dark);background:var(--paper);flex:auto;place-items:center;gap:4px;min-width:68px;padding:9px 5px;display:grid}.fm-search-segment>span small{color:var(--muted);font-size:10px}.fm-search-segment>span b{font-size:15px}.fm-search-segment>span.active{z-index:2;border:3px solid var(--blue);background:var(--blue-soft)}.fm-search-segment>span.done{border-bottom:4px solid var(--blue)}.fm-search-segment>span.future,.fm-search-segment>i.future{opacity:.22}.fm-search-segment>i{min-width:54px;color:var(--muted);text-align:center;place-items:center;gap:2px;font:9px ui-monospace,monospace;display:grid}.fm-search-segment>i b{color:var(--blue-deep);font-size:13px}.fm-search-segment>i.next{color:var(--ink)}.fm-search-segment>i.next b{border:1px solid var(--blue);background:var(--blue-soft);padding:2px 6px}.fm-query-heading{justify-content:center;align-items:center;gap:14px;display:flex}.fm-query-heading span,.fm-query-heading strong{border-bottom:1px solid var(--line-dark);padding:8px 11px}.fm-query-heading i{color:var(--blue);font-style:normal}.fm-query-heading strong{border:2px solid var(--blue);background:var(--blue-soft);font-size:14px}.fm-index-data{grid-template-columns:170px 1fr;align-items:stretch;gap:16px;display:grid}.fm-c-values{border:1px solid var(--line-dark);background:var(--paper);grid-template-columns:1fr 1fr;display:grid}.fm-c-values>small{border-bottom:1px solid var(--line);color:var(--muted);grid-column:1/-1;padding:8px}.fm-c-values span{border:1px solid var(--line);gap:3px;padding:8px;display:grid}.fm-c-values b{font-size:11px}.fm-c-values span{font-size:15px}.fm-c-values span.active{z-index:1;outline:2px solid var(--blue);outline-offset:-2px;background:var(--blue-soft)}.fm-bwt-cells{grid-template-columns:repeat(7,1fr);align-content:center;min-width:0;display:grid}.fm-bwt-cells>small{color:var(--muted);grid-column:1/-1;margin-bottom:7px}.fm-bwt-cells>span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;min-width:0;height:64px;margin-left:-1px;display:grid}.fm-bwt-cells em,.fm-bwt-cells small{color:var(--muted);font-size:9px;font-style:normal}.fm-bwt-cells b{font-size:17px}.fm-bwt-cells span.rank-prefix{background:#eef1f3}.fm-bwt-cells span.rank-left-hit{border-bottom:4px solid var(--blue-deep);background:var(--blue-soft)}.fm-bwt-cells span.rank-extra-hit{border-bottom:4px dashed var(--blue);background:var(--blue-soft)}.fm-boundary-calcs{grid-template-columns:1fr 1fr;gap:12px;display:grid}.fm-boundary-calcs>span{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-template-columns:auto 1fr auto;align-items:center;gap:10px;padding:11px 13px;display:grid}.fm-boundary-calcs small{color:var(--muted)}.fm-boundary-calcs b{font-size:12px;font-weight:500}.fm-boundary-calcs strong{color:var(--blue-deep);font-size:15px}.fm-match-interval{grid-template-columns:auto repeat(7,1fr);align-items:stretch;display:grid}.fm-match-interval>small{color:var(--muted);align-self:center;margin-right:9px}.fm-match-interval span{border:1px solid var(--line);background:var(--paper);place-items:center;min-width:0;min-height:48px;margin-left:-1px;display:grid}.fm-match-interval span.matched{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.fm-match-interval b{font-size:11px}.fm-match-interval em{color:var(--muted);font-size:10px;font-style:normal}.fm-sample-rows{grid-template-columns:repeat(7,1fr);display:grid}.fm-sample-rows>span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;place-items:center;gap:3px;min-width:0;min-height:72px;margin-left:-1px;padding:7px 3px;display:grid}.fm-sample-rows small,.fm-sample-rows em{color:var(--muted);font-size:9px;font-style:normal}.fm-sample-rows b{font-size:12px}.fm-sample-rows span.sampled{border-bottom:4px double var(--ink)}.fm-sample-rows span.active{z-index:2;outline:3px solid var(--blue);outline-offset:-3px}.fm-sample-rows span.reached{z-index:3;border:3px solid var(--blue);background:var(--blue-soft)}.fm-lf-path{justify-content:center;align-items:stretch;display:flex}.fm-lf-segment{flex:1 1 0;align-items:stretch;min-width:0;display:flex}.fm-lf-segment>span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;flex:1 1 0;place-items:center;gap:5px;min-width:0;min-height:76px;padding:10px 5px;display:grid}.fm-lf-segment>i{color:var(--blue);white-space:nowrap;align-self:center;padding:0 5px;font:11px ui-monospace,monospace}.fm-lf-path small,.fm-lf-path em{color:var(--muted);font-size:9px;font-style:normal}.fm-lf-path b{font-size:15px}.fm-lf-path .future{opacity:.24}.fm-lf-path span.current{z-index:1;border:2px solid var(--blue);background:var(--blue-soft);opacity:1}.fm-lf-path span.sample:not(.future){border:2px solid var(--blue);background:var(--blue-soft)}.tour-map.detailed{gap:12px;width:min(100%,700px);display:grid}.tour-map .map-lane{border-top:1px solid var(--line-dark);grid-template-rows:auto auto;grid-template-columns:86px minmax(0,1fr) 135px;align-items:center;gap:7px 14px;min-width:0;padding:13px 0;display:grid}.tour-map .map-lane>strong{grid-row:1/3;font-size:13px}.tour-map .map-lane>i{color:var(--blue-deep);text-align:left;grid-area:1/3;font:11px ui-monospace,monospace}.tour-map .map-lane>b{color:var(--muted);grid-area:2/2/auto/4;font:500 11px ui-monospace,monospace}.map-bit-row,.map-symbol-row,.map-parens,.map-intervals{align-items:center;min-width:0;display:flex}.map-bit-row span,.map-symbol-row>span{border:1px solid var(--line-dark);background:var(--paper);flex:1 1 0;place-items:center;min-width:28px;min-height:38px;margin-left:-1px;font:13px ui-monospace,monospace;display:grid}.map-bit-row span.range{background:#eef1f3}.map-bit-row span.hit,.map-symbol-row span.selected{border-bottom:4px solid var(--blue);background:var(--blue-soft)}.map-bit-row small{color:var(--muted);font-size:8px}.map-symbol-row{padding-bottom:24px;position:relative}.map-symbol-row>em{color:var(--blue-deep);font:9px ui-monospace,monospace;position:absolute;bottom:0;left:39%}.map-symbol-row .child-position{border:2px solid var(--blue);background:var(--blue-soft);flex:none;margin-left:12px;padding:7px;font-size:10px}.map-parens{justify-content:center}.map-parens span{border-bottom:1px solid var(--line-dark);place-items:center;width:36px;height:40px;font:21px Georgia,serif;display:grid}.map-parens span.pair{background:#eef1f3}.map-parens span.node{border:2px solid var(--blue);background:var(--blue-soft)}.map-intervals{justify-content:center;gap:8px}.map-intervals span{border-bottom:1px solid var(--line-dark);padding:8px 10px;font:12px ui-monospace,monospace}.map-intervals span.matched{border:2px solid var(--blue);background:var(--blue-soft)}.map-intervals i{color:var(--blue);font:10px ui-monospace,monospace}.drawer-layer{z-index:50;pointer-events:none;visibility:hidden;position:fixed;inset:0}.drawer-layer.is-open{pointer-events:auto;visibility:visible}.drawer-scrim{opacity:0;background:#0f121452;border:0;width:100%;transition:opacity .2s;position:absolute;inset:0}.is-open .drawer-scrim{opacity:1}.chapter-drawer{background:var(--paper);border-left:1px solid var(--line-dark);width:min(440px,92vw);transition:transform .2s;position:absolute;inset:0 0 0 auto;overflow-y:auto;transform:translate(100%)}.is-open .chapter-drawer{transform:none}.drawer-header{z-index:1;border-bottom:1px solid var(--line);background:var(--paper);justify-content:space-between;align-items:center;height:64px;padding:0 22px;display:flex;position:sticky;top:0}.drawer-header button{cursor:pointer;background:0 0;border:0;width:44px;height:44px;font-size:24px}.chapter-group{border-bottom:1px solid var(--line);padding:19px 22px}.chapter-title{text-align:left;cursor:pointer;background:0 0;border:0;grid-template-columns:34px 1fr;align-items:center;width:100%;min-height:44px;display:grid}.chapter-title>span{color:var(--muted);font:12px ui-monospace,monospace}.chapter-title.is-current{color:var(--blue-deep);background:var(--blue-soft)}.chapter-group>button:not(.chapter-title){text-align:left;cursor:pointer;background:0 0;border:0;grid-template-columns:34px 1fr;align-items:center;width:100%;min-height:44px;display:grid}.chapter-group>button:not(.chapter-title) span{color:var(--muted);font:11px ui-monospace,monospace}.chapter-group>button.is-current{color:var(--blue-deep);background:var(--blue-soft);font-weight:650}.rmq-array{justify-content:center;display:flex}.rmq-array button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;flex-direction:column;justify-content:center;align-items:center;width:58px;min-width:44px;height:62px;margin-left:-1px;font:18px ui-monospace,monospace;display:flex}.rmq-array button .rmq-val{color:var(--ink);font-weight:600;line-height:1.1}.rmq-array button small.rmq-idx{color:var(--blue);margin-top:3px;font-family:ui-monospace,monospace;font-size:11px;font-weight:600;display:block}.rmq-array button.in-range{border-bottom:5px solid var(--blue);background:var(--blue-soft)}.rmq-array button.endpoint-l{z-index:2;border:2px solid var(--blue);background:var(--blue-soft);font-weight:700}.rmq-array button.endpoint-r{z-index:2;border:2px dashed var(--blue-deep);background:#e0e7ff;font-weight:700}.rmq-array button.minimum{z-index:3;outline:3px double var(--blue-deep);outline-offset:-3px;background:#dbeafe;font-weight:800;position:relative}.range-pair,.graph-coordinate{grid-template-columns:1fr 1fr;gap:24px;display:grid}.range-pair label,.graph-coordinate label{grid-template-columns:20px 1fr 38px;align-items:center;gap:8px;display:grid}.range-pair input,.graph-coordinate input{min-height:44px;accent-color:var(--blue);min-width:0}.range-pair output,.graph-coordinate output{text-align:center;font:14px ui-monospace,monospace}.rmq-tree{width:100%;max-height:270px}.rmq-tree line{stroke:var(--line-dark);stroke-width:2px}.rmq-tree line.unvisited{stroke-dasharray:4 4;stroke-width:1.5px}.rmq-tree line.visited{stroke:var(--blue);stroke-width:2.5px}.rmq-tree line.ancestor-edge{stroke:var(--blue);stroke-width:3.5px;stroke-dasharray:none}.rmq-tree g circle{fill:var(--paper);stroke:var(--line-dark);stroke-width:1.5px}.rmq-tree g text{text-anchor:middle;font-family:ui-monospace,monospace}.rmq-tree g text.node-value{fill:var(--ink);font-size:15px;font-weight:700}.rmq-tree g text.node-index-sub{fill:var(--blue);font-size:10px;font-weight:600}.rmq-tree g text.node-index-only{fill:var(--blue);font-size:14px;font-weight:700}.rmq-tree g text.node-badge-l{fill:var(--blue);font-size:11px;font-weight:800}.rmq-tree g text.node-badge-r,.rmq-tree g text.lca-badge{fill:var(--blue-deep);font-size:11px;font-weight:800}.rmq-tree g.built circle{fill:var(--paper);stroke:var(--blue);stroke-width:1.5px}.rmq-tree g.ancestor circle{stroke:var(--blue);stroke-width:2.5px}.rmq-tree g.visited circle{fill:#e8f0fe;stroke:var(--blue);stroke-width:2px}.rmq-tree g.current circle,.rmq-tree g.endpoint-l circle{fill:var(--blue-soft);stroke:var(--blue);stroke-width:3.5px}.rmq-tree g.endpoint-r circle{fill:#e0e7ff;stroke:var(--blue-deep);stroke-width:3.5px;stroke-dasharray:4 2}.rmq-tree g.answer circle{fill:#dbeafe;stroke:var(--blue-deep);stroke-width:4.5px}.rmq-tree g.hovered circle{fill:var(--blue-soft);stroke:var(--blue);stroke-width:4px}.build-guide-text{text-align:center;color:var(--blue-deep);min-height:24px;margin-top:6px;margin-bottom:6px;font-size:14px;font-weight:600}.rmq-legend-row{flex-wrap:wrap;justify-content:center;align-items:center;gap:14px;display:flex}.rmq-color-legend{align-items:center;gap:10px;font-family:ui-monospace,monospace;font-size:12px;display:flex}.rmq-color-legend .legend-val{color:var(--ink);align-items:center;gap:5px;font-weight:600;display:flex}.rmq-color-legend .legend-val:before{content:"";background:var(--ink);border-radius:50%;width:8px;height:8px;display:inline-block}.rmq-color-legend .legend-idx{color:var(--blue);align-items:center;gap:5px;font-weight:600;display:flex}.rmq-color-legend .legend-idx:before{content:"";background:var(--blue);border-radius:50%;width:8px;height:8px;display:inline-block}.rmq-bp{flex-wrap:wrap;justify-content:center;gap:3px;margin-top:4px;display:flex}.rmq-bp button.bp-char{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;border-radius:4px;flex-direction:column;justify-content:space-between;align-items:center;width:36px;min-width:32px;height:60px;padding:4px 2px;font-family:ui-monospace,monospace;transition:all .15s;display:flex}.rmq-bp button.bp-char .bp-node-tag{color:var(--blue);font:700 10px ui-monospace,monospace}.rmq-bp button.bp-char .bp-symbol{color:var(--ink);font:700 20px/1 Georgia,serif}.rmq-bp button.bp-char .bp-pos{color:var(--muted);font:9px ui-monospace,monospace}.rmq-bp button.bp-left{border:2px solid var(--blue);background:var(--blue-soft)}.rmq-bp button.bp-right{border:2px dashed var(--blue-deep);background:#e0e7ff}.rmq-bp button.bp-lca{border:2px solid var(--blue-deep);background:#dbeafe}.rmq-bp button.bp-hovered{border-color:var(--blue);background:var(--blue-soft);transform:translateY(-2px);box-shadow:0 3px 6px #0000001f}.binary-bp-rule{flex-wrap:wrap;justify-content:center;align-items:center;gap:8px;font:13px ui-monospace,monospace;display:flex}.binary-bp-rule span{border-bottom:1px solid var(--line-dark);padding:9px 11px}.binary-bp-rule strong{color:var(--blue-deep);font:700 24px Georgia,serif}.binary-bp-rule small{color:var(--muted);text-align:center;flex-basis:100%;font:13px ui-monospace,monospace}.binary-bp button.bp-char{width:44px;min-width:44px}.binary-bp button.bp-close .bp-node-tag{color:var(--muted)}.binary-bp-order strong{white-space:pre;font-size:16px}.rmq-query-flow{align-self:center;justify-items:center;gap:7px;width:min(100%,430px);font:13px ui-monospace,monospace;display:grid}.query-endpoints{grid-template-columns:1fr 1fr;gap:12px;width:100%;display:grid}.query-endpoints span,.query-operation{border:1px solid var(--line-dark);background:var(--paper);justify-content:space-between;align-items:center;gap:18px;width:100%;min-height:56px;padding:10px 14px;display:flex}.rmq-query-flow small{color:var(--muted);font-size:12px}.rmq-query-flow strong{color:var(--ink);font-size:15px}.rmq-query-flow>i{color:var(--blue-deep);font-style:normal}.query-operation.query-answer{border:2px solid var(--blue);background:var(--blue-soft)}.query-answer strong{color:var(--blue-deep);font-size:18px}.trie-svg{width:100%;max-height:330px}.trie-svg line{opacity:.1;stroke:var(--line-dark);stroke-width:2px}.trie-svg line.visible{opacity:1}.trie-svg line.path{stroke:var(--blue);stroke-width:4px;stroke-dasharray:7 4}.trie-svg g{opacity:.1;cursor:pointer}.trie-svg g.visible{opacity:1}.trie-svg circle{fill:var(--paper);stroke:var(--ink);stroke-width:1.5px}.trie-svg g.selected circle,.trie-svg g.path circle{fill:var(--blue-soft);stroke:var(--blue);stroke-width:3px}.trie-svg text{text-anchor:middle;pointer-events:none;font:600 14px ui-monospace,monospace}.trie-svg rect{fill:var(--ink)}.key-picker,.graph-row-picker{flex-wrap:wrap;justify-content:center;display:flex}.key-picker button,.graph-row-picker button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;min-width:44px;min-height:44px;margin:-1px 0 0 -1px;padding:0 12px}.key-picker button.active,.graph-row-picker button.active{z-index:1;border:2px solid var(--blue);background:var(--blue-soft);color:var(--blue-deep)}.bfs-order{flex-wrap:wrap;justify-content:center;gap:5px;display:flex}.bfs-order span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:48px;height:52px;font:15px ui-monospace,monospace;display:grid}.bfs-order small{color:var(--muted);font-size:9px}.trie-louds{flex-wrap:wrap;justify-content:center;gap:4px;display:flex}.trie-louds span{border:1px solid var(--line-dark);background:var(--paper);gap:5px;min-width:43px;padding:9px 7px;font:14px ui-monospace,monospace;display:grid}.trie-louds span.selected{border:2px solid var(--blue);background:var(--blue-soft)}.trie-louds small{color:var(--muted);font-size:9px}.trie-labels{justify-content:center;align-items:center;display:flex}.trie-labels>small{color:var(--muted);margin-right:10px}.trie-labels span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:40px;height:40px;margin-left:-1px;font:14px ui-monospace,monospace;display:grid}.trie-labels span.selected{border:2px solid var(--blue);background:var(--blue-soft);position:relative}.trie-terminals{flex-wrap:wrap;justify-content:center;align-items:center;display:flex}.trie-terminals>small{color:var(--muted);margin-right:10px}.trie-terminals span{border:1px solid var(--line);width:30px;height:30px;color:var(--muted);place-items:center;margin-left:-1px;font:11px ui-monospace,monospace;display:grid}.trie-terminals span.terminal{border-color:var(--blue);background:var(--blue-soft);color:var(--blue-deep);font-weight:700}.lookup-prefix{justify-content:center;align-items:center;gap:18px;display:flex}.lookup-prefix small{color:var(--muted)}.lookup-prefix strong{border:2px solid var(--blue);background:var(--blue-soft);text-align:center;min-width:88px;padding:13px;font:20px ui-monospace,monospace}.lookup-prefix span{color:var(--muted);font:16px ui-monospace,monospace}.candidate-keys{flex-wrap:wrap;justify-content:center;gap:6px;display:flex}.candidate-keys span{opacity:.3;border:1px solid var(--line-dark);background:var(--paper);padding:9px 12px;font:13px ui-monospace,monospace}.candidate-keys span.candidate{opacity:1;border-color:var(--blue);background:var(--blue-soft)}.unary-demo{gap:30px;display:grid}.unary-demo>div{flex-wrap:wrap;justify-content:center;align-items:center;gap:12px;display:flex}.unary-demo span{border:1px solid var(--ink);background:var(--paper);place-items:center;min-width:54px;min-height:54px;padding:0 9px;font:17px ui-monospace,monospace;display:grid}.unary-demo i{color:var(--blue);font-style:normal}.unary-demo strong{border:2px solid var(--blue);background:var(--blue-soft);padding:14px;font:15px ui-monospace,monospace}.graph-matrix-wrap{align-self:center;position:relative}.graph-matrix{border:1px solid var(--line-dark);grid-template-rows:repeat(8,44px);grid-template-columns:repeat(8,44px);width:352px;height:352px;display:grid}.graph-matrix button{border:1px solid var(--line);background:var(--paper);min-width:44px;min-height:44px;color:var(--muted);cursor:pointer;margin:-1px 0 0 -1px;padding:0;font:12px ui-monospace,monospace}.graph-matrix button.edge{border-color:var(--ink);background:var(--ink);color:#fff;font-weight:700}.graph-matrix button.selected{z-index:2;outline:3px double var(--blue);outline-offset:-4px;position:relative}.graph-matrix button.row-active{border-top:2px dashed var(--blue);border-bottom:2px dashed var(--blue)}.quadrant-overlay{pointer-events:none;grid-template-rows:1fr 1fr;grid-template-columns:1fr 1fr;display:grid;position:absolute;inset:0}.quadrant-overlay span{border:3px solid var(--blue);color:var(--blue-deep);background:#e7f1f8d1;place-items:center;font:700 22px ui-monospace,monospace;display:grid}.quadrant-overlay span.empty{border-color:var(--line-dark);color:var(--muted);background:#fbfbfae6}.quadrant-legend{justify-content:center;gap:24px;display:flex}.quadrant-legend span{align-items:center;gap:8px;display:flex}.quadrant-legend b{border:2px solid var(--blue);place-items:center;width:30px;height:30px;display:grid}.k2-path{grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:10px;display:grid}.k2-path>div{opacity:.25;border:1px solid var(--line-dark);background:var(--paper);text-align:center;place-items:center;gap:5px;min-height:105px;padding:12px;display:grid}.k2-path>div.active{opacity:1;border:2px solid var(--blue)}.k2-path small{color:var(--muted)}.k2-path span{word-spacing:.35em;font:14px ui-monospace,monospace}.k2-path b{font-size:12px}.k2-path i{color:var(--blue);font-style:normal}.k2-query{grid-template-columns:minmax(280px,352px) minmax(285px,1fr);align-items:center;gap:18px 24px;width:min(100%,720px);display:grid}.k2-query-matrix{aspect-ratio:1;border:2px solid var(--ink);background:var(--paper);grid-template:repeat(8,1fr)/repeat(8,1fr);width:min(100%,352px);display:grid;position:relative}.k2-query-matrix .k2-source-matrix button.selected{z-index:4}.k2-query-region{z-index:2;pointer-events:none;border:4px solid var(--blue);color:var(--blue-deep);background:#e7f1f861;justify-content:flex-start;align-items:flex-start;padding:7px;font:700 11px ui-monospace,monospace;display:flex}.k2-query-region.child{z-index:3;background:0 0;border-style:double;border-width:5px;margin:3px}.k2-query-region.stopped{border-color:var(--line-dark);color:var(--ink);background:repeating-linear-gradient(135deg,#fbfbfab8 0 7px,#dde1e4b8 7px 9px);border-style:dashed}.k2-query-path{gap:5px;min-width:0;display:grid}.k2-query-path>div{opacity:.26;border-left:2px solid var(--line-dark);grid-template-columns:1fr auto;gap:6px 10px;min-width:0;padding:9px 10px;display:grid}.k2-query-path>div.revealed{opacity:1;border-left:4px solid var(--blue)}.k2-query-path>i{color:var(--blue);margin-left:18px;font-style:normal;line-height:1}.k2-query-path>div>small{color:var(--muted);grid-column:1/-1;font:10px ui-monospace,monospace}.k2-query-path p{grid-area:2/1/4;align-items:center;margin:0;display:flex}.k2-query-path p span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:34px;height:39px;margin-left:-1px;font:12px ui-monospace,monospace;display:grid}.k2-query-path p span.one{background:var(--ink);color:#fff}.k2-query-path p span.empty{width:100%;color:var(--muted)}.k2-query-path p span small{color:inherit;font-size:8px}.k2-query-path>div.revealed p span.selected{z-index:1;outline:4px double var(--blue);outline-offset:-5px}.k2-query-path strong{align-self:end;font-size:11px}.k2-query-path em{color:var(--blue-deep);font:10px ui-monospace,monospace}.k2-query-result{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-column:1/-1;grid-template-columns:1fr auto 1fr;align-items:center;gap:14px;min-height:48px;padding:8px 14px;font:12px ui-monospace,monospace;display:grid}.k2-query-result strong{color:var(--blue-deep);text-align:right}.k2-decomposition{grid-template-columns:minmax(260px,1fr) minmax(270px,.95fr);align-items:center;gap:18px 28px;width:min(100%,700px);display:grid}.k2-matrix-figure{aspect-ratio:1;border:2px solid var(--ink);background:var(--paper);justify-self:center;width:min(100%,336px);position:relative}.k2-source-matrix{grid-template-rows:repeat(8,1fr);grid-template-columns:repeat(8,1fr);display:grid;position:absolute;inset:0}.k2-source-matrix>*{border:solid var(--line);background:var(--paper);min-width:0;color:var(--muted);border-width:0 1px 1px 0;place-items:center;padding:0;font:11px ui-monospace,monospace;display:grid}.k2-source-matrix>.edge{background:var(--ink);color:#fff;font-weight:800}.k2-source-matrix button{cursor:pointer}.k2-source-matrix button.selected{z-index:3;box-shadow:inset 0 0 0 3px var(--blue);outline:0}.k2-source-matrix button:focus-visible{z-index:4;outline:2px solid var(--blue);outline-offset:-4px}.k2-root-regions{pointer-events:none;grid-template-rows:repeat(2,1fr);grid-template-columns:repeat(2,1fr);display:grid;position:absolute;inset:-2px}.k2-root-regions>span{border:3px solid var(--blue);color:var(--blue-deep);background:#e7f1f8a3;grid-template-columns:1fr auto;align-content:start;gap:2px 7px;padding:8px;font-family:ui-monospace,monospace;display:grid;position:relative}.k2-root-regions>span.empty{border-color:var(--line-dark);color:var(--muted);background:repeating-linear-gradient(135deg,#fbfbfae6 0 7px,#dde1e4e6 7px 9px)}.k2-root-regions b{font-size:11px}.k2-root-regions strong{grid-area:1/2/3;font-size:21px}.k2-root-regions small{font-size:10px}.k2-child-regions{pointer-events:none;grid-template-rows:repeat(4,1fr);grid-template-columns:repeat(4,1fr);display:grid;position:absolute;inset:-2px}.k2-child-regions span{color:var(--blue-deep);background:#e7f1f885;border:0;align-content:start;padding:5px;font-family:ui-monospace,monospace;display:grid;position:relative}.k2-child-regions span.split-left{border-left:3px solid var(--blue)}.k2-child-regions span.split-top{border-top:3px solid var(--blue)}.k2-child-regions b{font-size:9px}.k2-child-regions strong{font-size:13px;position:absolute;top:4px;right:5px}.k2-matrix-figure.step-2 .k2-root-regions .nonempty,.k2-matrix-figure.step-3 .k2-root-regions .nonempty{background:0 0}.k2-matrix-figure.step-2 .k2-root-regions .nonempty>*,.k2-matrix-figure.step-3 .k2-root-regions .nonempty>*{display:none}.k2-matrix-figure.step-3 .k2-child-regions span{background:0 0}.k2-matrix-figure.step-3 .k2-child-regions span>*{display:none}.k2-levels{gap:5px;display:grid}.k2-levels>div{opacity:.22;border-left:2px solid var(--line-dark);gap:6px;min-width:0;padding:9px 10px;display:grid}.k2-levels>div.revealed{opacity:1;border-left:4px solid var(--blue)}.k2-levels>i{color:var(--blue);margin-left:18px;font-style:normal;line-height:1}.k2-levels small{color:var(--muted);font:10px ui-monospace,monospace}.k2-levels p{align-items:center;margin:0;display:flex}.k2-levels p>span{border:1px solid var(--line-dark);background:var(--paper);grid-template-columns:1fr;place-items:center;min-width:34px;height:34px;margin-left:-1px;font:13px ui-monospace,monospace;display:grid}.k2-levels p>span.one{background:var(--ink);color:#fff}.k2-levels p>span.zero{background:repeating-linear-gradient(135deg, var(--paper) 0, var(--paper) 5px, #e5e8ea 5px, #e5e8ea 7px)}.k2-levels p>span small{color:inherit;font-size:8px}.k2-levels p.grouped{gap:7px}.k2-levels p.grouped span{letter-spacing:.2em;width:66px;padding-left:.2em}.k2-levels p.leaf-groups{grid-template-columns:repeat(4,auto);gap:3px;display:grid}.k2-levels p.leaf-groups span{letter-spacing:.12em;width:48px;height:25px;padding-left:.12em;font-size:10px}.k2-levels>div>strong{font-size:11px}.k2-step-status{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-column:1/-1;grid-template-columns:auto 1fr;align-items:center;gap:10px;min-height:37px;margin:0;font-size:12px;display:grid}.k2-step-status b{background:var(--ink);color:#fff;padding:4px 8px;font:11px ui-monospace,monospace}.k2-tl-source{justify-items:center;gap:8px;display:grid}.k2-tl-source>small{color:var(--muted);font:11px ui-monospace,monospace}.k2-tl-source .k2-matrix-figure{width:min(100%,352px)}.k2-tl-selection{width:min(100%,520px);padding-block:9px}.k2-tl-selection strong{font-size:14px}.graph-stage.tl-stage{justify-content:flex-start;align-self:safe center}.tl-bits{gap:24px;display:grid}.tl-bits>div:not(.result-equation){gap:8px;display:grid}.tl-bits small{color:var(--muted)}.tl-bits p{flex-wrap:wrap;margin:0;display:flex}.tl-bits p span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:30px;height:42px;margin:-1px 0 0 -1px;font:11px ui-monospace,monospace;display:grid}.tl-bits p span b{font:inherit}.tl-bits p span small{color:inherit;opacity:.68;font-size:8px}.tl-bits p span.one{background:var(--ink);color:#fff}.tl-bits p span.selected{z-index:1;outline:3px double var(--blue);outline-offset:-4px}.graph-coordinate label{grid-template-columns:50px 1fr 30px}.cache-layout{gap:14px;display:grid}.cache-layout>div{align-items:center;gap:4px;display:flex}.cache-layout small{width:90px;color:var(--muted)}.cache-layout span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;min-width:58px;padding:13px;font:13px ui-monospace,monospace}.cache-layout.cached-rank{justify-self:center}.cache-layout.cached-rank small{width:auto;margin-right:8px}.cache-lines{grid-template-columns:1fr 1fr;gap:12px;display:grid}.cache-lines>div{border-top:3px solid var(--blue);grid-template-columns:repeat(2,minmax(0,1fr));min-width:0;display:grid}.cache-lines small{color:var(--blue-deep);grid-column:1/-1;padding:7px 0;font:11px ui-monospace,monospace}.cache-lines span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;overflow-wrap:anywhere;gap:6px;min-width:0;padding:12px 6px;font:13px ui-monospace,monospace;display:grid}.cache-lines span+span{margin-left:-1px}.cache-lines b{color:var(--muted);font-size:9px;font-weight:500}.prediction-line{border-bottom:2px solid var(--ink);min-height:80px;margin-top:36px;position:relative}.prediction-line>span{color:var(--muted);position:absolute;bottom:8px;left:0}.prediction-line i{border:1px dashed var(--blue);background:var(--paper);color:var(--blue-deep);z-index:2;border-radius:3px;padding:6px 10px;font:11px ui-monospace,monospace;position:absolute;top:-34px;transform:translate(-50%)}.prediction-line b{color:var(--blue);position:absolute;bottom:-8px;right:20%}.frontier-step-demo{gap:14px;width:min(100%,700px);display:grid}.select-query{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-template-columns:auto auto 1fr;align-items:center;gap:12px;padding:9px 12px;display:grid}.select-query small,.select-query span{color:var(--muted)}.select-query strong{font:700 18px ui-monospace,monospace}.select-query span{text-align:right;font-size:12px}.select-block-rail{grid-template-columns:repeat(6,minmax(0,1fr));display:grid}.select-block-rail>div{border:1px solid var(--line-dark);background:var(--paper);place-items:center;gap:2px;min-width:0;min-height:68px;margin-left:-1px;padding:6px 2px;display:grid;position:relative}.select-block-rail>div.predicted{z-index:1;border:3px dashed var(--blue);background:var(--blue-soft)}.select-block-rail>div.corrected{z-index:2;border:3px solid var(--blue-deep);background:var(--blue-soft)}.select-block-rail small,.select-block-rail span{color:var(--muted);font-size:9px}.select-block-rail strong{font:700 15px ui-monospace,monospace}.select-step-cards{grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;display:grid}.select-step-cards>div{opacity:.16;border-left:2px solid var(--line-dark);align-content:center;gap:4px;min-width:0;min-height:82px;padding:9px 11px;display:grid}.select-step-cards>div.revealed{opacity:1;border-left:4px solid var(--blue)}.select-step-cards>div.result{background:var(--blue-soft)}.select-step-cards small,.select-step-cards span{color:var(--muted);font-size:10px}.select-step-cards strong{font:700 14px ui-monospace,monospace}.vlb-build-heading{justify-content:center;gap:22px;display:flex}.vlb-build-heading span{border-bottom:1px solid var(--line-dark);color:var(--muted);padding:7px 10px;font-size:12px}.vlb-build-heading strong{color:var(--ink);font:700 14px ui-monospace,monospace}.vlb-build-source{grid-template-columns:1fr 1fr 1.25fr;display:grid}.vlb-build-source>div{border:1px solid var(--line-dark);background:var(--paper);place-items:center;gap:5px;min-width:0;min-height:70px;margin-left:-1px;padding:8px;display:grid}.vlb-build-source>div.merged{border-bottom:4px solid var(--blue);background:var(--blue-soft)}.vlb-build-source>div.split{border:3px double var(--blue-deep)}.vlb-build-source small,.vlb-leaf-layout small{color:var(--muted);font-size:10px}.vlb-build-source strong,.vlb-leaf-layout strong{font:700 15px ui-monospace,monospace}.vlb-build-operation{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:auto 1fr;align-items:center;gap:10px;min-height:42px;display:grid}.vlb-build-operation b{background:var(--ink);color:#fff;padding:5px 8px;font:11px ui-monospace,monospace}.vlb-build-operation span{font-size:12px}.vlb-leaf-layout{grid-template-columns:1.3fr 1fr;gap:8px;min-height:76px;display:grid}.vlb-leaf-layout>div{opacity:.14;border:1px solid var(--line-dark);place-items:center;gap:4px;min-width:0;padding:9px;display:grid}.vlb-leaf-layout>div.revealed{opacity:1}.vlb-leaf-layout>div:first-child.revealed{border:2px solid var(--blue);background:var(--blue-soft)}.vlb-leaf-layout .split-pair{border:0;grid-template-columns:1fr 1fr;gap:4px;padding:0}.vlb-leaf-layout .split-pair span{border:2px solid var(--blue-deep);background:var(--paper);place-items:center;gap:4px;height:100%;padding:9px 4px;display:grid}.guarantee-context{justify-content:center;gap:8px;display:flex}.guarantee-context span{border:1px solid var(--line-dark);background:var(--paper);padding:7px 10px;font:11px ui-monospace,monospace}.guarantee-panels{grid-template-columns:1fr 1fr;gap:12px;display:grid}.guarantee-panels article{opacity:.14;border:1px solid var(--line-dark);background:var(--paper);grid-template-rows:auto 1fr auto;gap:12px;min-width:0;min-height:224px;padding:14px;display:grid}.guarantee-panels article.revealed{opacity:1}.guarantee-panels article:first-child.revealed{border-top:4px solid var(--ink)}.guarantee-panels article:last-child.revealed{border-top:4px solid var(--blue)}.guarantee-panels header{align-items:center;gap:9px;display:flex}.guarantee-panels header span{background:var(--ink);color:#fff;place-items:center;width:25px;height:25px;font:11px ui-monospace,monospace;display:grid}.guarantee-panels header strong{font-size:14px}.guarantee-operations{flex-wrap:wrap;place-content:center;gap:6px;display:flex}.guarantee-operations code{border:1px solid var(--line-dark);background:#f1f3f4;padding:8px;font:12px ui-monospace,monospace}.guarantee-panels p{align-content:center;place-items:center;gap:5px;margin:0;display:grid}.guarantee-panels p small,.guarantee-condition small{color:var(--muted)}.guarantee-panels p strong{font:700 24px ui-monospace,monospace}.guarantee-panels footer{border-top:1px solid var(--line);color:var(--blue-deep);text-align:center;padding-top:8px;font-size:11px}.guarantee-condition{border:1px solid var(--blue);background:var(--blue-soft);align-content:center;place-items:center;gap:8px;padding:9px;display:grid}.guarantee-condition strong{text-align:center;font:700 14px ui-monospace,monospace}.guarantee-distinction{border-top:1px solid var(--line-dark);grid-template-columns:auto 1fr;gap:0;display:grid}.guarantee-distinction span,.guarantee-distinction strong{border-bottom:1px solid var(--line);min-width:0;padding:7px 10px;font-size:11px}.guarantee-distinction span{color:var(--muted)}.guarantee-distinction strong{text-align:right}.forest-blocks{grid-template-columns:repeat(3,1fr);display:grid}.forest-blocks button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;place-items:center;gap:8px;min-height:110px;margin-left:-1px;display:grid}.forest-blocks button.selected{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.forest-blocks small,.forest-blocks span{color:var(--muted)}.forest-blocks strong{font:17px ui-monospace,monospace}.forest-levels{justify-content:center;align-items:center;gap:14px;display:flex}.forest-levels span{border:1px solid var(--line-dark);background:var(--paper);padding:12px}.forest-levels b{color:var(--blue-deep)}.micro-shapes{grid-template-columns:repeat(3,1fr);display:grid}.micro-shapes button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;place-items:center;gap:7px;min-height:80px;margin:-1px 0 0 -1px;display:grid}.micro-shapes button.selected{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.micro-shapes small{color:var(--muted)}.micro-shapes strong{font:18px Georgia,serif}.shape-code{grid-template-columns:auto 1fr;align-self:center;align-items:center;gap:8px 18px;width:min(100%,360px);display:grid}.shape-code span{color:var(--muted)}.shape-code strong{border-bottom:1px solid var(--line-dark);padding:8px;font:16px ui-monospace,monospace}.vlb-source{justify-content:center;display:flex}.vlb-source small{color:var(--muted);align-self:center;margin-right:8px}.vlb-source span{border:1px solid var(--line-dark);background:var(--paper);padding:10px 5px;font:12px ui-monospace,monospace}.vlb-tree{justify-items:center;gap:8px;display:grid}.vlb-tree>div{border:1px solid var(--line-dark);background:var(--paper);padding:12px}.vlb-tree>div:nth-of-type(2),.vlb-tree>div:nth-of-type(3){justify-content:space-around;width:100%;display:flex}.vlb-tree>i{color:var(--blue);font-style:normal}.c2-demo{gap:4px;display:grid}.c2-demo>div{grid-template-columns:90px 1fr 1fr;min-width:0;display:grid}.c2-demo small{color:var(--muted);align-self:center}.c2-demo span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;min-width:0;padding:12px;font:13px ui-monospace,monospace}.c2-demo .functional-sample{border-left:3px solid var(--blue);background:var(--blue-soft);color:var(--blue-deep);font-weight:700}.unary-compression{justify-items:center;gap:16px;display:grid}.unary-path{flex-wrap:wrap;justify-content:center;align-items:center;gap:6px;display:flex}.unary-path small,.compressed-suffix small,.terminal-note small{color:var(--muted);text-align:center;flex-basis:100%;font:11px ui-monospace,monospace}.unary-path span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:44px;height:44px;font:14px ui-monospace,monospace;display:grid}.unary-path i{color:var(--blue);font-style:normal}.compressed-suffix,.terminal-note{border:1px solid var(--line-dark);background:var(--paper);justify-items:center;gap:7px;min-width:min(100%,330px);padding:12px 16px;display:grid}.compressed-suffix{border:2px solid var(--blue);background:var(--blue-soft)}.compressed-suffix strong{font:15px ui-monospace,monospace}.terminal-note strong{font-size:13px}.entropy-comparison{grid-template-columns:auto 1fr;align-items:center;gap:8px 12px;display:grid}.entropy-comparison>small{color:var(--muted);font:11px ui-monospace,monospace}.entropy-array{justify-content:center;display:flex}.entropy-array button,.entropy-array>span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:50px;min-width:44px;height:58px;margin-left:-1px;font:16px ui-monospace,monospace;display:grid}.entropy-array button{cursor:pointer}.entropy-array .selected{z-index:1;border:2px solid var(--blue);background:var(--blue-soft)}.entropy-array small{color:var(--muted);font-size:9px;display:block}.frequency-shift{grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.frequency-shift div{border:1px solid var(--line);justify-items:center;gap:5px;min-width:0;padding:11px 6px;display:grid}.frequency-shift span{font:13px ui-monospace,monospace}.frequency-shift small{max-width:100%;color:var(--muted);white-space:nowrap;font:11px ui-monospace,monospace}.door-label{color:var(--muted);letter-spacing:.04em;margin:0 0 18px;font:13px ui-monospace,monospace}.chapter-door-graphic{place-items:center;width:100%;min-width:0;display:grid}.door-stage-inner{min-height:510px}.door-graphic-svg{width:100%;max-width:620px;height:auto;overflow:visible}.door-graphic-svg rect,.door-graphic-svg circle{fill:var(--paper);stroke:var(--line-dark);stroke-width:1.5px}.door-graphic-svg path,.door-tree path{fill:none;stroke:var(--line-dark);stroke-width:2px}.door-graphic-svg text{fill:var(--ink);text-anchor:middle;font:13px ui-monospace,monospace}.door-graphic-svg .strong{font-weight:700}.door-graphic-svg .accent{fill:var(--blue-soft);stroke:var(--blue);stroke-width:2px}.door-graphic-svg .filled{fill:var(--ink);stroke:var(--ink)}.door-graphic-svg .inverse{fill:#fff}.door-graphic-svg .accent-stroke{stroke:var(--blue);stroke-width:3px}.door-state-grid rect:nth-child(3n){fill:var(--blue-soft);stroke:var(--blue)}.tour-route{border-top:1px solid var(--line-dark);margin-top:28px;padding-top:22px}.tour-route h2{margin:0 0 13px;font-size:16px}.tour-route ol{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.tour-route li{border-bottom:1px solid var(--line);grid-template-columns:62px 1fr;gap:3px 10px;padding:12px 0;display:grid}.tour-route small{color:var(--blue-deep);grid-row:1/3;font:12px/1.6 ui-monospace,monospace}.tour-route strong{font-size:14px}.tour-route p{margin:0;font-size:14px;line-height:1.6}.k2-root-regions>span{border:0}.k2-root-regions>span:nth-child(2),.k2-root-regions>span:nth-child(4){border-left:3px solid var(--line-dark)}.k2-root-regions>span:nth-child(3),.k2-root-regions>span:nth-child(4){border-top:3px solid var(--line-dark)}.k2-root-regions>span.empty{border-color:var(--line-dark)}@media (width<=900px){.app-header{grid-template-columns:1fr auto auto;padding:0 14px}.brand-mark,.header-position>span:first-child{display:none}.tour-layout{padding-bottom:76px;display:block}.reading-pane,.visual-stage{height:auto;overflow:visible}.reading-pane{border-right:0;min-height:auto;padding:46px clamp(24px,8vw,72px) 36px}.visual-stage{border-top:1px solid var(--line);min-height:560px}.stage-inner{min-height:540px}.lesson-navigation-shell{border-right:0;width:100%;padding:10px 16px}.lesson-navigation button{min-width:104px}}@media (width<=600px){.app-header{height:56px}.brand-name{font-size:13px}.header-progress{top:50px}.tour-layout{padding-top:61px}.reading-pane{padding:34px 20px 30px}.lesson-copy h1{font-size:30px}.lesson-body{font-size:16px;line-height:1.85}.code-block{margin-inline:-4px;padding:16px;font-size:14px}.visual-stage{background-size:24px 24px;min-height:510px;overflow:hidden}.stage-inner{gap:22px;width:calc(100% - 30px);min-height:500px;padding:36px 0}.header-position{gap:4px}.header-position button{display:none}.bit-row{gap:1px}.bit{width:44px;min-width:44px;height:54px}.readout-grid{grid-template-columns:1fr 1fr}.readout-grid p:nth-child(2){border-right:0}.readout-grid p{border-bottom:1px solid var(--line)}.readout-grid p:nth-child(n+3){border-bottom:0}.state-number strong{font-size:78px}.stage-control{grid-template-columns:1fr 45px}.stage-control label{grid-column:1/-1}.large-pattern span{width:54px;height:62px}.integer-rows>div{grid-template-columns:27px 75px 1fr;gap:7px}.integer-rows small{font-size:12px}.ef-high-transform>div{gap:5px;padding-inline:6px;font-size:12px}.high-bits span{width:44px}.wavelet-diagram{grid-template:66px 28px 62px 28px 50px/repeat(4,1fr);gap:4px 6px;height:285px}.wave-node span{letter-spacing:.18em;padding:3px 6px 3px 9px;font-size:15px}.tree-svg{width:calc(100% + 30px);margin-inline:-15px}.paren-row{gap:1px}.paren-row span{width:29px}.louds-row{gap:2px;font-size:14px}.louds-row span{padding:8px 5px}.louds-bit-row{gap:2px}.louds-bit-chip{width:27px;min-height:48px}.louds-bit-chip b{font-size:14px}.louds-nav-calc{grid-template-columns:1fr}.fm-diagram{flex-direction:column}.fm-diagram i{transform:rotate(90deg)}.suffix-table.unsorted>div{grid-template-columns:34px 1fr}.suffix-table.sorted>div{grid-template-columns:32px 32px 1fr}.suffix-table.with-bwt>div{grid-template-columns:30px 30px 1fr 28px 28px}.suffix-table>div>*{padding-inline:4px}.bwt-strip span,.sa-strip span{min-width:36px}.bwt-strip button{min-width:44px}.tour-map{gap:6px}.tour-map div{padding:8px 3px}.tour-map span{font-size:10px}.lesson-navigation-shell{padding:8px 12px}.rmq-array button{width:44px}.range-pair,.graph-coordinate{grid-template-columns:1fr;gap:6px}.rmq-bp{gap:0}.rmq-bp span{width:24px}.trie-svg{width:calc(100% + 30px);margin-inline:-15px}.trie-labels>small{display:none}.trie-labels span{width:37px}.unary-demo>div{gap:7px}.unary-demo span{min-width:48px;padding-inline:6px;font-size:14px}.k2-path{grid-template-columns:1fr}.k2-path i{text-align:center}.k2-path>div{width:100%;min-height:78px}.k2-query{grid-template-columns:1fr;gap:16px}.k2-query-matrix{justify-self:center}.k2-query-path{grid-template-columns:repeat(3,minmax(0,1fr));gap:4px}.k2-query-path>i{display:none}.k2-query-path>div{border-left-width:1px;grid-template-columns:1fr;align-content:start;padding:7px 4px}.k2-query-path>div.revealed{border-left-width:3px}.k2-query-path p{grid-area:auto/1}.k2-query-path p span{width:25%;min-width:0;height:34px}.k2-query-path strong,.k2-query-path em{font-size:9px}.k2-query-result{gap:7px;padding-inline:8px;font-size:11px}.k2-decomposition{grid-template-columns:1fr;gap:16px}.k2-matrix-figure{width:min(100%,330px)}.k2-levels{grid-template-columns:repeat(3,minmax(0,1fr));gap:4px}.k2-levels>div{border-left-width:1px;padding:7px 4px}.k2-levels>div.revealed{border-left-width:3px}.k2-levels p>span{width:25%;min-width:0;height:30px}.k2-levels p.grouped{gap:3px}.k2-levels p.grouped span{width:50%;padding-inline:2px 0;font-size:11px}.k2-levels p.leaf-groups{grid-template-columns:repeat(2,minmax(0,1fr))}.k2-levels p.leaf-groups span{width:100%}.k2-levels>div>strong{font-size:9px}.k2-step-status{font-size:11px}.tl-bits p span{width:24px}.tl-bits .result-equation{gap:8px 12px;padding-inline:8px}.tl-bits .result-equation>*{flex:none}.graph-matrix-wrap{max-width:100%}.cache-layout span{min-width:46px;padding-inline:7px}.cache-lines{grid-template-columns:1fr}.frontier-step-demo{gap:11px}.select-query{grid-template-columns:auto 1fr}.select-query span{text-align:left;grid-column:1/-1}.select-block-rail>div{min-height:62px}.select-block-rail span{display:none}.select-step-cards{grid-template-columns:1fr;gap:4px}.select-step-cards>div{min-height:64px}.vlb-build-heading{gap:7px}.vlb-build-heading span{padding-inline:7px}.vlb-build-source{grid-template-columns:1fr 1fr}.vlb-build-source>div:last-child{grid-column:1/-1}.vlb-leaf-layout{grid-template-columns:1fr}.guarantee-context{flex-wrap:wrap;gap:5px}.guarantee-panels{grid-template-columns:1fr;gap:8px}.guarantee-panels article{min-height:205px}.guarantee-distinction{grid-template-columns:1fr}.guarantee-distinction strong{text-align:left;padding-top:0}.forest-blocks button{min-width:0;padding:7px 3px}.forest-blocks button span{font-size:10px}.forest-levels{flex-wrap:wrap}.vlb-source small{display:none}.vlb-source span{padding-inline:3px;font-size:10px}.c2-demo>div{grid-template-columns:78px 1fr 1fr}.c2-demo span{padding-inline:5px;font-size:11px}.unary-path{gap:4px}.unary-path span{width:39px}.entropy-comparison{grid-template-columns:1fr}.entropy-array button,.entropy-array>span{width:44px}.frequency-shift div{gap:5px;padding-inline:6px}.door-stage .chapter-door-graphic{width:calc(100% + 10px);margin-inline:-5px}.comparison-example{grid-template-columns:1fr}.comparison-example small{grid-column:auto}.comparison-bars button{grid-template-columns:1fr auto;gap:7px 12px}.comparison-track{grid-area:2/1/auto/-1}.comparison-size{grid-area:1/2}.comparison-detail{flex-direction:column;align-items:flex-start;gap:6px}.comparison-detail strong{text-align:left}.matrix-stage{gap:16px;width:calc(100% - 16px)}.matrix-source-row button{min-width:0;height:58px;font-size:17px}.matrix-level-card,.matrix-partition-card{grid-template-columns:1fr auto;gap:7px 10px;padding:9px 10px}.matrix-bit-row,.matrix-partition-card .partition-symbol-row{grid-area:2/1/auto/-1}.matrix-bit-row .bit-chip,.matrix-stage .partition-chip{width:31px;height:34px}.matrix-levels em{grid-area:1/2}.matrix-order-compare{grid-template-columns:1fr;gap:3px}.matrix-order-compare code+small{margin-top:5px}.matrix-trace-result{padding-inline:8px;font-size:12px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}@media (width<=600px){.lesson-copy h1{font-size:28px}}.suffix-table.sorted.without-sa>div{grid-template-columns:42px 1fr}.sa-strip[aria-hidden=true]{visibility:hidden}.suffix-table .bwt-suffix{align-items:center;gap:9px;display:flex}.bwt-suffix>small{color:var(--muted);font:10px ui-monospace,monospace}.bwt-suffix>span{font-weight:500}.bwt-suffix mark{border:2px solid var(--blue);background:var(--blue-soft);min-width:23px;min-height:25px;color:var(--ink);place-items:center;margin-right:1px;display:inline-grid}.suffix-table .bwt-value{place-items:center;gap:1px;padding:3px 1px;display:grid}.bwt-value>span{font-size:15px}.bwt-value>small{color:var(--muted);font:400 9px ui-monospace,monospace}.suffix-table .bwt-head{place-items:center;gap:1px;display:grid}.bwt-head>small{font:9px ui-monospace,monospace}.suffix-table.with-bwt.explain-bwt>div{grid-template-columns:42px 42px minmax(110px,1fr) 58px 72px}.suffix-table.explain-bwt>div:not(.suffix-head){position:relative}.suffix-row-button{z-index:2;box-sizing:border-box;cursor:pointer;background:0 0;border:0;width:100%;padding:0;position:absolute;inset:0}.suffix-row-button:hover{outline:1px solid var(--blue);outline-offset:-1px}.suffix-row-button:focus-visible{outline:3px solid var(--blue);outline-offset:-3px}.bwt-source{justify-content:center;align-items:center;display:flex}.bwt-source>small{color:var(--muted);margin-right:12px;font:13px ui-monospace,monospace}.bwt-source>span{border:1px solid var(--line-dark);background:var(--paper);grid-template-rows:13px 1fr 12px;place-items:center;width:48px;min-height:58px;margin-left:-1px;font-family:ui-monospace,monospace;display:grid}.bwt-source span>em{min-height:13px;color:var(--muted);font:700 10px ui-monospace,monospace}.bwt-source span>b{font-size:17px}.bwt-source span>small{color:var(--muted);font-size:9px}.bwt-source>span.is-f{z-index:1;border:3px solid var(--blue);background:var(--blue-soft)}.bwt-source>span.is-l{z-index:1;border:2px dashed var(--ink)}.bwt-source>span.is-f>em{color:var(--blue-deep)}.bwt-source>span.is-l>em{color:var(--ink)}.lf-match-summary{grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;gap:8px;width:min(100%,600px);display:grid}.lf-match-summary>span{border:1px solid var(--line-dark);background:var(--paper);text-align:center;place-items:center;gap:5px;min-width:0;padding:10px 6px;display:grid}.lf-match-summary>span:last-child{border:2px solid var(--blue);background:var(--blue-soft)}.lf-match-summary small{color:var(--muted);font-size:11px}.lf-match-summary b{font:600 13px ui-monospace,monospace}.lf-match-summary i{color:var(--blue-deep);align-self:center;font-style:normal}.rank-caption{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);flex-wrap:wrap;justify-content:center;align-items:center;gap:7px 14px;width:min(100%,600px);padding:9px 12px;font:12px ui-monospace,monospace;display:flex}.rank-caption strong{border:1px solid var(--blue);background:var(--blue-soft);color:var(--blue-deep);padding:3px 8px}.bwt-strip.lf-strip{width:min(100%,600px)}.lf-strip span,.lf-strip button{flex:1 1 0;grid-template-rows:1fr auto;gap:2px;min-width:0;height:58px;padding:5px 2px}.lf-strip b{font:600 16px ui-monospace,monospace}.lf-strip span>small,.lf-strip button>small{color:var(--muted);white-space:nowrap;font:8px ui-monospace,monospace}.lf-strip span.selected>small,.lf-strip button.selected>small{color:var(--blue-deep)}.lf-strip.rank-strip button{grid-template-rows:12px 1fr auto;height:70px}.rank-strip button>em{min-height:12px;color:var(--muted);font:700 8px ui-monospace,monospace}.rank-strip button.rank-range{background:var(--blue-soft);border-bottom:4px solid var(--blue)}.rank-strip button.rank-hit{box-shadow:inset 0 0 0 2px var(--blue)}.rank-strip button.rank-hit>em{color:var(--blue-deep)}.rank-strip button.selected>em{color:var(--ink)}.entropy-basics,.select-index-demo,.static-update-demo,.total-space-demo{gap:20px;width:min(100%,640px);min-width:0;display:grid}.entropy-sequence{justify-content:center;min-width:0;display:flex}.entropy-sequence span{border:1px solid var(--line-dark);background:var(--paper);place-items:center;width:52px;min-width:44px;height:58px;margin-left:-1px;font:600 17px ui-monospace,monospace;display:grid}.frequency-bars{gap:9px;display:grid}.frequency-bars>div{grid-template-columns:24px minmax(120px,1fr) 190px;align-items:center;gap:12px;display:grid}.frequency-bars>div>b{font:600 15px ui-monospace,monospace}.frequency-bars>div>span{border:1px solid var(--line-dark);background:var(--paper);height:18px}.frequency-bars i{background:var(--blue-soft);border-right:2px solid var(--blue);height:100%;display:block}.frequency-bars small{color:var(--muted);font:12px ui-monospace,monospace}.entropy-result{justify-content:space-between}.bit.select-sample{border-style:double;border-width:4px}.bit.select-scan{box-shadow:inset 0 -6px 0 var(--blue)}.bit-1.select-scan{box-shadow:inset 0 -6px #8fc8ff}.sample-directory{grid-template-columns:auto repeat(3,minmax(0,1fr));align-items:stretch;gap:8px;display:grid}.sample-directory>small{color:var(--muted);align-self:center;font:12px ui-monospace,monospace}.sample-directory>span{border:1px solid var(--line-dark);background:var(--paper);gap:4px;padding:10px;font:12px ui-monospace,monospace;display:grid}.sample-directory>span.active{border:2px solid var(--blue);background:var(--blue-soft)}.sample-directory b{color:var(--muted);font-weight:500}.sample-directory strong{color:var(--blue-deep)}.static-update-demo .bit:disabled{opacity:1;cursor:default}.static-index-row{grid-template-columns:1fr 1fr;gap:12px;display:grid}.static-index-row>span{border:1px solid var(--line-dark);background:var(--paper);gap:7px;padding:14px;display:grid}.static-index-row>span.warning{border:2px solid var(--blue);background:var(--blue-soft)}.static-index-row small{color:var(--muted)}.static-index-row strong{font:600 20px ui-monospace,monospace}.space-stack{border:1px solid var(--line-dark);background:var(--paper);min-height:86px;display:flex;overflow:hidden}.space-stack>span{border-right:1px solid var(--line-dark);background:#dfe3e6;align-content:center;gap:5px;min-width:70px;padding:12px;display:grid}.space-stack>span:last-child{border-right:0}.space-stack>span.auxiliary{background:var(--blue-soft)}.space-stack>span.padding{background:repeating-linear-gradient(135deg, var(--paper), var(--paper) 7px, #e5e8ea 7px, #e5e8ea 14px)}.space-stack small{font:11px ui-monospace,monospace}.space-stack strong{font:600 16px ui-monospace,monospace}.space-controls{gap:13px;display:grid}.space-controls label{grid-template-columns:210px 1fr 72px;align-items:center;gap:14px;font-size:13px;display:grid}.space-controls input{min-height:44px;accent-color:var(--blue)}.space-controls output{text-align:right;font:13px ui-monospace,monospace}.total-space-demo .comparison-note{margin:-6px 0 0}.size-comparison-stage{width:min(100%,720px)}.size-comparison{gap:14px;width:100%;margin:0;display:grid}.size-comparison figcaption{border-bottom:1px solid var(--line-dark);gap:5px;padding-bottom:12px;display:grid}.size-comparison figcaption strong{font-size:18px}.size-comparison figcaption span{color:var(--muted);font:12px ui-monospace,monospace}.size-comparison-axis{color:var(--muted);grid-template-columns:1fr auto 1fr;gap:12px;font:10px ui-monospace,monospace;display:grid}.size-comparison-axis span:nth-child(2){color:var(--ink);text-align:center}.size-comparison-axis span:last-child{text-align:right}.size-comparison ol{gap:5px;margin:0;padding:0;list-style:none;display:grid}.size-comparison li{border:1px solid var(--line);background:var(--paper);grid-template-columns:minmax(164px,.9fr) minmax(160px,1.3fr) minmax(92px,auto);align-items:center;gap:14px;min-width:0;min-height:78px;padding:9px 11px;display:grid}.size-comparison li.target{border:3px double var(--blue-deep);padding:7px 9px}.size-comparison-label{grid-template-columns:auto 1fr;align-items:baseline;gap:3px 8px;min-width:0;display:grid}.size-comparison-label>span{color:var(--muted);text-transform:uppercase;font:9px ui-monospace,monospace}.size-comparison li.target .size-comparison-label>span{color:var(--blue-deep);font-weight:700}.size-comparison-label strong{min-width:0;font-size:13px}.size-comparison-label small{color:var(--muted);grid-column:1/-1;font-size:11px;line-height:1.35}.size-comparison-track{border-left:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);background:var(--paper);height:24px}.size-comparison-track i{border-right:2px solid var(--ink);background:#dfe3e6;min-width:3px;height:100%;display:block}.size-comparison li.target .size-comparison-track i{border-right:4px solid var(--blue-deep);background:var(--blue-soft)}.size-comparison output{text-align:right;font-variant-numeric:tabular-nums;font:700 14px ui-monospace,monospace}.size-comparison li.target output{color:var(--blue-deep)}.size-comparison>p{color:var(--muted);margin:0;font-size:11px;line-height:1.5}.summary-visual-stage{color:#f6f7f8;background:#0d0f11}.summary-stage{width:min(100%,760px)}.summary-route{border-top:1px solid #8d969f;border-bottom:1px solid #8d969f;grid-template-columns:repeat(4,minmax(0,1fr));width:100%;display:grid}.summary-route-step{border-right:1px solid var(--line);align-content:center;gap:7px;min-width:0;min-height:126px;padding:14px 18px;display:grid;position:relative}.summary-route-step:last-child{border-right:0}.summary-route-step>span{color:#8fc8ff;font:10px ui-monospace,monospace}.summary-route-step strong{font:700 15px ui-monospace,monospace}.summary-route-step small{color:#b6bdc5;font-size:11px;line-height:1.4}.summary-route-step i{z-index:1;color:#8fc8ff;background:#0d0f11;border:1px solid #8d969f;place-items:center;width:26px;height:26px;font-style:normal;display:grid;position:absolute;top:calc(50% - 13px);right:-13px}.summary-recoveries{border-top:1px solid #8d969f;width:100%}.summary-recovery-head,.summary-recovery-row{grid-template-columns:minmax(90px,.6fr) minmax(150px,1.2fr) minmax(150px,1.2fr);display:grid}.summary-recovery-head{color:#b6bdc5;font:10px ui-monospace,monospace}.summary-recovery-head span,.summary-recovery-row>*{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-width:0;padding:9px 11px}.summary-recovery-head span:last-child,.summary-recovery-row>:last-child{border-right:0}.summary-recovery-row strong{font:700 12px ui-monospace,monospace}.summary-recovery-row span{font-size:12px}.summary-recovery-row span:last-child{color:#8fc8ff;font-weight:650}.lesson-activity{border-top:1px solid var(--line);border-bottom:1px solid var(--line);gap:7px;margin:16px 0 0;padding:12px 0;font-size:14px;line-height:1.55;display:grid}.lesson-activity>div{grid-template-columns:80px minmax(0,1fr);gap:16px;min-width:0;display:grid}.lesson-activity dt{color:var(--muted);font-weight:600}.lesson-activity dd{margin:0}.stage-stepper{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;display:flex}.stage-stepper button{border:1px solid var(--line-dark);background:var(--paper);cursor:pointer;min-height:44px;padding:0 16px}.stage-stepper button:first-child{border-color:var(--ink);background:var(--ink);color:#fff}.stage-stepper button:disabled{opacity:.4;cursor:default}.stage-stepper output{min-width:52px;color:var(--muted);font:13px ui-monospace,monospace}.selected-class-candidates{gap:14px;width:min(100%,560px);display:grid}.selected-class-candidates>p{justify-content:center;gap:18px;margin:0;font:14px ui-monospace,monospace;display:flex}.graph-matrix>span{border:1px solid var(--line);background:var(--paper);min-width:44px;min-height:44px;color:var(--muted);place-items:center;margin:-1px 0 0 -1px;font:12px ui-monospace,monospace;display:grid}.graph-matrix>span.edge{border-color:var(--ink);background:var(--ink);color:#fff;font-weight:700}.graph-matrix>span.row-active{border-top:2px dashed var(--blue);border-bottom:2px dashed var(--blue)}@media (width>=901px){.reading-pane{overflow-y:auto}.visual-stage{overflow:hidden}.reading-pane{padding-top:clamp(24px,4vh,36px);padding-bottom:70px}.lesson-copy h1{margin-bottom:16px;font-size:clamp(25px,2vw,31px)}.page-eyebrow{margin-bottom:9px}.lesson-body{line-height:1.68}.lesson-body p{margin-bottom:.72em}.source-links{gap:4px;margin-top:12px}.stage-inner{gap:14px;min-height:0;padding:16px 0 10px}.tour-route{margin-top:16px;padding-top:12px}.tour-route li{padding:8px 0}.tour-route p{font-size:13px;line-height:1.4}.graph-stage.tl-stage .k2-matrix-figure{width:min(100%,300px)}.graph-stage.tl-stage .tl-bits{gap:12px}.rmq-stage{gap:10px}}@media (width<=600px){.step-flow{flex-direction:column}.step-flow>i{font-size:0}.step-flow>i:after{content:"↓";font-size:13px}.suffix-table.sorted.without-sa>div{grid-template-columns:32px 1fr}.suffix-table.with-bwt.explain-bwt>div{grid-template-columns:30px 30px minmax(90px,1fr) 52px 62px}.bwt-source>span{width:42px}.lf-match-summary{gap:4px}.lf-match-summary>span{padding-inline:3px}.lf-match-summary small{font-size:10px}.lf-match-summary b{font-size:11px}.frequency-bars>div{grid-template-columns:20px 1fr;gap:6px 9px}.frequency-bars small{grid-column:2}.entropy-sequence span{flex:1 1 0;width:auto;min-width:0}.entropy-result{grid-template-columns:auto 1fr;display:grid}.entropy-result span:last-child{grid-column:1/-1}.sample-directory{grid-template-columns:1fr 1fr}.sample-directory>small{grid-column:1/-1}.static-index-row{grid-template-columns:1fr}.space-stack{min-height:112px}.space-stack>span{min-width:54px;padding:8px 5px}.space-stack small{font-size:9px}.space-stack strong{font-size:13px}.space-controls label{grid-template-columns:1fr auto;gap:4px 10px}.space-controls input{grid-area:2/1/auto/-1}.space-controls output{grid-area:1/2}.stage-inner.size-comparison-stage,.stage-inner.summary-stage{width:calc(100% - 30px)}.size-comparison li{grid-template-columns:minmax(0,1fr) auto;gap:8px 12px;padding:10px}.size-comparison li.target{padding:8px}.size-comparison-label{grid-area:1/1}.size-comparison-track{grid-area:2/1/auto/-1}.size-comparison output{grid-area:1/2;font-size:12px}.summary-route{grid-template-columns:1fr}.summary-route-step{border-right:0;border-bottom:1px solid var(--line);min-height:88px}.summary-route-step:last-child{border-bottom:0}.summary-route-step i{top:auto;bottom:-13px;right:calc(50% - 13px);transform:rotate(90deg)}.summary-recovery-head{display:none}.summary-recovery-row{grid-template-columns:82px minmax(0,1fr)}.summary-recovery-row strong{border-bottom:1px solid var(--line);grid-row:1/3;align-items:center;display:grid}.summary-recovery-row span{border-right:0}.fm-index-data,.fm-boundary-calcs{grid-template-columns:1fr}.fm-search-segment>span{min-width:50px;padding-inline:2px}.fm-search-segment>i{min-width:40px;font-size:8px}.fm-c-values{grid-template-columns:repeat(4,1fr)}.fm-c-values>small{grid-column:1/-1}.fm-boundary-calcs>span{grid-template-columns:42px 1fr auto}.tour-map .map-lane{grid-template-rows:auto auto auto;grid-template-columns:78px minmax(0,1fr);gap:5px 8px}.tour-map .map-lane>strong{grid-area:1/1/4}.tour-map .map-lane>i{grid-area:2/2}.tour-map .map-lane>b{grid-area:3/2}.map-bit-row span,.map-symbol-row>span{min-width:0}.map-symbol-row .child-position{margin-left:5px;padding-inline:4px}.map-intervals{gap:3px}.map-intervals span{padding-inline:5px}.visual-stage{overflow:visible}.lesson-body{font-size:17px;line-height:1.82}.graph-matrix{aspect-ratio:1;grid-template-rows:repeat(8,minmax(0,1fr));grid-template-columns:repeat(8,minmax(0,1fr));width:min(100%,352px);height:auto}.graph-matrix>button,.graph-matrix>span{aspect-ratio:1;min-width:0;min-height:0}}
