@font-face{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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.22"}.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 .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;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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.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{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--background:oklch(97.5% .009 80);--surface:oklch(99.5% .004 80);--surface-subtle:oklch(94.5% .012 78);--popover:var(--surface);--popover-foreground:var(--foreground);--foreground:oklch(20.5% .018 55);--muted-foreground:oklch(47% .02 60);--border:oklch(86.5% .018 72);--input:var(--border);--primary:oklch(39% .09 155);--primary-strong:oklch(32% .08 155);--primary-foreground:oklch(98.5% .005 80);--secondary:var(--surface-subtle);--accent:oklch(91% .035 150);--destructive:oklch(53% .16 30);--highlight:oklch(88% .11 94);--ring:oklch(48% .11 155);--shadow-lg:0 1rem 2.5rem color-mix(in oklch, var(--foreground), transparent 85%);--font-sans:ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-serif:Iowan Old Style, Baskerville, "Times New Roman", serif;--radius:.75rem}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--background:oklch(16% .014 62);--surface:oklch(20.5% .016 62);--surface-subtle:oklch(24.5% .018 66);--foreground:oklch(93% .012 78);--muted-foreground:oklch(72% .018 74);--border:oklch(36% .021 68);--primary:oklch(76% .105 151);--primary-strong:oklch(82% .1 151);--primary-foreground:oklch(15% .025 155);--accent:oklch(30% .045 151);--destructive:oklch(72% .14 30);--highlight:oklch(46% .09 91);--ring:oklch(78% .12 151);--shadow-lg:0 1rem 2.5rem oklch(0% none none/.45)}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--background);min-width:20rem;color:var(--foreground);font-family:var(--font-sans);text-rendering:optimizelegibility;margin:0;font-size:1rem;line-height:1.5}a{color:inherit;text-decoration:none}button,a{-webkit-tap-highlight-color:transparent}:focus-visible{outline:.1875rem solid var(--ring);outline-offset:.1875rem}.skip-link{z-index:100;border-radius:calc(var(--radius) - .25rem);background:var(--foreground);color:var(--surface);padding:.75rem 1rem;position:fixed;top:.75rem;left:.75rem;transform:translateY(-150%)}.skip-link:focus{transform:translateY(0)}.page-shell,.site-header__inner,.site-footer__inner{width:min(100% - 2rem,76rem);margin-inline:auto}.site-header{z-index:20;border-bottom:.0625rem solid color-mix(in oklch, var(--border), transparent 30%);background:color-mix(in oklch, var(--background), transparent 8%);-webkit-backdrop-filter:blur(.75rem);backdrop-filter:blur(.75rem);position:sticky;top:0}.site-header__inner{justify-content:space-between;align-items:center;gap:1rem;min-height:4rem;display:flex}.wordmark{letter-spacing:-.015em;align-items:center;gap:.75rem;font-weight:700;display:inline-flex}.wordmark__mark{background:var(--foreground);width:2rem;height:2rem;color:var(--surface);font-family:var(--font-serif);border-radius:50%;place-items:center;font-size:.875rem;display:grid}.nav-link{min-height:2.75rem;color:var(--muted-foreground);align-items:center;font-size:.875rem;font-weight:650;transition:color .16s ease-out;display:inline-flex}.nav-link:hover{color:var(--foreground)}.nav-links{align-items:center;gap:clamp(.75rem,3vw,1.5rem);display:flex}.theme-toggle{border:.0625rem solid var(--border);border-radius:calc(var(--radius) - .25rem);background:var(--surface-subtle);padding:.1875rem;display:inline-flex}.theme-toggle button{border-radius:calc(var(--radius) - .4375rem);min-height:2.25rem;color:var(--muted-foreground);font:inherit;cursor:pointer;background:0 0;border:0;padding:.375rem .625rem;font-size:.75rem;font-weight:700}.theme-toggle button:hover{color:var(--foreground)}.theme-toggle button[aria-pressed=true]{background:var(--surface);color:var(--foreground)}@media (width<=42rem){.site-header__inner{align-items:flex-start;padding-block:.75rem}.nav-links{flex-wrap:wrap;justify-content:flex-end}.nav-link{display:none}}.hero{padding-block:clamp(4rem,10vw,8rem)}.hero__grid{align-items:center;gap:3rem;display:grid}.hero__copy{max-width:42rem}.eyebrow,.pane-label,.reader-preview__kicker,.explanation-preview__label{color:var(--primary);letter-spacing:.075em;text-transform:uppercase;margin:0;font-size:.8125rem;font-weight:750}h1,h2,h3,p{overflow-wrap:break-word}h1,h2{font-family:var(--font-serif);letter-spacing:-.035em;text-wrap:balance;margin:0;font-weight:600}h1{margin-top:1rem;font-size:clamp(2.75rem,8vw,5.75rem);line-height:.98}h2{font-size:clamp(2rem,5vw,3.5rem);line-height:1.08}.hero__lede{max-width:40rem;color:var(--muted-foreground);margin:1.75rem 0 0;font-size:clamp(1.0625rem,2vw,1.25rem);line-height:1.7}.hero__actions{flex-wrap:wrap;gap:.75rem;margin-top:2rem;display:flex}.button{border-radius:calc(var(--radius) - .25rem);border:.0625rem solid #0000;justify-content:center;align-items:center;gap:.75rem;min-height:3rem;padding:.75rem 1.125rem;font-size:.9375rem;font-weight:700;transition:background-color .16s ease-out,color .16s ease-out,transform .16s ease-out;display:inline-flex}.button:active{transform:scale(.98)}.button--primary{background:var(--primary);color:var(--primary-foreground)}.button--primary:hover{background:var(--primary-strong)}.button--secondary{border-color:var(--border);background:var(--surface)}.button--secondary:hover{background:var(--surface-subtle)}.reader-preview{border:.0625rem solid var(--border);border-radius:var(--radius);background:var(--surface);overflow:hidden}.reader-preview__bar{border-bottom:.0625rem solid var(--border);color:var(--muted-foreground);justify-content:space-between;gap:1rem;padding:.875rem 1rem;font-size:.8125rem;font-weight:650;display:flex}.reader-preview__body{padding:clamp(1.25rem,4vw,2.5rem)}.reader-preview__passage{font-family:var(--font-serif);margin:1rem 0 0;font-size:clamp(1.25rem,4vw,1.75rem);line-height:1.55}.selection{background:var(--highlight);-webkit-box-decoration-break:clone;box-decoration-break:clone}.selection-menu{border-radius:calc(var(--radius) - .25rem);background:var(--foreground);width:fit-content;max-width:100%;color:var(--surface);white-space:nowrap;margin-top:1.25rem;font-size:.8125rem;font-weight:700;display:flex;overflow-x:auto}.selection-menu span{padding:.625rem .75rem}.selection-menu span+span{border-left:.0625rem solid color-mix(in oklch, var(--surface), transparent 75%)}.explanation-preview{border-left:.1875rem solid var(--primary);margin-top:2rem;padding-left:1rem}.explanation-preview p:last-child{color:var(--muted-foreground);margin:.5rem 0 0;line-height:1.65}.proof-library{border-top:.0625rem solid var(--border);padding-block:clamp(4rem,9vw,7rem)}.proof-library__heading{gap:1.5rem;display:grid}.proof-library__heading h2{max-width:42rem;margin-top:1rem}.proof-library__heading>p{max-width:42rem;color:var(--muted-foreground);margin:0;font-size:1.0625rem;line-height:1.7}.proof-grid{gap:1rem;margin-top:3rem;display:grid}.proof-card{border:.0625rem solid var(--border);border-radius:var(--radius);background:var(--surface);flex-direction:column;min-width:0;padding:clamp(1.5rem,4vw,2rem);display:flex}.proof-card__meta{color:var(--primary);flex-wrap:wrap;gap:.5rem 1rem;font-size:.8125rem;font-weight:700;display:flex}.proof-card h3{font-family:var(--font-serif);margin:1.25rem 0 0;font-size:clamp(1.5rem,4vw,2rem);line-height:1.2}.proof-card p{color:var(--muted-foreground);margin:.875rem 0 0;line-height:1.65}.proof-card a{width:fit-content;min-height:2.75rem;color:var(--primary);text-decoration:underline;-webkit-text-decoration-color:color-mix(in oklch, var(--primary), transparent 60%);text-decoration-color:color-mix(in oklch, var(--primary), transparent 60%);text-underline-offset:.25em;align-items:center;gap:.5rem;margin-top:auto;padding-top:1.5rem;font-size:.9375rem;font-weight:750;display:inline-flex}.proof-card a:hover{color:var(--primary-strong)}.method{border-top:.0625rem solid var(--border);background:var(--surface-subtle);padding-block:clamp(4rem,9vw,7rem)}.method__grid{gap:3rem;display:grid}.method h2{max-width:37rem;margin-top:1rem}.trust-list{display:grid}.trust-item{border-top:.0625rem solid var(--border);grid-template-columns:2.5rem 1fr;gap:1rem;padding-block:1.5rem;display:grid}.trust-item:last-child{border-bottom:.0625rem solid var(--border)}.trust-item__number{color:var(--primary);font-family:var(--font-serif);font-size:1.125rem}.trust-item h3{font-family:var(--font-serif);margin:0;font-size:1.375rem}.trust-item p{color:var(--muted-foreground);margin:.375rem 0 0;line-height:1.65}.site-footer{border-top:.0625rem solid var(--border);padding-block:2rem}.site-footer__inner{color:var(--muted-foreground);flex-direction:column;gap:.25rem;font-size:.875rem;display:flex}.site-footer p{margin:0}.site-footer__links{flex-wrap:wrap;gap:.25rem 1rem;display:flex}.site-footer__links a{min-height:2.75rem;color:var(--foreground);align-items:center;font-weight:650;display:inline-flex}.site-footer__links a:hover{color:var(--primary)}.proof-page{min-height:calc(100vh - 8rem);padding-block:2rem 4rem}.breadcrumb{color:var(--muted-foreground);flex-wrap:wrap;align-items:center;gap:.5rem;font-size:.875rem;display:flex}.breadcrumb a{text-decoration:underline;-webkit-text-decoration-color:var(--border);text-decoration-color:var(--border);text-underline-offset:.2em}.proof-shell{border:.0625rem solid var(--border);border-radius:var(--radius);background:var(--surface);margin-top:2rem;overflow:hidden}.proof-shell__header{border-bottom:.0625rem solid var(--border);flex-direction:column;gap:1rem;padding:clamp(1.25rem,4vw,2rem);display:flex}.proof-shell__header h1{margin-top:.5rem;font-size:clamp(2rem,5vw,3.25rem);line-height:1.05}.status-badge{border:.0625rem solid var(--border);width:fit-content;color:var(--muted-foreground);border-radius:999px;padding:.375rem .625rem;font-size:.8125rem;font-weight:700}.proof-shell__workspace{min-height:30rem;display:grid}.empty-pane{padding:clamp(1.5rem,5vw,3rem)}.empty-pane--secondary{border-top:.0625rem solid var(--border);background:var(--surface-subtle)}.empty-pane h2{max-width:30rem;margin-top:1rem;font-size:clamp(1.75rem,4vw,2.5rem)}.empty-pane>p:last-child{max-width:38rem;color:var(--muted-foreground);margin:1rem 0 0;line-height:1.7}.loading-shell{margin-top:1rem}.loading-shell__grid{gap:1rem;margin-top:2rem;display:grid}.skeleton{border-radius:calc(var(--radius) - .25rem);background:var(--surface-subtle);animation:1.5s ease-in-out infinite pulse}.skeleton--title{width:min(75%,34rem);height:3.5rem}.skeleton--pane{min-height:25rem}.not-found{place-items:center;min-height:calc(100vh - 8rem);padding:2rem 1rem;display:grid}.not-found__content{width:min(100%,42rem)}.not-found h1{font-size:clamp(2.5rem,7vw,4.5rem)}.not-found p:not(.eyebrow){max-width:38rem;color:var(--muted-foreground);margin:1.5rem 0 2rem;font-size:1.125rem;line-height:1.7}.methodology-page{padding-block:clamp(3rem,8vw,7rem)}.methodology-page__shell{gap:clamp(4rem,9vw,7rem);display:grid}.methodology-hero{max-width:52rem}.methodology-hero h1{max-width:48rem}.methodology-hero__lede{max-width:44rem;color:var(--muted-foreground);margin:1.75rem 0 0;font-size:clamp(1.0625rem,2vw,1.25rem);line-height:1.7}.evaluation-status{border:.0625rem solid var(--border);border-radius:var(--radius);background:var(--surface);gap:2rem;padding:clamp(1.5rem,5vw,3rem);display:grid}.evaluation-status__label{color:var(--primary);letter-spacing:.075em;text-transform:uppercase;margin:0;font-size:.8125rem;font-weight:750}.evaluation-status h2{max-width:34rem;margin-top:.75rem;font-size:clamp(2rem,5vw,3rem)}.evaluation-status__detail{max-width:38rem}.evaluation-status__detail p{color:var(--muted-foreground);margin:1rem 0 0;line-height:1.65}.evaluation-status code{font-size:.9em}.methodology-section{gap:2.5rem;display:grid}.methodology-section__heading{max-width:48rem}.methodology-section__heading h2{margin-top:.75rem}.methodology-section__heading>p:last-child{max-width:42rem;color:var(--muted-foreground);margin:1.25rem 0 0;line-height:1.7}.rubric-list,.security-list{margin:0;padding:0;list-style:none}.rubric-list{display:grid}.rubric-list li{border-top:.0625rem solid var(--border);grid-template-columns:2.5rem minmax(0,1fr);gap:1rem;padding-block:1.25rem;display:grid}.rubric-list li:last-child{border-bottom:.0625rem solid var(--border)}.rubric-list span{color:var(--primary);font-family:var(--font-serif)}.rubric-list strong{font-family:var(--font-serif);font-size:1.25rem;font-weight:600}.evaluation-case-list{gap:1rem;display:grid}.evaluation-case{border:.0625rem solid var(--border);border-radius:var(--radius);background:var(--surface);padding:1.5rem}.evaluation-case__meta{color:var(--primary);text-transform:capitalize;flex-wrap:wrap;gap:.5rem 1rem;font-size:.8125rem;font-weight:700;display:flex}.evaluation-case h3{font-family:var(--font-serif);margin:1rem 0 0;font-size:1.375rem;line-height:1.25}.evaluation-case p{color:var(--muted-foreground);margin:.75rem 0 0;line-height:1.6}.methodology-section--security{border-radius:var(--radius);background:var(--surface-subtle);padding:clamp(1.5rem,5vw,3rem)}.security-list{gap:.875rem;display:grid}.security-list li{padding-left:1.5rem;line-height:1.65;position:relative}.security-list li:before{background:var(--primary);content:"";width:.5rem;height:.125rem;position:absolute;top:.68em;left:0}@keyframes pulse{0%,to{opacity:.55}50%{opacity:1}}@media (width>=48rem){.page-shell,.site-header__inner,.site-footer__inner{width:min(100% - 3rem,76rem)}.hero__grid{grid-template-columns:minmax(0,1.04fr) minmax(24rem,.96fr);gap:clamp(3rem,7vw,6rem)}.method__grid{grid-template-columns:minmax(0,.9fr) minmax(24rem,1.1fr);gap:clamp(3rem,8vw,7rem)}.evaluation-status,.methodology-section{grid-template-columns:minmax(0,.85fr) minmax(24rem,1.15fr);gap:clamp(3rem,8vw,7rem)}.evaluation-case-list{grid-template-columns:repeat(2,minmax(0,1fr))}.proof-library__heading{grid-template-columns:minmax(0,1.2fr) minmax(20rem,.8fr);align-items:end}.proof-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.site-footer__inner,.proof-shell__header{flex-direction:row;justify-content:space-between;align-items:center}.proof-shell__workspace,.loading-shell__grid{grid-template-columns:minmax(0,1.6fr) minmax(19rem,.8fr)}.empty-pane--secondary{border-top:0;border-left:.0625rem solid var(--border)}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}._page_1ptph_1{padding-block:clamp(3rem,8vw,6rem)}._shell_1ptph_5{max-width:72rem}._hero_1ptph_9{max-width:52rem}._hero_1ptph_9 h1{max-width:48rem;font-size:clamp(2.75rem,7vw,5.25rem)}._lede_1ptph_18{max-width:46rem;color:var(--muted-foreground);margin:1.5rem 0 0;font-size:clamp(1.0625rem,2vw,1.25rem);line-height:1.7}._actions_1ptph_26{flex-wrap:wrap;gap:.75rem;margin-top:2rem;display:flex}._layout_1ptph_33{align-items:start;gap:3rem;margin-top:clamp(4rem,9vw,7rem);display:grid}._contents_1ptph_40{padding-block:.5rem}._contentsTitle_1ptph_44{color:var(--muted-foreground);letter-spacing:.075em;text-transform:uppercase;margin:0;font-size:.8125rem;font-weight:750}._contents_1ptph_40 ol{gap:.25rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}._contents_1ptph_40 a{min-height:2.75rem;color:var(--muted-foreground);grid-template-columns:2rem 1fr;align-items:center;gap:.5rem;font-size:.9375rem;font-weight:650;display:grid}._contents_1ptph_40 a:hover{color:var(--foreground)}._contents_1ptph_40 a span,._sectionNumber_1ptph_77{color:var(--primary);font-variant-numeric:tabular-nums}._article_1ptph_82{min-width:0}._article_1ptph_82 section{padding-bottom:clamp(3rem,8vw,5rem);scroll-margin-top:6rem}._article_1ptph_82 section+section{border-top:.0625rem solid var(--border);padding-top:clamp(3rem,8vw,5rem)}._sectionNumber_1ptph_77{letter-spacing:.075em;margin:0 0 .75rem;font-size:.8125rem;font-weight:750}._article_1ptph_82 h2{max-width:42rem;font-size:clamp(2rem,5vw,3.25rem)}._article_1ptph_82 h3{font-family:var(--font-sans);margin:2rem 0 .75rem;font-size:1.125rem;line-height:1.35}._article_1ptph_82>section>p:not(._sectionNumber_1ptph_77),._article_1ptph_82 li,._article_1ptph_82 dd,._note_1ptph_118 p{max-width:44rem;color:var(--muted-foreground);line-height:1.75}._article_1ptph_82>section>p:not(._sectionNumber_1ptph_77){margin:1.25rem 0 0}._article_1ptph_82 code{font-size:.9em}._steps_1ptph_132{gap:.75rem;margin:1.5rem 0 0;padding-left:1.5rem;display:grid}._note_1ptph_118{border-left:.25rem solid var(--primary);background:var(--surface-subtle);max-width:44rem;margin-top:1.5rem;padding:1.25rem}._note_1ptph_118 p{margin:.375rem 0 0}._codeBlock_1ptph_151{border:.0625rem solid var(--border);border-radius:calc(var(--radius) - .25rem);background:var(--surface);max-width:44rem;color:var(--foreground);tab-size:2;margin:1rem 0 0;padding:1.25rem;font-size:.875rem;line-height:1.7;overflow-x:auto}._evidenceList_1ptph_165{gap:0;max-width:44rem;margin:1.75rem 0 0;display:grid}._evidenceList_1ptph_165 div{border-top:.0625rem solid var(--border);gap:.375rem;padding-block:1rem;display:grid}._evidenceList_1ptph_165 div:last-child{border-bottom:.0625rem solid var(--border)}._evidenceList_1ptph_165 dt{font-weight:750}._evidenceList_1ptph_165 dd{margin:0}._textLink_1ptph_191{min-height:2.75rem;color:var(--primary);align-items:center;gap:.5rem;margin-top:1rem;font-weight:750;display:inline-flex}._textLink_1ptph_191:hover{color:var(--primary-strong)}@media (width>=52rem){._layout_1ptph_33{grid-template-columns:minmax(11rem,14rem) minmax(0,1fr);gap:clamp(3rem,7vw,6rem)}._contents_1ptph_40{position:sticky;top:6rem}._evidenceList_1ptph_165 div{grid-template-columns:minmax(10rem,.7fr) minmax(0,1.3fr);gap:1.5rem}}