.switcher[data-astro-cid-a2mxz4y6]{display:flex;gap:4px}a[data-astro-cid-a2mxz4y6],span[data-astro-cid-a2mxz4y6]{border:1px solid var(--line);border-radius:999px;color:var(--muted);display:inline-flex;font-size:.9rem;line-height:1;padding:8px 10px;text-decoration:none}a[data-astro-cid-a2mxz4y6][aria-current=true]{background:var(--rcl-secondary-soft);border-color:var(--rcl-secondary);color:var(--rcl-secondary-strong);font-weight:850}span[data-astro-cid-a2mxz4y6]{opacity:.45}.theme-toggle[data-astro-cid-x3pjskd3]{align-items:center;background:var(--surface);border:1px solid var(--line);border-radius:999px;color:var(--text);cursor:pointer;display:inline-flex;font:inherit;font-size:.88rem;font-weight:850;height:34px;justify-content:center;min-width:42px;padding:0 10px}.theme-toggle[data-astro-cid-x3pjskd3][aria-pressed=true]{background:var(--rcl-primary-soft);border-color:var(--rcl-primary)}.site-header[data-astro-cid-3ef6ksr2]{align-items:center;background:color-mix(in srgb,var(--surface) 92%,transparent);border-bottom:1px solid var(--line);display:grid;gap:16px;grid-template-columns:1fr auto auto auto;padding:14px max(16px,calc((100vw - 1120px)/2));position:sticky;top:0;z-index:10;backdrop-filter:blur(10px)}.brand[data-astro-cid-3ef6ksr2]{align-items:center;color:var(--text);display:inline-flex;gap:9px;font-weight:800;text-decoration:none}.brand[data-astro-cid-3ef6ksr2] img[data-astro-cid-3ef6ksr2]{display:block;height:32px;object-fit:contain;width:24px}nav[data-astro-cid-3ef6ksr2]{display:flex;flex-wrap:wrap;gap:8px}nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{border-radius:999px;color:var(--muted);padding:6px 10px;text-decoration:none}nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2][aria-current=page]{background:var(--rcl-primary-soft);color:var(--text)}@media(max-width:680px){.site-header[data-astro-cid-3ef6ksr2]{align-items:start;grid-template-columns:1fr auto;position:static}nav[data-astro-cid-3ef6ksr2]{grid-column:1 / -1}}@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{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.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;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.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{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.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;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.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:.8333333333em}.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.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.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.6666666667em}.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.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.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.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.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:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.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.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.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.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.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:.4166666667em}.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:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.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:.8333333333em}.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.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.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:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.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.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.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.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.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.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.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{display:inline-block;width:.12em}.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{display:inline-block;min-width:1px}.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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.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{border:.04em solid;box-sizing:border-box}.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{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;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{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.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{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{color-scheme:light;--rcl-bg: #f8fafc;--rcl-bg-soft: #eef5ff;--rcl-surface: #ffffff;--rcl-surface-elevated: #fdfefe;--rcl-surface-lab: #f5f9ff;--rcl-text: #102033;--rcl-text-muted: #5b6b7f;--rcl-text-soft: #7b8794;--rcl-text-inverse: #ffffff;--rcl-primary: #2563eb;--rcl-primary-strong: #1d4ed8;--rcl-primary-soft: #dbeafe;--rcl-secondary: #f97316;--rcl-secondary-strong: #ea580c;--rcl-secondary-soft: #ffedd5;--rcl-accent: #22c55e;--rcl-accent-strong: #16a34a;--rcl-accent-soft: #dcfce7;--rcl-border: #d8e2ee;--rcl-border-strong: #b7c7dc;--rcl-grid: rgba(37, 99, 235, .08);--rcl-warning: #f59e0b;--rcl-error: #ef4444;--rcl-success: #22c55e;--rcl-radius-sm: 8px;--rcl-radius-md: 14px;--rcl-radius-lg: 20px;--rcl-radius-xl: 28px;--rcl-shadow-sm: 0 4px 12px rgba(15, 23, 42, .06);--rcl-shadow-md: 0 12px 32px rgba(15, 23, 42, .08);--rcl-shadow-lg: 0 24px 64px rgba(15, 23, 42, .1);--rcl-glow-blue: 0 0 28px rgba(37, 99, 235, .18);--rcl-glow-orange: 0 0 28px rgba(249, 115, 22, .22);--rcl-motion-fast: .12s;--rcl-motion-normal: .22s;--rcl-ease-standard: cubic-bezier(.2, 0, 0, 1);--bg: var(--rcl-bg);--surface: var(--rcl-surface);--surface-muted: var(--rcl-bg-soft);--text: var(--rcl-text);--muted: var(--rcl-text-muted);--line: var(--rcl-border);--accent: var(--rcl-primary);--accent-strong: var(--rcl-primary-strong);--warning: var(--rcl-secondary-strong);--radius: var(--rcl-radius-md);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Noto Sans SC,PingFang SC,Microsoft YaHei,sans-serif}:root[data-theme=dark]{color-scheme:dark;--rcl-bg: #08111f;--rcl-bg-soft: #0d1b2f;--rcl-surface: #101c2e;--rcl-surface-elevated: #14243a;--rcl-surface-lab: #0d1b2f;--rcl-text: #e5edf7;--rcl-text-muted: #9fb0c3;--rcl-text-soft: #7f91a8;--rcl-text-inverse: #08111f;--rcl-primary: #60a5fa;--rcl-primary-strong: #93c5fd;--rcl-primary-soft: rgba(96, 165, 250, .16);--rcl-secondary: #fb923c;--rcl-secondary-strong: #fdba74;--rcl-secondary-soft: rgba(251, 146, 60, .16);--rcl-accent: #4ade80;--rcl-accent-strong: #86efac;--rcl-accent-soft: rgba(74, 222, 128, .16);--rcl-border: #26384f;--rcl-border-strong: #38516f;--rcl-grid: rgba(96, 165, 250, .08);--rcl-shadow-sm: 0 4px 12px rgba(0, 0, 0, .18);--rcl-shadow-md: 0 12px 32px rgba(0, 0, 0, .24);--rcl-shadow-lg: 0 24px 64px rgba(0, 0, 0, .32)}*{box-sizing:border-box}body{margin:0;background:radial-gradient(circle at top left,color-mix(in srgb,var(--rcl-secondary) 11%,transparent),transparent 32rem),linear-gradient(180deg,var(--rcl-bg-soft),var(--rcl-bg) 28rem);color:var(--text);line-height:1.65}a{color:var(--accent-strong)}button,a{outline-offset:3px}.page-shell{width:min(1120px,calc(100% - 32px));margin:0 auto;padding:36px 0 64px}.rcl-graph-paper{background-image:linear-gradient(var(--rcl-grid) 1px,transparent 1px),linear-gradient(90deg,var(--rcl-grid) 1px,transparent 1px);background-size:32px 32px}.section-kicker{color:var(--rcl-secondary-strong);font-size:.78rem;font-weight:850;letter-spacing:.08em;margin:0 0 8px;text-transform:uppercase}.rcl-button-row{display:flex;flex-wrap:wrap;gap:10px}.rcl-button{align-items:center;background:var(--rcl-primary);border:1px solid var(--rcl-primary);border-radius:999px;color:var(--rcl-text-inverse);display:inline-flex;font-weight:850;justify-content:center;min-height:44px;padding:9px 16px;text-decoration:none;transition:background var(--rcl-motion-fast) var(--rcl-ease-standard),border-color var(--rcl-motion-fast) var(--rcl-ease-standard),transform var(--rcl-motion-fast) var(--rcl-ease-standard)}.rcl-button:hover{background:var(--rcl-primary-strong);border-color:var(--rcl-primary-strong);transform:translateY(-1px)}.rcl-button.secondary{background:var(--surface);border-color:var(--line);color:var(--text)}.rcl-button.secondary:hover{border-color:var(--rcl-secondary);color:var(--rcl-secondary-strong)}.prose{max-width:760px}.prose h1,.prose h2,.prose h3{line-height:1.2}.prose h1{font-size:clamp(2rem,4vw,3.75rem);margin:0 0 12px}.prose h2{margin-top:42px}.summary{color:var(--muted);font-size:1.1rem}.surface{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--rcl-shadow-sm)}.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:16px}.status{color:var(--rcl-secondary-strong);font-size:.85rem;font-weight:700;text-transform:uppercase}pre{overflow-x:auto;border-radius:var(--radius);padding:16px;background:#0f172a;color:#e2e8f0}.katex-display{margin:1.25rem 0;overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.katex-display>.katex{white-space:nowrap}.graph-explorer,.graph-basics-figure,.graph-basics-explorer,.graph-representation-compare,.queue-wave-demo,.bfs-scenario-figure,.dijkstra-trace-demo,.dijkstra-scenario-figure,.graham-scan-demo,.graham-scenario-figure,.closest-pair-demo,.closest-scenario-figure,.bentley-demo,.bentley-scenario-figure,.pnp-figure,.pnp-demo{background:var(--surface);border:1px solid var(--line);border-radius:var(--rcl-radius-lg);box-shadow:var(--rcl-shadow-sm);margin:24px 0;padding:18px}.graph-basics-explorer,.queue-wave-demo,.dijkstra-trace-demo,.graham-scan-demo,.closest-pair-demo,.bentley-demo,.pnp-demo{background:linear-gradient(color-mix(in srgb,var(--rcl-surface-lab) 86%,transparent),color-mix(in srgb,var(--surface) 94%,transparent)),linear-gradient(var(--rcl-grid) 1px,transparent 1px),linear-gradient(90deg,var(--rcl-grid) 1px,transparent 1px);background-size:auto,28px 28px,28px 28px}.graph-header h2,.graph-list h2{margin:0}.graph-header{align-items:start;display:flex;gap:16px;justify-content:space-between}.graph-preview-link{background:var(--rcl-primary);border:1px solid var(--rcl-primary);border-radius:999px;color:var(--rcl-text-inverse);font-size:.9rem;font-weight:850;padding:7px 12px;text-decoration:none;white-space:nowrap}.graph-preview-link.disabled{background:var(--surface-muted);border-color:var(--line);color:var(--muted)}.graph-explorer svg{display:block;height:auto;margin-top:16px;max-width:100%;touch-action:none;user-select:none;width:100%}.graph-explorer .edge{fill:none;pointer-events:none;stroke:var(--rcl-primary);stroke-width:2;transition:opacity .16s ease,stroke-width .16s ease}.graph-explorer .edge.active{opacity:1;stroke-width:4}.graph-explorer .edge.dimmed{opacity:.16}.graph-explorer .edge-uses,.graph-explorer .edge-implemented-by,.graph-explorer .edge-applied-in{stroke:var(--rcl-accent)}.graph-explorer .edge-motivates,.graph-explorer .edge-fails-when{stroke:var(--rcl-secondary)}.graph-explorer .edge-contrasts,.graph-explorer .edge-special-case{stroke-dasharray:7 6}.graph-explorer marker path{fill:var(--muted)}.graph-explorer text{fill:var(--text);font-size:13px;pointer-events:none}.graph-viewbar{align-items:center;border-top:1px solid var(--line);display:flex;gap:12px;justify-content:space-between;margin-top:12px;padding-top:12px}.graph-viewbar p{color:var(--muted);font-size:.9rem;margin:0}.graph-search{align-items:center;display:flex;gap:8px;margin-left:auto;min-width:min(260px,100%)}.graph-search label{color:var(--muted);font-size:.82rem;font-weight:850;white-space:nowrap}.graph-search input{background:var(--surface);border:1px solid var(--line);border-radius:var(--rcl-radius-sm);color:var(--text);font:inherit;height:36px;min-width:0;padding:0 10px;width:180px}.graph-search input:focus{border-color:var(--rcl-primary);box-shadow:0 0 0 3px color-mix(in srgb,var(--rcl-primary) 18%,transparent);outline:none}.graph-search-results{align-items:center;display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.graph-search-results button{align-items:center;background:color-mix(in srgb,var(--rcl-success) 10%,var(--surface));border:1px solid color-mix(in srgb,var(--rcl-success) 36%,var(--line));border-radius:var(--rcl-radius-sm);color:var(--text);cursor:pointer;display:inline-flex;font:inherit;gap:8px;min-height:34px;padding:6px 10px}.graph-search-results button:hover,.graph-search-results button:focus-visible{border-color:var(--rcl-success);box-shadow:0 0 0 3px color-mix(in srgb,var(--rcl-success) 18%,transparent);outline:none}.graph-search-results small{color:var(--muted);font-size:.72rem;font-weight:850;text-transform:uppercase}.graph-search-results p{color:var(--muted);font-size:.9rem;margin:0}.graph-view-controls{align-items:center;display:flex;gap:8px}.graph-view-controls button{align-items:center;background:var(--surface);border:1px solid var(--line);border-radius:var(--rcl-radius-sm);color:var(--text);cursor:pointer;display:inline-flex;font:inherit;font-weight:800;height:34px;justify-content:center;min-width:34px;padding:0 10px}.graph-view-controls button:hover,.graph-view-controls button:focus-visible{border-color:var(--rcl-primary);box-shadow:0 0 0 3px color-mix(in srgb,var(--rcl-primary) 18%,transparent);outline:none}.graph-view-controls output{color:var(--muted);font-size:.82rem;font-variant-numeric:tabular-nums;min-width:42px;text-align:center}.graph-pan-surface{cursor:grab;fill:transparent}.graph-explorer svg:active .graph-pan-surface{cursor:grabbing}.edge-label rect{fill:color-mix(in srgb,var(--surface) 92%,transparent);pointer-events:none;stroke:var(--line);stroke-width:1}.edge-label text{fill:var(--muted);font-size:10px;font-weight:750;text-transform:uppercase}.edge-label{transition:opacity .16s ease}.edge-label.active rect{fill:color-mix(in srgb,var(--rcl-primary) 12%,var(--surface));stroke:var(--rcl-primary)}.edge-label.active text{fill:var(--rcl-primary-strong)}.edge-label.dimmed{opacity:.18}.svg-node{cursor:pointer}.svg-node rect{fill:var(--surface-muted);stroke:var(--line);stroke-width:2;transition:fill .16s ease,stroke .16s ease,stroke-width .16s ease}.svg-node rect.selected,.svg-node:focus rect{fill:color-mix(in srgb,var(--accent) 18%,var(--surface));stroke:var(--accent);stroke-width:3}.svg-node rect.search-match{fill:color-mix(in srgb,var(--rcl-success) 18%,var(--surface));stroke:var(--rcl-success);stroke-width:4}.svg-node rect.hovered{stroke:var(--rcl-primary);stroke-width:4}.svg-node:focus{outline:none}.svg-node:hover rect{stroke:var(--rcl-primary)}@media(max-width:760px){.graph-viewbar{align-items:stretch;flex-direction:column}.graph-search{margin-left:0;width:100%}.graph-search input{flex:1;width:auto}.graph-view-controls{justify-content:flex-start}}.graph-explorer .node-title{font-size:13px;font-weight:850}.graph-explorer .node-meta{fill:var(--muted);font-size:10px;font-weight:800;text-transform:uppercase}.graph-list{border-top:1px solid var(--line);margin-top:18px;padding-top:18px}.selected-card{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--rcl-radius-md);margin-top:16px;padding:14px}.selected-card h3{margin:0 0 4px}.selected-card p{color:var(--rcl-secondary-strong);font-size:.85rem;font-weight:850;margin:0 0 8px;text-transform:uppercase}.selected-card ul{display:grid;gap:8px;margin:0;padding-left:18px}.graph-list li+li{margin-top:12px}.graph-list p{color:var(--muted);margin:4px 0 0}.demo-grid{display:grid;gap:18px;grid-template-columns:minmax(260px,1fr) minmax(220px,.9fr)}.queue-wave-demo svg{width:100%}.graph-basics-figure,.bfs-scenario-figure,.dijkstra-scenario-figure,.pnp-figure,.pnp-demo{display:grid;gap:12px}.graph-basics-figure figcaption,.bfs-scenario-figure figcaption,.dijkstra-scenario-figure figcaption,.pnp-figure figcaption{display:grid;gap:4px;margin:0}.graph-basics-figure figcaption span,.bfs-scenario-figure figcaption span,.dijkstra-scenario-figure figcaption span,.pnp-figure figcaption span{color:var(--muted)}.graph-basics-figure svg,.graph-basics-explorer svg,.bfs-scenario-figure svg,.dijkstra-scenario-figure svg,.dijkstra-trace-demo svg,.pnp-figure svg{display:block;height:auto;width:100%}.graph-basics-figure line,.graph-basics-explorer line,.bfs-scenario-figure line,.dijkstra-scenario-figure line,.dijkstra-trace-demo line,.pnp-figure line{stroke:var(--line);stroke-linecap:round;stroke-width:3}.graph-basics-figure line.highlighted,.graph-basics-figure line.variant,.graph-basics-explorer line.active,.bfs-scenario-figure line.active,.dijkstra-scenario-figure line.active,.dijkstra-trace-demo line.active{stroke:#0f766e;stroke-width:5}.graph-basics-figure marker path,.bfs-scenario-figure marker path,.dijkstra-scenario-figure marker path{fill:#0f766e}.graph-basics-figure circle,.graph-basics-explorer circle,.bfs-scenario-figure circle,.dijkstra-scenario-figure circle,.dijkstra-trace-demo circle{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.graph-basics-figure circle.active,.graph-basics-explorer circle.selected,.bfs-scenario-figure circle.current,.dijkstra-scenario-figure circle.current,.dijkstra-trace-demo circle.current{fill:#99f6e4;stroke:#0f766e;stroke-width:4}.graph-basics-explorer circle.neighbor,.bfs-scenario-figure circle.queued,.queue-wave-demo circle.queued,.dijkstra-scenario-figure circle.tentative,.dijkstra-trace-demo circle.tentative{fill:#fde68a;stroke:#a16207}.bfs-scenario-figure circle.discovered,.queue-wave-demo circle.visited{fill:#bae6fd;stroke:#0369a1}.bfs-scenario-figure circle.expanded,.queue-wave-demo circle.expanded,.dijkstra-scenario-figure circle.settled,.dijkstra-trace-demo circle.settled{fill:#bbf7d0;stroke:#15803d}.graph-basics-figure text,.graph-basics-explorer text,.bfs-scenario-figure text,.dijkstra-scenario-figure text,.dijkstra-trace-demo text,.pnp-figure text{fill:var(--text);font-size:12px;font-weight:800;pointer-events:none}.gb-weight,.dijkstra-scenario-figure .dijkstra-weight,.dijkstra-trace-demo .dijkstra-weight{fill:var(--text)}.graph-basics-figure .gb-weight{fill:#fef3c7;stroke:#a16207}.gb-cards,.gb-choice,.gb-compare,.gb-two-column,.dijkstra-demo-grid,.pnp-card-grid,.pnp-growth-grid{display:grid;gap:12px}.gb-two-column,.dijkstra-demo-grid{grid-template-columns:minmax(260px,1fr) minmax(260px,1fr)}.gb-card,.gb-choice div,.gb-compare div,.pnp-card,.pnp-growth-grid div,.pnp-size-strip div,.pnp-flow div,.pnp-transcript div{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);padding:10px}.pnp-switch{fill:var(--rcl-primary-soft);stroke:var(--rcl-primary);stroke-width:2}.pnp-gate{fill:var(--rcl-secondary-soft);stroke:var(--rcl-secondary);stroke-width:2}.pnp-bit,.pnp-note{fill:var(--muted);font-size:10px}.pnp-figure circle{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.pnp-figure circle.accept,.pnp-card.accept,.pnp-search-grid span.accept{background:var(--rcl-accent-soft);border-color:var(--rcl-accent)}.pnp-figure circle.accept{fill:var(--rcl-accent-soft);stroke:var(--rcl-accent)}.pnp-figure circle.reject,.pnp-card.reject,.pnp-search-grid span.reject{background:#fee2e2;border-color:#ef4444}.pnp-figure circle.reject{fill:#fee2e2;stroke:#ef4444}.pnp-legend,.pnp-tabs,.pnp-demo-header,.pnp-slider{align-items:center;display:flex;flex-wrap:wrap;gap:8px;justify-content:space-between}.pnp-legend span,.pnp-badge,.pnp-search-grid span{background:var(--surface-muted);border:1px solid var(--line);border-radius:999px;display:inline-flex;font-size:.86rem;font-weight:800;padding:4px 10px}.pnp-card-grid,.pnp-growth-grid,.pnp-size-strip{grid-template-columns:repeat(auto-fit,minmax(170px,1fr))}.pnp-card p,.pnp-growth-grid p,.pnp-size-strip p,.pnp-demo-header p{color:var(--muted);margin:4px 0 0}.pnp-card span,.pnp-size-strip span,.pnp-growth-grid span,.pnp-flow span,.pnp-transcript span{color:var(--muted);display:block}.pnp-search-grid{display:grid;gap:8px;grid-template-columns:repeat(4,minmax(0,1fr))}.pnp-search-grid p{color:var(--muted);grid-column:1 / -1;margin:4px 0 0}.pnp-search-grid span.current,.pnp-transcript div.active,.pnp-flow div.active{border-color:var(--rcl-secondary);box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--rcl-secondary) 35%,transparent)}.pnp-slider{justify-content:stretch}.pnp-slider input{flex:1 1 220px}.pnp-tabs{justify-content:flex-start}.pnp-tabs button,.pnp-card.exercise{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);color:var(--text);cursor:pointer;font:inherit;text-align:left}.pnp-tabs button{font-weight:800;padding:8px 12px}.pnp-tabs button.active,.pnp-card.exercise.active{border-color:var(--rcl-primary);box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--rcl-primary) 25%,transparent)}.pnp-mini-table{border-collapse:collapse;width:100%}.pnp-mini-table caption{color:var(--muted);margin-bottom:6px;text-align:left}.pnp-mini-table th,.pnp-mini-table td{border:1px solid var(--line);padding:8px;text-align:left}.pnp-mini-table th{background:var(--surface-muted)}.pnp-set .np{fill:var(--rcl-primary-soft);stroke:var(--rcl-primary);stroke-width:3}.pnp-set .p{fill:var(--rcl-accent-soft);stroke:var(--rcl-accent);stroke-width:3}.gb-card span{border:1px solid var(--line);border-radius:999px;display:inline-block;font-size:.78rem;font-weight:800;margin-top:6px;padding:2px 8px}.gb-card.stale span,.gb-card.missing span{border-color:#b45309;color:#92400e}.gb-card p{margin:6px 0 0}.gb-adjacency{display:grid;gap:6px}.gb-adjacency div,.bfs-state-table div,.dijkstra-state-grid div{align-items:center;background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);display:flex;flex-wrap:wrap;gap:8px;justify-content:space-between;padding:8px 10px}.gb-adjacency div.highlighted,.gb-matrix td.highlighted{border-color:var(--accent);box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--accent) 35%,transparent)}.gb-button-list{display:flex;flex-wrap:wrap;gap:8px}.gb-button-list button{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);color:var(--text);cursor:pointer;font:inherit;min-height:44px;padding:8px 10px}.gb-button-list button.active{background:var(--accent);border-color:var(--accent);color:var(--bg);font-weight:800}.gb-matrix,.bfs-mini-table,.dijkstra-mini-table{border-collapse:collapse;font-size:.9rem;width:100%}.gb-matrix caption,.bfs-mini-table caption,.dijkstra-mini-table caption{color:var(--muted);font-weight:800;margin-bottom:6px;text-align:left}.gb-matrix th,.gb-matrix td,.bfs-mini-table th,.bfs-mini-table td,.dijkstra-mini-table th,.dijkstra-mini-table td{border:1px solid var(--line);padding:7px 8px;text-align:left}.gb-matrix th,.bfs-mini-table th,.dijkstra-mini-table th{background:var(--surface-muted)}.bfs-state-table,.dijkstra-state-grid{display:grid;gap:8px;margin:12px 0}.bfs-note,.dijkstra-note,.dijkstra-weight{fill:var(--muted);font-size:12px;font-weight:800}.queue-wave-demo line{stroke:var(--line);stroke-width:3}.queue-wave-demo circle{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.queue-wave-demo circle.visited{fill:#bae6fd;stroke:#0369a1}.queue-wave-demo circle.queued{fill:#fde68a;stroke:#a16207}.queue-wave-demo circle.current{fill:#99f6e4;stroke:#0f766e;stroke-width:4}.queue-wave-demo text{fill:var(--text);font-weight:800}.graham-demo-grid{display:grid;gap:20px;grid-template-columns:minmax(300px,1.1fr) minmax(260px,.9fr)}.graham-plot-wrap{min-width:0}.graham-scan-demo svg,.graham-scenario-figure svg,.closest-pair-demo svg,.closest-scenario-figure svg,.bentley-demo svg,.bentley-scenario-figure svg{display:block;height:auto;width:100%}.graham-scenario-figure,.closest-scenario-figure,.bentley-scenario-figure{display:grid;gap:12px}.graham-scenario-figure figcaption,.closest-scenario-figure figcaption,.bentley-scenario-figure figcaption{display:grid;gap:4px;margin:0}.graham-scenario-figure figcaption strong,.closest-scenario-figure figcaption strong,.bentley-scenario-figure figcaption strong{font-size:1rem}.graham-scenario-figure figcaption span,.graham-scenario-figure p,.closest-scenario-figure figcaption span,.closest-scenario-figure p,.bentley-scenario-figure figcaption span,.bentley-scenario-figure p{color:var(--muted);margin:0}.graham-scenario-figure .scenario-annotation,.closest-scenario-figure .scenario-annotation,.bentley-scenario-figure .scenario-annotation{color:var(--text);font-weight:800}.closest-demo-grid{display:grid;gap:20px;grid-template-columns:minmax(320px,1.1fr) minmax(280px,.9fr)}.bentley-demo-grid{display:grid;gap:20px;grid-template-columns:minmax(320px,1.1fr) minmax(300px,.9fr)}.bentley-plot-wrap,.closest-plot-wrap{min-width:0}.closest-band{fill:color-mix(in srgb,#facc15 20%,transparent);stroke:color-mix(in srgb,#a16207 45%,transparent);stroke-dasharray:6 6}.closest-split{stroke:#b45309;stroke-dasharray:7 6;stroke-width:3}.closest-axis-label,.pair-label{fill:var(--muted);font-size:11px;font-weight:800}.closest-cell{fill:color-mix(in srgb,#2563eb 8%,transparent);stroke:color-mix(in srgb,#2563eb 45%,transparent);stroke-width:1.5}.closest-cell.neighbor{fill:color-mix(in srgb,#2563eb 11%,transparent)}.closest-cell.active{fill:color-mix(in srgb,#facc15 34%,transparent);stroke:#a16207;stroke-width:3}.closest-radius{fill:color-mix(in srgb,#0f766e 12%,transparent);stroke:#0f766e;stroke-dasharray:6 6;stroke-width:2}.closest-pair{fill:none;stroke:var(--line);stroke-linecap:round;stroke-width:2}.closest-pair.faded{opacity:.32}.closest-pair.candidate{stroke:#64748b}.closest-pair.checked{stroke:#2563eb;stroke-width:3}.closest-pair.active{stroke:#b45309;stroke-width:4}.closest-pair.best{stroke:#0f766e;stroke-width:5}.closest-point{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.closest-point.left-side{fill:#bae6fd;stroke:#0369a1}.closest-point.right-side{fill:#ddd6fe;stroke:#6d28d9}.closest-point.highlighted{fill:#fde68a;stroke:#a16207;stroke-width:4}.closest-pair-demo text,.closest-scenario-figure svg text{fill:var(--text);font-size:11px;font-weight:800;pointer-events:none}.closest-state{align-self:center;min-width:0}.closest-phase-list{grid-template-columns:repeat(3,minmax(0,1fr))}.mode-group{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.mode-group button{background:var(--surface-muted);border:1px solid var(--line);border-radius:999px;color:var(--text);cursor:pointer;font:inherit;font-size:.9rem;font-weight:700;padding:6px 10px}.mode-group button.active{background:var(--accent);border-color:var(--accent);color:var(--bg)}.closest-lines{display:grid;gap:2px;margin-top:10px}.closest-result{color:var(--text);font-weight:800}.closest-mini-table{border-collapse:collapse;font-size:.92rem;overflow-x:auto;width:100%}.closest-mini-table th,.closest-mini-table td{border:1px solid var(--line);padding:8px 10px;text-align:left;vertical-align:top}.closest-mini-table th{background:var(--surface-muted);font-weight:800}.bentley-segment{fill:none;stroke:#64748b;stroke-linecap:round;stroke-width:4}.bentley-segment.active{stroke:#2563eb}.bentley-segment.in-pair{stroke:#f97316;stroke-width:6}.bentley-sweep-line{stroke:#b45309;stroke-dasharray:8 6;stroke-width:3}.bentley-intersection{fill:#dcfce7;stroke:#15803d;stroke-width:3}.future .bentley-intersection{fill:var(--surface);opacity:.55;stroke:#94a3b8;stroke-dasharray:4 4}.bentley-segment-label,.bentley-intersection-label,.bentley-axis-label{fill:var(--text);font-size:12px;font-weight:850;pointer-events:none}.bentley-axis-label{fill:var(--muted)}.bentley-state{align-self:center;min-width:0}.bentley-phase-list{grid-template-columns:repeat(3,minmax(0,1fr));max-height:156px;overflow-y:auto}.bentley-event-table,.bentley-mini-table{border-collapse:collapse;font-size:.92rem;margin-top:14px;width:100%}.bentley-event-table th,.bentley-event-table td,.bentley-mini-table th,.bentley-mini-table td{border:1px solid var(--line);padding:8px 10px;text-align:left;vertical-align:top}.bentley-event-table th,.bentley-mini-table th{background:var(--surface-muted);font-weight:850;width:36%}.bentley-trace-details{display:grid;gap:8px;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));margin:0}.bentley-trace-details div{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--rcl-radius-sm);padding:8px 10px}.bentley-trace-details dt{color:var(--muted);font-size:.78rem;font-weight:850;text-transform:uppercase}.bentley-trace-details dd{margin:2px 0 0}.bentley-ledger{display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(150px,1fr))}.bentley-ledger div,.bentley-proof-frames div{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--rcl-radius-md);padding:14px}.bentley-ledger strong{color:var(--rcl-secondary-strong);display:block;font-size:1.4rem;line-height:1.1}.bentley-proof-frames{display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(150px,1fr))}.bentley-proof-frames span{align-items:center;background:var(--accent);border-radius:999px;color:var(--bg);display:inline-flex;font-weight:850;height:28px;justify-content:center;margin-bottom:8px;width:28px}.scenario-detail{font-size:.92rem}.graham-scan-demo .angle-ray{stroke:var(--line);stroke-dasharray:5 6;stroke-width:2}.graham-scan-demo .hull-fill,.graham-scenario-figure .hull-fill{fill:color-mix(in srgb,var(--accent) 16%,transparent);stroke:none}.graham-scan-demo .stack-path{fill:none;stroke:#0f766e;stroke-linecap:round;stroke-linejoin:round;stroke-width:4}.graham-scan-demo .triple-path,.graham-scenario-figure .triple-path{fill:none;stroke:#2563eb;stroke-dasharray:8 6;stroke-linecap:round;stroke-linejoin:round;stroke-width:3}.graham-scan-demo .triple-path.right,.graham-scenario-figure .triple-path.right{stroke:#b45309}.graham-scan-demo .triple-path.collinear,.graham-scenario-figure .triple-path.collinear{stroke:#7c3aed}.graham-scenario-figure .scenario-edge{fill:none;stroke:var(--line);stroke-linecap:round;stroke-linejoin:round;stroke-width:3}.graham-scenario-figure .scenario-edge.hull{stroke:#0f766e;stroke-width:4}.graham-scenario-figure .scenario-edge.failed{stroke:#b45309;stroke-dasharray:7 6}.graham-scenario-figure .scenario-edge.faint{opacity:.45}.graham-scenario-figure .scenario-ray{stroke:var(--line);stroke-dasharray:5 6;stroke-width:2}.graham-scenario-figure .scenario-ray.baseline{stroke:#0f766e;stroke-width:3}.graham-scenario-figure .scenario-ray.sorted{stroke:#2563eb}.graham-scenario-figure .scenario-ray.active{stroke:#b45309;stroke-width:4}.graham-scenario-figure .scenario-ray.faint{opacity:.45}.graham-scenario-figure .ray-label{fill:var(--muted);font-size:11px;font-weight:800}.graham-scan-demo circle,.graham-scenario-figure circle{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.graham-scan-demo circle.anchor,.graham-scenario-figure circle.anchor{fill:#fecaca;stroke:#b91c1c}.graham-scan-demo circle.in-stack,.graham-scenario-figure circle.highlighted{fill:#99f6e4;stroke:#0f766e}.graham-scan-demo circle.in-triple,.graham-scenario-figure circle.in-triple{stroke:#2563eb;stroke-width:4}.graham-scan-demo circle.active,.graham-scenario-figure circle.active{fill:#fde68a;stroke:#a16207;stroke-width:4}.graham-scan-demo circle.popped,.graham-scenario-figure circle.popped,.graham-scenario-figure circle.violating{fill:#e9d5ff;stroke:#7c3aed;stroke-width:4}.graham-scan-demo text,.graham-scenario-figure text{fill:var(--text);font-size:12px;font-weight:800;pointer-events:none}.graham-state{align-self:center;min-width:0}.phase-list{display:grid;gap:6px;grid-template-columns:repeat(4,minmax(0,1fr));list-style:none;margin:8px 0 16px;padding:0}.phase-list li,.chips span,.graham-line span{background:var(--surface-muted);border:1px solid var(--line);border-radius:999px;display:inline-flex;font-size:.9rem;justify-content:center;line-height:1.25;padding:5px 9px}.phase-list li.current,.chips span.active-chip{background:var(--accent);border-color:var(--accent);color:var(--bg);font-weight:800}.chips span.past-chip{border-color:var(--accent)}.graham-line{align-items:center;display:flex;flex-wrap:wrap;gap:8px;margin:10px 0}.graham-line.orientation.right span{border-color:#b45309}.graham-line.orientation.collinear span,.popped-line span{border-color:#7c3aed}.chip-group{display:grid;gap:6px;margin-top:14px}.chips{display:flex;flex-wrap:wrap;gap:6px}.state-panel{align-self:center}.state-label{color:var(--muted);font-size:.85rem;font-weight:800;margin:0;text-transform:uppercase}.queue{display:flex;flex-wrap:wrap;gap:8px;margin:16px 0}.queue span{background:var(--surface-muted);border:1px solid var(--line);border-radius:999px;padding:2px 10px}.controls{display:flex;gap:10px}.controls button{background:var(--accent);border:0;border-radius:var(--radius);color:var(--bg);cursor:pointer;font:inherit;font-weight:800;padding:9px 14px}.controls button+button{background:var(--surface-muted);border:1px solid var(--line);color:var(--text)}.controls button:disabled{cursor:not-allowed;opacity:.5}.reduction-figure,.reduction-demo{background:var(--surface);border:1px solid var(--line);border-radius:var(--rcl-radius-lg);box-shadow:var(--rcl-shadow-sm);display:grid;gap:12px;margin:24px 0;padding:18px}.reduction-demo{background:linear-gradient(color-mix(in srgb,var(--rcl-surface-lab) 86%,transparent),color-mix(in srgb,var(--surface) 94%,transparent)),linear-gradient(var(--rcl-grid) 1px,transparent 1px),linear-gradient(90deg,var(--rcl-grid) 1px,transparent 1px);background-size:auto,28px 28px,28px 28px}.reduction-figure figcaption{display:grid;gap:4px;margin:0}.reduction-figure figcaption span,.reduction-note{color:var(--muted)}.reduction-pipeline,.reduction-direction,.reduction-quantifier,.reduction-hardness-grid,.reduction-chain,.reduction-badge-row,.reduction-mini-ledger{display:grid;gap:12px}.reduction-pipeline,.reduction-direction,.reduction-quantifier{grid-template-columns:repeat(auto-fit,minmax(170px,1fr))}.reduction-hardness-grid,.reduction-chain{grid-template-columns:repeat(auto-fit,minmax(220px,1fr))}.reduction-badge-row{grid-template-columns:repeat(auto-fit,minmax(180px,max-content))}.reduction-card,.reduction-arrow-card{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);display:grid;gap:6px;min-width:0;padding:10px}.reduction-card code,.reduction-card strong,.reduction-card span,.reduction-arrow-card strong,.reduction-arrow-card span{overflow-wrap:anywhere;white-space:normal}.reduction-card span,.reduction-arrow-card span,.reduction-card p{color:var(--muted);margin:0}.reduction-arrow-card{border-color:var(--rcl-secondary);background:var(--rcl-secondary-soft)}.reduction-card.active,.reduction-arrow-card.active{border-color:var(--rcl-secondary);box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--rcl-secondary) 35%,transparent)}.reduction-card.solved,.reduction-arrow-card.solved,.reduction-feedback.valid,.reduction-status.yes{background:var(--rcl-accent-soft);border-color:var(--rcl-accent)}.reduction-card.invalid,.reduction-feedback.invalid,.reduction-status.no{background:#fee2e2;border-color:#ef4444}.reduction-card.faded{opacity:.72}.reduction-feedback{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);margin:0;padding:10px}.reduction-status{border:1px solid var(--line);border-radius:999px;display:inline-flex;font-size:.86rem;font-weight:800;padding:2px 8px}.reduction-mini-ledger{font-size:.9rem}.pnp-tabs button:disabled{cursor:not-allowed;opacity:.55}.circuit-sat-figure,.circuit-sat-demo{background:var(--surface);border:1px solid var(--line);border-radius:var(--rcl-radius-lg);box-shadow:var(--rcl-shadow-sm);display:grid;gap:14px;margin:24px 0;padding:18px}.circuit-sat-demo{background:linear-gradient(color-mix(in srgb,var(--rcl-surface-lab) 86%,transparent),color-mix(in srgb,var(--surface) 94%,transparent)),linear-gradient(var(--rcl-grid) 1px,transparent 1px),linear-gradient(90deg,var(--rcl-grid) 1px,transparent 1px);background-size:auto,28px 28px,28px 28px}.circuit-sat-figure figcaption,.circuit-sat-demo figcaption{display:grid;gap:4px;margin:0}.circuit-sat-figure figcaption span,.circuit-sat-demo figcaption span{color:var(--muted)}.circuit-sat-figure svg,.circuit-sat-demo svg{display:block;height:auto;width:100%}.circuit-sat-wire,.circuit-sat-output-wire{stroke:var(--line);stroke-linecap:round;stroke-width:3}.circuit-sat-output-wire{stroke-dasharray:5 5}.circuit-sat-figure marker path,.circuit-sat-demo marker path{fill:var(--line)}.circuit-sat-switch{fill:var(--rcl-primary-soft);stroke:var(--rcl-primary);stroke-width:2}.circuit-sat-gate{fill:var(--rcl-secondary-soft);stroke:var(--rcl-secondary);stroke-width:2}.circuit-sat-switch.current,.circuit-sat-gate.current{stroke:var(--rcl-accent);stroke-width:4}.circuit-sat-figure text,.circuit-sat-demo text{fill:var(--text);font-size:12px;font-weight:850;pointer-events:none}.circuit-sat-bit{fill:var(--muted);font-size:10px}.circuit-sat-figure circle,.circuit-sat-demo circle{fill:var(--surface-muted);stroke:var(--line);stroke-width:2}.circuit-sat-figure circle.accept,.circuit-sat-demo circle.accept,.circuit-sat-result-card.accept,.circuit-sat-row-grid .accept,.pnp-badge.accept{background:var(--rcl-accent-soft);border-color:var(--rcl-accent)}.circuit-sat-figure circle.accept,.circuit-sat-demo circle.accept{fill:var(--rcl-accent-soft);stroke:var(--rcl-accent)}.circuit-sat-figure circle.reject,.circuit-sat-demo circle.reject,.circuit-sat-result-card.reject,.circuit-sat-row-grid .reject,.pnp-badge.reject,.pnp-badge.malformed{background:#fee2e2;border-color:#ef4444}.circuit-sat-figure circle.reject,.circuit-sat-demo circle.reject{fill:#fee2e2;stroke:#ef4444}.circuit-sat-legend,.circuit-sat-control-row,.circuit-sat-slider{align-items:center;display:flex;flex-wrap:wrap;gap:8px}.circuit-sat-legend span,.circuit-sat-row-grid span,.circuit-sat-store span{background:var(--surface-muted);border:1px solid var(--line);border-radius:999px;display:inline-flex;font-size:.86rem;font-weight:800;padding:4px 10px}.circuit-sat-two-column,.circuit-sat-bridge{display:grid;gap:14px;grid-template-columns:minmax(260px,1fr) minmax(240px,.85fr)}.circuit-sat-bridge{grid-template-columns:minmax(260px,1fr) auto minmax(220px,.8fr)}.circuit-sat-row-grid{display:grid;gap:8px;grid-template-columns:repeat(auto-fit,minmax(108px,1fr))}.circuit-sat-row-grid.compact{grid-template-columns:repeat(auto-fit,minmax(66px,1fr))}.circuit-sat-row-grid button,.circuit-sat-control-row button,.circuit-sat-card-button{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);color:var(--text);cursor:pointer;font:inherit}.circuit-sat-row-grid button{display:grid;gap:2px;min-height:58px;padding:8px 10px;text-align:left}.circuit-sat-row-grid button span{background:transparent;border:0;color:var(--muted);font-size:.78rem;padding:0}.circuit-sat-row-grid button.active,.circuit-sat-row-grid span.active,.circuit-sat-control-row button:hover,.circuit-sat-control-row button:focus-visible{border-color:var(--rcl-secondary);box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--rcl-secondary) 30%,transparent)}.circuit-sat-control-row button{font-weight:800;min-height:38px;padding:7px 12px}.circuit-sat-control-row button:disabled{cursor:not-allowed;opacity:.55}.circuit-sat-control-row output{color:var(--muted);font-variant-numeric:tabular-nums;font-weight:800}.circuit-sat-result-card,.circuit-sat-store,.circuit-sat-arrow-card,.circuit-sat-graph-strip div,.circuit-sat-rail div{background:var(--surface-muted);border:1px solid var(--line);border-radius:var(--radius);padding:12px}.circuit-sat-result-card p,.circuit-sat-result-card span,.circuit-sat-store p,.circuit-sat-graph-strip p,.circuit-sat-rail span{color:var(--muted);margin:4px 0 0}.circuit-sat-store div{display:flex;flex-wrap:wrap;gap:6px;margin-top:8px}.circuit-sat-slider input{flex:1 1 220px}.circuit-sat-arrow-card{align-items:center;display:grid;font-size:1.6rem;font-weight:900;justify-content:center}.circuit-sat-graph-strip,.circuit-sat-rail{display:grid;gap:10px;grid-template-columns:repeat(auto-fit,minmax(150px,1fr))}.circuit-sat-graph-strip .future{border-style:dashed;opacity:.62}.circuit-sat-card-button{display:block;padding:0;text-align:left;width:100%}.pnp-mini-table tr.active th,.pnp-mini-table tr.active td{background:color-mix(in srgb,var(--rcl-secondary-soft) 65%,var(--surface))}@media(max-width:760px){.graph-viewbar{align-items:stretch;flex-direction:column}.graph-view-controls{justify-content:flex-start}.demo-grid,.gb-two-column,.dijkstra-demo-grid,.graham-demo-grid,.closest-demo-grid,.bentley-demo-grid,.reduction-pipeline,.reduction-direction,.reduction-quantifier,.reduction-hardness-grid,.reduction-chain,.reduction-badge-row,.circuit-sat-two-column,.circuit-sat-bridge{grid-template-columns:1fr}.circuit-sat-arrow-card{min-height:42px}.phase-list,.closest-phase-list{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.001ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.001ms!important}}