.article-mascot{visibility:hidden;width:88px;left:max(1.25rem, env(safe-area-inset-left));bottom:max(1.25rem, env(safe-area-inset-bottom));z-index:65;color:var(--foreground);font-family:var(--font-sans);display:none;position:fixed}.article-mascot[data-gutter-fit=true]{visibility:visible}.article-mascot-character{border-radius:1rem}.article-mascot-character:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.article-mascot-bubble{border:1px solid var(--border);background:var(--surface);width:min(290px,100vw - 48px);max-height:calc(100dvh - 160px);box-shadow:0 5px 22px rgb(var(--shadow-ink) / .08);border-radius:16px 16px 16px 4px;padding:14px 18px 18px;animation:.18s ease-out mascot-bubble-in;position:absolute;bottom:calc(100% + 12px);left:6px;overflow-y:auto}.article-mascot-bubble[hidden]{display:none}.article-mascot-bubble-header{color:var(--muted-foreground);justify-content:space-between;align-items:center;gap:16px;font-size:.75rem;display:flex}.article-mascot-bubble-header button{width:32px;height:32px;color:var(--muted-foreground);cursor:pointer;background:0 0;border:0;border-radius:50%;margin:-6px -8px -4px 0;font-size:1.25rem}.article-mascot-bubble-header button:hover{background:var(--muted)}.article-mascot-bubble p{overflow-wrap:anywhere;white-space:pre-wrap;margin:10px 0 0;font-size:.9375rem;line-height:1.85}body.lightbox-open .article-mascot,body:has(.mobile-toc-sheet.open) .article-mascot{visibility:hidden}@keyframes mascot-bubble-in{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:translateY(0)}}@media (width>=768px) and (hover:hover) and (pointer:fine){.article-mascot{display:block}}@media (prefers-reduced-motion:reduce){.article-mascot-bubble{animation:none}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{-webkit-clip-path:inset(50%);clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}@font-face{font-family:boxicons;src:url(/fonts/boxicons-subset.woff)format("woff");font-weight:400;font-style:normal;font-display:block}.post-page-wrap{isolation:auto;justify-content:center;width:min(50rem,100vw - 2rem);margin-inline:calc(50% + min(50rem,100vw - 2rem)/-2);display:flex;position:static}.post-reading-stage{--article-radius:.65rem;width:100%;max-width:100%;position:static}.post-paper{z-index:2;background:var(--surface);border:1px solid var(--border);border-radius:var(--article-radius);width:100%;min-width:0;box-shadow:0 8px 36px rgb(var(--shadow-ink) / .045);margin:0 auto;padding:2.5rem 2.45rem 3rem;position:relative}.post-sidebar{--toc-collapsed-width:3rem;--toc-collapsed-height:7rem;--toc-drawer-width:16.5rem;--toc-panel-height:32rem;--toc-control-radius:var(--article-radius);top:var(--toc-anchor-top,13rem);left:var(--toc-anchor-left,calc(50% + 31rem));width:var(--toc-drawer-width);height:var(--toc-panel-height);z-index:3;pointer-events:auto;opacity:0;will-change:width, height;transition:width .34s cubic-bezier(.22,1,.36,1),height .34s cubic-bezier(.22,1,.36,1),opacity .18s;position:fixed}.post-sidebar.is-ready{opacity:1}.post-sidebar.collapsed{width:var(--toc-collapsed-width);height:var(--toc-collapsed-height)}.post-sidebar.is-outside-article{opacity:0;pointer-events:none}.reading-progress{z-index:60;pointer-events:none;width:100%;height:3px;position:fixed;top:0;left:0}.reading-progress-bar{background:var(--accent);width:0;height:100%;transition:width .12s linear}.back-link{font-family:var(--font-sans);color:var(--muted-foreground);transition:color var(--transition-base);margin-bottom:2.3rem;font-size:.72rem;display:inline-block}.back-link:hover{color:var(--foreground)}.post-header{text-align:left;margin-bottom:2.75rem}.post-header h1{letter-spacing:.015em;text-align:left;text-wrap:pretty;overflow-wrap:anywhere;word-break:normal;hyphens:auto;max-width:100%;margin:0 0 1.25rem;font-size:clamp(1.85rem,3.5vw,2.65rem);line-height:1.35}.post-header .summary{border:1px solid color-mix(in oklab, var(--border) 78%, transparent);max-width:100%;color:var(--muted-foreground);text-align:justify;text-justify:inter-ideograph;text-indent:2em;background:var(--surface);box-sizing:border-box;border-radius:.9rem;margin:0 auto 1.25rem;padding:1rem 1.15rem;font-size:clamp(.96rem,1.2vw,1.02rem);font-weight:400;line-height:1.95}.meta{font-variant-numeric:tabular-nums;font-family:var(--font-sans);font-size:var(--text-caption);color:var(--muted-foreground);flex-wrap:wrap;align-items:center;gap:.9rem;display:flex}.toc-card{border:1px solid color-mix(in oklab, var(--border) 86%, transparent);background:var(--surface);opacity:1;transform-origin:0 0;border-radius:1rem;flex-direction:column;width:100%;height:100%;padding:.95rem .8rem .85rem;transition:opacity .16s 80ms,transform .34s cubic-bezier(.22,1,.36,1),visibility linear;display:flex;position:absolute;inset:0;overflow:hidden;transform:scale(1);box-shadow:0 12px 32px oklab(0% none none/.05)}.floating-action{border:1px solid color-mix(in oklab, var(--border) 72%, transparent);background:color-mix(in oklab, var(--surface) 90%, transparent);width:2.55rem;height:2.55rem;color:color-mix(in oklab, var(--foreground) 76%, transparent);-webkit-backdrop-filter:blur(12px);cursor:pointer;transition:color var(--transition-base), border-color var(--transition-base), background-color var(--transition-base), box-shadow var(--transition-base), transform var(--transition-base), opacity var(--transition-base);touch-action:manipulation;-webkit-tap-highlight-color:transparent;border-radius:999px;justify-content:center;align-items:center;display:inline-flex;box-shadow:0 8px 22px oklab(0% none none/.06)}.floating-action svg{fill:none;stroke:currentColor;stroke-width:1.8px;stroke-linecap:round;stroke-linejoin:round;width:1.05rem;height:1.05rem}.floating-action:hover{color:var(--foreground);border-color:color-mix(in oklab, var(--foreground) 16%, transparent);background:var(--surface);box-shadow:0 10px 26px oklab(0% none none/.08)}.desktop-toc-tab{z-index:2;width:var(--toc-collapsed-width);height:var(--toc-collapsed-height);border:1px solid color-mix(in oklab, var(--border) 76%, transparent);border-radius:var(--toc-control-radius);color:color-mix(in oklab, var(--muted-foreground) 82%, transparent);background:color-mix(in oklab, var(--surface) 92%, transparent);cursor:pointer;-webkit-backdrop-filter:blur(8px);transition:color var(--transition-base), border-color var(--transition-base), background-color var(--transition-base), box-shadow var(--transition-base), border-radius .34s cubic-bezier(.22, 1, .36, 1);flex-direction:column;justify-content:center;align-items:center;gap:.48rem;padding:.58rem .25rem;display:flex;position:absolute;top:0;right:0;box-shadow:0 7px 18px oklab(0% none none/.05)}.desktop-toc-tab:hover,.desktop-toc-tab:focus-visible{color:var(--foreground);border-color:color-mix(in oklab, var(--foreground) 18%, transparent);background:var(--muted);outline:none;box-shadow:0 10px 24px oklab(0% none none/.08)}.desktop-toc-tab svg{fill:none;stroke:currentColor;stroke-width:1.7px;stroke-linecap:round;stroke-linejoin:round;width:1rem;height:1rem}.desktop-toc-progress{font-family:var(--font-sans);font-size:var(--text-caption);letter-spacing:0;font-variant-numeric:tabular-nums}.toc-tab-chevron{transition:transform .28s cubic-bezier(.22,1,.36,1)}.post-sidebar:not(.collapsed) .toc-tab-chevron{transform:rotate(180deg)}html[data-theme=dark] .desktop-toc-tab:hover,html[data-theme=dark] .desktop-toc-tab:focus-visible{color:var(--foreground);background:var(--muted)}.post-sidebar.collapsed .toc-card{visibility:hidden;opacity:0;pointer-events:none;transition:opacity .12s,transform .24s cubic-bezier(.22,1,.36,1),visibility 0s linear .16s;transform:scale(.96)}.toc-title-row{border-bottom:1px solid color-mix(in oklab, var(--border) 80%, transparent);flex-shrink:0;justify-content:space-between;align-items:center;gap:.6rem;margin-bottom:.7rem;padding:0 3.15rem .65rem 0;display:flex}html[data-theme=dark] .toc-title-row{border-bottom-color:#ffffff14}.toc-title,.reading-progress-text,.mobile-toc-progress{font-family:var(--font-sans);font-size:var(--text-caption);color:var(--muted-foreground);letter-spacing:.02em}.toc-nav{scrollbar-width:thin;scrollbar-color:color-mix(in oklab, var(--border) 90%, transparent) transparent;flex-direction:column;flex:1;gap:.1rem;min-height:0;padding:.15rem .2rem .2rem 0;display:flex;position:relative;overflow:auto}.toc-link{--toc-row-gap:.1rem;min-height:2.12rem;color:var(--muted-foreground);font-family:var(--font-serif);letter-spacing:.01em;transition:background-color var(--transition-base), color var(--transition-base), box-shadow var(--transition-base);border-radius:.58rem;padding:.42rem .58rem .42rem 1.3rem;font-size:.9rem;font-weight:500;line-height:1.45;display:block;position:relative}.toc-connector,.toc-sub-connector{top:calc(-1 * var(--toc-row-gap));background:color-mix(in oklab, var(--border) 84%, transparent);pointer-events:none;width:1px;position:absolute;bottom:0;left:.58rem}.toc-link:first-child>.toc-connector{top:50%}.toc-link:last-child>.toc-connector{bottom:50%}.toc-sub-connector{display:none;left:1.52rem}.toc-level-3:has(+.toc-level-4)>.toc-sub-connector{display:block;top:50%}.toc-level-4>.toc-sub-connector{display:block}.toc-level-4:not(:has(+.toc-level-4))>.toc-sub-connector{bottom:50%}html[data-theme=dark] .toc-connector,html[data-theme=dark] .toc-sub-connector{background:#ffffff1a}.toc-link:before,.toc-link:after{content:"";pointer-events:none;transition:background-color var(--transition-base), border-color var(--transition-base), box-shadow var(--transition-base), transform var(--transition-base);position:absolute;top:50%}.toc-link:before{background:color-mix(in oklab, var(--border) 88%, transparent);width:0;height:1px;left:.58rem;transform:translateY(-50%)}.toc-link:after{border:1px solid color-mix(in oklab, var(--border) 92%, transparent);background:color-mix(in oklab, var(--border) 94%, white 6%);border-radius:999px;width:8px;height:8px;left:calc(.58rem - 4px);transform:translateY(-50%)}.toc-link-text{text-overflow:ellipsis;white-space:nowrap;display:block;overflow:hidden}.toc-link:hover,.toc-link.active{color:var(--foreground);background:var(--muted)}html[data-theme=dark] .toc-link:before{background:#ffffff1c}html[data-theme=dark] .toc-link:after{background:#ffffff17;border-color:#ffffff1f}.toc-level-1,.toc-level-2{--toc-row-gap:.48rem;color:var(--foreground);letter-spacing:.01em;margin-top:.38rem;padding-left:1.3rem;font-size:.92rem;font-weight:500}.toc-link:first-child{margin-top:0}.toc-level-1:before,.toc-level-2:before{width:0}.toc-level-1:after{width:9px;height:9px}.toc-level-3{letter-spacing:.01em;padding-left:2.18rem;font-size:.84rem;font-weight:500}.toc-level-3:before{width:.98rem;left:.58rem}.toc-level-3:after{width:7px;height:7px;left:calc(1.52rem - 3.5px)}.toc-level-4{color:color-mix(in oklab, var(--muted-foreground) 84%, transparent);letter-spacing:0;padding-left:3.28rem;font-size:.78rem;font-weight:500}.toc-level-4:before{width:1.12rem;left:1.52rem}.toc-level-4:after{width:6px;height:6px;left:calc(2.6rem - 3px)}.toc-empty{color:var(--muted-foreground);font-size:.88rem}.content{font-family:var(--font-sans);max-width:var(--reading-width);margin:0 auto;font-weight:400}.content p,.content li{line-height:var(--leading-reading);color:var(--foreground);font-size:var(--text-body);overflow-wrap:anywhere;word-break:normal;hyphens:auto}.content p{margin:0 0 1rem}.content .math-tex:has(>.katex-display){max-width:100%;display:block}.content .katex-display{overscroll-behavior-inline:contain;max-width:100%;margin:1.25rem 0;padding:.5rem 0;overflow:auto hidden}.content .katex-display>.katex{width:max-content;min-width:100%}.content .math-tex .katex{color:var(--foreground);text-indent:0;font-size:1.1em}.content .math-error{font-family:var(--font-mono);white-space:pre-wrap;overflow-wrap:anywhere;color:var(--muted-foreground);font-size:.9em}.content li p{margin:0}.content td>p:first-of-type,.content th>p:first-of-type{margin-top:0}.content td>p:last-of-type,.content th>p:last-of-type{margin-bottom:0}.content h1,.content h2,.content h3,.content h4{margin:2rem 0 .85rem;scroll-margin-top:6rem}.content h2{font-size:1.55rem;line-height:1.3}.content h3{font-size:1.2rem;line-height:1.45}.content ul,.content ol{margin:.7rem 0 1rem;padding-left:1.3rem}.content hr{background:color-mix(in oklab, var(--border) 85%, transparent);border:0;width:100%;height:4px;margin:15px 0}.content details.trilium-collapsible{isolation:isolate;background:var(--muted);border-radius:8px;margin:1em 0;padding:.75rem 1rem .75rem 2rem;position:relative;overflow:hidden}.content details.trilium-collapsible>summary{cursor:pointer;outline:none;width:calc(100% + 2rem);padding-left:2rem;font-weight:500;list-style:none;position:relative;left:-1rem}.content details.trilium-collapsible>summary::-webkit-details-marker{display:none}.content details.trilium-collapsible>summary:after{content:"";z-index:-1;background:var(--muted);width:calc(100% + 2rem + 1px);height:calc(100% + 1.5rem + 1px);display:block;position:absolute;top:calc(-.75rem - 1px);left:-1rem}.content details.trilium-collapsible>summary:hover:after{background:color-mix(in oklab, var(--muted) 92%, var(--foreground))}.content details.trilium-collapsible[open]>summary{margin-bottom:1.5rem}.content details.trilium-collapsible[open]>summary:after{border-bottom:2px solid color-mix(in oklab, var(--background) 70%, var(--foreground))}.content details.trilium-collapsible>:last-child:not(summary){margin-bottom:0}.content details.trilium-collapsible>summary:before{content:"";cursor:pointer;user-select:none;justify-content:center;align-items:center;width:1lh;height:1lh;font-family:boxicons;transition:transform .15s;display:flex;position:absolute;top:-.05em;left:0;transform:scale(1.3)}.content details.trilium-collapsible[open]>summary:before{transform:scale(1.3)rotate(90deg)}.content .admonition{--accent-color:var(--border);--admonition-ink:color-mix(in oklab, var(--accent-color) 70%, var(--foreground));padding:.95rem 1.15rem;border:1px solid color-mix(in oklab, var(--accent-color) 38%, var(--border));border-radius:var(--article-radius,.65rem);background:color-mix(in oklab, var(--accent-color) 5%, var(--surface));color:var(--foreground);text-wrap:pretty;overflow-wrap:anywhere;margin:1.5em 0;padding-inline-start:3.25rem;position:relative;overflow:hidden}.content .admonition>:first-child{margin-block-start:0}.content .admonition>:last-child{margin-block-end:0}.content .admonition.note{--accent-color:#69c7ff}.content .admonition.tip{--accent-color:#40c025}.content .admonition.important{--accent-color:#9839f7}.content .admonition.caution{--accent-color:#ff2e2e}.content .admonition.warning{--accent-color:#e2aa03}.content .admonition:before{top:calc(.95rem + (var(--text-body) * var(--leading-reading) - 1.5rem) / 2);width:1em;height:1em;color:var(--admonition-ink);pointer-events:none;font-family:boxicons;font-size:1.5rem;font-style:normal;font-weight:400;line-height:1;position:absolute;inset-inline-start:1.05rem}.content .admonition.note:before{content:""}.content .admonition.tip:before{content:""}.content .admonition.important:before{content:""}.content .admonition.caution:before{content:""}.content .admonition.warning:before{content:""}.content blockquote{border-left:3px solid var(--accent);background:color-mix(in oklab, var(--muted) 40%, transparent);font-family:var(--font-serif);color:color-mix(in oklab, var(--foreground) 90%, transparent);overflow-wrap:anywhere;word-break:break-word;border-radius:0 .4rem .4rem 0;margin:1.6rem 0;padding:.9rem 1.3rem;font-size:1.02rem;line-height:1.85;overflow:hidden}.content blockquote p{font-size:inherit;line-height:inherit;color:inherit;margin:0}.content blockquote p+p{margin-top:.75rem}.content blockquote *{overflow-wrap:anywhere;word-break:break-word}.content a{text-underline-offset:.16em;overflow-wrap:anywhere;word-break:break-word;text-decoration:underline 1px}.content figure{text-align:center;margin:.9em auto}.content figure.image{clear:both;min-width:50px;display:table}.content figure.image.image_resized{box-sizing:border-box;max-width:100%;display:block}.content figure.image img{min-width:100%;max-width:100%;height:auto;margin:0 auto;display:block}.content figure.image.image_resized img{width:100%}.content .image.image-style-align-left{float:left;margin-right:1.5em}.content .image.image-style-align-right{float:right;margin-left:1.5em}.content .image.image-style-side{float:right;max-width:50%;margin-left:1.5em}.content .image.image-style-block-align-left{margin-left:0;margin-right:auto}.content .image.image-style-block-align-right{margin-left:auto;margin-right:0}.content .image.image-style-block-align-left,.content .image.image-style-block-align-right{max-width:calc(100% - 1.5em)}.content figure.table{max-width:100%;overflow-x:auto}.content img{cursor:zoom-in;max-width:100%;height:auto;transition:transform var(--transition-base), box-shadow var(--transition-base);border-radius:.55rem;margin:.9rem auto;display:block;box-shadow:0 10px 24px #0f172a0f}.content img:hover{transform:translateY(-1px);box-shadow:0 16px 34px #0f172a1a}.content p>img,.content figure>img{margin-left:auto;margin-right:auto}.content figcaption{color:var(--muted-foreground);text-align:center;margin-top:.45rem;font-size:.88rem}.content .include-note-card{border:1px solid color-mix(in oklab, var(--border) 85%, transparent);background:var(--muted);transition:border-color var(--transition-base), transform var(--transition-base);border-radius:.5rem;margin:1.35rem 0;padding:.9rem 1.05rem;text-decoration:none;display:block}.content .include-note-card:hover{border-color:color-mix(in oklab, var(--foreground) 22%, transparent);transform:translateY(-1px)}.content .include-note-card-label{color:var(--muted-foreground);font-size:.72rem;display:block}.content .include-note-card-title{color:var(--foreground);margin-top:.3rem;font-weight:600;line-height:1.5;display:block}.content .include-note-card-summary{-webkit-line-clamp:3;color:var(--muted-foreground);-webkit-box-orient:vertical;margin-top:.4rem;font-size:.88rem;line-height:1.7;display:-webkit-box;overflow:hidden}.content table{border-collapse:collapse;width:max-content;max-width:100%;margin:1rem auto;font-size:.92rem}.content figure.table table{margin:0 auto}.content th,.content td{border:1px solid color-mix(in oklab, var(--border) 85%, transparent);vertical-align:top;white-space:normal;min-width:120px;padding:8px}.content th{background:var(--muted);font-weight:600}.content code,.content pre,.content td,.content th{overflow-wrap:anywhere;word-break:break-word}.content code{font-family:var(--font-mono);background:var(--muted);white-space:normal;overflow-wrap:anywhere;word-break:break-all;line-break:anywhere;-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:.25rem;padding:.1em .3em;font-size:.85em}.content .code-block{background:var(--muted);border-radius:.45rem;min-width:0;margin:1rem 0;padding-top:0;position:relative}.content .code-block>.copy-button{position:absolute;top:.1rem;right:.25rem}.content pre{background:var(--muted);white-space:pre;tab-size:4;border-radius:.45rem;padding:.85rem 3.5rem .85rem .85rem;overflow-x:auto}.content .code-block>pre{margin:0}.content figure.mermaid-figure{clear:both;border:1px solid var(--border);background:var(--surface);border-radius:.65rem;margin:1.5rem 0;padding:1.25rem;overflow:hidden}.content .mermaid-zoom{width:100%;color:inherit;cursor:zoom-in;background:0 0;border:0;padding:0;display:block}.content .mermaid-zoom:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.content .mermaid-zoom>svg{width:100%;height:auto;margin:0 auto;display:block}.content .mermaid-error{color:var(--muted-foreground);text-indent:0;font-size:.875rem}.content code.copyable-inline-code{cursor:pointer}.content pre code{white-space:pre;overflow-wrap:normal;word-break:normal;line-break:auto;background:0 0;padding:0}.content{--hl-comment:#6b7280;--hl-keyword:#a626a4;--hl-string:#50a14f;--hl-number:#986801;--hl-title:#4078f2;--hl-attr:#e45649;--hl-type:#c18401}html[data-theme=dark] .content{--hl-comment:#7f848e;--hl-keyword:#c678dd;--hl-string:#98c379;--hl-number:#d19a66;--hl-title:#61afef;--hl-attr:#e06c75;--hl-type:#e5c07b}.content .hljs-comment,.content .hljs-quote{color:var(--hl-comment);font-style:italic}.content .hljs-keyword,.content .hljs-selector-tag,.content .hljs-literal,.content .hljs-doctag,.content .hljs-name{color:var(--hl-keyword)}.content .hljs-string,.content .hljs-regexp,.content .hljs-addition{color:var(--hl-string)}.content .hljs-number,.content .hljs-symbol,.content .hljs-bullet{color:var(--hl-number)}.content .hljs-title,.content .hljs-section{color:var(--hl-title)}.content .hljs-attr,.content .hljs-attribute,.content .hljs-variable,.content .hljs-template-variable,.content .hljs-selector-attr,.content .hljs-selector-class,.content .hljs-selector-id{color:var(--hl-attr)}.content .hljs-built_in,.content .hljs-type,.content .hljs-meta,.content .hljs-params{color:var(--hl-type)}.content .hljs-deletion{color:var(--hl-attr)}.content .hljs-emphasis{font-style:italic}.content .hljs-strong{font-weight:600}html[data-theme=dark] .content code{background:#ffffff14}html[data-theme=dark] .content pre{background:var(--muted);border:1px solid #ffffff14}html[data-theme=dark] .content .include-note-card{background:#ffffff0d;border-color:#ffffff17}html[data-theme=dark] .content .include-note-card:hover{border-color:#ffffff38}html[data-theme=dark] .content th,html[data-theme=dark] .content td{border-color:#ffffff17}.desktop-back-to-top{width:var(--toc-collapsed-width);border-radius:var(--toc-control-radius);height:44px;position:absolute;top:calc(100% + .5rem);left:0;transform:none}.article-mobile-actions{display:none}.mobile-toc-trigger{width:auto;min-width:5.8rem;font:var(--text-caption) var(--font-sans);gap:.5rem;padding:0 .9rem}.mobile-toc-trigger .toc-tab-list-icon{flex:none;width:1.25rem;height:1.25rem}.article-mobile-actions .floating-action{border-radius:999px;height:44px;transform:none}.mobile-back-to-top{width:44px}.article-mobile-actions .floating-action:hover,.article-mobile-actions .floating-action:active,.article-mobile-actions .floating-action:focus-visible,.desktop-back-to-top:hover{transform:none}.article-mobile-actions .floating-action:focus-visible,.desktop-back-to-top:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.mobile-toc-progress{text-align:right;min-width:2.1rem;color:color-mix(in oklab, var(--muted-foreground) 78%, transparent)}.mobile-toc-sheet{display:none}body.lightbox-open .site-header,body.lightbox-open .site-header-spacer,body.lightbox-open .post-sidebar,body.lightbox-open .article-mobile-actions{opacity:0!important;pointer-events:none!important}body.lightbox-open .site-header,body.lightbox-open .site-header-spacer{transform:translateY(-12px)}body.lightbox-open .post-sidebar{transform:translate(1rem)}.image-lightbox{z-index:90;opacity:0;pointer-events:none;transition:opacity var(--transition-base);background:#000000c7;justify-content:center;align-items:center;padding:1.5rem;display:flex;position:fixed;inset:0}.image-lightbox.open{opacity:1;pointer-events:auto}.image-lightbox img{background:#fff;border-radius:.8rem;max-width:min(92vw,1200px);max-height:88vh;box-shadow:0 20px 60px #00000059}.image-lightbox-close{color:#fff;backdrop-filter:blur(8px);background:#ffffff29;border:0;border-radius:999px;width:2.6rem;height:2.6rem;position:absolute;top:1rem;right:1rem}@media (width<=1400px){.post-sidebar{--toc-drawer-width:14.5rem}}@media (width<=1200px){.post-sidebar{width:12.8rem;right:.9rem}}@media (width<=1279px){.post-reading-stage{width:100%}.post-paper{padding-bottom:5.5rem}.post-sidebar{display:none}.article-mobile-actions{left:50%;bottom:max(1rem, env(safe-area-inset-bottom));z-index:85;align-items:center;gap:.5rem;display:flex;position:fixed;transform:translate(-50%)}.mobile-toc-sheet{z-index:80;opacity:0;pointer-events:none;transition:opacity var(--transition-base);display:block;position:fixed;inset:0}.mobile-toc-sheet.open{opacity:1;pointer-events:auto}.mobile-toc-backdrop{background:rgb(var(--shadow-ink) / .25);position:absolute;inset:0}.mobile-toc-panel{left:.75rem;right:.75rem;bottom:calc(4.75rem + env(safe-area-inset-bottom,0px));border:1px solid var(--border);background:var(--surface);backdrop-filter:blur(16px);max-height:min(65svh,100svh - 7rem);transition:transform var(--transition-base);border-radius:1.25rem;flex-direction:column;padding:.8rem .9rem 1.4rem;display:flex;position:absolute;transform:translateY(100%);box-shadow:0 -10px 30px #0f172a1f}.mobile-toc-sheet.open .mobile-toc-panel{transform:translateY(0)}html[data-theme=dark] .mobile-toc-backdrop{background:rgb(var(--shadow-ink) / .56)}html[data-theme=dark] .mobile-toc-panel{background:var(--surface);box-shadow:0 -10px 30px #0000004d}.mobile-toc-header{font-family:var(--font-sans);color:var(--muted-foreground);justify-content:space-between;align-items:center;padding:.35rem .2rem .85rem;font-size:.74rem;display:flex}.mobile-toc-header button{color:inherit;background:0 0;border:0;font-size:1rem}.toc-nav-mobile{min-height:0;padding-right:.2rem}.post-header h1{letter-spacing:.01em;max-width:100%;font-size:clamp(2.05rem,9.4vw,3rem);line-height:1.35}.post-header .summary{max-width:100%;font-size:.98rem;line-height:1.9}.content p,.content li{font-size:var(--text-body);line-height:var(--leading-reading)}.content h2{font-size:1.35rem}.content h3{font-size:1.12rem}}@media (width<=640px){.post-paper{padding:1.5rem 1.1rem 5.5rem}.back-link{font-size:var(--text-caption);margin-bottom:1.5rem}.post-header{margin-bottom:1.9rem}.meta{font-size:var(--text-caption);gap:.55rem;line-height:1.6}.post-header .summary{font-size:.94rem}.content p,.content li{font-size:var(--text-body);line-height:var(--leading-reading)}.content figure{margin:1.15rem auto}.content table{font-size:.85rem}}