@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.18.4"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--ink:#11213f;--ink-strong:#091630;--muted:#647084;--faint:#8c94a3;--paper:#f7f5ee;--paper-deep:#efebe0;--surface:#fffefa;--line:#d9d5c9;--line-strong:#bcb7aa;--brick:#a74731;--brick-soft:#f7e9e4;--sage:#68774b;--sage-soft:#eef1e6;--amber:#8b681f;--amber-soft:#f8f0db;--blue-soft:#eaf0f7;--shadow:0 18px 48px #1c223012;--serif:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;--sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;margin:0;font-size:15px;line-height:1.55}a{color:inherit;text-underline-offset:3px;text-decoration-thickness:1px}button,input,select{font:inherit}button,select{cursor:pointer}button:disabled,select:disabled,input:disabled{cursor:not-allowed}:focus-visible{outline-offset:3px;outline:3px solid #a7473157}.page-shell{width:min(1180px,100% - 40px);margin:0 auto}.site-header{z-index:20;border-bottom:1px solid var(--line);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#fffefaf5;position:sticky;top:0}.site-header__inner{justify-content:space-between;align-items:center;gap:24px;width:min(1180px,100% - 40px);min-height:68px;margin:0 auto;display:flex}.wordmark{color:var(--ink-strong);font-family:var(--serif);align-items:center;gap:11px;font-size:22px;font-weight:700;text-decoration:none;display:inline-flex}.wordmark__mark{background:url(/mathaudit-mark.svg) 50%/contain no-repeat;flex:none;width:31px;height:31px;display:block}.site-nav{align-items:center;gap:27px;display:flex}.site-nav a{color:#3e4a61;font-size:14px;text-decoration:none}.site-nav a:hover{color:var(--brick)}.hero{border-bottom:1px solid var(--line);background:#f2efe6;padding:76px 0 58px}.hero__inner{max-width:1040px}.eyebrow{color:var(--brick);letter-spacing:.15em;text-transform:uppercase;margin:0 0 10px;font-size:11px;font-weight:750}.hero h1,.paper-hero h1,.owner-page__intro h1{max-width:900px;color:var(--ink-strong);font-family:var(--serif);letter-spacing:-.045em;margin:0;font-size:clamp(43px,6vw,73px);font-weight:500;line-height:.99}.hero__lede{color:#445068;max-width:760px;font-family:var(--serif);margin:25px 0 31px;font-size:21px;line-height:1.45}.scope-strip{border-top:1px solid var(--line-strong);color:#596277;flex-wrap:wrap;align-items:center;gap:9px 22px;padding-top:18px;font-size:13px;display:flex}.scope-strip>*+*{position:relative}.scope-strip>*+:before{content:"·";color:var(--line-strong);position:absolute;left:-13px}.scope-strip__label{color:var(--ink);letter-spacing:.13em;text-transform:uppercase;font-size:10px;font-weight:750}.scope-strip strong{color:var(--ink)}.search-layout{padding:52px 0 88px}.search-panel,.queue-panel,.prompt-sidebar,.paper-section,.owner-card,.audit-section{border:1px solid var(--line);background:var(--surface)}.search-panel{box-shadow:var(--shadow);padding:34px}.section-heading,.results-heading{justify-content:space-between;align-items:flex-end;gap:24px;display:flex}.section-heading h2,.results-heading h2,.paper-section h2,.audit-section h2,.owner-card h2,.queue-panel h2,.prompt-sidebar h2{color:var(--ink-strong);font-family:var(--serif);letter-spacing:-.025em;margin:0;font-size:30px;font-weight:600;line-height:1.15}.source-note{border:1px solid var(--line);min-height:29px;color:var(--muted);background:var(--paper);letter-spacing:.06em;text-transform:uppercase;align-items:center;padding:5px 10px;font-size:11px;font-weight:650;display:inline-flex}.query-builder{gap:9px;margin-top:27px;display:grid}.query-row{grid-template-columns:90px 195px minmax(220px,1fr) 36px;gap:8px;display:grid}.query-row:first-child{grid-template-columns:90px 195px minmax(220px,1fr);padding-right:44px}input,select{border:1px solid var(--line-strong);width:100%;min-height:43px;color:var(--ink);background:#fff;border-radius:2px;padding:9px 11px}input::placeholder{color:#9097a4}select:disabled,input:disabled{opacity:.58}.icon-button{border:1px solid var(--line);background:var(--paper);width:36px;height:43px;color:var(--muted);font-size:20px}.quiet-button,.text-button{color:var(--brick);text-underline-offset:3px;background:0 0;border:0;padding:8px 0;font-weight:650;text-decoration:underline}.quiet-button{margin-top:5px}.filter-grid{grid-template-columns:1.18fr .82fr;gap:18px;margin-top:26px;display:grid}.filter-stack{align-content:start;gap:18px;display:grid}.filter-box{border:1px solid var(--line);background:#fbfaf6;min-width:0;margin:0;padding:22px}.filter-box legend{color:var(--ink);padding:0 7px 0 0;font-size:13px;font-weight:750}.msc-selected{flex-wrap:wrap;gap:7px;min-height:31px;margin-bottom:13px;display:flex}.chip{background:var(--paper);color:#4a556c;letter-spacing:.025em;border:1px solid #c7c1b2;border-radius:2px;align-items:center;gap:7px;width:fit-content;padding:3px 8px;font-size:11px;font-weight:720;line-height:1.5;display:inline-flex}button.chip{min-height:29px}.chip--selected{background:var(--sage-soft);color:#465331;border-color:#9ca885}.chip--arxiv{background:var(--blue-soft);color:#344c6b;border-color:#b5c1d2}.empty-selection{color:var(--faint);font-size:13px}.segmented{grid-template-columns:1fr 1fr;width:100%;margin-bottom:14px;display:grid}.segmented button{border:1px solid var(--line-strong);min-height:38px;color:var(--muted);background:#fff}.segmented button+button{border-left:0}.segmented button[aria-pressed=true]{background:var(--ink);color:#fff}.parent-codes{gap:7px;margin-bottom:12px;display:grid}.parent-code{text-align:left;border:1px solid var(--line);min-height:44px;color:var(--ink);background:#fff;grid-template-columns:54px 1fr;align-items:center;padding:8px 10px;display:grid}.parent-code b{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.parent-code span{color:var(--muted);font-size:12px}.parent-code.is-selected{background:var(--sage-soft);border-color:#9ca885}.msc-search{margin-bottom:8px}.msc-list{border:1px solid var(--line);background:#fff;max-height:260px;overflow:auto}.msc-list label{cursor:pointer;border-bottom:1px solid #ece9e1;grid-template-columns:18px 56px 1fr;align-items:start;gap:8px;padding:8px 10px;display:grid}.msc-list label:last-child{border-bottom:0}.msc-list input{width:15px;min-height:15px;margin:3px 0 0;padding:0}.msc-list b{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px}.msc-list span{color:#60697b;font-size:12px}.custom-code{grid-template-columns:1fr 68px;margin-top:9px;display:grid}.custom-code input{border-right:0}.custom-code button{border:1px solid var(--ink);background:var(--ink);color:#fff}.field-help,.field-error{margin:8px 0 0;font-size:11px}.field-help{color:var(--muted)}.field-error{color:#842d20}.audit-status-box{grid-column:1/-1}.audit-status-heading{justify-content:space-between;align-items:baseline;gap:18px;display:flex}.audit-status-heading h3{font-family:var(--serif);margin:0;font-size:20px;font-weight:600}.audit-status-heading .quiet-button{flex:none;margin:0;font-size:11px}.audit-status-box>.field-help{max-width:850px;margin:5px 0 14px}.audit-status-groups{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;display:grid}.audit-status-group{border:1px solid var(--line);background:#fff;min-width:0;margin:0;padding:0}.audit-status-group legend{color:var(--ink);margin-left:10px;padding:0 5px;font-size:12px;font-weight:750}.audit-status-list{display:grid}.audit-status-list label{color:#465167;cursor:pointer;border-bottom:1px solid #ece9e1;grid-template-columns:18px minmax(0,1fr);align-items:start;gap:8px;min-width:0;min-height:44px;padding:10px 11px;font-size:12px;line-height:1.35;display:grid}.audit-status-list label:last-child{border-bottom:0}.audit-status-list input{width:15px;min-height:15px;margin:1px 0 0;padding:0}.audit-status-list span{min-width:0}.select-label{color:#526078;gap:6px;font-size:12px;font-weight:650;display:grid}.date-row{grid-template-columns:1fr 1fr;gap:10px;margin-top:13px;display:grid}.date-row label{color:var(--muted);gap:5px;font-size:11px;font-weight:650;display:grid}.check-row{color:#465167;align-items:center;gap:9px;margin:10px 0;font-size:13px;display:flex}.check-row input{width:15px;min-height:15px;padding:0}.check-row span{color:var(--faint);text-transform:uppercase;margin-left:auto;font-size:10px}.check-row.is-muted{color:var(--faint)}.more-options{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:18px}.more-options summary,.prompt-box summary{color:#465167;cursor:pointer;padding:14px 2px;font-weight:650}.more-options__body{flex-wrap:wrap;gap:22px;padding:0 2px 14px;display:flex}.more-options__body .check-row{margin:0}.more-options__body .select-label{align-items:center;gap:8px;display:flex}.more-options__body select{width:88px;min-height:37px}.form-actions{align-items:center;gap:20px;margin-top:24px;display:flex}.primary-button,.secondary-button{border:1px solid var(--ink);border-radius:2px;justify-content:center;align-items:center;min-height:43px;padding:10px 16px;font-weight:720;text-decoration:none;display:inline-flex}.primary-button{background:var(--ink);color:#fff}.primary-button:hover{background:#24385c}.primary-button:disabled{opacity:.6}.secondary-button{color:var(--ink);background:0 0}.secondary-button:hover{background:var(--blue-soft)}.results{margin-top:64px;scroll-margin-top:94px}.results-heading h2{font-size:38px}.sort-control{color:var(--muted);align-items:center;gap:10px;font-size:12px;font-weight:650;display:flex}.sort-control select{width:235px;min-height:40px}.corpus-note{color:var(--muted);margin:13px 0 24px;font-size:12px}.result-list{gap:14px;display:grid}.result-card{border:1px solid var(--line);background:var(--surface);min-width:0;padding:25px 27px;transition:border-color .15s,transform .15s}.result-card:hover{border-color:#aaa493;transform:translateY(-1px)}.result-card__topline{color:var(--muted);align-items:center;gap:8px;font-size:11px;display:flex}.paper-id{color:var(--brick);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:700;text-decoration:none}.math-inline{white-space:normal}.math-display{max-width:100%;margin:.8em 0;display:block;overflow:auto hidden}.math-display .katex-display{margin:0}.math-error{color:#9b2c1d;background:#fff0ed;outline:1px solid #d8aa9f;padding:0 3px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.result-card h3{max-width:900px;font-family:var(--serif);letter-spacing:-.018em;margin:9px 0 5px;font-size:24px;font-weight:600;line-height:1.2}.result-card h3 a{text-decoration:none}.result-card h3 a:hover{color:var(--brick)}.authors{color:#4e5a70;margin:0 0 12px;font-size:13px}.chip-row{flex-wrap:wrap;gap:6px;display:flex}.result-abstract{color:#4d576a;max-width:980px;font-family:var(--serif);-webkit-line-clamp:3;-webkit-box-orient:vertical;margin:17px 0 0;font-size:15px;line-height:1.55;display:-webkit-box;overflow:hidden}.result-card__footer{border-top:1px solid #e6e2d9;justify-content:space-between;align-items:flex-end;gap:24px;margin-top:21px;padding-top:18px;display:flex}.mini-audit{flex-wrap:wrap;gap:13px;display:flex}.mini-audit>span{gap:5px;display:grid}.mini-audit b{color:var(--muted);letter-spacing:.1em;text-transform:uppercase;font-size:9px}.text-link{color:var(--brick);white-space:nowrap;font-size:12px;font-weight:700}.empty-state{border:1px dashed var(--line-strong);text-align:center;color:var(--muted);padding:48px}.empty-state h3{color:var(--ink);font-family:var(--serif);margin:0 0 6px;font-size:25px}.status-pill{border:1px solid var(--line);background:var(--paper);color:#566175;align-items:center;gap:7px;width:fit-content;min-height:31px;padding:5px 9px;font-size:11px;font-weight:720;line-height:1.25;display:inline-flex}.status-pill__symbol{border:1px solid;border-radius:50%;place-items:center;width:16px;height:16px;font-size:10px;line-height:1;display:inline-grid}.status-pill--compact{min-height:25px;padding:3px 7px;font-size:10px}.status-pill--compact .status-pill__symbol{width:14px;height:14px;font-size:9px}.status-pill--good{background:var(--sage-soft);color:#4a5834;border-color:#bcc7a8}.status-pill--warn{background:var(--amber-soft);color:#765515;border-color:#dfc78f}.status-pill--bad{background:var(--brick-soft);color:#8f3524;border-color:#d8aa9f}.status-pill--unknown{color:#6c7480;background:#f4f2ed;border-color:#d3d0c7}.site-footer{border-top:1px solid var(--line);color:var(--muted);background:#f1eee5;margin-top:68px;padding:25px 0 31px;font-size:11px;line-height:1.55}.site-footer .page-shell{grid-template-columns:1.4fr 1fr;gap:34px;display:grid}.site-footer p{margin:0}.breadcrumbs{color:var(--muted);align-items:center;gap:9px;padding:22px 0;font-size:12px;display:flex}.breadcrumbs a{color:var(--brick)}.paper-page{padding-bottom:90px}.paper-hero{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:1fr auto;gap:40px;padding:45px 0 43px;display:grid}.paper-hero h1{max-width:900px;font-size:clamp(38px,5.2vw,62px);line-height:1.02}.paper-kicker{color:var(--brick);letter-spacing:.03em;margin:0 0 15px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px;font-weight:700}.paper-authors{color:#4a566c;font-family:var(--serif);margin:22px 0 16px;font-size:18px}.paper-actions{align-content:start;gap:9px;min-width:158px;display:grid}.paper-grid{grid-template-columns:minmax(0,1fr) 310px;align-items:start;gap:24px;margin-top:28px;display:grid}.paper-content{gap:20px;min-width:0;display:grid}.paper-section,.audit-section{padding:28px 30px}.paper-section h2{margin-bottom:19px;font-size:24px}.paper-metadata dl{grid-template-columns:1fr 1fr;gap:0 30px;margin:0;display:grid}.paper-metadata dl>div{border-top:1px solid #e8e4dc;padding:12px 0}.paper-metadata dt,.run-meta dt{color:var(--faint);letter-spacing:.11em;text-transform:uppercase;font-size:9px;font-weight:750}.paper-metadata dd,.run-meta dd{color:#465167;margin:4px 0 0;font-size:13px}.paper-metadata dd a{color:var(--brick)}.paper-abstract{color:#3f495d;font-family:var(--serif);margin:0;font-size:17px;line-height:1.67}.section-heading--audit{align-items:center}.audit-notice{background:var(--blue-soft);border:1px solid #c7d0dc;grid-template-columns:25px 1fr;gap:11px;margin:20px 0;padding:13px 14px;display:grid}.audit-notice__mark{color:#46617f;width:22px;height:22px;font-family:var(--serif);border:1px solid #57708e;border-radius:50%;place-items:center;font-weight:700;display:grid}.audit-notice p{color:#43546a;margin:0;font-size:12px}.audit-report-context{justify-content:space-between;align-items:flex-end;gap:18px;margin:21px 0 10px;display:flex}.audit-report-context h3{color:var(--ink-strong);font-family:var(--serif);margin:3px 0 0;font-size:20px;font-weight:600}.audit-report-context>span{color:var(--muted);letter-spacing:.04em;text-transform:uppercase;font-size:10px;font-weight:650}.audit-cards{gap:10px;display:grid}.audit-card{border:1px solid var(--line);background:#fff}.audit-card summary{cursor:pointer;grid-template-columns:42px minmax(140px,1fr) minmax(190px,auto) 20px;align-items:center;gap:10px;min-height:75px;padding:14px 16px;list-style:none;display:grid}.audit-card summary::-webkit-details-marker{display:none}.audit-card__number{color:var(--faint);font-family:var(--serif);font-size:17px}.audit-card__heading{gap:3px;display:grid}.audit-card__heading b{font-family:var(--serif);font-size:18px}.audit-card__heading small{color:var(--muted);font-size:10px}.audit-card__chevron{color:var(--muted);font-size:18px;transition:transform .15s}.audit-card[open] .audit-card__chevron{transform:rotate(180deg)}.audit-card__body{border-top:1px solid #e5e2d9;padding:0 18px 18px 68px}.audit-card__summary{color:#4b5669;margin:16px 0;font-size:13px}.finding-list{gap:9px;display:grid}.finding{background:#fbfaf6;border:1px solid #e2ded5;padding:16px}.finding__top{justify-content:space-between;align-items:center;gap:12px;display:flex}.finding__label{color:var(--brick);letter-spacing:.09em;text-transform:uppercase;font-size:10px;font-weight:750}.finding h3{color:var(--ink-strong);font-family:var(--serif);margin:9px 0 2px;font-size:18px;line-height:1.25}.finding__location{letter-spacing:.05em;text-transform:uppercase;font-weight:700;color:var(--faint)!important;margin:0 0 10px!important;font-size:10px!important}.finding p{color:#4b5568;margin:0;font-size:12px}.report-bar{border:1px solid var(--ink);background:var(--paper);justify-content:space-between;align-items:center;gap:24px;margin-top:14px;padding:18px;display:flex}.report-bar>div{display:grid}.report-bar b{font-family:var(--serif);font-size:17px}.report-bar span{color:var(--muted);font-size:11px}.not-audited{text-align:center;padding-top:4px}.not-audited>p{color:var(--muted);margin:18px 0 2px;font-size:12px}.audit-placeholder-grid{grid-template-columns:repeat(3,1fr);gap:9px;display:grid}.audit-placeholder{border:1px dashed var(--line-strong);text-align:left;background:#faf9f5;flex-direction:column;justify-content:space-between;align-items:flex-start;min-height:132px;padding:16px;display:flex}.audit-placeholder>span{color:var(--faint);font-family:var(--serif)}.audit-placeholder>b{font-family:var(--serif);font-size:19px}.author-response__intro{color:var(--muted);margin:18px 0 0;font-size:13px}.author-response__steps{grid-template-columns:repeat(auto-fit,minmax(165px,1fr));gap:8px;margin:0 0 20px;padding:0;list-style:none;display:grid}.author-response__steps li{border:1px solid var(--line);background:var(--paper);padding:14px}.author-response__steps li[aria-current=step]{background:var(--blue-soft);border-color:#aebed1}.author-response__steps li>span{color:var(--faint);font-family:var(--serif);font-size:13px}.author-response__steps strong{font-family:var(--serif);margin-top:7px;font-size:16px;display:block}.author-response__steps small{color:var(--muted);margin-top:4px;font-size:11px;display:block}.author-response__method{margin-bottom:12px}.author-response__method h3{font-family:var(--serif);margin:14px 0 7px;font-size:20px}.author-response__method>p:not(.field-help,.owner-message){color:var(--muted);margin:0 0 14px;font-size:12px}.author-response__fallback{padding-bottom:14px}.author-response__fallback>p{color:var(--muted);margin:0 0 12px;font-size:12px}.author-response__form{border:1px solid var(--line);background:#fbfaf6;gap:12px;margin:20px 0 0;padding:18px;display:grid}.author-response__form legend{color:var(--ink);font-family:var(--serif);padding-right:8px;font-size:18px;font-weight:600}.author-response__form-help{margin:0 0 2px}.author-response__form textarea{border:1px solid var(--line-strong);width:100%;min-height:94px;color:var(--ink);font:inherit;resize:vertical;background:#fff;border-radius:2px;padding:11px}.author-response__form textarea:disabled{opacity:.58}.check-row .author-response__confirmation{color:inherit;letter-spacing:0;text-transform:none;margin-left:0;font-size:12px;font-weight:500}.owner-card{padding:22px;position:sticky;top:92px}.owner-card__head{border-bottom:1px solid var(--line);padding-bottom:16px}.owner-card h2{margin-top:9px;font-size:24px}.owner-lock{color:#725712;letter-spacing:.11em;background:#f7f0d8;border:1px solid #cab676;align-items:center;min-height:23px;padding:3px 7px;font-size:9px;font-weight:800;display:inline-flex}.owner-lock--large{align-self:flex-start;margin-top:7px}.run-meta{margin:13px 0 19px}.run-meta>div{border-bottom:1px solid #ebe8e0;justify-content:space-between;align-items:baseline;gap:14px;padding:8px 0;display:flex}.run-meta dd{text-align:right}.owner-run{width:100%}.owner-message{background:var(--amber-soft);color:#6e541c;border:1px solid #ddc785;margin:11px 0 0;padding:10px;font-size:11px}.owner-message--success{background:var(--sage-soft);color:#4b5736;border-color:#bcc7a8}.prompt-box{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:14px}.prompt-box summary{font-size:12px}.prompt-rich{white-space:pre-wrap;overflow-wrap:anywhere;color:#4d576a;font-family:var(--serif);font-size:11px;line-height:1.55}.prompt-box .prompt-rich{background:var(--paper);max-height:310px;margin:0 0 13px;padding:12px;overflow:auto}.owner-footnote{color:var(--faint);margin:14px 0 0;font-size:10px}.owner-page{padding:58px 0 88px}.owner-page__intro{justify-content:space-between;align-items:flex-start;gap:35px;margin-bottom:34px;display:flex}.owner-page__intro h1{font-size:clamp(40px,5vw,62px)}.owner-page__intro p:not(.eyebrow){color:var(--muted);font-family:var(--serif);margin:16px 0 0;font-size:18px}.owner-layout{grid-template-columns:minmax(0,1fr) 340px;align-items:start;gap:20px;display:grid}.queue-panel{min-width:0}.queue-toolbar{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;padding:22px;display:flex}.queue-toolbar>div{align-items:baseline;gap:10px;display:flex}.queue-toolbar h2{font-size:25px}.queue-toolbar span{color:var(--faint);font-size:11px}.queue-toolbar input{width:290px}.queue-list{display:grid}.queue-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) 205px;gap:20px;padding:20px 22px;display:grid}.queue-row:last-child{border-bottom:0}.queue-row__meta{color:var(--faint);flex-wrap:wrap;gap:9px;font-size:10px;display:flex}.queue-row__meta span:first-child{color:var(--brick);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:700}.queue-row h3{font-family:var(--serif);margin:6px 0 10px;font-size:18px;line-height:1.25}.queue-row h3 a{text-decoration:none}.queue-row h3 a:hover{color:var(--brick)}.queue-row__codes{flex-wrap:wrap;gap:5px;display:flex}.queue-row__action{align-content:center;justify-items:stretch;gap:9px;display:grid}.queue-row__action .status-pill{justify-self:end}.queue-row__message{background:var(--amber-soft);color:#6f551a;border:1px solid #dec98d;grid-column:1/-1;margin:-7px 0 0;padding:8px 10px;font-size:11px}.prompt-sidebar{padding:22px;position:sticky;top:92px}.prompt-sidebar__head{border-bottom:1px solid var(--line);padding-bottom:16px}.prompt-sidebar h2{font-size:24px}.prompt-sidebar__head span{color:var(--muted);font-size:11px}.prompt-sidebar .prompt-rich{max-height:640px;margin:16px 0 0;padding-right:10px;overflow:auto}@media (width<=900px){.filter-grid,.paper-grid,.owner-layout{grid-template-columns:1fr}.owner-card,.prompt-sidebar{position:static}.paper-hero{grid-template-columns:1fr}.paper-actions{grid-template-columns:repeat(2,minmax(0,1fr))}.paper-metadata dl{grid-template-columns:1fr}.owner-page__intro{display:grid}}@media (width<=700px){.page-shell,.site-header__inner{width:min(100% - 24px,1180px)}.site-header__inner{min-height:60px}.site-nav{gap:14px}.site-nav a{font-size:12px}.wordmark{font-size:19px}.wordmark__mark{width:27px;height:27px}.hero{padding:50px 0 39px}.hero h1{font-size:44px}.hero__lede{font-size:18px}.scope-strip>*+:before{display:none}.search-layout{padding-top:25px}.search-panel,.paper-section,.audit-section{padding:21px 17px}.section-heading,.results-heading{flex-direction:column;align-items:flex-start}.query-row,.query-row:first-child{grid-template-columns:90px 1fr;padding-right:0}.query-row input{grid-column:1/-1}.query-row .icon-button{z-index:2;grid-area:1/2;justify-self:end}.query-row:has(.icon-button) select:nth-child(2){padding-right:44px}.filter-box{padding:17px}.audit-status-heading{flex-direction:column;align-items:flex-start;gap:4px}.audit-status-groups,.date-row{grid-template-columns:1fr}.results{margin-top:42px}.sort-control{width:100%;display:grid}.sort-control select{width:100%}.result-card{padding:19px 17px}.result-card h3{font-size:21px}.result-card__footer{flex-direction:column;align-items:flex-start}.mini-audit{grid-template-columns:1fr;width:100%;display:grid}.mini-audit .status-pill{width:100%}.paper-hero{padding:31px 0}.paper-hero h1{font-size:40px}.paper-actions,.audit-placeholder-grid{grid-template-columns:1fr}.audit-report-context{flex-direction:column;align-items:flex-start;gap:8px}.audit-card summary{grid-template-columns:34px 1fr 18px}.audit-card summary .status-pill{grid-column:2}.audit-card__chevron{grid-area:1/3}.audit-card__body{padding:0 13px 13px}.report-bar,.queue-toolbar{flex-direction:column;align-items:stretch}.queue-toolbar input{width:100%}.queue-row{grid-template-columns:1fr}.queue-row__action{grid-template-columns:1fr 1fr;align-items:center}.queue-row__action .status-pill{justify-self:start}.site-footer .page-shell{grid-template-columns:1fr;gap:10px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important}}