@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/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(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/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(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/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(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/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(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/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(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/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(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/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(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/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(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/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(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/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(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/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(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/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(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/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(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/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(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/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(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/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(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/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(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/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(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/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(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/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.47"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--paper:#fff;--paper-warm:#f7f5ef;--paper-deep:#eeece4;--ink:#17201d;--ink-soft:#46504c;--ink-muted:#69726e;--rule:#dcded8;--rule-strong:#c8cbc4;--accent:#174e3c;--accent-strong:#10392c;--accent-pale:#eaf1ed;--blue-pale:#edf2f5;--amber:#8b5a16;--amber-pale:#fbf3e5;--red:#8b3a35;--red-pale:#f8ecea;--serif:"Source Serif 4", "Iowan Old Style", "Palatino Linotype", Georgia, serif;--sans:Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--max-width:1200px;--gutter:clamp(1.25rem, 4vw, 3rem);--shadow:0 22px 70px #17201d14;--radius:3px}*{box-sizing:border-box}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{color:var(--ink);background:var(--paper);font-family:var(--sans);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0;font-size:16px;line-height:1.62}body:before{z-index:-1;pointer-events:none;content:"";background-image:linear-gradient(#17201d04 1px,#0000 1px);background-size:100% 32px;position:fixed;inset:0;-webkit-mask-image:linear-gradient(#000,#0000 65%);mask-image:linear-gradient(#000,#0000 65%)}::selection{color:var(--accent-strong);background:#dceae3}h1,h2,h3,p,pre,dl,dd{margin-top:0}h1,h2,h3{color:var(--ink);font-family:var(--serif);letter-spacing:-.025em;font-weight:560}h1{font-size:clamp(3rem,7vw,6.4rem);line-height:.96}h2{font-size:clamp(2rem,4vw,3.35rem);line-height:1.04}h3{font-size:1.35rem;line-height:1.18}a{color:var(--accent);text-underline-offset:.22em;text-decoration-thickness:1px}a:hover{color:var(--accent-strong)}button,input,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}code,pre{font-family:var(--mono)}.container{width:min(100%, calc(var(--max-width) + 2 * var(--gutter)));padding-inline:var(--gutter);margin-inline:auto}.skip-link{z-index:100;color:#fff;background:var(--accent);padding:.7rem 1rem;position:fixed;top:.75rem;left:.75rem;transform:translateY(-180%)}.skip-link:focus{transform:translateY(0)}.site-header{z-index:50;-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);background:#fffffff0;border-bottom:1px solid #dcded8e0;position:sticky;top:0}.site-header__inner{justify-content:space-between;align-items:center;gap:2rem;min-height:72px;display:flex}.wordmark-link{text-decoration:none}.wordmark{color:var(--ink);font-family:var(--serif);letter-spacing:-.02em;align-items:baseline;gap:.6rem;font-size:1.25rem;font-weight:620;display:inline-flex}.wordmark__mark{color:var(--accent);font-size:.9em;font-style:italic}.wordmark__tld{color:var(--ink-muted);font-weight:450}.site-nav{align-items:center;gap:.15rem;display:flex}.site-nav a{color:var(--ink-soft);padding:.55rem .75rem;font-size:.86rem;font-weight:560;text-decoration:none}.site-nav a:hover,.site-nav a.active{color:var(--accent)}.site-nav a.active{text-decoration:underline;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:.55rem}.site-nav .site-nav__repository{border:1px solid var(--rule-strong);border-radius:var(--radius);background:var(--paper);margin-left:.5rem}.nav-toggle{border:1px solid var(--rule-strong);border-radius:var(--radius);color:var(--ink);background:0 0;padding:.45rem .7rem;font-size:.82rem;font-weight:650;display:none}.hero{background:radial-gradient(circle at 85% 8%, #174e3c14, transparent 31rem), var(--paper);padding-top:clamp(4rem,8vw,7.5rem);overflow:hidden}.hero__grid{grid-template-columns:minmax(0,1.08fr) minmax(360px,.72fr);align-items:center;gap:clamp(3rem,8vw,8rem);padding-bottom:clamp(4rem,8vw,7rem);display:grid}.eyebrow{color:var(--accent);letter-spacing:.145em;text-transform:uppercase;align-items:center;gap:.55rem;margin-bottom:1rem;font-size:.72rem;font-weight:720;line-height:1.2;display:flex}.eyebrow__dot{background:var(--accent);width:6px;height:6px;box-shadow:0 0 0 4px var(--accent-pale);border-radius:50%}.eyebrow--light{color:#a9cbbc}.hero__copy h1{max-width:9.2ch;margin-bottom:1.5rem}.hero__lede{max-width:39rem;color:var(--ink-soft);font-family:var(--serif);margin-bottom:2rem;font-size:clamp(1.22rem,2vw,1.45rem);line-height:1.5}.hero__actions,.results-empty__actions{flex-wrap:wrap;gap:.75rem;display:flex}.button{border-radius:var(--radius);cursor:pointer;border:1px solid #0000;justify-content:center;align-items:center;min-height:46px;padding:.72rem 1.05rem;font-size:.88rem;font-weight:650;line-height:1.2;text-decoration:none;transition:transform .15s,background-color .15s,border-color .15s;display:inline-flex}.button:hover{transform:translateY(-1px)}.button--primary{color:#fff;background:var(--accent)}.button--primary:hover{color:#fff;background:var(--accent-strong)}.button--quiet{border-color:var(--rule-strong);color:var(--ink);background:var(--paper)}.button--quiet:hover{border-color:var(--accent);color:var(--accent)}.button:disabled{opacity:.58;cursor:not-allowed;transform:none}.hero__note{max-width:39rem;color:var(--ink-muted);margin:1.5rem 0 0;font-size:.86rem}.hero__theorem{border:1px solid var(--rule-strong);border-radius:var(--radius);background:var(--paper);box-shadow:var(--shadow);position:relative}.hero__theorem:after{z-index:-1;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);content:"";width:55%;height:55%;position:absolute;bottom:-12px;right:-12px}.hero__theorem-head,.task-manifest__header{border-bottom:1px solid var(--rule);color:var(--ink-muted);font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;justify-content:space-between;gap:1rem;padding:.75rem 1rem;font-size:.68rem;display:flex}.hero__theorem-body{padding:clamp(1.5rem,4vw,2.4rem)}.theorem-label{color:var(--accent);font-family:var(--sans);letter-spacing:.13em;font-size:.67rem;font-weight:740}.hero__theorem-body h2{overflow-wrap:anywhere;margin:.9rem 0 1.7rem;font-size:clamp(1.5rem,3vw,2rem);line-height:1.14}.hero__theorem-body pre{color:#dbe9e2;background:var(--ink);margin-bottom:0;padding:1rem;font-size:.76rem;line-height:1.7;overflow-x:auto}.hero__theorem-meta{border-top:1px solid var(--rule);grid-template-columns:repeat(3,1fr);margin:0;display:grid}.hero__theorem-meta div{padding:.85rem 1rem}.hero__theorem-meta div+div{border-left:1px solid var(--rule)}.hero__theorem-meta dt{color:var(--ink-muted);letter-spacing:.1em;text-transform:uppercase;font-size:.63rem;font-weight:680}.hero__theorem-meta dd{color:var(--ink);font-family:var(--serif);margin:.2rem 0 0;font-size:.88rem}.facts-strip{border-top:1px solid var(--rule);border-right:1px solid var(--rule);grid-template-columns:repeat(4,1fr);display:grid}.facts-strip>div{border-left:1px solid var(--rule);flex-direction:column;justify-content:center;min-height:104px;padding:1.15rem 1.4rem;display:flex}.facts-strip strong{color:var(--accent);font-family:var(--serif);font-size:1.65rem;font-weight:550}.facts-strip span{color:var(--ink-muted);font-size:.75rem}.section{padding-block:clamp(4.5rem,9vw,8rem)}.section--warm{border-block:1px solid var(--rule);background:var(--paper-warm)}.section--ink{color:#dbe4e0;background:var(--ink)}.section-heading{margin-bottom:clamp(2rem,5vw,4rem)}.section-heading--split{grid-template-columns:minmax(0,1.05fr) minmax(300px,.65fr);align-items:end;gap:clamp(2rem,8vw,7rem);display:grid}.section-heading h2{max-width:14ch;margin-bottom:0}.section-heading>p,.section-heading>div+p{color:var(--ink-soft);margin-bottom:.2rem}.section-heading--on-ink h2{color:#fff}.section-heading--on-ink>p{color:#b7c3be}.verification-flow{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:repeat(3,1fr);margin:0;padding:0;list-style:none;display:grid}.verification-flow__stage{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffffad;grid-template-columns:auto 1fr;gap:1rem;min-height:190px;padding:1.4rem;display:grid}.verification-flow__number{color:var(--accent);font-family:var(--mono);font-size:.67rem;font-weight:700}.verification-flow h3{margin-bottom:.6rem}.verification-flow p{color:var(--ink-muted);margin-bottom:0;font-size:.85rem}.verification-flow--compact{grid-template-columns:repeat(4,1fr)}.verification-flow--compact .verification-flow__stage{min-height:220px;display:block}.verification-flow--compact .verification-flow__number{margin-bottom:2.3rem;display:block}.verification-flow--compact h3{font-size:1.12rem}.section-action{justify-content:center;margin-top:2rem;display:flex}.section-action--left{justify-content:flex-start}.text-link{font-size:.88rem;font-weight:650}.text-link--light{color:#b8d8ca}.text-link--light:hover{color:#fff}.card-grid{border-top:1px solid var(--rule);border-left:1px solid var(--rule);grid-template-columns:repeat(3,1fr);display:grid}.conjecture-card{border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);background:var(--paper);flex-direction:column;min-height:390px;padding:clamp(1.5rem,3vw,2rem);transition:box-shadow .18s,transform .18s;display:flex}.conjecture-card:hover{z-index:1;box-shadow:var(--shadow);transform:translateY(-3px)}.conjecture-card__meta{min-height:30px;color:var(--ink-muted);letter-spacing:.05em;text-transform:uppercase;justify-content:space-between;align-items:flex-start;gap:1rem;margin-bottom:2.5rem;font-size:.67rem;font-weight:650;display:flex}.conjecture-card h3{margin-bottom:1rem;font-size:1.65rem}.conjecture-card>p{color:var(--ink-soft);font-family:var(--serif)}.conjecture-card>code{overflow-wrap:anywhere;color:var(--ink-muted);margin-top:auto;margin-bottom:1.5rem;font-size:.68rem;display:block}.conjecture-card>a{font-size:.84rem;font-weight:650}.status{border:1px solid var(--rule-strong);width:max-content;color:var(--ink-soft);background:var(--paper);font-family:var(--sans);letter-spacing:.04em;text-transform:uppercase;white-space:nowrap;border-radius:999px;align-items:center;gap:.4rem;padding:.28rem .58rem;font-size:.64rem;font-weight:680;line-height:1.2;display:inline-flex}.status__dot{background:currentColor;border-radius:50%;width:5px;height:5px}.status--open{color:var(--accent);background:var(--accent-pale);border-color:#b8c9c1}.status--candidate-proof{color:var(--amber);background:var(--amber-pale);border-color:#d8c49a}.status--machine-verified,.status--under-human-review{color:#335a6f;background:var(--blue-pale);border-color:#bccbd3}.status--proved{color:var(--accent);background:var(--accent-pale);border-color:#aac8b8}.status--disproved{color:var(--red);background:var(--red-pale);border-color:#d9b6b2}.verification-explainer{grid-template-columns:minmax(0,.9fr) minmax(360px,.7fr);align-items:start;gap:clamp(3rem,10vw,9rem);display:grid}.verification-explainer__copy h2{color:#fff;max-width:12ch;margin-bottom:1.5rem}.verification-explainer__copy>p:not(.eyebrow){color:#bcc7c2}.check-list{border-top:1px solid #53605a;padding-top:1.2rem}.check-list__label{color:#93a49d;letter-spacing:.12em;text-transform:uppercase;font-size:.67rem;font-weight:700}.check-list ul{margin:1.25rem 0;padding:0;list-style:none}.check-list li{color:#e7eeeb;border-bottom:1px solid #39433f;grid-template-columns:auto 1fr;gap:.75rem;padding-block:.85rem;font-size:.88rem;display:grid}.check-list li span{color:#9bc6b3}.check-list>p{color:#97a59f;margin-bottom:0;font-size:.78rem}.development>.reveal{max-width:55rem}.development>.reveal h2{margin-bottom:3rem}.development__grid{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:1fr 1fr;display:grid}.development__column{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:var(--paper-warm);min-height:320px;padding:clamp(1.5rem,4vw,2.5rem)}.development__column--ready{background:var(--accent-pale)}.development__tag{color:var(--accent);letter-spacing:.12em;text-transform:uppercase;margin-bottom:3rem;font-size:.65rem;font-weight:720;display:inline-block}.development__column h3{margin-bottom:1rem;font-size:1.65rem}.development__column p{color:var(--ink-soft)}.development__column a{font-size:.82rem;font-weight:650}.page-hero{border-bottom:1px solid var(--rule);background:radial-gradient(circle at 10% 25%, #174e3c0e, transparent 24rem), var(--paper);padding-block:clamp(4rem,9vw,8rem)}.page-hero__grid{grid-template-columns:minmax(0,1fr) minmax(320px,.72fr);align-items:end;gap:clamp(3rem,9vw,9rem);display:grid}.page-hero h1{max-width:9ch;margin-bottom:0;font-size:clamp(3.2rem,7vw,6rem)}.page-hero--how-it-works h1,.page-hero--faq h1{max-width:11ch}.page-hero__lede{color:var(--ink-soft);font-family:var(--serif);font-size:clamp(1.2rem,2.3vw,1.55rem);line-height:1.5}.page-hero__note{border-left:2px solid var(--accent);color:var(--ink-muted);margin-bottom:0;padding-left:1rem;font-size:.8rem}.catalog-intro{border-bottom:1px solid var(--rule);background:var(--paper-warm)}.catalog-intro__grid{grid-template-columns:.6fr .6fr .7fr 1.6fr;display:grid}.catalog-intro__grid>div{border-right:1px solid var(--rule);flex-direction:column;justify-content:center;min-height:108px;padding:1rem 1.25rem;display:flex}.catalog-intro__grid>div:first-child{border-left:1px solid var(--rule)}.catalog-intro__grid span{color:var(--ink-muted);letter-spacing:.08em;text-transform:uppercase;font-size:.65rem;font-weight:680}.catalog-intro__grid strong{font-family:var(--serif);font-size:1.2rem;font-weight:550}.catalog-intro__grid>p{color:var(--ink-muted);align-self:center;margin:0;padding-left:2rem;font-size:.78rem}.catalog-section{padding-block:clamp(3rem,7vw,6rem)}.filter-panel{border:1px solid var(--rule-strong);background:var(--paper-warm);margin-bottom:2rem;padding:clamp(1.25rem,3vw,2rem)}.filter-panel__heading{justify-content:space-between;align-items:end;gap:2rem;margin-bottom:1.5rem;display:flex}.filter-panel__heading h2{margin-bottom:0;font-size:clamp(1.6rem,3vw,2.2rem)}.filter-panel__count{color:var(--ink-muted);font-size:.78rem}.filter-panel__controls{grid-template-columns:minmax(0,1fr) minmax(220px,.4fr);gap:.8rem;display:grid}.search-field,.select-field{gap:.45rem;display:grid}.search-field>span,.select-field>span{color:var(--ink-muted);letter-spacing:.06em;text-transform:uppercase;font-size:.67rem;font-weight:680}.search-field input,.select-field select{border:1px solid var(--rule-strong);width:100%;min-height:48px;color:var(--ink);background:var(--paper);border-radius:0;padding:.7rem .85rem}.search-field input::placeholder{color:#8b938f}.catalog-list{gap:1.5rem;display:grid}.catalog-entry{border:1px solid var(--rule-strong);background:var(--paper);padding:clamp(1.5rem,5vw,3rem);scroll-margin-top:92px}.catalog-entry:target{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-pale)}.catalog-entry__header{justify-content:space-between;align-items:flex-start;gap:2rem;display:flex}.catalog-entry__field{color:var(--accent);letter-spacing:.1em;text-transform:uppercase;margin-bottom:.5rem;font-size:.68rem;font-weight:700}.catalog-entry__header h2{margin-bottom:0;font-size:clamp(2rem,4vw,3rem)}.catalog-entry__summary{max-width:50rem;color:var(--ink-soft);font-family:var(--serif);margin:1.1rem 0 1.8rem;font-size:1.08rem}.math .katex{font-size:1em}.math--display{text-align:center;max-width:100%;margin-block:.8rem;display:block;overflow-x:auto}.math--display .katex-display{margin:0}.catalog-entry__statement{border:1px solid var(--rule);background:#fafbf9}.catalog-entry__statement-head{border-bottom:1px solid var(--rule);color:var(--ink-muted);justify-content:space-between;gap:1rem;padding:.65rem .85rem;font-size:.65rem;display:flex}.catalog-entry__statement-head span{letter-spacing:.08em;text-transform:uppercase;font-weight:700}.catalog-entry__statement-head code{overflow-wrap:anywhere;text-align:right}.catalog-entry__statement pre{color:#23332d;margin-bottom:0;padding:1rem;font-size:.75rem;line-height:1.65;overflow-x:auto}.catalog-entry__mode{flex-wrap:wrap;gap:.5rem;margin-block:1rem 1.5rem;display:flex}.challenge-badge{border:1px solid var(--rule-strong);color:var(--ink-soft);border-radius:999px;align-items:center;gap:.45rem;padding:.35rem .65rem;font-size:.68rem;font-weight:650;display:inline-flex}.challenge-badge span{font-family:var(--mono);font-size:.85rem}.challenge-badge--formalized{color:var(--accent);background:var(--accent-pale);border-color:#b7cabf}.metadata-grid{border-top:1px solid var(--rule);border-left:1px solid var(--rule);grid-template-columns:repeat(2,1fr);margin:0;display:grid}.metadata-grid div{border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);min-width:0;padding:.85rem 1rem}.metadata-grid dt{color:var(--ink-muted);letter-spacing:.08em;text-transform:uppercase;margin-bottom:.3rem;font-size:.62rem;font-weight:700}.metadata-grid dd{overflow-wrap:anywhere;color:var(--ink-soft);margin:0;font-size:.73rem}.catalog-entry__technical{border:1px solid var(--rule-strong);background:#fafbf9;margin-top:1.5rem}.catalog-entry__technical>summary{cursor:pointer;min-height:58px;color:var(--ink-soft);justify-content:space-between;align-items:center;gap:1.5rem;padding:.85rem 1rem;font-size:.76rem;font-weight:680;list-style:none;display:flex;position:relative}.catalog-entry__technical>summary::-webkit-details-marker{display:none}.catalog-entry__technical>summary:after{content:"+";color:var(--accent);font-family:var(--mono);flex:none;font-size:1rem}.catalog-entry__technical>summary span:last-child{color:var(--ink-muted);margin-left:auto;font-size:.66rem;font-weight:500}.catalog-entry__technical[open]>summary{border-bottom:1px solid var(--rule-strong)}.catalog-entry__technical[open]>summary:after{content:"−"}.catalog-entry__technical-body{gap:1rem;padding:1rem;display:grid}.catalog-entry__source-hash{border-top:1px solid var(--rule);color:var(--ink-muted);grid-template-columns:auto minmax(0,1fr);gap:1rem;padding:.65rem .85rem;font-size:.63rem;display:grid}.catalog-entry__source-hash span{letter-spacing:.06em;text-transform:uppercase;font-weight:700}.catalog-entry__source-hash code,.task-bundle code{overflow-wrap:anywhere}.task-bundle-list{gap:.75rem;display:grid}.task-bundle{border:1px solid var(--rule);background:var(--paper);padding:.9rem}.task-bundle__heading{grid-template-columns:auto minmax(0,1fr);align-items:center;gap:.8rem;display:grid}.task-bundle__heading>code{color:var(--ink-soft);font-size:.7rem}.task-bundle dl{gap:.45rem;margin:.8rem 0 0;display:grid}.task-bundle dl>div{grid-template-columns:9rem minmax(0,1fr);gap:.7rem;display:grid}.task-bundle dt,.task-bundle dd{margin:0;font-size:.62rem}.task-bundle dt{color:var(--ink-muted);letter-spacing:.05em;text-transform:uppercase;font-weight:700}.task-bundle dd{min-width:0;color:var(--ink-soft)}.catalog-entry__actions{flex-wrap:wrap;gap:.6rem 1.2rem;margin-top:1.25rem;display:flex}.catalog-entry__actions a{font-size:.76rem;font-weight:650}.catalog-pagination{border:1px solid var(--rule-strong);background:var(--paper-warm);justify-content:space-between;align-items:center;gap:1.25rem;margin-top:1.5rem;padding:1rem 1.25rem;display:flex}.catalog-pagination p{color:var(--ink-muted);margin:0;font-size:.78rem}.empty-state{border:1px solid var(--rule-strong);text-align:center;background:var(--paper-warm);align-content:center;place-items:center;min-height:420px;padding:2rem;display:grid}.empty-state>span{color:var(--accent);font-family:var(--serif);font-size:3rem}.empty-state h2{margin:.6rem 0;font-size:2rem}.empty-state p{color:var(--ink-muted)}.contribution{grid-template-columns:minmax(0,.75fr) minmax(340px,1fr);gap:clamp(3rem,10vw,9rem);display:grid}.contribution h2{max-width:8ch}.contribution>div:last-child>p:first-child{color:var(--ink-soft);font-family:var(--serif);font-size:1.1rem}.repository-placeholder{flex-wrap:wrap;align-items:center;gap:.8rem;display:flex}.repository-placeholder code{color:var(--ink-muted);font-size:.68rem}.contribution__source{color:var(--ink-muted);margin:1.2rem 0 0;font-size:.74rem}.results-empty-layout{grid-template-columns:minmax(0,1fr) minmax(300px,.55fr);align-items:start;gap:clamp(3rem,9vw,8rem);display:grid}.results-empty{border:1px solid var(--rule-strong);background:var(--paper-warm);padding:clamp(2rem,6vw,4rem)}.results-empty__symbol{color:var(--accent);font-family:var(--serif);margin-bottom:3rem;font-size:4rem;line-height:1;display:block}.results-empty h2{max-width:11ch}.results-empty>p:not(.eyebrow){max-width:40rem;color:var(--ink-soft);font-family:var(--serif);font-size:1.08rem}.review-path{padding-top:1rem}.review-path__label{border-bottom:1px solid var(--rule-strong);color:var(--ink-muted);letter-spacing:.1em;text-transform:uppercase;padding-bottom:.8rem;font-size:.67rem;font-weight:700}.review-path ol{margin:0 0 1.25rem;padding:0;list-style:none}.review-path li{border-bottom:1px solid var(--rule);grid-template-columns:2rem 1fr;align-items:center;gap:.8rem;padding-block:1rem;display:grid}.review-path li>span{color:var(--ink-muted);font-family:var(--mono);font-size:.65rem}.review-path>p:last-child{color:var(--ink-muted);font-size:.76rem}.review-path>p .status{vertical-align:middle;margin-left:.25rem}.record-fields{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:repeat(3,1fr);display:grid}.record-field{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffff8c;min-height:170px;padding:1.4rem}.record-field span{color:var(--accent);font-family:var(--mono);font-size:.65rem}.record-field p{max-width:17rem;font-family:var(--serif);margin:2.2rem 0 0;font-size:1.03rem;line-height:1.45}.plain-language-intro{max-width:58rem;margin-bottom:clamp(2.5rem,6vw,4.5rem);display:grid}.plain-language-intro h2{max-width:15ch;margin-bottom:1.4rem}.plain-language-intro>p:last-child{max-width:48rem;color:var(--ink-soft);font-family:var(--serif);margin-bottom:0;font-size:clamp(1.05rem,2vw,1.25rem)}.plain-language-grid,.why-grid{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:repeat(3,1fr);display:grid}.plain-language-grid article,.why-grid article{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffff9e;min-height:290px;padding:clamp(1.4rem,4vw,2.2rem)}.plain-language-grid article>span,.why-grid article>span{color:var(--accent);font-family:var(--sans);letter-spacing:.1em;text-transform:uppercase;font-size:.66rem;font-weight:720}.plain-language-grid h3,.why-grid h3{margin:2.8rem 0 .85rem;font-size:1.55rem}.plain-language-grid p,.why-grid p{color:var(--ink-muted);margin-bottom:0;font-size:.86rem}.analogy-note{border-left:3px solid var(--accent);color:var(--ink-soft);font-family:var(--serif);margin:1.5rem 0 0;padding:.9rem 0 .9rem 1.2rem;font-size:1.02rem}.why-grid article{background:var(--paper)}.faq-layout{grid-template-columns:minmax(250px,.55fr) minmax(0,1fr);align-items:start;gap:clamp(3rem,9vw,8rem);display:grid}.faq-layout__intro{position:sticky;top:112px}.faq-layout__intro h2{max-width:11ch}.faq-layout__intro>p:not(.eyebrow){color:var(--ink-soft)}.faq-list{border-top:1px solid var(--rule-strong)}.faq-item{border-bottom:1px solid var(--rule-strong)}.faq-item summary{min-height:84px;color:var(--ink);font-family:var(--serif);cursor:pointer;grid-template-columns:1fr auto;align-items:center;gap:2rem;padding-block:1.2rem;font-size:clamp(1.12rem,2vw,1.32rem);font-weight:560;line-height:1.3;list-style:none;display:grid}.faq-item summary::-webkit-details-marker{display:none}.faq-item__icon{border:1px solid var(--rule-strong);width:30px;height:30px;color:var(--accent);font-family:var(--sans);border-radius:50%;place-items:center;font-size:1rem;transition:transform .16s;display:grid}.faq-item[open] .faq-item__icon{transform:rotate(45deg)}.faq-item>p{max-width:46rem;color:var(--ink-soft);margin-bottom:0;padding:0 3.8rem 1.6rem 0}.faq-cta{max-width:55rem}.faq-cta h2{max-width:13ch;margin-bottom:2rem}.architecture{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:repeat(4,1fr);margin:0;padding:0;list-style:none;display:grid}.architecture li{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffffa6;grid-template-rows:auto 1fr;gap:2.5rem;min-height:260px;padding:1.35rem;display:grid;position:relative}.architecture li:not(:nth-child(4n)):after{z-index:2;border:1px solid var(--rule-strong);content:"→";width:20px;height:20px;color:var(--accent);background:var(--paper-warm);border-radius:50%;place-items:center;font-size:.65rem;display:grid;position:absolute;top:50%;right:-10px}.architecture span{color:var(--accent);font-family:var(--mono);font-size:.65rem}.architecture strong{max-width:12rem;font-family:var(--serif);font-size:1.3rem;font-weight:560;line-height:1.2;display:block}.architecture p{color:var(--ink-muted);margin:.75rem 0 0;font-size:.78rem;line-height:1.6}.technical-grid{border-top:1px solid var(--rule);border-left:1px solid var(--rule);grid-template-columns:repeat(3,1fr);margin-bottom:2rem;display:grid}.technical-card{border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);min-height:260px;padding:1.5rem}.technical-card>span,.verifier-card>span{color:var(--accent);font-family:var(--mono);font-size:.66rem}.technical-card h3{margin:2.5rem 0 .8rem}.technical-card p{color:var(--ink-muted);font-size:.84rem}.task-manifest{border:1px solid var(--rule-strong);background:#fafbf9;grid-template-columns:minmax(0,1.15fr) minmax(280px,.75fr);display:grid}.task-manifest__header{grid-column:1/-1}.task-manifest pre{border-right:1px solid var(--rule);color:#cce3d9;background:var(--ink);margin:0;padding:clamp(1.2rem,4vw,2rem);font-size:.74rem;line-height:1.75;overflow-x:auto}.task-manifest>p{color:var(--ink-soft);font-family:var(--serif);align-self:center;margin:0;padding:clamp(1.5rem,4vw,2.5rem)}.verifier-grid{border-top:1px solid #44514b;border-left:1px solid #44514b;grid-template-columns:repeat(2,1fr);display:grid}.verifier-card{border-bottom:1px solid #44514b;border-right:1px solid #44514b;min-height:260px;padding:clamp(1.4rem,4vw,2.2rem)}.verifier-card>span{color:#9bc6b3}.verifier-card h3{color:#fff;margin:2.8rem 0 .8rem;font-size:1.5rem}.verifier-card p{color:#aebdb6;max-width:31rem;margin-bottom:0;font-size:.86rem}.isolation-layout,.limitations-layout{grid-template-columns:minmax(0,.8fr) minmax(360px,.7fr);align-items:start;gap:clamp(3rem,10vw,9rem);display:grid}.isolation-layout__copy h2,.limitations-layout h2{max-width:11ch}.isolation-layout__copy>p:not(.eyebrow),.limitations-layout>.reveal:first-child>p:not(.eyebrow){color:var(--ink-soft)}.small-note{border-left:2px solid var(--rule-strong);padding-left:1rem;font-size:.77rem}.isolation-controls ul,.limitations-list{border-top:1px solid var(--rule-strong);margin:0;padding:0;list-style:none}.isolation-controls li{border-bottom:1px solid var(--rule);color:var(--ink-soft);grid-template-columns:auto 1fr;gap:.75rem;padding-block:.95rem;font-size:.86rem;display:grid}.isolation-controls li span{color:var(--accent)}.bittensor-explainer{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:repeat(3,1fr);margin-top:2rem;display:grid}.bittensor-explainer article{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffff94;min-height:230px;padding:1.5rem}.bittensor-explainer article>span{color:var(--accent);letter-spacing:.1em;text-transform:uppercase;font-size:.65rem;font-weight:720}.bittensor-explainer h3{margin:2rem 0 .7rem}.bittensor-explainer p{color:var(--ink-muted);font-size:.82rem}.documentation-links{flex-wrap:wrap;gap:.65rem 1.4rem;margin-top:1.5rem;display:flex}.documentation-links a{font-size:.75rem;font-weight:650}.limitations-list{border-left:1px solid var(--rule-strong);grid-template-columns:1fr 1fr;display:grid}.limitations-list li{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);min-height:94px;color:var(--ink-soft);font-family:var(--serif);padding:1rem;font-size:.93rem}.distinctions{border-top:1px solid var(--rule-strong);border-left:1px solid var(--rule-strong);grid-template-columns:1fr 1fr;margin:0;display:grid}.distinctions>.reveal>div{border-right:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong);background:#ffffff94;min-height:210px;padding:clamp(1.3rem,4vw,2rem)}.distinctions dt{font-family:var(--serif);align-items:baseline;gap:1rem;margin-bottom:1.5rem;font-size:1.3rem;font-weight:560;display:flex}.distinctions dt span{color:var(--accent);font-family:var(--mono);font-size:.63rem}.distinctions dd{color:var(--ink-muted);margin:0;font-size:.84rem}.site-footer{border-top:1px solid var(--rule-strong);background:#f2f1eb;padding-top:clamp(3.5rem,7vw,6rem)}.site-footer__grid{grid-template-columns:1.6fr .7fr .7fr;gap:clamp(2rem,8vw,7rem);padding-bottom:4rem;display:grid}.site-footer__intro p{max-width:25rem;color:var(--ink-muted);font-family:var(--serif);margin-top:1.2rem;font-size:.92rem}.site-footer h2{color:var(--ink-muted);font-family:var(--sans);letter-spacing:.1em;text-transform:uppercase;margin-bottom:1.2rem;font-size:.65rem;font-weight:720}.site-footer ul{margin:0;padding:0;list-style:none}.site-footer li+li{margin-top:.65rem}.site-footer li a{color:var(--ink-soft);font-size:.8rem}.site-footer__base{border-top:1px solid var(--rule-strong);min-height:64px;color:var(--ink-muted);justify-content:space-between;align-items:center;gap:2rem;font-size:.65rem;display:flex}.reveal{opacity:0;transition:opacity .5s,transform .5s;transform:translateY(12px)}.reveal.in{opacity:1;transform:translateY(0)}.reveal-d1{transition-delay:80ms}.reveal-d2{transition-delay:.16s}.reveal-d3{transition-delay:.24s}@media (width<=1050px){.hero__grid{grid-template-columns:1fr .72fr;gap:3rem}.verification-flow--compact{grid-template-columns:repeat(2,1fr)}.verification-flow--compact .verification-flow__stage{min-height:190px}.catalog-intro__grid{grid-template-columns:repeat(3,1fr)}.catalog-intro__grid>p{border-top:1px solid var(--rule);grid-column:1/-1;padding:1rem 0}}@media (width<=820px){.site-header__inner{min-height:64px}.nav-toggle{display:block}.site-nav{border-bottom:1px solid var(--rule-strong);padding:.8rem var(--gutter) 1rem;background:var(--paper);box-shadow:var(--shadow);flex-direction:column;align-items:stretch;display:none;position:absolute;top:64px;left:0;right:0}.site-nav--open{display:flex}.site-nav a{padding:.75rem 0}.site-nav a.active{text-underline-offset:.25rem}.site-nav .site-nav__repository{text-align:center;margin:.5rem 0 0;padding:.7rem}.hero__grid,.page-hero__grid,.section-heading--split,.verification-explainer,.contribution,.results-empty-layout,.isolation-layout,.limitations-layout,.faq-layout{grid-template-columns:1fr}.faq-layout__intro{max-width:38rem;position:static}.hero__grid{gap:4rem}.hero__copy h1{max-width:10ch}.facts-strip,.card-grid,.record-fields,.technical-grid,.bittensor-explainer,.plain-language-grid,.why-grid{grid-template-columns:1fr 1fr}.facts-strip>div:nth-child(3),.facts-strip>div:nth-child(4){border-top:1px solid var(--rule)}.section-heading--split{align-items:start;gap:1.5rem}.section-heading--split>p{max-width:40rem}.verification-flow,.verification-flow--compact{grid-template-columns:1fr 1fr}.development__grid,.metadata-grid,.verifier-grid,.distinctions{grid-template-columns:1fr}.catalog-intro__grid{grid-template-columns:repeat(3,1fr)}.catalog-intro__grid>p{padding-inline:0}.architecture{grid-template-columns:repeat(2,1fr)}.architecture li:not(:nth-child(4n)):after{display:none}.task-manifest{grid-template-columns:1fr}.task-manifest pre{border-right:0;border-bottom:1px solid var(--rule)}.site-footer__grid{grid-template-columns:1.4fr 1fr 1fr;gap:2rem}}@media (width<=560px){h1{font-size:3.1rem}.hero{padding-top:3.5rem}.hero__theorem-body{padding:1.25rem}.hero__theorem-body h2{font-size:1.45rem}.hero__theorem-meta,.facts-strip,.card-grid,.verification-flow,.verification-flow--compact,.record-fields,.architecture,.technical-grid,.bittensor-explainer,.plain-language-grid,.why-grid,.limitations-list{grid-template-columns:1fr}.plain-language-grid article,.why-grid article{min-height:240px}.faq-item summary{gap:1rem;min-height:74px}.faq-item>p{padding-right:0}.hero__theorem-meta div+div{border-top:1px solid var(--rule);border-left:0}.facts-strip>div{border-top:1px solid var(--rule);min-height:85px}.facts-strip>div:first-child{border-top:0}.verification-flow__stage,.verification-flow--compact .verification-flow__stage{min-height:150px}.verification-flow--compact .verification-flow__number{margin-bottom:1.5rem}.conjecture-card{min-height:340px}.development__grid,.catalog-intro__grid{grid-template-columns:1fr}.catalog-intro__grid>div{border-bottom:1px solid var(--rule);border-left:1px solid var(--rule);min-height:80px}.catalog-intro__grid>p{border-top:0;grid-column:auto}.filter-panel__heading,.catalog-entry__header,.catalog-entry__statement-head,.catalog-pagination{flex-direction:column;align-items:flex-start}.filter-panel__controls{grid-template-columns:1fr}.catalog-entry{padding:1.2rem}.catalog-entry__statement-head code{text-align:left}.catalog-entry__technical>summary,.catalog-entry__source-hash,.task-bundle__heading,.task-bundle dl>div{grid-template-columns:1fr;align-items:flex-start}.catalog-entry__technical>summary{gap:.3rem;display:grid}.catalog-entry__technical>summary span:last-child{margin-left:0}.catalog-entry__technical>summary:after{position:absolute;right:1rem}.repository-placeholder{flex-direction:column;align-items:flex-start}.architecture li{min-height:230px}.site-footer__grid{grid-template-columns:1fr}.site-footer__base{flex-direction:column;justify-content:center;align-items:flex-start;padding-block:1rem}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}.reveal{opacity:1;transform:none}}