:root{--color-bg:#fafaf8;--color-bg-alt:#f0efe8;--color-text:#1a1a2e;--color-text-muted:#5a5a6e;--color-text-light:#8a8a9e;--color-prime:#d4880f;--color-prime-bg:#fef3c7;--color-accent:#2563eb;--color-accent-light:#dbeafe;--color-border:#d4d4d8;--color-border-light:#e8e8ec;--color-char-0:#6366f1;--color-char-1:#ec4899;--color-char-2:#14b8a6;--color-char-3:#f59e0b;--color-char-4:#8b5cf6;--color-char-5:#ef4444;--font-serif:"Crimson Pro", Georgia, "Times New Roman", serif;--font-mono:"JetBrains Mono", "Consolas", monospace;--content-width:740px;--viz-width:960px;--sidebar-width:220px;--ease-out:cubic-bezier(.16, 1, .3, 1)}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;font-size:18px}body{font-family:var(--font-serif);color:var(--color-text);background:var(--color-bg);-webkit-font-smoothing:antialiased;line-height:1.7}h1,h2,h3,h4{font-weight:600;line-height:1.3}h1{margin-bottom:.5em;font-size:2.4rem}h2{margin-top:1em;margin-bottom:.5em;font-size:1.8rem}h3{margin-top:1em;margin-bottom:.4em;font-size:1.3rem}p{margin-bottom:1em}strong{font-weight:600}a{color:var(--color-accent);text-decoration:none}a:hover{text-decoration:underline}.math-display{text-align:center;margin:1.5em 0;overflow-x:auto}.math-inline{display:inline}.viz-container{width:100%;max-width:var(--viz-width);border:1px solid var(--color-border-light);background:#fff;border-radius:12px;margin:2em auto;padding:1.5em;box-shadow:0 1px 3px #0000000a}.viz-container h4{text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin-bottom:1em;font-size:.9rem}svg text{font-family:var(--font-serif)}svg .label{fill:var(--color-text-muted);font-size:12px}svg .prime-dot{fill:var(--color-prime)}svg .axis{stroke:var(--color-border);stroke-width:1px}.number{font-family:var(--font-mono);font-size:.9em}.prime-number{color:var(--color-prime);font-weight:600}.callout{background:var(--color-accent-light);border-left:4px solid var(--color-accent);border-radius:0 8px 8px 0;margin:1.5em 0;padding:1em 1.2em}.callout.insight{background:var(--color-prime-bg);border-left-color:var(--color-prime)}.callout p:last-child{margin-bottom:0}input[type=range]{-webkit-appearance:none;background:var(--color-border);border-radius:3px;outline:none;width:100%;height:6px;margin:.5em 0}input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;background:var(--color-accent);cursor:pointer;border-radius:50%;width:20px;height:20px;box-shadow:0 1px 3px #0003}input[type=range]::-moz-range-thumb{background:var(--color-accent);cursor:pointer;border:none;border-radius:50%;width:20px;height:20px;box-shadow:0 1px 3px #0003}.slider-row{align-items:center;gap:1em;margin:.5em 0;display:flex}.slider-row label{font-family:var(--font-mono);white-space:nowrap;min-width:80px;font-size:.85rem}.slider-row input[type=range]{flex:1}.slider-row .value{font-family:var(--font-mono);text-align:right;min-width:40px;color:var(--color-accent);font-size:.85rem;font-weight:500}.katex{font-size:1.1em}.math-display .katex{font-size:1.25em}@media (width<=900px){html{font-size:16px}:root{--sidebar-width:0px}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/dirichlet-explorer/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/dirichlet-explorer/assets/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(/dirichlet-explorer/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/dirichlet-explorer/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/dirichlet-explorer/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/dirichlet-explorer/assets/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(/dirichlet-explorer/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/dirichlet-explorer/assets/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(/dirichlet-explorer/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/dirichlet-explorer/assets/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(/dirichlet-explorer/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/dirichlet-explorer/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/dirichlet-explorer/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/dirichlet-explorer/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.43"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.toc.svelte-12q0ml2{width:var(--sidebar-width);background:var(--color-bg);border-right:1px solid var(--color-border-light);z-index:100;height:100vh;transition:transform .3s var(--ease-out);padding:2em .8em 2em 1em;position:fixed;top:0;left:0;overflow-y:auto}.toc-header.svelte-12q0ml2{text-transform:uppercase;letter-spacing:.1em;color:var(--color-text-light);margin-bottom:1em;padding-left:.5em;font-size:.75rem}ul.svelte-12q0ml2{list-style:none}li.svelte-12q0ml2{margin-bottom:.15em}li.svelte-12q0ml2 button:where(.svelte-12q0ml2){cursor:pointer;text-align:left;width:100%;font-family:var(--font-serif);color:var(--color-text-muted);background:0 0;border:none;border-radius:6px;align-items:baseline;gap:.4em;padding:.35em .5em;font-size:.82rem;line-height:1.3;transition:all .15s;display:flex}li.svelte-12q0ml2 button:where(.svelte-12q0ml2):hover{background:var(--color-bg-alt);color:var(--color-text)}li.active.svelte-12q0ml2 button:where(.svelte-12q0ml2){background:var(--color-accent-light);color:var(--color-accent);font-weight:500}.toc-number.svelte-12q0ml2{font-family:var(--font-mono);opacity:.6;flex-shrink:0;font-size:.7rem}.toc-toggle.svelte-12q0ml2{z-index:200;background:var(--color-bg);border:1px solid var(--color-border);cursor:pointer;color:var(--color-text);border-radius:8px;padding:.4em;display:none;position:fixed;top:1em;left:1em;box-shadow:0 1px 4px #0000001a}@media (width<=900px){.toc.svelte-12q0ml2{width:260px;transform:translate(-100%);box-shadow:4px 0 20px #0000001a}.toc.open.svelte-12q0ml2{transform:translate(0)}.toc-toggle.svelte-12q0ml2{display:block}}.number-line-wrapper.svelte-1512noz{width:100%;overflow-x:auto}svg.svelte-1512noz{width:100%;height:auto}circle.svelte-1512noz{transition:all .3s}.hero.svelte-1a9m4r8{max-width:var(--content-width);text-align:center;margin:0 auto;padding:4em 1.5em 3em}.hero.svelte-1a9m4r8 h1:where(.svelte-1a9m4r8){background:linear-gradient(135deg, var(--color-prime) 0%, #c2410c 100%);-webkit-text-fill-color:transparent;-webkit-background-clip:text;background-clip:text;font-size:2.8rem}.hero-subtitle.svelte-1a9m4r8{color:var(--color-text-muted);margin-bottom:2em;font-size:1.2rem;font-style:italic}.hero-question.svelte-1a9m4r8{text-align:left;max-width:600px;margin:0 auto 2em;font-size:1.1rem}.viz-container.svelte-1a9m4r8{text-align:left}.a-picker.svelte-1a9m4r8{align-items:center;gap:.8em;margin:.5em 0;display:flex}.a-picker.svelte-1a9m4r8 label:where(.svelte-1a9m4r8){font-family:var(--font-mono);white-space:nowrap;min-width:80px;font-size:.85rem}.a-buttons.svelte-1a9m4r8{flex-wrap:wrap;gap:.3em;display:flex}.a-buttons.svelte-1a9m4r8 button:where(.svelte-1a9m4r8){font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;background:#fff;border-radius:8px;width:36px;height:36px;font-size:.85rem;transition:all .15s}.a-buttons.svelte-1a9m4r8 button.coprime:where(.svelte-1a9m4r8){border-color:var(--color-accent);color:var(--color-accent)}.a-buttons.svelte-1a9m4r8 button.not-coprime:where(.svelte-1a9m4r8){color:#c0392b;opacity:.7;border-color:#e5867a}.a-buttons.svelte-1a9m4r8 button:where(.svelte-1a9m4r8):hover{opacity:1}.a-buttons.svelte-1a9m4r8 button.active.coprime:where(.svelte-1a9m4r8){background:var(--color-accent);color:#fff;opacity:1;font-weight:600}.a-buttons.svelte-1a9m4r8 button.active.not-coprime:where(.svelte-1a9m4r8){color:#fff;opacity:1;background:#e74c3c;border-color:#e74c3c;font-weight:600}.coprime-status.svelte-1a9m4r8{font-family:var(--font-mono);border-radius:6px;margin:.5em 0;padding:.4em .8em;font-size:.82rem}.coprime-status.is-coprime.svelte-1a9m4r8{background:var(--color-accent-light);color:var(--color-accent)}.coprime-status.not-coprime.svelte-1a9m4r8{color:#c0392b;background:#fde8e8}.progression-label.svelte-1a9m4r8{color:var(--color-text-muted);margin-top:1em;font-size:.95rem}.prime-result.svelte-1a9m4r8{text-align:center;margin-top:.5em}.prime-count.svelte-1a9m4r8{margin:0;font-size:1rem}.failure-text.svelte-1a9m4r8{color:#c0392b}.hero-bridge.svelte-1a9m4r8{text-align:left;max-width:600px;margin:2em auto 0;font-size:1.05rem}.coprime-tag-inline.svelte-1a9m4r8{color:var(--color-accent);font-weight:600}.not-coprime-tag-inline.svelte-1a9m4r8{color:#c0392b;font-weight:600}.section.svelte-n4dpa2{max-width:var(--content-width);border-bottom:1px solid var(--color-border-light);margin:0 auto;padding:3em 1.5em}.section.svelte-n4dpa2:last-child{border-bottom:none}.section-title.svelte-n4dpa2{color:var(--color-text)}.section-subtitle.svelte-n4dpa2{color:var(--color-text-muted);margin-bottom:1.5em;font-size:1.1rem;font-style:italic}.section-content.svelte-n4dpa2{width:100%}.callout.svelte-w6hdn7{background:var(--color-accent-light);border-left:4px solid var(--color-accent);border-radius:0 8px 8px 0;margin:1.5em 0;padding:1em 1.2em}.callout.insight.svelte-w6hdn7{background:var(--color-prime-bg);border-left-color:var(--color-prime)}.callout.question.svelte-w6hdn7{background:#f0fdf4;border-left-color:#22c55e}.callout.svelte-w6hdn7 p:last-child{margin-bottom:0}.tree-wrapper.svelte-1by567v{flex-direction:column;align-items:center;display:flex;overflow-x:auto}.tree-controls.svelte-1by567v{gap:.5em;margin-bottom:.5em;display:flex}.auto-btn.svelte-1by567v{font-family:var(--font-serif);border:1px solid var(--color-border);cursor:pointer;color:var(--color-text-muted);background:#fff;border-radius:6px;padding:.3em .8em;font-size:.8rem;transition:all .15s}.auto-btn.svelte-1by567v:hover{border-color:var(--color-accent);color:var(--color-accent)}.reset-btn.svelte-1by567v:hover{border-color:var(--color-prime);color:var(--color-prime)}svg.svelte-1by567v{max-width:100%;height:auto}circle.svelte-1by567v{transition:fill .2s,stroke .2s}.factorization.svelte-1by567v{font-family:var(--font-mono);color:var(--color-prime);background:var(--color-prime-bg);border-radius:8px;margin-top:.5em;padding:.4em 1em;font-size:.95rem;font-weight:600}.density-plot.svelte-1rutyyw{width:100%}.plot-svg.svelte-1rutyyw{cursor:crosshair;width:100%;height:auto}.legend-row.svelte-1rutyyw{color:var(--color-text-muted);flex-wrap:wrap;justify-content:center;gap:1.5em;margin-top:.3em;font-size:.78rem;display:flex}.legend-item.svelte-1rutyyw{align-items:center;gap:.4em;display:flex}.legend-swatch.svelte-1rutyyw{border-radius:1.5px;width:20px;height:3px}.legend-swatch.actual.svelte-1rutyyw{background:var(--color-prime)}.legend-swatch.approx.svelte-1rutyyw{background:var(--color-accent);background:repeating-linear-gradient(90deg, var(--color-accent) 0 6px, transparent 6px 9px)}.hover-readout.svelte-1rutyyw{text-align:center;min-height:1.4em;margin-top:.4em;font-size:.85rem}.hover-readout.muted.svelte-1rutyyw{color:var(--color-text-light);font-style:italic}.number-input.svelte-15xfehd{font-family:var(--font-mono);border:1px solid var(--color-border);text-align:center;border-radius:6px;width:80px;padding:.3em .5em;font-size:.9rem}.add-prime-btn.svelte-15xfehd{font-family:var(--font-serif);background:var(--color-accent);color:#fff;cursor:pointer;border:none;border-radius:8px;margin-top:.5em;padding:.5em 1.2em;font-size:.95rem;transition:background .15s}.add-prime-btn.svelte-15xfehd:hover{background:#1d4ed8}.big-number-line.svelte-15xfehd{overflow-wrap:anywhere;word-break:break-all;line-height:1.4}.big-num.svelte-15xfehd{font-size:.8em;font-family:var(--font-mono)}.big-prime-note.svelte-15xfehd{color:var(--color-text-light);font-size:.8rem;font-style:italic}.huge-note.svelte-15xfehd{color:var(--color-accent);text-align:center;margin-top:.5em;font-size:.85rem;font-style:italic}.easter-egg.svelte-15xfehd{color:var(--color-prime);text-align:center;margin-top:.5em;font-size:.9rem;font-style:italic;font-weight:500}.euclid-box.svelte-15xfehd{transition:transform .1s}.euclid-box.shaking.svelte-15xfehd{animation:.5s ease-in-out svelte-15xfehd-shake}@keyframes svelte-15xfehd-shake{0%,to{transform:translate(0)}10%{transform:translate(-6px)rotate(-1deg)}20%{transform:translate(5px)rotate(1deg)}30%{transform:translate(-4px)rotate(-.5deg)}40%{transform:translate(4px)rotate(.5deg)}50%{transform:translate(-3px)}60%{transform:translate(2px)}70%{transform:translate(-1px)}}.grid-wrapper.svelte-1ap97mp{justify-content:center;display:flex;overflow-x:auto}svg.svelte-1ap97mp{max-width:100%}rect.svelte-1ap97mp{transition:fill .2s,stroke .2s}text.svelte-1ap97mp{-webkit-user-select:none;user-select:none;transition:fill .2s}.residue-picker.svelte-tbe04a{flex-wrap:wrap;align-items:center;gap:.8em;margin:.5em 0;display:flex}.residue-picker.svelte-tbe04a label:where(.svelte-tbe04a){font-family:var(--font-mono);white-space:nowrap;font-size:.85rem}.residue-buttons.svelte-tbe04a{flex-wrap:wrap;gap:.25em;display:flex}.residue-buttons.svelte-tbe04a button:where(.svelte-tbe04a){font-family:var(--font-mono);border:1px solid var(--color-border);cursor:pointer;background:#fff;border-radius:6px;width:32px;height:32px;font-size:.8rem;transition:all .15s}.residue-buttons.svelte-tbe04a button.coprime:where(.svelte-tbe04a){border-color:var(--color-accent);color:var(--color-accent)}.residue-buttons.svelte-tbe04a button.not-coprime:where(.svelte-tbe04a){color:var(--color-text-light);opacity:.6}.residue-buttons.svelte-tbe04a button.active:where(.svelte-tbe04a){background:var(--color-accent);color:#fff;border-color:var(--color-accent);font-weight:600}.column-info.svelte-tbe04a{background:var(--color-bg-alt);border-radius:6px;margin-top:.5em;padding:.5em;font-size:.9rem}.column-info.svelte-tbe04a p:where(.svelte-tbe04a){margin:0}.totient-viz.svelte-tbe04a{border:1px solid var(--color-border-light);background:#fff;border-radius:10px;margin:1em 0;padding:1em}.totient-row.svelte-tbe04a{flex-wrap:wrap;justify-content:center;gap:.35em;margin-bottom:.6em;display:flex}.totient-cell.svelte-tbe04a{border-radius:8px;flex-direction:column;justify-content:center;align-items:center;width:42px;height:48px;transition:all .2s;display:flex}.totient-cell.coprime.svelte-tbe04a{background:var(--color-accent-light);border:2px solid var(--color-accent)}.totient-cell.not-coprime.svelte-tbe04a{background:var(--color-bg-alt);border:1.5px solid var(--color-border-light);opacity:.5}.totient-n.svelte-tbe04a{font-family:var(--font-mono);font-size:.9rem;font-weight:600}.totient-cell.coprime.svelte-tbe04a .totient-n:where(.svelte-tbe04a){color:var(--color-accent)}.totient-cell.not-coprime.svelte-tbe04a .totient-n:where(.svelte-tbe04a){color:var(--color-text-light)}.totient-factor.svelte-tbe04a{font-family:var(--font-mono);color:var(--color-text-light);font-size:.5rem}.totient-summary.svelte-tbe04a{text-align:center;margin:0;font-size:.9rem}.clock-wrapper.svelte-1l2k230{justify-content:center;display:flex}circle.svelte-1l2k230,line.svelte-1l2k230{transition:all .4s cubic-bezier(.16,1,.3,1)}text.svelte-1l2k230{-webkit-user-select:none;user-select:none;transition:fill .2s}.mod-result.svelte-yyx05z{font-family:var(--font-mono);text-align:center;color:var(--color-text-muted);margin:.3em 0 .8em;font-size:.95rem}.mod-result.svelte-yyx05z strong:where(.svelte-yyx05z){color:var(--color-accent);font-size:1.1rem}.coprime-info.svelte-yyx05z{background:var(--color-bg-alt);border-radius:6px;margin-top:1em;padding:.8em;font-size:.9rem}.coprime-info.svelte-yyx05z p:where(.svelte-yyx05z){margin-bottom:.3em}.table-toggle.svelte-yyx05z{gap:.4em;margin-bottom:.8em;display:flex}.table-toggle.svelte-yyx05z button:where(.svelte-yyx05z){font-family:var(--font-serif);border:1.5px solid var(--color-border);cursor:pointer;color:var(--color-text-muted);background:#fff;border-radius:6px;padding:.35em .9em;font-size:.8rem;transition:all .15s}.table-toggle.svelte-yyx05z button:where(.svelte-yyx05z):hover{border-color:var(--color-accent);color:var(--color-accent)}.table-toggle.svelte-yyx05z button.active:where(.svelte-yyx05z){background:var(--color-accent);border-color:var(--color-accent);color:#fff;font-weight:600}.mul-table-scroll.svelte-yyx05z{margin-bottom:.5em;overflow-x:auto}.mul-table.svelte-yyx05z{border-collapse:collapse;font-family:var(--font-mono);-webkit-user-select:none;user-select:none;margin:0 auto;font-size:.8rem}.mul-table.svelte-yyx05z th:where(.svelte-yyx05z),.mul-table.svelte-yyx05z td:where(.svelte-yyx05z){text-align:center;border:1px solid var(--color-border-light);width:32px;height:28px;padding:0;transition:background .1s}.mul-table.svelte-yyx05z th:where(.svelte-yyx05z){background:var(--color-bg-alt);color:var(--color-text-muted);font-size:.75rem;font-weight:600}.mul-table.svelte-yyx05z th.coprime-header:where(.svelte-yyx05z){color:var(--color-accent)}.mul-table.svelte-yyx05z th.hover-row:where(.svelte-yyx05z),.mul-table.svelte-yyx05z th.hover-col:where(.svelte-yyx05z){background:var(--color-accent-light);color:var(--color-accent)}.mul-table.svelte-yyx05z .corner:where(.svelte-yyx05z){color:var(--color-text-light);font-size:.9rem}.mul-table.svelte-yyx05z td:where(.svelte-yyx05z){cursor:default;font-weight:500}.table-readout.svelte-yyx05z{text-align:center;font-family:var(--font-mono);min-height:1.3em;margin:.3em 0;font-size:.85rem}.table-readout.muted.svelte-yyx05z{color:var(--color-text-light);font-style:italic;font-family:var(--font-serif)}.inverse-note.svelte-yyx05z{color:var(--color-prime);font-weight:600}.closure-note.svelte-yyx05z{color:var(--color-accent);margin-left:.3em;font-size:.78rem}.group-note.svelte-yyx05z{color:var(--color-text-muted);text-align:center;margin-top:.3em;font-size:.85rem}.char-table-wrapper.svelte-ryudil{overflow-x:auto}.char-table.svelte-ryudil{border-collapse:collapse;font-family:var(--font-mono);margin:0 auto;font-size:.8rem}th.svelte-ryudil,td.svelte-ryudil{text-align:center;border:1px solid var(--color-border-light);cursor:pointer;padding:.4em .6em;transition:background .15s}th.svelte-ryudil{background:var(--color-bg-alt);font-size:.85rem;font-weight:500}th.highlighted.svelte-ryudil{background:var(--color-accent-light);color:var(--color-accent)}tr.highlighted.svelte-ryudil td:where(.svelte-ryudil){background:#6366f10f}.cell-highlighted.svelte-ryudil{background:#6366f114}.char-label.svelte-ryudil{white-space:nowrap;font-weight:600}.cell-content.svelte-ryudil{flex-direction:column;align-items:center;gap:2px;display:flex}.val-text.svelte-ryudil{color:var(--color-text-muted);font-size:.7rem}.phasor-viz.svelte-1ef113v{width:100%}.phasor-section.svelte-1ef113v{margin-bottom:2em}.phasor-header.svelte-1ef113v h4:where(.svelte-1ef113v){text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin-bottom:.5em;font-size:.9rem}.play-controls.svelte-1ef113v{align-items:center;gap:.6em;margin-bottom:.5em;display:flex}.play-btn.svelte-1ef113v{font-family:var(--font-serif);border:1px solid var(--color-border);cursor:pointer;white-space:nowrap;background:#fff;border-radius:6px;padding:.3em 1em;font-size:.85rem;transition:all .15s}.play-btn.svelte-1ef113v:hover{border-color:var(--color-accent);color:var(--color-accent)}.n-slider.svelte-1ef113v{flex:1;max-width:300px}.n-label.svelte-1ef113v{font-family:var(--font-mono);color:var(--color-accent);text-align:right;min-width:40px;font-size:.85rem;font-weight:600}.phasor-wheels.svelte-1ef113v{flex-wrap:wrap;justify-content:center;gap:.3em;display:flex}.phasor-wheel.svelte-1ef113v{text-align:center}.phasor-label.svelte-1ef113v{font-family:var(--font-mono);margin-top:-.3em;font-size:.8rem;font-weight:600}.waveform-section.svelte-1ef113v h4:where(.svelte-1ef113v){text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin-bottom:.3em;font-size:.9rem}.wave-note.svelte-1ef113v{color:var(--color-text-muted);margin-bottom:.8em;font-size:.85rem}.prime-note.svelte-1ef113v{color:var(--color-prime);font-weight:500}.strip-row.svelte-1ef113v{margin-bottom:-.2em}.strip-svg.svelte-1ef113v{width:100%;height:auto}.wave-legend.svelte-1ef113v{color:var(--color-text-muted);flex-wrap:wrap;justify-content:center;gap:1.2em;margin-top:.5em;font-size:.75rem;display:flex}.legend-item.svelte-1ef113v{align-items:center;gap:.3em;display:flex}.legend-line.svelte-1ef113v{border-radius:1px;width:18px;height:2px}.legend-line.solid.svelte-1ef113v{background:var(--color-char-0);opacity:.4}.legend-line.dashed.svelte-1ef113v{background:repeating-linear-gradient(90deg, var(--color-char-0) 0 3px, transparent 3px 5px);opacity:.3}.legend-arrow.svelte-1ef113v{background:var(--color-char-0);border-radius:1px;width:14px;height:2px;position:relative}.legend-arrow.svelte-1ef113v:after{content:"";background:var(--color-char-0);border-radius:50%;width:6px;height:6px;position:absolute;top:-2px;right:-2px}.legend-dot.svelte-1ef113v{border-radius:50%;width:7px;height:7px}.legend-dot.prime.svelte-1ef113v{background:var(--color-prime)}.complex-mul.svelte-1orcuci{width:100%}.complex-svg.svelte-1orcuci{touch-action:none;width:100%;max-width:620px;height:auto;margin:0 auto;display:block}.conj-row.svelte-1orcuci{flex-wrap:wrap;justify-content:center;gap:1.5em;margin-top:.3em;display:flex}.conj-toggle.svelte-1orcuci{font-size:.78rem;font-family:var(--font-mono);color:var(--color-text-muted);cursor:pointer;align-items:center;gap:.3em;display:flex}.conj-toggle.svelte-1orcuci input:where(.svelte-1orcuci){cursor:pointer}.ortho-grid.svelte-153bwhw{flex-wrap:wrap;justify-content:center;gap:.8em;display:flex}.ortho-cell.svelte-153bwhw{text-align:center;border:1px solid var(--color-border-light);background:#fff;border-radius:8px;padding:.5em;transition:all .2s}.ortho-cell.is-target.svelte-153bwhw{border-color:var(--color-prime);background:var(--color-prime-bg)}.cell-label.svelte-153bwhw{font-family:var(--font-mono);color:var(--color-text-muted);margin-bottom:.3em;font-size:.8rem}.cell-result.svelte-153bwhw{font-family:var(--font-mono);color:var(--color-text-light);margin-top:.3em;font-size:.85rem}.cell-result.nonzero.svelte-153bwhw{color:var(--color-prime);font-weight:700}.ortho-anim.svelte-11xyy2i{width:100%}.char-picker.svelte-11xyy2i{margin-bottom:1.2em}.picker-row.svelte-11xyy2i{flex-wrap:wrap;align-items:center;gap:.3em;margin-bottom:.4em;display:flex}.picker-label.svelte-11xyy2i{font-family:var(--font-mono);color:var(--color-text-muted);min-width:32px;font-size:.85rem}.char-btn.svelte-11xyy2i{font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;color:var(--btn-color);background:#fff;border-radius:6px;padding:.25em .5em;font-size:.78rem;transition:all .15s}.char-btn.svelte-11xyy2i:hover{border-color:var(--btn-color)}.char-btn.active.svelte-11xyy2i{background:var(--btn-color);border-color:var(--btn-color);color:#fff;font-weight:600}.picker-summary.svelte-11xyy2i{color:var(--color-text-muted);font-size:.82rem;font-family:var(--font-mono);margin-top:.2em}.expect-tag.svelte-11xyy2i{border-radius:4px;margin-left:.3em;padding:.1em .5em;font-size:.72rem;font-weight:600}.expect-tag.match.svelte-11xyy2i{background:var(--color-prime-bg);color:var(--color-prime)}.expect-tag.ortho.svelte-11xyy2i{background:var(--color-accent-light);color:var(--color-accent)}.anim-body.svelte-11xyy2i{flex-wrap:wrap;align-items:flex-start;gap:1.2em;display:flex}.plane-panel.svelte-11xyy2i{flex-shrink:0}.plane-panel.svelte-11xyy2i svg:where(.svelte-11xyy2i){border:1px solid var(--color-border-light);background:#fff;border-radius:10px}.controls.svelte-11xyy2i{align-items:center;gap:.4em;margin-top:.5em;display:flex}.ctrl-btn.svelte-11xyy2i{border:1px solid var(--color-border);cursor:pointer;background:#fff;border-radius:6px;justify-content:center;align-items:center;width:32px;height:32px;font-size:.9rem;transition:all .15s;display:flex}.ctrl-btn.svelte-11xyy2i:hover{border-color:var(--color-accent);color:var(--color-accent)}.step-slider.svelte-11xyy2i{flex:1;max-width:120px}.step-label.svelte-11xyy2i{font-family:var(--font-mono);color:var(--color-text-muted);text-align:right;min-width:36px;font-size:.8rem}.terms-panel.svelte-11xyy2i{flex:1;min-width:260px;max-width:380px}.terms-header.svelte-11xyy2i{font-family:var(--font-mono);color:var(--color-text-light);text-transform:uppercase;letter-spacing:.04em;border-bottom:1px solid var(--color-border-light);gap:0;margin-bottom:.2em;padding-bottom:.3em;font-size:.68rem;display:flex}.th-r.svelte-11xyy2i{text-align:center;width:28px}.th-val.svelte-11xyy2i{text-align:center;width:58px}.th-product.svelte-11xyy2i{text-align:center;width:100px}.th-sum.svelte-11xyy2i{text-align:right;flex:1}.terms-list.svelte-11xyy2i{max-height:280px;overflow-y:auto}.term-row.svelte-11xyy2i{font-family:var(--font-mono);color:var(--color-text-light);border-left:3px solid #0000;border-radius:4px;align-items:center;gap:0;padding:.15em 0;font-size:.72rem;transition:all .2s;display:flex}.term-row.active.svelte-11xyy2i{color:var(--color-text)}.term-row.current.svelte-11xyy2i{border-left-color:var(--row-color);background:#6366f10d}.td-r.svelte-11xyy2i{text-align:center;width:28px;font-weight:500}.td-val.svelte-11xyy2i{text-align:center;width:58px}.td-product.svelte-11xyy2i{align-items:center;gap:2px;width:100px;display:flex}.product-text.svelte-11xyy2i{font-size:.68rem}.td-sum.svelte-11xyy2i{text-align:right;flex:1;padding-right:.3em;font-weight:500}.term-row.current.svelte-11xyy2i .td-sum:where(.svelte-11xyy2i){color:var(--row-color);font-weight:700}.table-note.svelte-1r6pehc{color:var(--color-text-muted);margin:.5em 0;font-size:.85rem}.target-picker.svelte-1r6pehc{align-items:center;gap:.8em;margin:.5em 0;display:flex}.target-picker.svelte-1r6pehc label:where(.svelte-1r6pehc){font-family:var(--font-mono);white-space:nowrap;font-size:.85rem}.target-buttons.svelte-1r6pehc{gap:.3em;display:flex}.target-buttons.svelte-1r6pehc button:where(.svelte-1r6pehc){font-family:var(--font-mono);border:1px solid var(--color-border);cursor:pointer;background:#fff;border-radius:8px;width:36px;height:36px;font-size:.85rem;transition:all .15s}.target-buttons.svelte-1r6pehc button:where(.svelte-1r6pehc):hover{border-color:var(--color-accent)}.target-buttons.svelte-1r6pehc button.active:where(.svelte-1r6pehc){background:var(--color-prime);color:#fff;border-color:var(--color-prime);font-weight:600}.ortho-note.svelte-1r6pehc{color:var(--color-text-muted);margin-bottom:.5em;font-size:.85rem}.plot-wrapper.svelte-eccazl{width:100%}svg.svelte-eccazl{width:100%;height:auto}.legend.svelte-eccazl{font-family:var(--font-mono);flex-wrap:wrap;justify-content:center;gap:.8em;margin-top:.5em;font-size:.75rem;display:flex}.legend-item.svelte-eccazl{align-items:center;gap:.3em;display:flex}.legend-swatch.svelte-eccazl{border-radius:2px;width:12px;height:3px}.legend-label.svelte-eccazl{color:var(--color-text-muted)}.legend-value.svelte-eccazl{color:var(--color-text);font-weight:500}.euler-wrapper.svelte-1hor02v{text-align:center}.product-display.svelte-1hor02v{margin-bottom:1em}.product-factors.svelte-1hor02v{font-family:var(--font-mono);flex-wrap:wrap;justify-content:center;align-items:center;gap:.5em;font-size:.85rem;display:flex}.factor.svelte-1hor02v{align-items:center;gap:.5em;display:flex}.frac.svelte-1hor02v{vertical-align:middle;flex-direction:column;align-items:center;line-height:1.2;display:inline-flex}.num.svelte-1hor02v{border-bottom:1px solid var(--color-text);padding:0 .3em}.den.svelte-1hor02v{padding:0 .3em;font-size:.8em}.times.svelte-1hor02v{color:var(--color-text-muted)}svg.svelte-1hor02v{max-width:100%;height:auto}.comparison.svelte-1hor02v{color:var(--color-text-muted);flex-direction:column;gap:.3em;margin-top:.5em;font-size:.85rem;display:flex}.comparison.svelte-1hor02v strong:where(.svelte-1hor02v){color:var(--color-text)}.sieve-viz.svelte-udui78{width:100%}.controls-row.svelte-udui78{margin-bottom:1em}.prime-stepper.svelte-udui78{align-items:center;gap:.6em;margin-bottom:.5em;display:flex}.step-btn.svelte-udui78{font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;background:#fff;border-radius:8px;justify-content:center;align-items:center;width:36px;height:36px;font-size:1.1rem;font-weight:700;transition:all .15s;display:flex}.step-btn.svelte-udui78:hover:not(:disabled){border-color:var(--color-accent);color:var(--color-accent)}.step-btn.svelte-udui78:disabled{opacity:.3;cursor:default}.step-label.svelte-udui78{font-family:var(--font-mono);color:var(--color-text);font-size:.9rem;font-weight:500}.geo-series.svelte-udui78{color:var(--color-text-muted);font-size:.8rem;font-family:var(--font-mono)}.geo-formula.svelte-udui78{color:var(--color-accent)}.grid-scroll.svelte-udui78{justify-content:center;margin-bottom:.8em;display:flex;overflow-x:auto}svg.svelte-udui78{max-width:100%;height:auto}rect.svelte-udui78{transition:all .3s}.stats-row.svelte-udui78{flex-wrap:wrap;justify-content:center;gap:1em;margin-bottom:.3em;display:flex}.stat.svelte-udui78{text-align:center;background:var(--color-bg-alt);border-radius:6px;min-width:100px;padding:.4em .8em}.stat-label.svelte-udui78{text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-light);margin-bottom:.15em;font-size:.65rem;display:block}.stat-value.svelte-udui78{font-family:var(--font-mono);color:var(--color-accent);font-size:.9rem;font-weight:600}.match-note.svelte-udui78{color:var(--color-text-muted);text-align:center;font-size:.82rem}.match-note.svelte-udui78 strong:where(.svelte-udui78){color:var(--color-prime)}.euler-mul.svelte-bo1y6s{width:100%}.prime-controls.svelte-bo1y6s{align-items:center;gap:.4em;margin-bottom:.8em;display:flex}.ctrl.svelte-bo1y6s{font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;background:#fff;border-radius:8px;justify-content:center;align-items:center;width:34px;height:34px;font-size:1rem;font-weight:700;transition:all .15s;display:flex}.ctrl.svelte-bo1y6s:hover:not(:disabled){border-color:var(--color-accent);color:var(--color-accent)}.ctrl.svelte-bo1y6s:disabled{opacity:.3;cursor:default}.ctrl.reset.svelte-bo1y6s{width:auto;font-size:.75rem;font-weight:500;font-family:var(--font-serif);padding:0 .6em}.primes-label.svelte-bo1y6s{font-family:var(--font-mono);margin-left:.5em;font-size:.85rem}.grid-section.svelte-bo1y6s{margin-bottom:1em}.grid-intro.svelte-bo1y6s{color:var(--color-text-muted);margin-bottom:.4em;font-size:.85rem}.grid-scroll.svelte-bo1y6s{overflow-x:auto}.mul-grid.svelte-bo1y6s{border-collapse:collapse;font-family:var(--font-mono);margin:0 auto;font-size:.78rem}.mul-grid.svelte-bo1y6s th:where(.svelte-bo1y6s),.mul-grid.svelte-bo1y6s td:where(.svelte-bo1y6s){text-align:center;border:1px solid var(--color-border-light);min-width:38px;height:30px;padding:.15em .4em}.mul-grid.svelte-bo1y6s .corner:where(.svelte-bo1y6s){color:var(--color-text-light);background:var(--color-bg-alt);font-size:.9rem}.mul-grid.svelte-bo1y6s .col-header:where(.svelte-bo1y6s){background:var(--color-bg-alt);color:var(--color-text-muted);font-size:.75rem;font-weight:600}.mul-grid.svelte-bo1y6s .row-header:where(.svelte-bo1y6s){background:var(--color-bg-alt);font-size:.75rem;font-weight:600}.mul-grid.svelte-bo1y6s td:where(.svelte-bo1y6s){background:#fff;transition:background .2s}.mul-grid.svelte-bo1y6s td.is-new:where(.svelte-bo1y6s){background:#6366f10f}.mul-grid.svelte-bo1y6s td.is-prime:where(.svelte-bo1y6s){color:var(--color-prime);font-weight:700}.result-section.svelte-bo1y6s{padding:.6em 0}.result-label.svelte-bo1y6s{color:var(--color-text-muted);margin-bottom:.3em;font-size:.82rem}.result-count.svelte-bo1y6s{font-family:var(--font-mono);color:var(--color-accent);font-weight:600}.result-numbers.svelte-bo1y6s{flex-wrap:wrap;gap:.3em;margin-bottom:.4em;display:flex}.result-n.svelte-bo1y6s{font-family:var(--font-mono);background:var(--color-accent-light);color:var(--color-text);border-radius:4px;padding:.15em .4em;font-size:.78rem}.result-n.is-prime.svelte-bo1y6s{background:var(--color-prime-bg);color:var(--color-prime);font-weight:600}.result-n.muted.svelte-bo1y6s{background:var(--color-bg-alt);color:var(--color-text-light)}.result-note.svelte-bo1y6s{color:var(--color-text-muted);font-size:.82rem}.muted.svelte-bo1y6s{color:var(--color-text-light)}.geo-viz.svelte-1yc1jl9{width:100%}.controls.svelte-1yc1jl9{flex-wrap:wrap;gap:1.5em;margin-bottom:.5em;display:flex}.slider-row.svelte-1yc1jl9{align-items:center;gap:.4em;display:flex}.slider-row.svelte-1yc1jl9 label:where(.svelte-1yc1jl9){font-family:var(--font-mono);color:var(--color-text-muted);min-width:40px;font-size:.85rem}.r-slider.svelte-1yc1jl9{width:140px}.r-value.svelte-1yc1jl9{font-family:var(--font-mono);color:var(--color-accent);min-width:32px;font-size:.85rem;font-weight:600}.bars-section.svelte-1yc1jl9{margin-bottom:.8em}.bar-svg.svelte-1yc1jl9{width:100%;height:auto}.proof-section.svelte-1yc1jl9{background:var(--color-bg-alt);border-radius:8px;margin-bottom:.5em;padding:.7em 1em}.proof-title.svelte-1yc1jl9{margin-bottom:.3em;font-size:.85rem;font-weight:600}.proof-text.svelte-1yc1jl9{color:var(--color-text-muted);margin-bottom:.4em;font-size:.82rem}.proof-lines.svelte-1yc1jl9{font-family:var(--font-mono);font-size:.78rem}.proof-line.svelte-1yc1jl9{align-items:baseline;margin-bottom:.15em;display:flex}.proof-lhs.svelte-1yc1jl9{text-align:right;min-width:55px;color:var(--color-text-muted);font-weight:600}.proof-eq.svelte-1yc1jl9{color:var(--color-text-light);padding:0 .5em}.proof-rhs.svelte-1yc1jl9{flex-wrap:wrap;gap:0;display:flex}.proof-term.svelte-1yc1jl9{white-space:nowrap}.proof-term.cancel.svelte-1yc1jl9{opacity:0}.proof-term.muted.svelte-1yc1jl9{color:var(--color-text-light)}.proof-term.highlight.svelte-1yc1jl9{color:var(--color-prime);font-weight:700}.proof-separator.svelte-1yc1jl9{border-top:1.5px solid var(--color-border);width:100%;margin:.25em 0}.proof-line.result.svelte-1yc1jl9 .proof-lhs:where(.svelte-1yc1jl9){color:var(--color-accent)}.proof-line.final.svelte-1yc1jl9 .proof-term.highlight:where(.svelte-1yc1jl9){font-size:.9rem}.readout.svelte-1yc1jl9{color:var(--color-text-muted);text-align:center;font-size:.85rem}.readout.svelte-1yc1jl9 strong:where(.svelte-1yc1jl9){font-family:var(--font-mono);color:var(--color-accent)}.readout.svelte-1yc1jl9 .exact:where(.svelte-1yc1jl9){color:var(--color-prime)}.bar-svg.svelte-btdpno{width:100%;height:auto;margin:.5em 0}.chart-toggle.svelte-btdpno{gap:.4em;margin-bottom:.3em;display:flex}.chart-toggle.svelte-btdpno button:where(.svelte-btdpno){font-family:var(--font-serif);border:1.5px solid var(--color-border);cursor:pointer;color:var(--color-text-muted);background:#fff;border-radius:6px;padding:.3em .8em;font-size:.78rem;transition:all .15s}.chart-toggle.svelte-btdpno button:where(.svelte-btdpno):hover{border-color:var(--color-accent);color:var(--color-accent)}.chart-toggle.svelte-btdpno button.active:where(.svelte-btdpno){background:var(--color-accent);border-color:var(--color-accent);color:#fff;font-weight:600}.sum-display.svelte-btdpno{text-align:center;font-size:1rem}.sum-display.svelte-btdpno strong:where(.svelte-btdpno){font-family:var(--font-mono);color:var(--color-accent);font-size:1.1rem}.note.svelte-btdpno{color:var(--color-text-muted);margin-left:.3em;font-size:.85rem}.explosion.svelte-btdpno{color:var(--color-prime);font-weight:600}.deriv-controls.svelte-btdpno{margin-bottom:1em}.deriv-a-picker.svelte-btdpno{align-items:center;gap:.5em;margin:.3em 0;display:flex}.deriv-a-picker.svelte-btdpno label:where(.svelte-btdpno){font-family:var(--font-mono);color:var(--color-text-muted);font-size:.85rem}.deriv-a-buttons.svelte-btdpno{gap:.25em;display:flex}.deriv-a-buttons.svelte-btdpno button:where(.svelte-btdpno){font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;background:#fff;border-radius:6px;width:30px;height:30px;font-size:.8rem;transition:all .15s}.deriv-a-buttons.svelte-btdpno button:where(.svelte-btdpno):hover{border-color:var(--color-accent)}.deriv-a-buttons.svelte-btdpno button.active:where(.svelte-btdpno){background:var(--color-prime);border-color:var(--color-prime);color:#fff;font-weight:600}.step-note.svelte-btdpno{color:var(--color-text-muted);margin:.3em 0;font-size:.8rem}.step-table-scroll.svelte-btdpno{overflow-x:auto}.step-table.svelte-btdpno{border-collapse:collapse;font-family:var(--font-mono);margin:0 auto;font-size:.72rem}.step-table.svelte-btdpno th:where(.svelte-btdpno),.step-table.svelte-btdpno td:where(.svelte-btdpno){text-align:center;border:1px solid var(--color-border-light);min-width:48px;padding:.2em .4em}.step-table.svelte-btdpno th:where(.svelte-btdpno){background:var(--color-bg-alt);color:var(--color-text-muted);font-size:.68rem}.step-table.svelte-btdpno .chi-label:where(.svelte-btdpno){background:var(--color-bg-alt);font-size:.75rem;font-weight:700}.step-table.svelte-btdpno .term-cell:where(.svelte-btdpno){font-size:.7rem}.step-table.svelte-btdpno .term-value:where(.svelte-btdpno){font-weight:500}.step-table.svelte-btdpno .sum-col:where(.svelte-btdpno){border-left:2px solid var(--color-border)}.step-table.svelte-btdpno .sum-cell:where(.svelte-btdpno){border-left:2px solid var(--color-border);font-size:.8rem}.step2-rows.svelte-btdpno{font-family:var(--font-mono);font-size:.78rem}.step2-row.svelte-btdpno{flex-wrap:wrap;align-items:center;gap:.4em;padding:.2em 0;display:flex}.step2-chi.svelte-btdpno{min-width:24px;font-weight:700}.step2-arrow.svelte-btdpno{color:var(--color-text-light)}.step2-val.svelte-btdpno{color:var(--color-text-muted);font-size:.72rem}.step2-times.svelte-btdpno{color:var(--color-text-light);font-size:.72rem}.step2-result.svelte-btdpno{font-size:.82rem}.step2-total.svelte-btdpno{border-top:1.5px solid var(--color-border);color:var(--color-accent);font-weight:700;font-family:var(--font-mono);margin-top:.3em;padding-top:.3em;font-size:.85rem}.step3-primes.svelte-btdpno{flex-wrap:wrap;gap:.4em;margin:.5em 0;display:flex}.step3-prime.svelte-btdpno{font-family:var(--font-mono);border-radius:8px;flex-direction:column;align-items:center;min-width:60px;padding:.3em .5em;font-size:.72rem;transition:all .2s;display:flex}.step3-prime.passes.svelte-btdpno{background:var(--color-prime-bg);border:1.5px solid var(--color-prime)}.step3-prime.blocked.svelte-btdpno{background:var(--color-bg-alt);border:1px solid var(--color-border-light);opacity:.5}.step3-p.svelte-btdpno{font-size:.85rem;font-weight:700}.step3-prime.passes.svelte-btdpno .step3-p:where(.svelte-btdpno){color:var(--color-prime)}.step3-mod.svelte-btdpno{color:var(--color-text-light);font-size:.6rem}.step3-contrib.svelte-btdpno{color:var(--color-prime);font-size:.68rem;font-weight:500}.step3-blocked.svelte-btdpno{color:var(--color-text-light);font-size:.65rem}.step3-result.svelte-btdpno{text-align:center;margin-top:.3em;font-size:.9rem}.step3-result.svelte-btdpno strong:where(.svelte-btdpno){font-family:var(--font-mono);color:var(--color-prime)}.product-plot.svelte-ympc6a{width:100%;height:auto}.product-readout.svelte-ympc6a{text-align:center;margin-top:.5em}.product-main.svelte-ympc6a{margin-bottom:.3em;font-size:1rem}.product-main.svelte-ympc6a strong:where(.svelte-ympc6a){font-family:var(--font-mono);color:var(--color-accent);font-size:1.1rem}.check-yes.svelte-ympc6a{color:#22c55e;margin-left:.3em;font-weight:600}.individual-values.svelte-ympc6a{font-family:var(--font-mono);flex-wrap:wrap;justify-content:center;gap:.6em;font-size:.75rem;display:flex}.indiv-val.svelte-ympc6a{font-weight:500}.pole-tag.svelte-ympc6a{color:#ef4444;background:#ef44441a;border-radius:3px;margin-left:.2em;padding:.05em .3em;font-size:.65rem}.contradiction-plot.svelte-ympc6a{width:100%;height:auto}.contradiction-readout.svelte-ympc6a{font-family:var(--font-mono);flex-wrap:wrap;justify-content:center;gap:1em;margin-top:.4em;font-size:.8rem;display:flex}.ef-conclusion.svelte-ympc6a{color:var(--color-text-muted);text-align:center;font-size:.85rem}.coeff-table.svelte-ympc6a{font-family:var(--font-mono);margin:.5em 0;font-size:.68rem;overflow-x:auto}.coeff-header-row.svelte-ympc6a,.coeff-data-row.svelte-ympc6a,.coeff-sum-row.svelte-ympc6a{grid-template-columns:24px repeat(36,1fr);gap:0;min-width:max-content;display:grid}.coeff-header-row.svelte-ympc6a{border-bottom:1px solid var(--color-border-light)}.coeff-hdr.svelte-ympc6a{text-align:center;color:var(--color-text-light);padding:.15em 0;font-size:.6rem}.coeff-row-label.svelte-ympc6a{color:var(--color-text-muted);text-align:right;padding-right:.3em;font-size:.65rem;font-weight:600}.coeff-data.svelte-ympc6a{text-align:center;color:var(--color-accent);background:#2563eb0d;border-right:1px solid #00000008;padding:.2em 0;font-weight:700}.coeff-data.zero.svelte-ympc6a{color:var(--color-text-light);background:0 0;font-weight:400}.coeff-sum-row.svelte-ympc6a{border-top:1.5px solid var(--color-border)}.coeff-sum.svelte-ympc6a{text-align:center;color:var(--color-prime);padding:.15em 0;font-size:.6rem;font-weight:500}.coeff-char-picker.svelte-ympc6a{align-items:center;gap:.3em;display:flex}.coeff-controls.svelte-ympc6a{flex-wrap:wrap;align-items:center;gap:.4em;margin-bottom:.6em;display:flex}.coeff-control-label.svelte-ympc6a{font-family:var(--font-mono);color:var(--color-text-muted);font-size:.8rem}.csg-chip.svelte-ympc6a{font-family:var(--font-mono);cursor:default;background:0 0;border:none;border-radius:5px;padding:.2em .5em;font-size:.8rem;font-weight:600;display:inline-block}.csg-chip.real.svelte-ympc6a{color:#22c55e;cursor:pointer;background:#22c55e1a}.csg-chip.real.active.svelte-ympc6a{color:#fff;background:#22c55e}.char-sort-section.svelte-ympc6a{background:#fff;border-radius:10px;margin-bottom:1em;padding:.6em .8em}.css-header.svelte-ympc6a{flex-wrap:wrap;align-items:center;gap:.6em;margin-bottom:.4em;display:flex}.css-title.svelte-ympc6a{font-size:.9rem;font-weight:600}.css-tag.svelte-ympc6a{font-family:var(--font-mono);border-radius:4px;padding:.15em .5em;font-size:.7rem}.principal-header.svelte-ympc6a{border-left:4px solid var(--color-prime);padding-left:.6em}.principal-header.svelte-ympc6a .css-title:where(.svelte-ympc6a){color:var(--color-prime)}.principal-header.svelte-ympc6a .css-tag:where(.svelte-ympc6a){background:var(--color-prime-bg);color:var(--color-prime)}.complex-header.svelte-ympc6a{border-left:4px solid #6366f1;padding-left:.6em}.complex-header.svelte-ympc6a .css-title:where(.svelte-ympc6a){color:#6366f1}.complex-header.svelte-ympc6a .css-tag:where(.svelte-ympc6a){color:#6366f1;background:#6366f11a}.real-header.svelte-ympc6a{border-left:4px solid #22c55e;padding-left:.6em}.real-header.svelte-ympc6a .css-title:where(.svelte-ympc6a){color:#22c55e}.real-header.svelte-ympc6a .css-tag:where(.svelte-ympc6a){color:#22c55e;background:#22c55e1a}.css-pair-block.svelte-ympc6a{background:#6366f108;border:1.5px solid #6366f140;border-radius:8px;margin:.4em 0;padding:.4em .5em}.css-conj-arrow.svelte-ympc6a{text-align:center;color:#8b5cf6;margin:.1em 0 .1em 28px;font-size:.65rem}.css-explain.svelte-ympc6a{color:var(--color-text-muted);margin:.3em 0 0;font-size:.8rem}.char-strip.svelte-ympc6a{width:100%;height:auto;margin:-.1em 0;display:block}.landau-plot.svelte-ympc6a{width:100%;height:auto}.trap-steps.svelte-ympc6a{margin:.5em 0 1em 1.2em;font-size:.95rem;line-height:1.6}.trap-steps.svelte-ympc6a li:where(.svelte-ympc6a){margin-bottom:.6em;padding-left:.3em}.pz-controls.svelte-ympc6a{flex-wrap:wrap;align-items:center;gap:1.2em;margin-bottom:.8em;display:flex}.pz-group.svelte-ympc6a{align-items:center;gap:.3em;display:flex}.pz-label.svelte-ympc6a{font-family:var(--font-mono);font-size:.85rem;font-weight:600}.pz-btn.svelte-ympc6a{font-family:var(--font-mono);border:1.5px solid var(--color-border);cursor:pointer;background:#fff;border-radius:6px;justify-content:center;align-items:center;width:28px;height:28px;font-size:1rem;font-weight:700;transition:all .15s;display:flex}.pz-btn.svelte-ympc6a:hover{border-color:var(--color-accent);color:var(--color-accent)}.pz-count.svelte-ympc6a{font-family:var(--font-mono);text-align:center;min-width:16px;font-size:1rem;font-weight:700}.pz-formula.svelte-ympc6a{font-family:var(--font-mono);color:var(--color-text-muted);font-size:.8rem}.pz-hint.svelte-ympc6a{color:var(--color-text-muted);text-align:center;margin-top:.3em;font-size:.85rem}.proof-map-wrapper.svelte-17m2aym{justify-content:center;display:flex}svg.svelte-17m2aym{width:100%;max-width:600px;height:auto}g.svelte-17m2aym:hover rect:where(.svelte-17m2aym){filter:brightness(.97);stroke-width:2.5px}.equi-wrapper.svelte-9of8lx{text-align:center}svg.svelte-9of8lx{width:100%;max-width:500px;height:auto}.equi-note.svelte-9of8lx{color:var(--color-text-muted);margin-top:.5em;font-size:.85rem}.equi-note.svelte-9of8lx strong:where(.svelte-9of8lx){color:var(--color-text)}.a-picker.svelte-9htk5k{align-items:center;gap:.8em;margin:.5em 0;display:flex}.a-picker.svelte-9htk5k label:where(.svelte-9htk5k){font-family:var(--font-mono);white-space:nowrap;min-width:80px;font-size:.85rem}.a-buttons.svelte-9htk5k{flex-wrap:wrap;gap:.3em;display:flex}.a-buttons.svelte-9htk5k button:where(.svelte-9htk5k){font-family:var(--font-mono);border:1px solid var(--color-border);cursor:pointer;background:#fff;border-radius:6px;width:32px;height:32px;font-size:.8rem;transition:all .15s}.a-buttons.svelte-9htk5k button:where(.svelte-9htk5k):hover{border-color:var(--color-accent)}.a-buttons.svelte-9htk5k button.active:where(.svelte-9htk5k){background:var(--color-accent);color:#fff;border-color:var(--color-accent);font-weight:600}.sandbox-stats.svelte-9htk5k{text-align:center;margin-top:.5em}ul.svelte-9htk5k{margin:.5em 0 1em 1.5em}li.svelte-9htk5k{margin-bottom:.3em}main.svelte-1n46o8q{margin-left:var(--sidebar-width);min-height:100vh}footer.svelte-1n46o8q{max-width:var(--content-width);text-align:center;color:var(--color-text-light);border-top:1px solid var(--color-border-light);margin:0 auto;padding:3em 1.5em;font-size:.85rem}footer.svelte-1n46o8q p:where(.svelte-1n46o8q){margin-bottom:.3em}@media (width<=900px){main.svelte-1n46o8q{margin-left:0}}