.astro-route-announcer{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;top:0;left:0;overflow:hidden}@keyframes astroFadeInOut{0%{opacity:1}to{opacity:0}}@keyframes astroFadeIn{0%{opacity:0;mix-blend-mode:plus-lighter}to{opacity:1;mix-blend-mode:plus-lighter}}@keyframes astroFadeOut{0%{opacity:1;mix-blend-mode:plus-lighter}to{opacity:0;mix-blend-mode:plus-lighter}}@keyframes astroSlideFromRight{0%{transform:translate(100%)}}@keyframes astroSlideFromLeft{0%{transform:translate(-100%)}}@keyframes astroSlideToRight{to{transform:translate(100%)}}@keyframes astroSlideToLeft{to{transform:translate(-100%)}}@media (prefers-reduced-motion){::view-transition-group(*),::view-transition-old(*),::view-transition-new(*),[data-astro-transition-scope]{animation:none!important}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.17.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.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 .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.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 .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.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 .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.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 .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.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 .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>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{color-scheme:light;--bg:#fbfaf7;--bg-soft:#f6f2ea;--surface:#fff;--surface-strong:#f7f3ec;--surface-2:#f7f3ec;--panel:#f6f2ea;--text:#1b1e26;--muted:#5a606e;--faint:#9a958a;--border:#ece8df;--border-strong:#d8d1c3;--accent:#3b4ca8;--accent-text:#3b4ca8;--accent-ink:#fff;--accent-soft:#eef0fa;--chip:#f1eee7;--accent-2:#9a7b3f;--accent-3:#3f6e70;--maturity-seed:#9a7b3f;--maturity-growing:#2f7c86;--maturity-stable:#3b4ca8;--maturity-evergreen:#3f7a4d;--graph-blog:#3b4ca8;--graph-note:#2f3545;--graph-reference-edge:#3b4ca8a8;--graph-reference-edge-active:#3b4ca8f0;--graph-builds-on-edge:#3f6e708f;--graph-builds-on-edge-active:#3f6e70e0;--graph-related-edge:#747c9480;--graph-related-edge-active:#747c94d1;--graph-node-halo:#ffffff94;--graph-node-halo-active:#3b4ca829;--env-result:#3b4ca8;--env-structure:#3f6e70;--env-example:#9a7b3f;--env-work:#6b7280;--env-algorithm:#6b5b95;--tag-linguistics:#a8575f;--danger:#a43e3e;--page-grid:color-mix(in srgb, var(--border) 11%, transparent);--canvas-grid:color-mix(in srgb, var(--border) 14%, transparent);--shadow:0 18px 46px #0a0c140e;--article-surface:transparent;--article-border:color-mix(in srgb, var(--border) 82%, transparent);--article-shadow:none;--rail-border:color-mix(in srgb, var(--border) 78%, transparent);--subtle-surface:color-mix(in srgb, var(--surface) 58%, transparent);--hover-surface:var(--accent-soft);--motion-fast:.14s;--motion-medium:.22s;--motion-slow:.42s;--route-out:90ms;--route-in:.17s;--ease-out:cubic-bezier(.16, 1, .3, 1);--radius:6px;--font-sans:"Source Serif 4", "Noto Serif SC", Georgia, "Times New Roman", serif;--font-serif:"Source Serif 4", "Noto Serif SC", Georgia, "Times New Roman", serif;--font-mono:"JetBrains Mono", "SFMono-Regular", Consolas, "Liberation Mono", monospace}[data-theme=dark]{color-scheme:dark;--bg:#0d0f14;--bg-soft:#0a0c10;--surface:#15181f;--surface-strong:#11141b;--surface-2:#11141b;--panel:#0a0c10;--text:#e8e9ed;--muted:#9aa0ac;--faint:#6b7280;--border:#1c1f27;--border-strong:#2a2f3a;--accent:#8b9aec;--accent-text:#8b9aec;--accent-ink:#0d0f14;--accent-soft:#8b9aec21;--chip:#1b1f28;--accent-2:#c9a660;--accent-3:#7bb4b7;--maturity-seed:#c9a660;--maturity-growing:#73c6cf;--maturity-stable:#8b9aec;--maturity-evergreen:#7fbd88;--graph-blog:#8b9aec;--graph-note:#cfd2da;--graph-reference-edge:#8b9aec9e;--graph-reference-edge-active:#8b9aecf0;--graph-builds-on-edge:#7bb4b794;--graph-builds-on-edge-active:#7bb4b7eb;--graph-related-edge:#7c86a285;--graph-related-edge-active:#8c96b2d1;--graph-node-halo:#f0f2ea17;--graph-node-halo-active:#8b9aec33;--env-result:#8b9aec;--env-structure:#7bb4b7;--env-example:#c9a660;--env-work:#9aa0ac;--env-algorithm:#b7a5e6;--tag-linguistics:#d99aa0;--danger:#e07c7c;--page-grid:color-mix(in srgb, var(--border) 14%, transparent);--canvas-grid:color-mix(in srgb, var(--border) 16%, transparent);--shadow:0 18px 52px #0000003d;--article-surface:transparent;--article-border:color-mix(in srgb, var(--border) 82%, transparent);--article-shadow:none;--rail-border:color-mix(in srgb, var(--border) 76%, transparent);--subtle-surface:color-mix(in srgb, var(--surface) 62%, transparent);--hover-surface:var(--accent-soft)}*{box-sizing:border-box}html{background:var(--bg);color:var(--text);font-family:var(--font-sans);letter-spacing:0;scroll-behavior:smooth;scrollbar-gutter:stable}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}html{scroll-behavior:auto}::view-transition-group(*),::view-transition-old(*),::view-transition-new(*){animation:none!important}}@keyframes page-main-out{0%{opacity:1}to{opacity:0}}@keyframes page-main-in{0%{opacity:0;transform:scale(.99)}to{opacity:1;transform:scale(1)}}@keyframes page-main-approach{0%{opacity:0;transform:scale(1.01)}to{opacity:1;transform:scale(1)}}@keyframes article-target-focus{0%{background-color:color-mix(in srgb, var(--accent) 10%, transparent);box-shadow:-.42rem 0 0 color-mix(in srgb, var(--accent) 52%, transparent);color:var(--accent-text)}to{color:inherit;background-color:#0000;box-shadow:-.42rem 0 #0000}}body{background:linear-gradient(90deg, var(--page-grid) 1px, transparent 1px) 0 0 / 56px 56px, linear-gradient(180deg, var(--bg), var(--bg-soft));min-width:320px;color:var(--text);transition:background-color var(--motion-slow) var(--ease-out), color var(--motion-medium) var(--ease-out);margin:0}a{color:inherit;text-decoration-color:color-mix(in srgb, currentColor 35%, transparent);text-underline-offset:.18em;transition:color var(--motion-fast) var(--ease-out), text-decoration-color var(--motion-fast) var(--ease-out)}a:hover{color:var(--accent)}a:focus-visible,button:focus-visible,select:focus-visible,input:focus-visible{outline:2px solid color-mix(in srgb, var(--accent) 72%, transparent);outline-offset:3px}img{max-width:100%}main{width:min(1120px,100% - 32px);margin:0 auto}main#main-content{view-transition-name:page-main}::view-transition-group(root),::view-transition-old(root),::view-transition-new(root){mix-blend-mode:normal;animation-duration:.001ms;animation-fill-mode:both}::view-transition-group(page-main){animation-duration:var(--route-in);animation-timing-function:var(--ease-out);animation-fill-mode:both}::view-transition-old(page-main){animation:page-main-out var(--route-out) var(--ease-out) both;mix-blend-mode:normal}::view-transition-new(page-main){animation:page-main-in var(--route-in) var(--ease-out) both;mix-blend-mode:normal}html[data-astro-transition=back]::view-transition-new(page-main){animation:page-main-approach var(--route-in) var(--ease-out) both}[data-astro-transition-fallback=old] main#main-content{animation:page-main-out var(--route-out) var(--ease-out) both}[data-astro-transition-fallback=new] main#main-content{animation:page-main-in var(--route-in) var(--ease-out) both}[data-astro-transition=back][data-astro-transition-fallback=new] main#main-content{animation:page-main-approach var(--route-in) var(--ease-out) both}.skip-link{z-index:5;border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);padding:8px 10px;position:absolute;top:8px;left:16px;transform:translateY(-150%)}.skip-link:focus{transform:translateY(0)}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.site-header{z-index:10;border-bottom:1px solid color-mix(in srgb, var(--border) 75%, transparent);background:color-mix(in srgb, var(--bg) 86%, transparent);backdrop-filter:blur(18px);transition:background-color var(--motion-medium) var(--ease-out), border-color var(--motion-medium) var(--ease-out), box-shadow var(--motion-medium) var(--ease-out);position:sticky;top:0}.header-inner,.footer-inner{justify-content:space-between;align-items:center;gap:20px;width:min(1120px,100% - 32px);margin:0 auto;display:flex}.footer-copy{flex-direction:column;gap:3px;display:flex}.footer-copy p{margin:0}.footer-copyright{color:var(--faint)}.brand,.nav-links,.header-actions,.footer-links,.eyebrow-row,.card-meta,.tag-row,.hero-actions{align-items:center;display:flex}.brand{color:var(--text);gap:10px;text-decoration:none}.brand:hover{color:var(--text)}.brand-mark{border:1px solid var(--border);min-width:38px;height:30px;color:var(--accent);font-family:var(--font-mono);transition:border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-medium) var(--ease-out);border-radius:999px;justify-content:center;align-items:center;font-size:.78rem;font-weight:760;display:inline-flex}.brand:hover .brand-mark{border-color:color-mix(in srgb, var(--accent) 42%, var(--border));transform:translateY(-1px)rotate(-1deg)}.brand-copy{gap:1px;display:grid}.brand-title{font-size:.94rem;font-weight:760;line-height:1.05}.brand-subtitle{color:var(--muted);font-family:var(--font-mono);font-size:.63rem;line-height:1.15}.nav-links{gap:6px}.nav-links a,.footer-links a,.locale-switch,.text-link{color:var(--muted);border-radius:999px;font-size:.93rem;font-weight:640;text-decoration:none}.nav-links a{transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);border:1px solid #0000;padding:8px 11px;display:inline-flex}.nav-links a:hover,.nav-links a[aria-current=page],.nav-links a[aria-current=location],.locale-switch:hover,.text-link:hover{background:color-mix(in srgb, var(--accent) 10%, transparent);color:var(--accent-text)}.nav-links a[aria-current=page]{background:color-mix(in srgb, var(--accent) 14%, transparent);color:var(--accent-text)}.nav-links a:hover,.locale-switch:hover,.text-link:hover{transform:translateY(-1px)}.icon-button,.icon-link{border:1px solid var(--border);background:var(--surface);width:38px;height:38px;color:var(--text);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);border-radius:999px;justify-content:center;align-items:center;display:inline-flex}.icon-button svg,.icon-link svg{fill:currentColor;width:18px;height:18px}.icon-button:hover,.icon-link:hover{border-color:var(--accent);color:var(--accent);transform:translateY(-1px)}.hero-section{grid-template-columns:minmax(0,1.05fr) minmax(320px,.95fr);align-items:center;gap:clamp(28px,5vw,72px);min-height:clamp(440px,58svh,560px);padding:clamp(34px,4.6vw,58px) 0;display:grid}.list-hero h1,.content-hero h1{color:var(--text);letter-spacing:0;margin:0;font-weight:780;line-height:1.02}.hero-text{max-width:680px;color:var(--muted);margin:22px 0 0;font-size:clamp(1.08rem,1.9vw,1.34rem);line-height:1.68}.eyebrow{color:var(--accent);font-family:var(--font-mono);letter-spacing:0;text-transform:uppercase;margin:0 0 14px;font-size:.8rem;font-weight:760}.hero-actions{flex-wrap:wrap;gap:12px;margin-top:30px}.button{border:1px solid var(--border);border-radius:var(--radius);min-height:42px;transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);justify-content:center;align-items:center;padding:0 16px;font-weight:720;text-decoration:none;display:inline-flex}.button-secondary{background:var(--surface);color:var(--text)}.comments,.search-panel,.graph-explorer{border:1px solid var(--border);border-radius:var(--radius);background:color-mix(in srgb, var(--surface) 84%, var(--bg));box-shadow:none}.research-panel{border-left:2px solid color-mix(in srgb, var(--accent) 48%, var(--border));background:0 0;padding:clamp(22px,4vw,34px)}.research-panel h2,.section-heading h2,.surface-section h2,.list-hero h1,.content-hero h1,.comments h2{margin:0}.research-panel h2{font-size:clamp(1.45rem,3vw,2rem)}.focus-list{border-top:1px solid var(--border);gap:0;margin-top:22px;display:grid}.focus-list div{border-bottom:1px solid var(--border);padding:12px 0}.focus-list strong{color:var(--text);display:block}.focus-list span,.panel-note{color:var(--muted)}.panel-note{margin:22px 0 0;font-size:.95rem;line-height:1.6}.section-grid,.surface-section,.list-hero,.content-shell{padding:clamp(34px,6vw,72px) 0}.section-heading{margin-bottom:22px}.section-heading h2,.surface-section h2{font-size:clamp(1.8rem,4vw,3rem)}.card-list{border-top:1px solid var(--border);gap:0;display:grid}.list-page{padding-bottom:72px}.content-card{border-bottom:1px solid var(--border);transition:border-color var(--motion-medium) var(--ease-out), transform var(--motion-medium) var(--ease-out);background:0 0;grid-template-columns:minmax(118px,.18fr) minmax(0,1fr);column-gap:clamp(18px,3.2vw,40px);padding:clamp(18px,3vw,26px) 0;display:grid;position:relative}.content-card:before{background:linear-gradient(90deg, color-mix(in srgb, var(--accent) 5%, transparent), transparent 42%);opacity:0;pointer-events:none;content:"";transition:opacity var(--motion-medium) var(--ease-out);border-radius:0;position:absolute;inset:0}.content-card:hover:before,.content-card:focus-within:before{opacity:1}.content-card:hover,.content-card:focus-within{transform:translateY(-1px)}.content-card:hover h2 a,.content-card:hover h3 a,.content-card:focus-within h2 a,.content-card:focus-within h3 a{color:var(--accent)}.content-card h2,.content-card h3{margin:8px 0 0;font-size:clamp(1.1rem,2.3vw,1.45rem);line-height:1.25}.content-card>.card-meta{flex-direction:column;grid-area:1/1/span 4;align-content:start;align-items:flex-start;gap:5px;padding-top:4px}.content-card h2 a,.content-card h3 a{text-decoration:none}.content-card p{color:var(--muted);margin:12px 0 0;line-height:1.65}.content-card-compact{box-shadow:none;border-bottom:0;padding:14px;display:block}.content-card-compact:before{display:none}.content-card-compact h3{font-size:.98rem}.card-meta,.eyebrow-row{color:color-mix(in srgb, var(--muted) 92%, var(--text));font-family:var(--font-mono);flex-wrap:wrap;gap:8px;font-size:.75rem}.content-hero .eyebrow-row{align-items:center;gap:9px;margin-bottom:14px}.eyebrow-trail{flex-wrap:wrap;align-items:center;gap:6px;display:inline-flex}.eyebrow-trail a{color:inherit;text-decoration:none}.eyebrow-trail a:hover{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.eyebrow-trail a+a:before{content:"›";color:var(--faint);margin-right:6px}.content-hero .eyebrow-row .eyebrow{margin:0}.content-hero .eyebrow-row>span,.content-hero .eyebrow-row>time{align-items:center;min-height:22px;line-height:1;display:inline-flex}.maturity,.tag{border:1px solid var(--border);background:color-mix(in srgb, var(--surface) 70%, transparent);min-height:22px;color:var(--muted);font-family:var(--font-mono);border-radius:999px;align-items:center;padding:0 8px;font-size:.75rem;display:inline-flex}.tag[data-tag-tone="0"]{border-color:var(--border);background:color-mix(in srgb, var(--surface) 72%, transparent);color:var(--muted)}.tag[data-tag-tone="1"]{border-color:color-mix(in srgb, var(--accent) 28%, var(--border));background:color-mix(in srgb, var(--accent) 7%, var(--surface));color:color-mix(in srgb, var(--accent) 64%, var(--text))}.tag[data-tag-tone="2"]{border-color:color-mix(in srgb, var(--accent-3) 30%, var(--border));background:color-mix(in srgb, var(--accent-3) 7%, var(--surface));color:color-mix(in srgb, var(--accent-3) 62%, var(--text))}.tag[data-tag-tone="3"]{border-color:color-mix(in srgb, var(--env-algorithm) 30%, var(--border));background:color-mix(in srgb, var(--env-algorithm) 7%, var(--surface));color:color-mix(in srgb, var(--env-algorithm) 62%, var(--text))}.tag[data-tag-tone="4"]{border-color:color-mix(in srgb, var(--env-work) 32%, var(--border));background:color-mix(in srgb, var(--env-work) 8%, var(--surface));color:color-mix(in srgb, var(--env-work) 66%, var(--text))}.tag[data-tag-tone="5"]{border-color:color-mix(in srgb, var(--env-example) 30%, var(--border));background:color-mix(in srgb, var(--env-example) 7%, var(--surface));color:color-mix(in srgb, var(--env-example) 62%, var(--text))}.tag[data-tag-tone="6"]{border-color:color-mix(in srgb, var(--tag-linguistics) 30%, var(--border));background:color-mix(in srgb, var(--tag-linguistics) 7%, var(--surface));color:color-mix(in srgb, var(--tag-linguistics) 64%, var(--text))}.maturity-seed{border-color:color-mix(in srgb, var(--maturity-seed) 45%, var(--border))}.maturity-growing{border-color:color-mix(in srgb, var(--maturity-growing) 45%, var(--border))}.maturity-stable{border-color:color-mix(in srgb, var(--maturity-stable) 45%, var(--border))}.maturity-evergreen{border-color:color-mix(in srgb, var(--maturity-evergreen) 45%, var(--border))}.tag-row{flex-wrap:wrap;gap:8px;margin-top:16px}.surface-section{grid-template-columns:minmax(0,.8fr) minmax(320px,1.2fr);align-items:start;gap:30px;display:grid}.surface-section p,.list-hero p,.content-description{color:var(--muted);overflow-wrap:break-word;hyphens:auto;font-size:1.05rem;line-height:1.7}.list-hero{max-width:820px;padding-top:clamp(24px,4vw,44px);padding-bottom:clamp(22px,4vw,42px)}.list-hero h1{font-size:clamp(2rem,4.4vw,3.35rem)}.about-body{max-width:640px;padding-bottom:clamp(28px,5vw,56px)}.about-section+.about-section{margin-top:clamp(28px,4vw,40px)}.about-section .eyebrow{margin-bottom:12px}.about-section p:not(.eyebrow){color:var(--muted);font-size:1.08rem;line-height:1.76}.about-section p:not(.eyebrow)+p{margin-top:16px}.about-contact{border-top:1px solid var(--border);margin-top:clamp(40px,6vw,64px);padding-top:clamp(28px,4vw,40px)}.about-contact .social-actions{margin-top:20px}.content-shell{width:min(1240px,100% - 32px);margin:0 auto}.content-hero{max-width:890px;padding:34px 0 30px}.content-hero h1{overflow-wrap:break-word;hyphens:auto;max-width:1040px;margin-top:14px;font-size:clamp(2.05rem,4.8vw,4.05rem)}.locale-switch,.text-link{border:1px solid var(--border);padding:7px 10px}.article-body{counter-reset:research-env;border-top:1px solid var(--article-border);border-bottom:1px solid var(--article-border);background:var(--article-surface);min-width:0;max-width:72ch;box-shadow:var(--article-shadow);font-family:var(--font-serif);overflow-wrap:break-word;hyphens:manual;grid-area:body;padding:clamp(24px,3.8vw,44px) clamp(20px,2.8vw,34px);font-size:1.065rem;line-height:1.76}.article-body:lang(zh){font-family:var(--font-sans);line-height:1.84}.article-body>:first-child{margin-top:0}.article-body>:last-child{margin-bottom:0}.article-body h2,.article-body h3,.article-body h4{font-family:var(--font-sans);scroll-margin-top:92px;line-height:1.25}.article-body h2:target,.article-body h3:target,.article-body h4:target{animation:article-target-focus .9s var(--ease-out) both;border-radius:3px}.article-body h2{border-top:1px solid color-mix(in srgb, var(--border) 72%, transparent);letter-spacing:0;margin:2.7em 0 .85em;padding-top:1.1rem;font-size:1.75rem}.article-body h3{letter-spacing:0;margin:2.1em 0 .7em;font-size:1.35rem}.article-body h4{margin:1.8em 0 .6em}.article-body h1{font-family:var(--font-sans);margin:2.2em 0 .75em;font-size:1.9rem;line-height:1.18}.article-body p,.article-body li{color:color-mix(in srgb, var(--text) 88%, var(--muted))}.article-body p{margin:0 0 1.05rem}.article-body a{color:var(--accent);font-weight:620}.article-body pre,.article-body code{font-family:var(--font-mono)}.article-body :not(pre)>code{border:1px solid var(--border);background:var(--bg-soft);border-radius:6px;padding:.12rem .32rem;font-size:.92em}.expressive-code{margin:1.25rem 0}.expressive-code .frame:not(.is-terminal) pre[data-language]{padding-block-start:1.55rem}.expressive-code .frame:not(.is-terminal) pre[data-language]:before{content:attr(data-language);z-index:1;font-family:var(--font-mono);letter-spacing:.07em;text-transform:uppercase;color:var(--faint);pointer-events:none;transition:opacity var(--motion-fast) var(--ease-out);font-size:.64rem;position:absolute;top:.5rem;right:.75rem}.expressive-code .frame:not(.is-terminal):hover pre[data-language]:before{opacity:0}.expressive-code .frame:not(.is-terminal) pre[data-language=text],.expressive-code .frame:not(.is-terminal) pre[data-language=plaintext]{padding-block-start:0}.expressive-code .frame:not(.is-terminal) pre[data-language=text]:before,.expressive-code .frame:not(.is-terminal) pre[data-language=plaintext]:before{content:none}.article-body pre.mermaid{text-align:center;background:0 0;border:0;margin:1.5rem 0;padding:0;font-size:0;line-height:0}.article-body pre.mermaid[data-processed]{line-height:normal}.article-body pre.mermaid svg{max-width:100%;height:auto}.article-body img{border-radius:var(--radius);object-fit:contain;height:auto;max-height:76vh;margin:0 auto;display:block}.article-body img,.article-body pre.mermaid[data-processed]{cursor:zoom-in}.lightbox{z-index:1000;background:color-mix(in srgb, var(--bg) 88%, transparent);backdrop-filter:blur(6px);place-items:center;display:grid;position:fixed;inset:0}.lightbox[hidden],.lightbox:not([data-open=true]){display:none!important}.lightbox-stage{cursor:grab;touch-action:none;transform-origin:50%;will-change:transform;max-width:92vw;max-height:88vh}.lightbox-stage:active{cursor:grabbing}.lightbox-stage img,.lightbox-stage svg{user-select:none;-webkit-user-drag:none;max-width:92vw;height:auto;max-height:88vh;display:block}.lightbox-close{width:2.4rem;height:2.4rem;color:var(--fg);background:var(--bg-soft);border:1px solid var(--border);cursor:pointer;transition:background var(--motion-fast) var(--ease-out);border-radius:999px;place-items:center;font-size:1.6rem;line-height:1;display:grid;position:fixed;top:1rem;right:1.1rem}.lightbox-close:hover{background:var(--bg)}.lightbox-hint{text-align:center;font-family:var(--font-mono);letter-spacing:.04em;color:var(--faint);pointer-events:none;margin:0;font-size:.66rem;position:fixed;bottom:1rem;left:0;right:0}.article-body .katex-display{scrollbar-gutter:stable;-webkit-overflow-scrolling:touch;max-width:100%;margin:1.15rem 0 1.3rem;padding:.24rem 0;font-size:1.02em;overflow:auto hidden}.article-body .katex-display>.katex{min-width:min-content;display:inline-block}.article-body :not(.katex-display)>.katex{font-size:1em}.pseudocode-block{max-width:100%;color:var(--text);scrollbar-gutter:stable;-webkit-overflow-scrolling:touch;margin:1.8rem 0;overflow:auto hidden}.pseudocode-block .ps-root{min-width:min-content;font-family:var(--font-serif);-webkit-font-smoothing:antialiased;font-size:.98em;font-weight:400;line-height:1.5}.pseudocode-block .ps-algorithm{border-top:2px solid color-mix(in srgb, var(--text) 86%, var(--border));border-bottom:2px solid color-mix(in srgb, var(--text) 82%, var(--border));margin:0;padding:.16rem 0}.pseudocode-block .ps-algorithm.with-caption>.ps-line:first-child .ps-keyword:after{content:":"}.pseudocode-block .ps-line{color:var(--text);margin:0;padding:0;line-height:1.58}.pseudocode-block .ps-code{white-space:nowrap}.pseudocode-block .ps-keyword{color:var(--text);font-family:var(--font-serif);font-variant:normal;text-transform:none;font-style:normal;font-weight:760}.pseudocode-block .ps-funcname{font-family:var(--font-serif);font-variant:small-caps;text-transform:none;font-style:normal;font-weight:430}.pseudocode-block .ps-comment{color:var(--muted);font-family:var(--font-serif);font-style:italic;font-weight:400}.pseudocode-block .katex{text-indent:0;font-size:1em}.pseudocode-block .ps-linenum{width:1.7em;color:var(--muted);font-family:var(--font-mono);text-align:right;padding-right:.42em;font-size:.72em;line-height:1;display:inline-block;position:relative}.pseudocode-block .ps-algorithmic.with-linenum .ps-line.ps-code{text-indent:-1.7em}.pseudocode-block .ps-algorithmic.with-linenum .ps-line.ps-code>span{text-indent:0}.pseudocode-block .ps-algorithmic.with-scopelines div.ps-block{border-left:.08em solid color-mix(in srgb, var(--env-algorithm) 54%, var(--border));padding-left:.6em}.pseudocode-block .ps-algorithmic.with-scopelines>div.ps-block{border-left:0}.article-body table{border-collapse:collapse;scrollbar-gutter:stable;-webkit-overflow-scrolling:touch;width:100%;max-width:100%;display:block;overflow-x:auto}.article-body th,.article-body td{border:1px solid var(--border);padding:8px 10px}.content-outline{gap:7px;max-height:min(430px,42vh);padding-right:6px;display:grid;overflow-y:auto}.outline-link{color:var(--muted);border-radius:6px;padding:3px 0;font-size:.86rem;font-weight:620;line-height:1.35;text-decoration:none}.outline-link:hover{color:var(--accent)}.aside-list{gap:10px;display:grid}.research-env{border-left:2px solid color-mix(in srgb, var(--border-strong) 84%, transparent);overflow-wrap:break-word;hyphens:auto;margin:1.7rem 0;padding:.1rem 0 .1rem 1rem}.admonition{--adm:var(--accent);border:1px solid color-mix(in srgb, var(--adm) 26%, var(--border));border-left:3px solid var(--adm);border-radius:var(--radius);background:color-mix(in srgb, var(--adm) 6%, var(--surface));margin:1.5rem 0;padding:.85rem 1.15rem .95rem}.admonition-heading{align-items:center;gap:.45em;margin-bottom:.45rem;display:flex}.admonition-icon{width:1.1em;height:1.1em;fill:var(--adm);color:var(--adm);flex:none}.admonition-label{font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;color:var(--adm);font-size:.7rem;font-weight:650}.admonition>:not(.admonition-heading):first-of-type{margin-top:0}.admonition>:last-child{margin-bottom:0}.research-env.is-numbered{counter-increment:research-env}.research-env-heading{color:var(--text);margin:0;font-weight:760;line-height:1.35;display:inline}.research-env-heading:after{content:". "}.research-env-label.is-numbered-label:after{content:" " counter(research-env)}.research-env-title{color:color-mix(in srgb, var(--muted) 86%, var(--text));font-style:italic;font-weight:420}.research-env-title:before{content:" (";color:var(--faint)}.research-env-title:after{content:")";color:var(--faint)}.research-env>p:first-of-type{margin-top:0;display:inline}.research-env>p:not(:first-of-type){display:block}.research-env-proof{border-left-color:color-mix(in srgb, var(--env-work) 74%, var(--border));border-left-style:dotted}.research-env-proof .research-env-heading{font-style:italic;font-weight:430}.research-env-theorem,.research-env-lemma,.research-env-proposition,.research-env-corollary,.research-env-claim,.research-env-conjecture{border-left-color:color-mix(in srgb, var(--env-result) 78%, var(--border))}.research-env-definition,.research-env-axiom,.research-env-assumption,.research-env-construction,.research-env-notation,.research-env-convention{border-left-color:color-mix(in srgb, var(--env-structure) 74%, var(--border))}.research-env-example,.research-env-observation,.research-env-remark,.research-env-counterexample{border-left-color:color-mix(in srgb, var(--env-example) 70%, var(--border))}.research-env-problem,.research-env-exercise,.research-env-solution{border-left-color:color-mix(in srgb, var(--env-work) 74%, var(--border))}.research-env-algorithm{border-left-color:color-mix(in srgb, var(--env-algorithm) 70%, var(--border))}.admonition-info,.admonition-important{--adm:var(--accent)}.admonition-tip,.admonition-attention{--adm:var(--accent-3)}.admonition-warning,.admonition-caution{--adm:var(--accent-2)}.admonition-danger{--adm:var(--danger)}.article-body blockquote{border-left:3px solid color-mix(in srgb, var(--accent) 48%, var(--border-strong));border-radius:0 var(--radius) var(--radius) 0;background:color-mix(in srgb, var(--accent-soft) 45%, transparent);color:color-mix(in srgb, var(--text) 86%, var(--muted));margin:1.7rem 0;padding:.6rem 1.2rem .6rem 1.4rem}.article-body blockquote>:first-child{margin-top:0}.article-body blockquote>:last-child{margin-bottom:0}.article-body .fn-ref-host{position:relative}.article-body .fn-popover{z-index:30;border:1px solid var(--border-strong);border-radius:var(--radius);background:var(--surface);width:max-content;max-width:min(30rem,100vw - 32px);box-shadow:0 8px 26px color-mix(in srgb, var(--text) 14%, transparent);color:var(--text);font-family:var(--font-serif);text-align:left;vertical-align:baseline;opacity:0;visibility:hidden;transform:translateX(calc(-50% + var(--popover-shift,0px))) translateY(6px) scale(.985);transform-origin:50% 100%;transition:opacity .16s var(--ease-out), transform .18s var(--ease-out), visibility .18s allow-discrete, display .18s allow-discrete;transition-behavior:allow-discrete;will-change:opacity, transform;pointer-events:none;padding:.72rem .86rem;font-size:1.08rem;font-weight:400;line-height:1.58;display:none;position:absolute;bottom:1.7em;left:50%}.article-body .fn-ref-host:hover .fn-popover,.article-body .fn-ref-host:focus-within .fn-popover{opacity:1;visibility:visible;transform:translateX(calc(-50% + var(--popover-shift,0px))) translateY(0) scale(1);pointer-events:auto;display:block}.article-body .fn-popover:after,.article-body .citation-popover:after{content:"";height:.9rem;position:absolute;bottom:-.9rem;left:0;right:0}.article-body .fn-popover :first-child{margin-top:0}.article-body .fn-popover :last-child{margin-bottom:0}.article-body .citation{white-space:nowrap;display:inline;position:relative}.article-body .citation-link{color:var(--accent-text);font-family:var(--font-mono);font-size:.78em;font-weight:650;text-decoration:none}.article-body .citation-link:hover,.article-body .citation-link:focus-visible{color:var(--accent);text-underline-offset:.18em;text-decoration:underline}.article-body .citation-separator{font-family:var(--font-mono);font-size:.78em}.article-body .citation-popover{z-index:31;border:1px solid var(--border-strong);border-radius:var(--radius);background:var(--surface);width:max-content;max-width:min(34rem,100vw - 32px);box-shadow:0 10px 30px color-mix(in srgb, var(--text) 14%, transparent);color:var(--text);font-family:var(--font-serif);text-align:left;white-space:normal;opacity:0;visibility:hidden;transform:translateX(calc(-50% + var(--popover-shift,0px))) translateY(6px) scale(.985);transform-origin:50% 100%;transition:opacity .16s var(--ease-out), transform .18s var(--ease-out), visibility .18s allow-discrete, display .18s allow-discrete;transition-behavior:allow-discrete;will-change:opacity, transform;pointer-events:none;padding:.72rem .86rem;font-size:1.08rem;font-weight:400;line-height:1.58;display:none;position:absolute;bottom:1.65em;left:50%}.article-body .citation:hover .citation-popover,.article-body .citation:focus-within .citation-popover{opacity:1;visibility:visible;transform:translateX(calc(-50% + var(--popover-shift,0px))) translateY(0) scale(1);pointer-events:auto;display:block}@starting-style{.article-body .fn-ref-host:hover .fn-popover,.article-body .fn-ref-host:focus-within .fn-popover,.article-body .citation:hover .citation-popover,.article-body .citation:focus-within .citation-popover{opacity:0;transform:translateX(calc(-50% + var(--popover-shift,0px))) translateY(6px) scale(.985)}}.article-body .citation-popover a{overflow-wrap:anywhere}.article-body .references{border-top:1px solid var(--border);margin-top:3.2rem;padding-top:1.2rem}.article-body .references h2{border-top:none;margin-top:0;padding-top:0}.article-body .references-list{color:var(--muted);gap:.72rem;margin:0;padding:0;font-size:.94rem;line-height:1.6;list-style:none;display:grid}.article-body .references-list li{scroll-margin-top:110px}.article-body .references-list a{overflow-wrap:anywhere;word-break:break-word}.article-body .reference-number{color:var(--text);font-family:var(--font-mono);font-size:.84em;font-weight:650}.article-body .footnotes{border-top:1px solid var(--border);margin-top:3.2rem;padding-top:1.2rem}.article-body .footnotes #footnote-label{clip:auto;white-space:normal;border-top:none;width:auto;height:auto;margin-top:0;padding-top:0;position:static;overflow:visible}.article-body .footnotes ol{color:var(--muted);gap:.72rem;margin:0;padding:0;font-size:.94rem;line-height:1.6;list-style:none;display:grid}.article-body .footnotes li{scroll-margin-top:110px}.article-body [data-footnote-backref],.article-body .reference-backref{color:var(--faint);margin-left:.35em;font-size:.85em;text-decoration:none}.article-body [data-footnote-backref]:hover,.article-body .reference-backref:hover{color:var(--accent)}.article-body .md-details{border:1px solid var(--border);border-radius:var(--radius);background:color-mix(in srgb, var(--surface) 58%, transparent);margin:1.5rem 0;padding:0 1.1rem}.article-body .md-details[open]{padding-bottom:.7rem}.md-details-summary{color:var(--text);cursor:pointer;align-items:center;gap:.5em;padding:.7rem 0;font-weight:620;list-style:none;display:flex}.md-details-summary::-webkit-details-marker{display:none}.md-details-summary:before{content:"";border-right:2px solid var(--accent);border-bottom:2px solid var(--accent);width:.5em;height:.5em;transition:transform .15s;transform:rotate(-45deg)}.md-details[open] .md-details-summary:before{transform:rotate(45deg)}.md-details>:not(.md-details-summary):first-of-type{margin-top:0}.md-details>:last-child{margin-bottom:0}.article-body mark.md-mark{background:color-mix(in srgb, var(--accent-2) 26%, transparent);color:inherit;border-radius:3px;padding:.05em .2em}.article-body abbr[title]{text-decoration:underline dotted color-mix(in srgb, var(--muted) 55%, transparent);text-underline-offset:3px;cursor:help;text-decoration-thickness:1px}.research-env>:last-child,.admonition>:last-child{margin-bottom:0}.comments{margin-top:42px;padding:22px}.comments[data-configured=false]{display:none}.comments-note{color:var(--muted);margin:8px 0 18px}.search-panel,.graph-explorer{margin-bottom:72px;padding:22px}.search-input,.graph-toolbar input{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);width:100%;color:var(--text);font:inherit;transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), box-shadow var(--motion-fast) var(--ease-out);padding:11px 12px}.search-input:focus,.graph-toolbar input:focus{border-color:color-mix(in srgb, var(--accent) 46%, var(--border));box-shadow:0 0 0 3px color-mix(in srgb, var(--accent) 10%, transparent)}.search-input::placeholder,.graph-toolbar input::placeholder{color:var(--faint);opacity:1}.search-results{gap:12px;margin-top:18px;display:grid}.search-result{border-top:1px solid var(--border);animation:search-result-in var(--motion-medium) var(--ease-out);padding-top:14px}@keyframes search-result-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.search-result-skeleton{border-radius:var(--radius);background:color-mix(in srgb, var(--muted) 9%, transparent);height:66px;animation:search-skeleton-pulse 1.2s var(--ease-out) infinite}@keyframes search-skeleton-pulse{0%,to{opacity:.5}50%{opacity:.85}}@media (prefers-reduced-motion:reduce){.search-result-skeleton{animation:none}}.search-result h2{margin:6px 0;font-size:1.15rem}.search-result h2 a{text-decoration:none}.search-result p,.empty-state{color:var(--muted)}.graph-toolbar{flex-wrap:wrap;align-items:flex-end;gap:12px 22px;margin-bottom:16px;display:flex}.graph-toolbar-field{flex-direction:column;display:flex}.graph-toolbar-filter{flex:260px;max-width:440px}.graph-toolbar-field>span{color:var(--faint);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;margin-bottom:6px;font-size:.68rem}.graph-toolbar input{border-radius:6px;height:40px;padding:0 12px}.segmented{border:1px solid var(--border);border-radius:999px;height:40px;display:inline-flex;overflow:hidden}.segmented button{color:var(--muted);font-family:var(--font-mono);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out);background:0 0;border:0;align-items:center;padding:0 18px;font-size:.74rem;display:inline-flex}.segmented button+button{border-left:1px solid var(--border)}.segmented button[data-active=true]{background:var(--text);color:var(--bg)}.graph-workbench{grid-template-columns:minmax(0,1fr) 320px;gap:16px;margin-top:16px;display:grid}.graph-canvas{border:1px solid var(--border);border-radius:var(--radius);background:linear-gradient(90deg, var(--canvas-grid) 1px, transparent 1px) 0 0 / 32px 32px, linear-gradient(180deg, color-mix(in srgb, var(--surface) 84%, var(--bg)), color-mix(in srgb, var(--bg-soft) 62%, var(--bg)));cursor:grab;touch-action:none;min-height:620px;position:relative;overflow:hidden}.graph-canvas-2d{isolation:isolate;background:linear-gradient(90deg, var(--canvas-grid) 1px, transparent 1px) 0 0 / 34px 34px, linear-gradient(0deg, var(--canvas-grid) 1px, transparent 1px) 0 0 / 34px 34px, linear-gradient(180deg, color-mix(in srgb, var(--surface) 84%, var(--bg)), color-mix(in srgb, var(--bg-soft) 62%, var(--bg)))}.graph-canvas-2d:after{z-index:0;background:linear-gradient(180deg, transparent, color-mix(in srgb, var(--accent) 8%, transparent));content:"";pointer-events:none;height:42%;position:absolute;inset:auto 0 0}.graph-canvas:active{cursor:grabbing}.graph-canvas[data-opening=true]{opacity:.78;transition:opacity var(--motion-medium) var(--ease-out), transform var(--motion-medium) var(--ease-out);transform:scale(.992)}.graph-canvas canvas,.graph-stage{width:100%;height:620px;display:block}.graph-stage{z-index:1;touch-action:none;outline:0;position:relative}.graph-stage canvas{touch-action:none;display:block;width:100%!important;height:100%!important}.graph-stage:focus-visible{outline:2px solid color-mix(in srgb, var(--accent) 72%, transparent);outline-offset:-5px}.graph-stage .scene-tooltip,.graph-stage .float-tooltip{display:none!important}.graph-preview-card{z-index:4;border:1px solid color-mix(in srgb, var(--border) 82%, transparent);border-radius:var(--radius);background:color-mix(in srgb, var(--surface) 96%, var(--bg));cursor:default;pointer-events:auto;transform-origin:20px 20px;will-change:transform, opacity;width:min(320px,100% - 24px);transition:border-color var(--motion-medium) var(--ease-out), background-color var(--motion-medium) var(--ease-out), box-shadow var(--motion-medium) var(--ease-out);gap:10px;padding:16px;display:grid;position:absolute;top:0;left:0;box-shadow:0 18px 44px #17191529}[data-theme=dark] .graph-preview-card{box-shadow:0 18px 48px #00000057}.graph-preview-card h2{margin:0;padding-right:24px;font-size:1.05rem;line-height:1.22}.graph-preview-card p{color:var(--muted);margin:0;font-size:.92rem;line-height:1.52}.graph-preview-card .tag-row{gap:6px}.graph-preview-card .tag{font-size:.72rem}.graph-preview-card .button{justify-self:start;margin-top:2px}.graph-preview-open[data-opening=true]{pointer-events:none;opacity:.78}.graph-preview-close{width:28px;height:28px;color:var(--muted);font:760 1.1rem/1 var(--font-sans);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);background:0 0;border:1px solid #0000;border-radius:999px;place-items:center;display:grid;position:absolute;top:8px;right:8px}.graph-preview-close:hover{border-color:color-mix(in srgb, var(--accent) 22%, var(--border));background:color-mix(in srgb, var(--accent) 8%, transparent);color:var(--accent);transform:translateY(-1px)}.graph-zoom-controls{z-index:2;border:1px solid color-mix(in srgb, var(--border) 82%, transparent);background:color-mix(in srgb, var(--surface) 94%, transparent);cursor:default;user-select:none;transition:background-color var(--motion-medium) var(--ease-out), border-color var(--motion-medium) var(--ease-out), transform var(--motion-medium) var(--ease-out);border-radius:999px;align-items:center;gap:6px;padding:6px;display:flex;position:absolute;bottom:12px;right:12px;box-shadow:0 8px 22px #17191514}.graph-zoom-controls button{width:30px;height:30px;color:var(--text);font:760 .82rem var(--font-mono);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), border-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);background:0 0;border:1px solid #0000;border-radius:999px;place-items:center;line-height:1;display:inline-grid}.graph-zoom-controls .graph-zoom-reset{width:auto;min-width:38px;padding:0 8px;font-size:.72rem;line-height:1}.graph-zoom-controls button:hover{border-color:color-mix(in srgb, var(--accent) 24%, var(--border));background:color-mix(in srgb, var(--accent) 10%, transparent);color:var(--accent);transform:translateY(-1px)}.graph-zoom-controls input{width:92px;accent-color:var(--accent)}.graph-empty{z-index:2;color:var(--muted);pointer-events:none;place-items:center;margin:0;display:grid;position:absolute;inset:0}.graph-meta{flex-wrap:wrap;gap:7px;display:flex}.graph-meta span{border:1px solid var(--border);background:color-mix(in srgb, var(--bg-soft) 70%, transparent);min-height:24px;color:var(--muted);font-family:var(--font-mono);border-radius:999px;align-items:center;padding:0 9px;font-size:.73rem;display:inline-flex}.graph-legend span{border:1px solid var(--border);min-height:24px;color:var(--muted);font-family:var(--font-mono);border-radius:999px;align-items:center;gap:7px;padding:0 9px;font-size:.74rem;display:inline-flex}.graph-legend{flex-wrap:wrap;gap:9px;margin-top:14px;display:flex}.legend-node,.legend-edge{display:inline-block}.legend-node{border-radius:999px;width:10px;height:10px}.legend-blog{background:var(--accent)}.legend-index{background:var(--accent-3);width:6px;height:6px;box-shadow:0 0 0 1.5px var(--bg), 0 0 0 3px var(--accent-3)}.legend-topic[data-tone="1"]{background:var(--accent)}.legend-topic[data-tone="2"]{background:var(--accent-3)}.legend-topic[data-tone="3"]{background:var(--env-algorithm)}.legend-topic[data-tone="4"]{background:var(--env-work)}.legend-topic[data-tone="5"]{background:var(--env-example)}.legend-topic[data-tone="6"]{background:var(--tag-linguistics)}.legend-edge{border-radius:999px;width:18px;height:2px}.legend-reference{background:var(--accent)}.legend-related{background:var(--faint)}.site-footer{border-top:1px solid var(--border);color:var(--muted);margin-top:40px;padding:28px 0}.footer-links{gap:12px}@media (width<=1060px){.article-body{padding:clamp(24px,3.2vw,34px)}.article-body h2,.article-body h3,.article-body h4{scroll-margin-top:132px}}@media (width<=1120px){.graph-workbench{grid-template-columns:1fr}.graph-canvas,.graph-stage{min-height:560px}.graph-canvas canvas,.graph-stage{height:560px}}@media (width<=900px){.header-inner{flex-wrap:wrap;align-items:flex-start;padding:14px 0}.nav-links{order:3;width:100%;overflow-x:auto}.hero-section,.surface-section,.graph-workbench{grid-template-columns:1fr}.graph-canvas{min-height:460px}.graph-canvas canvas,.graph-stage{height:460px}.graph-preview-card{width:auto;max-width:none;bottom:12px;right:12px;top:auto!important;left:12px!important}.graph-canvas[data-preview=true] .graph-motion-controls{opacity:0;pointer-events:none;transform:translateY(8px)}}@media (width<=640px){main,.header-inner,.footer-inner,.content-shell{width:min(100% - 22px,1120px)}.hero-section{gap:18px;min-height:auto;padding-top:24px;padding-bottom:18px}.hero-text{margin-top:16px;font-size:1rem;line-height:1.55}.hero-actions{margin-top:20px}.research-panel{padding:14px 0 14px 16px}.focus-list{gap:8px;margin-top:14px}.focus-list div{padding:8px 0}.home-page .research-panel .focus-list span{display:none}.panel-note{margin-top:14px}.research-panel .panel-note{display:none}.research-panel,.content-card,.article-body,.comments,.search-panel,.graph-explorer{box-shadow:none}.content-card{display:block}.content-card h2,.content-card h3,.content-card p,.content-card>.tag-row{max-width:none}.content-card>.card-meta{flex-direction:row;gap:8px;padding-top:0}.article-body{padding:20px 16px}.article-body .katex-display{margin-inline:-4px;padding-inline:4px;font-size:.96em}.research-env{margin:1.45rem 0;padding-left:.78rem}.research-env>p:first-of-type{margin-top:.38rem;display:block}.footer-inner{flex-direction:column;align-items:flex-start}}::selection{background:color-mix(in srgb, var(--accent) 20%, transparent)}body{background:var(--bg);font-family:var(--font-serif)}main,.footer-inner{width:min(1180px,100% - 64px)}.header-inner{width:min(1940px,100% - 96px)}.content-page main{width:100%}.site-header{border-bottom-color:var(--border);background:color-mix(in srgb, var(--bg) 94%, transparent);backdrop-filter:blur(6px)}.header-inner{min-height:82px}.brand{gap:13px}.brand-mark{border:0;border-radius:0;width:25px;min-width:25px;height:25px}.brand-mark svg{width:25px;height:25px;overflow:visible}.brand-mark circle:first-child{fill:var(--accent)}.brand-mark circle:not(:first-child){fill:var(--text)}.brand:hover .brand-mark{transform:none}.brand-title{letter-spacing:0;font-size:clamp(1.18rem,1.4vw,1.45rem);font-weight:700}.brand-subtitle{color:var(--faint);letter-spacing:.12em;text-transform:uppercase;font-size:.68rem}.nav-links{gap:clamp(18px,2vw,30px);margin-left:auto}.nav-links a,.footer-links a,.locale-switch,.text-link{color:var(--muted);font-family:var(--font-mono);font-size:.92rem;font-weight:520}.nav-links a{border:0;padding:0}.nav-links a:hover,.nav-links a[aria-current=page],.nav-links a[aria-current=location],.text-link:hover{color:var(--accent);background:0 0;transform:none}.nav-links a[aria-current=page],.nav-links a[aria-current=location]{border:0}.text-link{border:1px solid var(--border);color:var(--muted);font-family:var(--font-mono);letter-spacing:.02em;transition:border-color var(--motion-medium) var(--ease-out), background-color var(--motion-medium) var(--ease-out), color var(--motion-medium) var(--ease-out);border-radius:999px;align-items:center;gap:8px;padding:6px 15px;font-size:.8rem;font-weight:540;text-decoration:none;display:inline-flex}.text-link:after{content:"→";transition:transform var(--motion-medium) var(--ease-out);font-size:.95em}.text-link:hover,.text-link:focus-visible{border-color:color-mix(in srgb, var(--accent) 40%, var(--border));background:color-mix(in srgb, var(--accent-soft) 72%, transparent);color:var(--accent);transform:none}.text-link:hover:after,.text-link:focus-visible:after{transform:translate(4px)}.header-actions{gap:14px}.language-switch{border:1px solid var(--border);background:color-mix(in srgb, var(--surface) 82%, transparent);border-radius:999px;align-items:center;gap:2px;padding:3px;display:inline-flex}.language-switch a{min-width:34px;min-height:28px;color:var(--muted);font-family:var(--font-mono);border-radius:999px;justify-content:center;align-items:center;font-size:.76rem;font-weight:650;line-height:1;text-decoration:none;display:inline-flex}.language-switch a:hover{color:var(--accent)}.language-switch a[aria-current=true]{background:var(--text);color:var(--bg)}::view-transition-group(lang-active-pill){animation-duration:var(--motion-medium);animation-timing-function:var(--ease-out)}.header-divider{background:var(--border);width:1px;height:24px}.icon-button,.icon-link{width:28px;height:28px;color:var(--muted);background:0 0;border:1px solid #0000;border-radius:999px}.icon-button svg,.icon-link svg{width:18px;height:18px}.icon-button:hover,.icon-link:hover{border-color:color-mix(in srgb, var(--accent) 24%, transparent);background:var(--accent-soft);color:var(--accent);transform:none}.theme-toggle{color:var(--text);place-items:center;display:inline-grid;position:relative}.theme-icon{opacity:0;transition:color var(--motion-fast) var(--ease-out), opacity var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);position:absolute;transform:scale(.86)rotate(-8deg)}.theme-icon-moon,.theme-icon-sun{fill:currentColor;stroke:none}[data-theme-mode=light] .theme-icon-sun,[data-theme-mode=dark] .theme-icon-moon,[data-theme-mode=auto] .theme-icon-auto{opacity:1;transform:scale(1)rotate(0)}.hero-section.home-hero{border-bottom:1px solid var(--border);grid-template-columns:1fr 1fr;align-items:stretch;gap:0;min-height:auto;padding:0}.home-profile,.home-site-statement{padding:clamp(34px,5vw,54px) clamp(28px,4vw,36px) clamp(32px,4vw,48px)}.home-profile{border-right:1px solid var(--border)}.home-site-statement{background:var(--surface-2);flex-direction:column;justify-content:center;display:flex}.profile-lockup{align-items:center;gap:16px;margin-bottom:20px;display:flex}.profile-avatar-frame{border:1.5px solid var(--accent);background:var(--surface);width:58px;height:58px;box-shadow:0 0 0 4px color-mix(in srgb, var(--accent) 8%, transparent);border-radius:50%;flex:none;place-items:center;display:grid;overflow:hidden}.profile-avatar-frame picture{width:100%;height:100%;line-height:0;display:block}.profile-avatar{object-fit:cover;width:100%;height:100%;display:block}.profile-lockup h1{letter-spacing:-.015em;margin:0;font-size:clamp(1.65rem,3vw,2rem);font-weight:640;line-height:1.05}.profile-role{color:var(--faint);font-family:var(--font-mono);margin:3px 0 0;font-size:.76rem}.hero-about{margin:clamp(22px,3vw,30px) 0 0}.home-profile .hero-text{max-width:480px;color:color-mix(in srgb, var(--text) 90%, var(--muted));margin:0 0 22px;font-size:1.06rem;line-height:1.66}.contact-label{color:var(--faint);margin-bottom:10px}.site-statement{color:var(--text);letter-spacing:-.012em;margin:0;font-size:clamp(1.55rem,3vw,1.95rem);line-height:1.32}.site-statement span{color:var(--accent)}.home-featured{border-top:1px solid var(--border);margin-top:clamp(24px,3vw,34px);padding-top:clamp(20px,2.5vw,26px)}.home-featured .eyebrow{margin-bottom:12px}.home-featured-list{flex-direction:column;gap:2px;margin:0;padding:0;list-style:none;display:flex}.home-featured-list a{border-radius:8px;margin:0 -12px;padding:10px 12px;text-decoration:none;transition:background-color .14s;display:block}.home-featured-list a:hover{background:color-mix(in srgb, var(--accent) 8%, transparent)}.home-featured-list strong{color:var(--text);letter-spacing:-.01em;font-size:1rem;font-weight:600;display:block}.home-featured-list span{color:var(--muted);margin-top:2px;font-size:.9rem;line-height:1.5;display:block}.home-featured-list strong:after{content:"→";opacity:0;margin-left:7px;transition:opacity .14s,transform .14s;display:inline-block;transform:translate(-4px)}.home-featured-list a:hover strong{color:var(--accent)}.home-featured-list a:hover strong:after{opacity:1;transform:none}.home-featured-more{margin-top:14px;display:inline-block}.button{min-height:32px;font-family:var(--font-mono);border-radius:5px;padding:0 12px;font-size:.76rem;font-weight:500}.social-button{gap:8px}.button-icon{fill:currentColor;flex:none;width:1em;height:1em}.button-primary{border-color:var(--accent);background:var(--accent);color:var(--accent-ink)}.button-primary:hover{border-color:var(--accent);background:color-mix(in srgb, var(--accent) 82%, var(--text));color:var(--accent-ink)}.button-secondary{color:var(--muted);background:0 0}.button-secondary:hover{border-color:var(--accent);color:var(--accent)}.button:hover{transform:none}.split-heading{justify-content:space-between;align-items:baseline;gap:18px;display:flex}.split-heading>span{color:var(--faint);font-family:var(--font-mono);font-size:.72rem}.focus-list div{border-bottom:1px solid var(--border);grid-template-columns:22px minmax(0,1fr);gap:3px 20px;padding:16px 0;display:grid}.focus-index{color:var(--faint);font-family:var(--font-mono);grid-row:1/span 2;font-size:.82rem}.focus-list strong{font-size:1.1rem;font-weight:520}.focus-list span:not(.focus-index){color:var(--muted);font-size:.95rem;line-height:1.55}.profile-interests{border-top:1px solid var(--border);margin-top:clamp(24px,4vw,34px);padding-top:16px}.profile-interests .eyebrow{margin:0 0 8px}.profile-interests .focus-list{border-top:0;margin-top:0}.profile-interests .focus-list div{grid-template-columns:20px minmax(0,1fr);gap:2px 14px;padding:9px 0}.profile-interests .focus-index{padding-top:.08em;font-size:.68rem}.profile-interests .focus-list strong{font-size:.88rem;font-weight:560;line-height:1.25}.profile-interests .focus-list span:not(.focus-index){font-size:.72rem;line-height:1.38}.section-grid,.surface-section,.content-shell{padding:clamp(30px,5vw,54px) 0}.section-heading h2,.surface-section h2{letter-spacing:-.018em;font-size:clamp(1.6rem,3vw,2.2rem);font-weight:620}.eyebrow{color:var(--muted);letter-spacing:.11em;font-size:.68rem;font-weight:600}.home-bottom-grid{border-top:1px solid var(--border);grid-template-columns:minmax(0,1fr) minmax(260px,320px);align-items:start;gap:clamp(42px,6vw,78px);padding:clamp(36px,5vw,58px) 0 64px;display:grid}.home-bottom-grid .surface-section{grid-template-columns:minmax(170px,28%) minmax(0,72%);align-items:start;gap:clamp(28px,4vw,46px);padding:0;display:grid}.knowledge-index-head p:not(.eyebrow){max-width:20rem;color:var(--muted);margin:12px 0 0;font-size:.96rem;line-height:1.62}.knowledge-index-list{grid-template-columns:repeat(auto-fit,minmax(200px,1fr));column-gap:clamp(22px,3vw,34px);display:grid}.knowledge-index-row{border-bottom:1px solid var(--border);min-height:78px;color:var(--text);transition:border-color var(--motion-fast) var(--ease-out), background-color var(--motion-fast) var(--ease-out);grid-template-columns:minmax(0,1fr) auto;align-content:center;gap:2px 16px;padding:13px 12px;text-decoration:none;display:grid}.knowledge-index-row:hover,.knowledge-index-row:focus-visible{border-bottom-color:color-mix(in srgb, var(--accent) 22%, var(--border));background:color-mix(in srgb, var(--accent-soft) 76%, transparent)}.knowledge-index-row:hover strong,.knowledge-index-row:focus-visible strong{color:var(--accent)}.knowledge-index-count{color:var(--faint);font-family:var(--font-mono);letter-spacing:.03em;font-size:.66rem;font-weight:600;line-height:1.35}.knowledge-index-row strong{grid-area:1/1;font-size:1.04rem;font-weight:620;line-height:1.25}.knowledge-index-desc{color:var(--muted);-webkit-line-clamp:2;-webkit-box-orient:vertical;grid-area:2/1;margin-top:4px;font-size:.82rem;line-height:1.4;display:-webkit-box;overflow:hidden}.knowledge-index-count{white-space:nowrap;grid-area:1/2/span 2;align-self:center}.knowledge-index-graph-link{margin-top:16px;display:inline-flex}.now-panel{border-top:1px solid var(--border);padding-top:0}.now-panel .eyebrow{margin-top:14px}.now-panel .now-panel-date{color:var(--faint);font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;margin:14px 0 12px;font-size:.68rem;font-weight:600}.now-panel p:not(.eyebrow):not(.now-panel-date){color:var(--muted);margin:0 0 12px;font-size:.95rem;line-height:1.62}.list-hero{max-width:none;padding:clamp(22px,3.2vw,34px) 0 clamp(16px,2.4vw,24px)}.graph-hero{padding-bottom:clamp(20px,3vw,32px)}.list-hero h1{letter-spacing:-.02em;font-size:clamp(2.1rem,4vw,2.5rem);font-weight:640}.list-hero p:not(.eyebrow){max-width:min(960px,100%);color:var(--muted);overflow-wrap:normal;hyphens:manual;margin:clamp(10px,1.4vw,14px) 0 0;font-size:1rem;font-style:italic}.card-list{border-top:0}.content-card{border-top:1px solid var(--border);border-bottom:0;border-radius:0;grid-template-columns:minmax(0,1fr) auto;column-gap:24px;margin:0 -12px;padding:20px 12px;overflow:clip}.content-card:before{display:none}.content-card:hover,.content-card:focus-within{border-color:color-mix(in srgb, var(--accent) 22%, var(--border));background:color-mix(in srgb, var(--accent-soft) 76%, transparent);transform:none}.content-card h2,.content-card h3,.content-card p,.content-card>.tag-row{grid-column:1;max-width:680px}.content-card>.card-meta{text-align:right;white-space:nowrap;grid-area:1/2/span 4;align-items:flex-end}.content-card h2,.content-card h3{letter-spacing:-.012em;margin-top:0;font-size:clamp(1.1rem,2vw,1.28rem);font-weight:620}.content-card p{font-size:.94rem;line-height:1.58}.card-meta,.eyebrow-row,.tag,.maturity{font-family:var(--font-mono)}.tag,.maturity{border-color:var(--border);background:var(--chip);border-radius:3px;min-height:20px;font-size:.66rem}.maturity-seed{border-color:color-mix(in srgb, var(--maturity-seed) 44%, var(--border));background:color-mix(in srgb, var(--maturity-seed) 8%, var(--surface));color:color-mix(in srgb, var(--maturity-seed) 68%, var(--text))}.maturity-growing{border-color:color-mix(in srgb, var(--maturity-growing) 44%, var(--border));background:color-mix(in srgb, var(--maturity-growing) 8%, var(--surface));color:color-mix(in srgb, var(--maturity-growing) 68%, var(--text))}.maturity-stable{border-color:color-mix(in srgb, var(--maturity-stable) 44%, var(--border));background:color-mix(in srgb, var(--maturity-stable) 8%, var(--surface));color:color-mix(in srgb, var(--maturity-stable) 68%, var(--text))}.maturity-evergreen{border-color:color-mix(in srgb, var(--maturity-evergreen) 44%, var(--border));background:color-mix(in srgb, var(--maturity-evergreen) 8%, var(--surface));color:color-mix(in srgb, var(--maturity-evergreen) 68%, var(--text))}.notes-browser{grid-template-columns:230px minmax(0,1fr);gap:40px;padding:28px 0 70px;display:grid}.notes-areas{padding:28px 0 70px}.notes-area-actions{flex-wrap:wrap;gap:12px;margin-top:30px;display:flex}.notes-area-grid{grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:16px;display:grid}.notes-series{flex-direction:column;gap:14px;margin-bottom:22px;display:flex}.notes-series-card{border:1px solid var(--border);background:var(--surface);border-radius:12px;flex-direction:column;gap:8px;padding:22px 24px;text-decoration:none;transition:border-color .14s,background-color .14s;display:flex}.notes-series-card:hover{border-color:var(--accent)}.notes-series-title{color:var(--text);letter-spacing:-.01em;font-size:1.12rem;font-weight:640}.notes-series-desc{max-width:68ch;color:var(--muted);margin:0;font-size:.92rem;line-height:1.55}.notes-series-meta{color:var(--faint);font-family:var(--font-mono);letter-spacing:.03em;align-items:center;gap:10px;margin-top:2px;font-size:.7rem;font-weight:600;display:inline-flex}.notes-area-card{border:1px solid var(--border);border-radius:12px;flex-direction:column;gap:8px;padding:20px 22px;text-decoration:none;transition:border-color .14s,background-color .14s;display:flex}.notes-area-card:hover{border-color:var(--accent);background:color-mix(in srgb, var(--accent) 6%, transparent)}.notes-area-card-title{color:var(--text);letter-spacing:-.01em;font-size:1.15rem;font-weight:640;line-height:1.25}.notes-area-card-desc{color:var(--muted);-webkit-line-clamp:3;-webkit-box-orient:vertical;margin:0;font-size:.9rem;line-height:1.55;display:-webkit-box;overflow:hidden}.notes-area-card-count{color:var(--faint);font-family:var(--font-mono);letter-spacing:.04em;margin-top:auto;padding-top:4px;font-size:.72rem}.notes-sidebar{align-self:start;position:sticky;top:86px}.maturity-legend{gap:8px;margin-bottom:24px;display:grid}.tag-legend{flex-wrap:wrap;gap:6px;margin-bottom:24px;display:flex}.maturity-legend span,.notes-area-list a{color:var(--muted);justify-content:space-between;align-items:center;gap:10px;font-size:.82rem;line-height:1.35;text-decoration:none;display:flex}.maturity-dot{border-radius:50%;flex:none;width:8px;height:8px;display:inline-block}.maturity-dot-seed{background:var(--maturity-seed)}.maturity-dot-growing{background:var(--maturity-growing)}.maturity-dot-stable{background:var(--maturity-stable)}.maturity-dot-evergreen{background:var(--maturity-evergreen)}.notes-area-list{gap:2px;margin-bottom:24px;display:grid}.notes-area-list a{border-radius:4px;padding:6px 8px}.notes-area-list a:hover{background:var(--accent-soft);color:var(--accent)}.notes-area-list strong{color:var(--faint);font-family:var(--font-mono);font-size:.7rem}.notes-sidebar-actions{flex-wrap:wrap;gap:8px;display:flex}.content-shell{width:min(1700px,100% - 96px)}.content-back-link{color:var(--faint);font-family:var(--font-mono);align-items:center;gap:7px;margin:4px 0 26px;font-size:.78rem;font-weight:600;text-decoration:none;display:inline-flex}.content-back-link svg{fill:currentColor;flex:none;width:1em;height:1em}.content-back-link:hover{color:var(--accent)}.content-hero{max-width:var(--read-col,720px);margin-inline:auto;padding:0 0 34px}.content-hero h1{letter-spacing:-.018em;font-size:clamp(2rem,4vw,2.75rem);font-weight:640}.content-grid{--read-col:720px;grid-template-areas:"related main outline";grid-template-columns:minmax(0, 248px) minmax(0, var(--read-col)) minmax(180px, 240px);justify-content:center;align-items:start;gap:clamp(42px,4vw,72px);display:grid}.content-grid[data-related-open=false]{--read-col:820px}.content-grid-no-outline{grid-template-columns:minmax(0,720px) minmax(220px,280px);grid-template-areas:"main related"}.content-main{grid-area:main;min-width:0}.series-nav{max-width:var(--read-col,720px);grid-template-columns:1fr 1fr;gap:16px;margin:clamp(40px,5vw,64px) auto 0;display:grid}.series-nav-link{border:1px solid var(--border);border-radius:10px;flex-direction:column;gap:6px;padding:15px 18px;text-decoration:none;transition:border-color .14s,background-color .14s;display:flex}.series-nav-link:hover{border-color:var(--accent);background:color-mix(in srgb, var(--accent) 6%, transparent)}.series-nav-next{text-align:right}.series-nav-dir{color:var(--muted);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;font-size:.72rem;font-weight:600}.series-nav-prev .series-nav-dir:before{content:"← "}.series-nav-next .series-nav-dir:after{content:" →"}.series-nav-title{color:var(--text);font-size:1.02rem;font-weight:600;line-height:1.35}@media (width<=600px){.series-nav{grid-template-columns:1fr}.series-nav-next{text-align:left}.series-nav-spacer{display:none}}.article-body{max-width:var(--read-col,720px);background:0 0;border:0;margin-inline:auto;padding:0;font-size:1.08rem;line-height:1.76}.article-body:lang(zh){font-family:var(--font-serif)}.article-body:lang(zh) em,.article-body:lang(zh) i{font-style:normal;font-weight:600}.article-body h2,.article-body h3,.article-body h4,.article-body h1{font-family:var(--font-serif)}@media (width>=760px){.article-body p{text-align:justify;text-align-last:start;text-justify:auto;hyphens:auto}.article-body blockquote p,.article-body figcaption,.article-body table p,.article-body .footnotes p,.article-body .fn-popover p{text-align:start;text-align-last:auto}}@media (width<=759px){.article-body p{text-align:start;text-align-last:auto;hyphens:manual}}.content-rail{min-width:0;position:sticky;top:106px}.content-outline-rail{border-left:1px solid var(--border);grid-area:outline;padding-left:28px}.content-related-rail{border-right:1px solid var(--border);grid-area:related;padding-right:28px}.rail-section{min-width:0}.rail-section>h2{color:var(--faint);font-family:var(--font-mono);letter-spacing:.13em;text-transform:uppercase;margin:0 0 10px;font-size:.62rem;font-weight:600}.content-topbar{align-items:center;gap:16px;margin:4px 0 26px;display:flex}.content-topbar .content-back-link{margin:0}.aside-head{justify-content:space-between;align-items:center;gap:12px;margin:26px 0 22px;display:flex}.aside-toggle{width:30px;height:30px;color:var(--faint);cursor:pointer;transition:color var(--motion-fast) var(--ease-out), background-color var(--motion-fast) var(--ease-out);background:0 0;border:0;border-radius:999px;flex:none;justify-content:center;align-items:center;margin:0;padding:0;display:inline-flex}.aside-toggle:hover,.aside-toggle:focus-visible{color:var(--accent);background:color-mix(in srgb, var(--accent-soft) 70%, transparent)}.aside-toggle svg{width:17px;height:17px}[data-related-toggle][aria-expanded=false] svg{transform:rotate(180deg)}.aside-body{gap:22px;min-width:0;display:grid}.content-grid[data-related-open=false] .aside-body,.content-grid[data-related-open=false] .graph-jump-link{display:none}.content-grid[data-related-open=false] .aside-head{margin-right:0}.content-grid[data-related-open=false] .content-related-rail{border:0;padding:0}@media (width>=1181px){.content-grid[data-related-open=false]{grid-template-columns:minmax(0,34px) minmax(0,1fr) minmax(180px,240px);gap:clamp(22px,2.4vw,44px)}}.content-outline{gap:9px;max-height:calc(100vh - 140px);padding-right:10px;overflow-y:auto}.outline-link{-webkit-line-clamp:2;color:var(--muted);font-family:var(--font-serif);-webkit-box-orient:vertical;padding:0;font-size:.94rem;font-weight:560;line-height:1.32;transition:color .12s;display:-webkit-box;overflow:hidden}.outline-depth-3{color:var(--faint);padding-left:14px;font-size:.9rem;font-weight:500}.outline-link.is-active{color:var(--accent);font-weight:700}.graph-jump-link{width:auto;color:color-mix(in srgb, var(--accent) 72%, var(--muted));font-family:var(--font-mono);align-items:center;gap:8px;padding:0 0 2px;font-size:.72rem;font-weight:620;line-height:1.35;text-decoration:none;display:inline-flex}.graph-jump-link svg{fill:currentColor;flex:none;width:15px;height:15px}.graph-jump-link:hover{color:var(--accent-text)}.aside-list{gap:0}.content-related-rail .content-card-compact{border-top:1px solid var(--border);margin:0;padding:10px 0}.content-related-rail .content-card-compact:hover,.content-related-rail .content-card-compact:focus-within{background:0 0}.content-related-rail .content-card-compact h3{letter-spacing:-.006em;margin:0;font-size:.92rem;font-weight:620;line-height:1.3}.compact-card-meta{color:var(--faint);font-family:var(--font-mono);text-transform:uppercase;flex-wrap:wrap;gap:6px;margin-top:5px;font-size:.62rem;line-height:1.35;display:flex}.compact-card-meta span+span:before{content:"·";margin-right:6px}.comments,.search-panel,.graph-explorer{box-shadow:none;background:0 0;border:0}.comments{max-width:var(--read-col,720px);margin-top:clamp(56px,8vw,76px);--waline-font-size:1rem;--waline-theme-color:var(--accent);--waline-active-color:var(--accent-text);--waline-color:var(--text);--waline-bg-color:var(--surface);--waline-bg-color-light:var(--surface-2);--waline-bg-color-hover:var(--hover-surface);--waline-border-color:var(--border);--waline-border:1px solid var(--border);--waline-light-grey:var(--faint);--waline-dark-grey:var(--muted);--waline-white:var(--surface);--waline-code-bg-color:var(--bg-soft);--waline-bq-color:var(--bg-soft);--waline-info-bg-color:var(--surface-strong);--waline-info-color:var(--faint);--waline-avatar-size:2.55rem;--waline-m-avatar-size:2.25rem;--waline-badge-color:var(--accent-3);--waline-box-shadow:none;border-radius:0;margin-inline:auto;padding:0 0 10px}.comments #waline{font-family:var(--font-serif)}.comments [data-waline] *{box-sizing:border-box}.comments .wl-comment{margin:0 0 42px;display:block}.comments .wl-login-info{display:none}.comments .wl-panel{border:1px solid color-mix(in srgb, var(--border) 92%, var(--text));background:var(--surface);width:100%;box-shadow:0 1px 2px color-mix(in srgb, var(--text) 4%, transparent), 0 14px 34px -24px color-mix(in srgb, var(--accent) 34%, transparent);border-radius:9px;margin:0;transition:border-color .15s,box-shadow .15s;overflow:hidden}.comments .wl-panel:focus-within{border-color:color-mix(in srgb, var(--accent) 42%, var(--border));box-shadow:0 0 0 3px color-mix(in srgb, var(--accent) 10%, transparent), 0 14px 34px -24px color-mix(in srgb, var(--accent) 38%, transparent)}.comments .wl-header,.comments .wl-rss{display:none}.comments .wl-md-toolbar{border-bottom:1px solid var(--border);background:var(--surface);flex-wrap:wrap;gap:1px;margin:0;padding:7px 9px;display:flex}.comments .wl-md-toolbar>*{width:29px;height:29px;color:var(--muted);cursor:pointer;background:0 0;border:0;border-radius:5px;justify-content:center;align-items:center;padding:0;transition:background .15s,color .15s;display:inline-flex}.comments .wl-md-toolbar>:hover{background:var(--accent-soft);color:var(--accent)}.comments .wl-md-toolbar svg{display:block}.comments .wl-editor{width:100%;max-width:100%;min-height:178px;color:var(--text);font-family:var(--font-serif);resize:vertical;background:0 0;border:0;border-radius:0;margin:0;padding:18px 20px;font-size:1.05rem;font-weight:500;line-height:1.62;display:block}.comments .wl-editor:focus{background:0 0}.comments .wl-editor::placeholder{color:color-mix(in srgb, var(--muted) 74%, var(--faint));opacity:1;font-weight:600}.comments .wl-preview{border-top:1px solid var(--border);padding:0 20px 18px}.comments .wl-preview h4{color:var(--faint);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;margin:12px 0 6px;font-size:.68rem}.comments .wl-footer{border-top:1px solid var(--border);background:var(--surface-2);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:10px 16px;margin:0;padding:9px 12px 9px 15px;display:flex}.comments .wl-actions,.comments .wl-info{flex-wrap:wrap;align-items:center;gap:10px 16px;display:flex}.comments .wl-actions{flex:auto}.comments .wl-info{flex:0 auto;justify-content:flex-end;margin-left:auto}.comments .wl-actions>a,.comments .wl-info .wl-text-number{display:none}.comments .wl-md-supported,.comments .wl-word-count,.comments .wl-preview-label{color:var(--faint);font-family:var(--font-mono);align-items:center;gap:7px;font-size:.78rem;font-weight:600;line-height:1;display:inline-flex}.comments .wl-md-badge{border:1px solid var(--border);background:color-mix(in srgb, var(--surface) 62%, transparent);height:17px;color:var(--faint);border-radius:4px;align-items:center;padding:0 5px;font-size:.62rem;font-weight:700;display:inline-flex}.comments .wl-footer .wl-action{width:auto;height:28px;color:var(--faint);font-family:var(--font-mono);cursor:pointer;background:0 0;border:0;margin:0;padding:0}.comments .wl-footer .wl-action:hover,.comments .wl-footer .wl-action.active{color:var(--accent)}.comments .wl-footer .wl-action svg{width:15px;height:15px}.comments .wl-footer .wl-preview-action svg,.comments .wl-logged-out .wl-btn{display:none}.comments .wl-logged-out .wl-gh-login{display:inline-flex}.comments .wl-btn{font-family:var(--font-mono);border-radius:8px;font-weight:650}.comments .wl-btn.primary{border-color:var(--text);background:var(--text);color:var(--bg)}.comments .wl-btn.primary:hover{border-color:color-mix(in srgb, var(--text) 84%, var(--accent));background:color-mix(in srgb, var(--text) 84%, var(--accent));color:var(--bg)}.comments .wl-gh-login{background:var(--text);min-height:40px;color:var(--bg);font-family:var(--font-mono);cursor:pointer;border:0;border-radius:8px;justify-content:center;align-items:center;gap:9px;padding:0 18px;font-size:.92rem;font-weight:720;transition:background .15s;display:none}.comments .wl-gh-login:hover{background:color-mix(in srgb, var(--text) 84%, var(--accent))}.comments .wl-gh-login svg{display:block}.comments .wl-meta-head{border-bottom:1px solid var(--border);justify-content:space-between;align-items:baseline;gap:16px;margin:34px 0 0;padding:0 0 10px;display:flex}.comments .wl-count{color:var(--faint);font-family:var(--font-mono);flex:auto;font-size:.88rem;font-weight:650}.comments .wl-count:before{content:"Comments";color:var(--text);font-family:var(--font-serif);letter-spacing:-.01em;margin-right:10px;font-size:1.42rem;font-weight:720}.comments[data-waline-lang=zh-CN] .wl-count:before{content:"评论"}.comments .wl-sort{gap:18px;margin:0;display:inline-flex}.comments .wl-sort li{color:var(--muted);font-family:var(--font-mono);font-size:.86rem;font-weight:620}.comments .wl-sort li+li{margin-inline-start:0}.comments .wl-sort li.active,.comments .wl-sort li:hover{color:var(--accent)}.comments .wl-cards{margin:0}.comments .wl-card-item{border-bottom:1px solid var(--border);gap:14px;padding:20px 0}.comments .wl-card-item:last-child{border-bottom:0}.comments .wl-cards .wl-user{margin-inline-end:0}.comments .wl-cards .wl-user .wl-user-avatar{background:var(--surface-2);box-shadow:none;border:0}.comments .wl-cards .wl-user .verified-icon,.comments .wl-cards .wl-user .administrator-icon{background:var(--surface);box-shadow:0 0 0 1px var(--border)}.comments .wl-card{border-bottom:0;flex:auto;width:auto;min-width:0;padding-bottom:0}.comments .wl-card:first-child{margin-inline-start:0}.comments .wl-card .wl-head{flex-wrap:wrap;align-items:baseline;gap:6px 9px;line-height:1.3;display:flex;overflow:visible}.comments .wl-card .wl-head .wl-nick,.comments .wl-card span.wl-nick{color:var(--text);font-family:var(--font-serif);margin-inline-end:0;font-size:1.06rem;font-weight:720;line-height:1.2}.comments .wl-card .wl-badge{background:var(--accent-soft);color:var(--accent);font-family:var(--font-mono);text-transform:uppercase;border:0;border-radius:5px;margin-inline-end:0;padding:3px 6px;font-size:.66rem;font-weight:680;line-height:1}.comments .wl-card .wl-time{color:var(--faint);font-family:var(--font-mono);margin-inline-end:0;font-size:.74rem;font-weight:600}.comments .wl-card .wl-comment-actions{float:none;align-items:center;gap:12px;margin-left:auto;display:inline-flex}.comments .wl-card .wl-delete,.comments .wl-card .wl-like,.comments .wl-card .wl-reply,.comments .wl-card .wl-edit,.comments .wl-card .wl-rss{color:var(--faint);font-family:var(--font-mono);gap:4px;padding:0;font-size:.8rem;font-weight:620}.comments .wl-card .wl-delete:hover,.comments .wl-card .wl-like:hover,.comments .wl-card .wl-reply:hover,.comments .wl-card .wl-edit:hover,.comments .wl-card .wl-like.active,.comments .wl-card .wl-reply.active{color:var(--accent)}.comments .wl-card .wl-comment-actions svg{width:15px;height:15px}.comments .wl-card .wl-meta{display:none}.comments .wl-card .wl-content{color:color-mix(in srgb, var(--muted) 86%, var(--text));font-family:var(--font-serif);margin:9px 0 0;padding-top:0;font-size:1.06rem;font-weight:520;line-height:1.68}.comments .wl-card .wl-content p{color:inherit;margin:0 0 .75em}.comments .wl-card .wl-content .wl-reply-to{float:none;margin:0;display:inline}.comments .wl-card .wl-content .wl-reply-to+div,.comments .wl-card .wl-content .wl-reply-to+div>p:first-child{display:inline}.comments .wl-card .wl-content p:last-child{margin-bottom:0}.comments .wl-card .wl-content strong{color:var(--text);font-weight:740}.comments .wl-card .wl-content code{background:var(--surface-2);color:var(--text);font-family:var(--font-mono);border-radius:5px;font-size:.86em}.comments .wl-card .wl-quote{border-inline-start:1px solid var(--border);margin-top:16px;padding-inline-start:14px}.comments .wl-card .wl-quote .wl-card-item{border-bottom:0;padding:14px 0 0}.comments .wl-empty,.comments .wl-loading,.comments .wl-operation{color:var(--faint);font-family:var(--font-mono);font-size:.8rem}.comments .wl-meta-foot,.comments .wl-power{display:none}.research-env{background:0 0;border-left-width:2px;border-radius:0;padding:.04rem 0 .08rem 1.05rem;position:relative}.research-env:before{content:"";opacity:.95;background:currentColor;width:2px;position:absolute;top:0;bottom:0;left:-2px}.research-env-heading{font-family:var(--font-serif);font-weight:680}.research-env-title{color:color-mix(in srgb, var(--muted) 78%, var(--text));font-weight:420}.research-env>p:first-of-type{line-height:inherit}.research-env-theorem,.research-env-lemma,.research-env-proposition,.research-env-corollary,.research-env-claim,.research-env-conjecture{color:var(--env-result)}.research-env-definition,.research-env-axiom,.research-env-assumption,.research-env-construction,.research-env-notation,.research-env-convention{color:var(--env-structure)}.research-env-example,.research-env-observation,.research-env-remark,.research-env-counterexample{color:var(--env-example)}.research-env-problem,.research-env-exercise,.research-env-solution,.research-env-proof{color:var(--env-work)}.research-env-algorithm{color:var(--env-algorithm)}.research-env>*,.research-env-heading{color:var(--text)}.research-env-proof .research-env-heading{font-weight:520}.pseudocode-block{border-top:2px solid color-mix(in srgb, var(--text) 88%, var(--border));border-bottom:2px solid color-mix(in srgb, var(--text) 82%, var(--border));margin:2rem 0;padding:.12rem 0}.pseudocode-block .ps-algorithm{border:0}.pseudocode-block .ps-algorithm.with-caption>.ps-line:first-child{border-bottom:1px solid var(--border);padding:.6rem .1rem .56rem}.pseudocode-block .ps-algorithmic{padding:.76rem .1rem .84rem}.pseudocode-block .ps-linenum{color:var(--faint)}.pseudocode-block .ps-algorithmic.with-scopelines div.ps-block{border-left-color:color-mix(in srgb, var(--faint) 56%, transparent)}.search-panel{max-width:880px;margin:0 auto 72px;padding:0}.search-box{border:1px solid var(--border);background:var(--surface);box-shadow:0 2px 12px color-mix(in srgb, var(--text) 4%, transparent);transition:border-color var(--motion-fast) var(--ease-out), box-shadow var(--motion-fast) var(--ease-out), background-color var(--motion-fast) var(--ease-out);border-radius:8px;align-items:center;gap:14px;padding:14px 18px;display:flex}.search-box:focus-within{border-color:color-mix(in srgb, var(--accent) 62%, var(--border));box-shadow:0 0 0 3px color-mix(in srgb, var(--accent) 10%, transparent), 0 8px 24px color-mix(in srgb, var(--accent) 8%, transparent)}.search-box svg{width:20px;height:20px;color:var(--accent);flex:none}.search-box .search-input{color:var(--text);box-shadow:none;background:0 0;border:0;border-radius:0;outline:0;padding:0;font-size:1.22rem}.search-box .search-input:focus,.search-box .search-input:focus-visible{box-shadow:none;border-color:#0000;outline:0}.search-box span{color:var(--faint);font-family:var(--font-mono);white-space:nowrap;font-size:.68rem}.search-filters{flex-wrap:wrap;gap:8px;margin:16px 0 8px;display:flex}.search-filters button{border:1px solid var(--border);color:var(--muted);font-family:var(--font-mono);cursor:pointer;background:0 0;border-radius:999px;padding:4px 12px;font-size:.74rem}.search-filters button[data-active=true]{background:var(--text);color:var(--bg)}.search-result{border-top-color:var(--border);border-radius:0;margin:0 -12px;padding:16px 12px}.search-result:hover{background:var(--accent-soft)}.graph-explorer{padding:0}.graph-workbench{margin-top:0;display:block}.graph-canvas{border-color:var(--border);background:var(--surface-2);border-radius:8px;min-height:660px}.graph-canvas-2d{background:radial-gradient(circle at 52% 46%, color-mix(in srgb, var(--accent) 8%, transparent), transparent 32%), linear-gradient(90deg, color-mix(in srgb, var(--border) 18%, transparent) 1px, transparent 1px) 0 0 / 34px 34px, linear-gradient(0deg, color-mix(in srgb, var(--border) 14%, transparent) 1px, transparent 1px) 0 0 / 34px 34px, var(--surface-2)}.graph-canvas-2d:after{display:none}.graph-canvas canvas,.graph-stage{height:660px}.graph-canvas-hint{z-index:2;pointer-events:none;position:absolute}.graph-legend{border:1px solid var(--border);border-radius:var(--radius);background:color-mix(in srgb, var(--surface) 55%, transparent);flex-wrap:wrap;align-items:center;gap:8px 18px;margin-top:10px;padding:9px 14px;display:flex}.graph-legend span{color:var(--text);align-items:center;gap:8px;font-size:.8rem;display:inline-flex}.graph-canvas-hint{border:1px solid var(--border);background:color-mix(in srgb, var(--bg) 90%, transparent);color:var(--faint);font-family:var(--font-mono);border-radius:999px;margin:0;padding:5px 13px;font-size:.68rem;bottom:24px;left:30px}.graph-preview-card{border-color:var(--border);background:var(--surface);border-radius:8px;box-shadow:0 14px 40px #0a0c1438}.graph-preview-card:before{background:var(--accent);content:"";height:3px;position:absolute;inset:0 0 auto}.graph-preview-card h2{font-size:1.12rem;font-weight:640}.graph-zoom-controls{border-color:var(--border);background:color-mix(in srgb, var(--bg) 92%, transparent);box-shadow:0 8px 22px #0a0c141a}.legend-node,.legend-edge{flex:none}.legend-note{background:var(--graph-note)}.legend-index{background:var(--graph-note);box-shadow:0 0 0 1.5px var(--bg), 0 0 0 3px var(--graph-note)}.legend-related{background:0 0;background-image:repeating-linear-gradient(90deg, var(--graph-related-edge-active) 0 4px, transparent 4px 8px);opacity:.9;height:2px}.site-footer{border-top-color:var(--border);background:var(--panel);margin-top:0;padding:18px 0}.site-footer p,.footer-links a{font-family:var(--font-mono);font-size:.7rem}@media (width<=1180px){.content-grid{grid-template-areas:"outline main""related main"".main";grid-template-columns:minmax(180px, 220px) minmax(0, var(--read-col));grid-template-rows:auto auto 1fr;justify-content:center}.content-grid-no-outline{grid-template-columns:minmax(0,720px) minmax(200px,240px);grid-template-areas:"main related"}.content-grid-no-outline .content-related-rail{border-right:0;border-left:1px solid var(--border);padding-left:24px;padding-right:0}.content-grid:not(.content-grid-no-outline) .content-rail{position:static}.content-related-rail{border-right:1px solid var(--border);border-left:0;padding-left:0;padding-right:24px}}@media (width<=900px){main,.header-inner,.footer-inner,.content-shell{width:min(100% - 32px,1180px)}.content-page main{width:100%}.header-inner{flex-wrap:wrap;align-items:center;gap:12px 18px;padding:12px 0}.nav-links{scrollbar-width:none;order:3;width:100%;margin-left:0;overflow-x:auto}.nav-links::-webkit-scrollbar{display:none}.header-actions{margin-left:auto}.hero-section.home-hero,.home-bottom-grid,.notes-browser,.home-bottom-grid .surface-section,.knowledge-index-list{grid-template-columns:1fr}.home-profile{border-right:0;border-bottom:1px solid var(--border)}.now-panel{border-left:0;border-top:1px solid var(--border);padding:20px 0 0}.notes-sidebar{position:static}.content-grid{grid-template-columns:1fr;grid-template-areas:"main""outline""related";gap:28px}.content-grid-no-outline{grid-template-areas:"main""related"}.content-rail{max-height:none;position:static;overflow:visible}.content-outline-rail,.content-related-rail{border-left:0;border-right:0;border-top:1px solid var(--border);padding:18px 0 0}.graph-canvas,.graph-canvas canvas,.graph-stage{height:560px;min-height:560px}.graph-canvas-hint{left:18px}}@media (width<=640px){main,.header-inner,.footer-inner,.content-shell{width:min(100% - 24px,1180px)}.content-page main{width:100%}.nav-links{gap:16px}.brand{min-width:0}.brand-title{font-size:1.08rem}.brand-subtitle{letter-spacing:.08em;font-size:.58rem}.header-actions{gap:8px}.language-switch a{min-width:30px}.comments{margin-top:48px}.comments .wl-comment{margin-bottom:34px}.comments .wl-md-toolbar{padding:6px}.comments .wl-editor{min-height:140px;padding:15px 16px;font-size:1rem}.comments .wl-footer{align-items:stretch;padding:10px 12px}.comments .wl-actions,.comments .wl-info{justify-content:space-between;width:100%;margin-left:0}.comments .wl-gh-login{width:100%}.comments .wl-meta-head{flex-direction:column;align-items:flex-start;gap:8px}.comments .wl-sort{gap:14px}.comments .wl-card-item{gap:10px;padding:18px 0}.comments .wl-card .wl-comment-actions{justify-content:flex-start;width:100%;margin-top:4px;margin-left:0}.comments .wl-card .wl-content{font-size:1rem}.home-profile,.home-site-statement{padding:28px 18px}.profile-lockup{align-items:flex-start}.profile-avatar-frame{width:48px;height:48px}.content-card{margin-inline:0;display:block}.content-card>.card-meta{text-align:left;white-space:normal;flex-direction:row;align-items:flex-start}.search-box{align-items:flex-start}.search-box span{display:none}.graph-toolbar input{width:100%;min-width:0}}.tool-search{border:1px solid var(--border);background:var(--surface);box-shadow:0 1px 2px color-mix(in srgb, var(--text) 3%, transparent);border-radius:9px;align-items:center;gap:10px;margin:8px 0 clamp(36px,5vw,56px);padding:8px 9px 8px 16px;display:flex}.tool-search-icon{width:16px;height:16px;color:var(--faint);flex:none}.tool-search input{min-width:0;color:var(--text);font-family:var(--font-serif);background:0 0;border:0;outline:none;flex:1;font-size:.95rem}.tool-search-engines{background:var(--subtle-surface);border-radius:8px;flex-shrink:0;gap:2px;padding:3px;display:flex}.tool-search-engines button{height:26px;color:var(--muted);font-family:var(--font-mono);letter-spacing:.01em;white-space:nowrap;cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), color var(--motion-fast) var(--ease-out);background:0 0;border:0;border-radius:6px;padding:0 10px;font-size:.68rem}.tool-search-engines button:hover{color:var(--text)}.tool-search-engines button[aria-pressed=true]{background:var(--text);color:var(--bg)}.tool-search-submit{background:var(--accent);width:34px;height:34px;color:var(--accent-ink);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-out), transform var(--motion-fast) var(--ease-out);border:0;border-radius:7px;flex:none;justify-content:center;align-items:center;display:inline-flex}.tool-search-submit:hover{background:color-mix(in srgb, var(--accent) 84%, var(--text))}.tool-search-submit:active{transform:scale(.96)}.tool-search-submit svg{width:17px;height:17px}.tools-section-label{align-items:center;gap:13px;margin:0 0 14px;display:flex}.tools-section-label .eyebrow{white-space:nowrap;margin:0}.tools-rule{background:var(--border);flex:1;height:1px}.tools-pinned{margin-bottom:clamp(32px,4vw,48px)}.tools-pinned-grid{flex-wrap:wrap;gap:8px;display:flex}.tools-pinned-item{width:84px;color:inherit;transition:border-color var(--motion-fast) var(--ease-out);border:1px solid #0000;border-radius:10px;flex-direction:column;align-items:center;gap:7px;padding:10px 4px 9px;text-decoration:none;display:flex}.tools-pinned-item:hover{border-color:var(--border)}.tools-pinned-icon{background:var(--subtle-surface);width:40px;height:40px;color:var(--accent-text);border-radius:10px;justify-content:center;align-items:center;display:flex}.tools-pinned-icon svg{width:19px;height:19px}.tools-pinned-name{max-width:84px;color:var(--muted);text-align:center;text-overflow:ellipsis;white-space:nowrap;font-size:.72rem;line-height:1.25;overflow:hidden}.tools-category{border-top:1px solid var(--border);padding:clamp(22px,3vw,32px) 0}.tools-category-head{align-items:baseline;gap:10px;margin-bottom:6px;display:flex}.tools-category-head h2{margin:0;font-size:clamp(1.2rem,2vw,1.5rem);font-weight:660}.tools-category-count{color:var(--faint);font-family:var(--font-mono);font-size:.72rem}.tools-category-list{grid-template-columns:repeat(auto-fill,minmax(230px,1fr));gap:10px;display:grid}.tools-row{border:1px solid var(--border);color:inherit;transition:border-color var(--motion-fast) var(--ease-out), background-color var(--motion-fast) var(--ease-out);border-radius:10px;align-items:flex-start;gap:10px;padding:10px 30px 10px 12px;text-decoration:none;display:flex;position:relative}.tools-row:hover{border-color:var(--accent);background:var(--accent-soft)}.tools-row-icon{background:var(--subtle-surface);width:30px;height:30px;color:var(--accent-text);border-radius:8px;flex:none;justify-content:center;align-items:center;display:flex}.tools-row-icon svg{width:15px;height:15px}.tools-row-body{flex-direction:column;flex:1;gap:1px;min-width:0;display:flex}.tools-row-name{color:var(--text);font-weight:620}.tools-row-desc{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-size:.82rem;overflow:hidden}.tools-row-external{width:13px;height:13px;color:var(--faint);position:absolute;top:12px;right:12px}@media (width<=640px){.tool-search{flex-wrap:wrap;padding:10px 12px}.tool-search-engines{order:1;justify-content:space-between;width:100%}.tools-category-list{grid-template-columns:1fr}}