:root{--color-bg:#121417;--color-surface:#1a1d22;--color-surface-raised:#22262c;--color-gold:#c9a227;--color-petroleum:#274c5e;--color-moss:#556b56;--color-gray:#b7bec8;--color-text:#eceef1;--color-muted:#7a828e;--color-border:#2e333b;--color-border-subtle:#252930;--font-sans:"Inter", "Segoe UI", system-ui, sans-serif;--font-serif:"Georgia", "Times New Roman", serif;--ease-out:cubic-bezier(.22, 1, .36, 1)}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html,body,#root{width:100%;height:100%}body{background:var(--color-bg);color:var(--color-text);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;font-size:clamp(18px,.75vw + 14px,28px);overflow:hidden}#root{max-width:none;text-align:unset;border:none;min-height:100vh;margin:0}@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.17.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.presentation{cursor:pointer;width:100vw;height:100dvh;overflow:hidden}.slide-wrapper{width:100%;height:100%}.slide-layout{background:var(--color-bg);justify-content:center;align-items:center;width:100%;height:100%;display:flex;position:relative;overflow:hidden}.slide-layout:before{content:"";background:var(--color-gold);opacity:.7;z-index:1;width:3px;position:absolute;top:0;bottom:0;left:0}.slide-layout__content{justify-content:center;align-items:center;width:100%;height:100%;padding:clamp(80px,11vh,110px) clamp(24px,4vw,64px) clamp(48px,6vh,80px);display:flex;overflow:hidden}.ufmt-logo{opacity:.92;z-index:20;width:68px;position:absolute;top:28px;right:36px}.progress-bar{background:var(--color-border-subtle);z-index:20;width:100%;height:2px;position:absolute;bottom:0;left:0}.progress-fill{background:var(--color-gold);height:100%;transition:width .45s var(--ease-out)}.slide-counter{z-index:50;color:var(--color-muted);font-variant-numeric:tabular-nums;letter-spacing:.1em;pointer-events:none;font-size:.85em;position:fixed;bottom:24px;left:36px}.narrative-thread{z-index:15;scrollbar-width:none;position:absolute;top:24px;left:32px;right:120px;overflow-x:auto}.narrative-thread::-webkit-scrollbar{display:none}.narrative-thread__label{letter-spacing:.14em;text-transform:uppercase;color:var(--color-muted);margin-bottom:8px;font-size:.65em;font-weight:600;display:block}.narrative-thread__steps{flex-wrap:wrap;align-items:center;gap:4px 0;list-style:none;display:flex}.narrative-thread__step{align-items:center;display:flex}.narrative-thread__line{background:var(--color-gold);opacity:.5;transform-origin:0;width:20px;height:1px;margin:0 4px;display:block}.narrative-thread__dot{border:1.5px solid var(--color-border);background:var(--color-bg);border-radius:50%;flex-shrink:0;width:8px;height:8px}.narrative-thread__dot.is-active{border-color:var(--color-gold);background:#c9a22740}.narrative-thread__dot.is-current{background:var(--color-gold);box-shadow:0 0 8px #c9a22766}.narrative-thread__text{color:var(--color-muted);white-space:nowrap;margin-left:5px;margin-right:10px;font-size:clamp(.7rem,1.1vw,.9rem)}.narrative-thread__text.is-active{color:var(--color-gray)}.one-message{text-align:center;flex-direction:column;justify-content:center;align-items:center;gap:clamp(16px,2.5vh,32px);width:min(1400px,96vw);display:flex}.one-message__whisper{letter-spacing:.14em;text-transform:uppercase;color:var(--color-muted);font-size:clamp(.8rem,1.3vw,1rem);font-weight:600}.one-message__title{color:var(--color-text);max-width:20ch;font-size:clamp(1.75rem,4vw,3rem);font-weight:600;line-height:1.15}.one-message__human{color:var(--color-gray);max-width:42ch;font-size:clamp(1.05rem,2vw,1.35rem);line-height:1.6}.one-message__footnote{color:var(--color-muted);border-top:1px solid var(--color-border-subtle);max-width:40ch;padding-top:clamp(12px,2vh,20px);font-size:clamp(.85rem,1.4vw,1rem);font-style:italic}.one-message__focus{flex-direction:column;justify-content:center;align-items:center;width:100%;display:flex}.world-to-logic{flex-direction:column;align-items:center;gap:clamp(20px,3vh,36px);width:100%;display:flex}.world-to-logic__world{flex-direction:column;align-items:center;gap:12px;display:flex}.world-to-logic__world p{color:var(--color-text);letter-spacing:-.02em;max-width:14ch;font-size:clamp(2.25rem,6.5vmin,5.5rem);font-weight:500;line-height:1.12}.world-to-logic__icon{font-size:clamp(3rem,7vmin,5.5rem);line-height:1}.world-to-logic__label{color:var(--color-muted);letter-spacing:.06em;margin-bottom:8px;font-size:clamp(.9rem,1.5vw,1.1rem);display:block}.world-to-logic__human{color:var(--color-gray);max-width:36ch;font-size:clamp(1.05rem,2vw,1.3rem);line-height:1.55}.world-to-logic__bridge{opacity:.7;align-items:center;gap:12px;width:min(280px,60vw);display:flex}.world-to-logic__line{background:var(--color-border);flex:1;height:1px}.world-to-logic__arrow{color:var(--color-gold);font-size:clamp(1.25rem,2.5vw,1.75rem)}.world-to-logic__logic{width:100%}.world-to-logic__logic .formula--block{justify-content:center;padding:0}.world-to-logic__logic .katex{color:var(--color-gold);font-size:clamp(2.25rem,5.5vmin,4.5rem)!important}.focus-quote{color:var(--color-text);max-width:18ch;font-size:clamp(1.75rem,4.5vw,3.5rem);font-style:italic;font-weight:500;line-height:1.25}.focus-quote--large{font-size:clamp(2.25rem,6vw,4.5rem);font-style:normal;font-weight:600}.inference-bridge{grid-template-columns:1fr auto 1fr;align-items:center;gap:clamp(24px,5vw,56px);width:100%;max-width:900px;display:grid}.inference-bridge__col{flex-direction:column;align-items:center;gap:12px;display:flex}.inference-bridge__col--gold{align-items:center}.inference-bridge__label{letter-spacing:.12em;text-transform:uppercase;color:var(--color-muted);font-size:clamp(.8rem,1.3vw,.95rem);font-weight:600}.inference-bridge__fact{font-size:clamp(1.5rem,3.5vw,2.25rem);font-family:var(--font-serif);color:var(--color-gray);background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;padding:10px 20px}.inference-bridge__fact--gold{color:var(--color-gold);border-color:#c9a22759;font-size:clamp(2rem,4.5vw,3rem);font-weight:600}.inference-bridge__core{flex-direction:column;align-items:center;gap:8px;display:flex}.inference-bridge__core-label{letter-spacing:.12em;color:var(--color-gold);font-size:clamp(1rem,2vw,1.25rem);font-weight:700}.inference-bridge__core .katex{color:var(--color-gold);font-size:clamp(2.25rem,5vmin,4rem)!important}.focus-split{flex-wrap:wrap;justify-content:center;align-items:center;gap:clamp(16px,3vw,32px);display:flex}.focus-split__item{color:var(--color-text);background:var(--color-surface);border:1px solid var(--color-border);font-size:clamp(1.25rem,3vw,2rem);font-family:var(--font-serif);border-radius:6px;padding:clamp(16px,2vw,24px) clamp(20px,3vw,32px)}.focus-split__vs{color:var(--color-moss);font-size:clamp(1.5rem,3vw,2.25rem);font-weight:700}.focus-trio{flex-wrap:wrap;justify-content:center;gap:clamp(16px,3vw,32px);display:flex}.focus-trio__item{border:1px solid var(--color-border);background:var(--color-surface);border-radius:6px;padding:clamp(20px,3vw,32px) clamp(24px,4vw,40px);font-size:clamp(1.5rem,3.5vw,2.5rem);font-weight:600}.focus-trio__item--gold{color:var(--color-gold);border-color:#c9a22759}.focus-trio__item--petroleum{color:#5a8fa3;border-color:#274c5e80}.focus-trio__item--moss{color:#7a9a7b;border-color:#556b5680}.focus-decidable{flex-direction:column;align-items:center;gap:20px;display:flex}.focus-decidable .katex{font-size:clamp(1.75rem,4vw,2.75rem)!important}.focus-decidable__badge{color:var(--color-moss);letter-spacing:.08em;font-size:clamp(1rem,2vw,1.35rem);font-weight:600}.focus-horn{flex-wrap:wrap;justify-content:center;align-items:center;gap:clamp(12px,2vw,20px);display:flex}.focus-horn .katex{color:var(--color-gold);font-size:clamp(1.25rem,2.5vw,1.75rem)!important}.focus-horn__fact{color:var(--color-text);font-size:clamp(1.1rem,2vw,1.4rem);font-weight:600}.focus-horn__arrow{color:var(--color-muted);font-size:1.5rem}.tag{letter-spacing:.14em;text-transform:uppercase;border:1px solid var(--color-border);border-radius:3px;margin-bottom:16px;padding:4px 10px;font-size:.72rem;font-weight:600;display:inline-block}.tag--gold{color:var(--color-gold);background:#c9a22714;border-color:#c9a22759}.tag--petroleum{color:#5a8fa3;background:#274c5e33;border-color:#274c5e80}.tag--moss{color:#7a9a7b;background:#556b5626;border-color:#556b5680}.section-title{margin-bottom:clamp(24px,4vh,48px)}.section-title--center{text-align:center}.section-title--left{text-align:left}.section-title__heading{letter-spacing:.02em;color:var(--color-text);font-size:clamp(1.75rem,3.5vw,2.75rem);font-weight:600}.section-title__subtitle{color:var(--color-gray);margin-top:10px;font-size:clamp(.9rem,1.6vw,1rem)}.card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;width:min(300px,100%);padding:clamp(24px,3vw,32px)}.card-title{color:var(--color-text);margin-bottom:10px;font-size:clamp(1.1rem,2vw,1.35rem);font-weight:600}.card-index{color:var(--card-accent);opacity:.85;margin-bottom:12px;font-size:1.75rem;font-weight:700;line-height:1;display:block}.card-description{color:var(--color-gray);font-size:.92rem;line-height:1.65}.formula{color:var(--color-text)}.formula--block{justify-content:flex-start;padding:14px 0;font-size:clamp(1.15rem,2.5vw,1.65rem);display:flex}.formula--block .katex{font-size:1.25em}.formula--inline .katex{color:var(--color-gold);font-size:1em}.example-block{background:var(--color-surface);border:1px solid var(--color-border);border-left:3px solid var(--color-gold);border-radius:4px;padding:clamp(18px,2.5vw,28px) clamp(20px,3vw,32px)}.example-block+.example-block{margin-top:14px}.example-block__label{letter-spacing:.08em;text-transform:uppercase;color:var(--color-muted);margin-bottom:8px;font-size:.78rem;font-weight:600;display:block}.example-block__reading{color:var(--color-gray);margin-top:10px;font-size:clamp(.92rem,1.6vw,1.02rem);line-height:1.65}.example-block__note{color:var(--color-muted);margin-top:8px;font-size:.85rem;font-style:italic}.slide-content{flex-direction:column;justify-content:center;width:min(1100px,94vw);min-height:auto;padding:clamp(16px,2vh,32px) 0;display:flex}.slide-content--center{text-align:center;align-items:center}.slide-content__title{color:var(--color-text);letter-spacing:.01em;margin-bottom:8px;font-size:clamp(1.75rem,3.5vw,2.75rem);font-weight:600}.slide-content__hook{color:var(--color-muted);margin-bottom:28px;font-size:clamp(.9rem,1.5vw,1rem);line-height:1.5}.slide-content__body{width:100%}.slide-content__footnote{color:var(--color-muted);border-top:1px solid var(--color-border-subtle);margin-top:24px;padding-top:16px;font-size:.85rem}.graph{width:min(720px,88vw);margin:0 auto}.graph__svg{width:100%;height:auto;overflow:visible}.graph__label{font-family:var(--font-sans);letter-spacing:.06em;font-size:12px;font-weight:600}.slide-cover{text-align:center;flex-direction:column;justify-content:center;align-items:center;gap:clamp(20px,3vh,36px);width:100%;height:100%;padding:clamp(32px,5vw,64px);display:flex}.slide-cover__eyebrow{letter-spacing:.14em;text-transform:uppercase;color:var(--color-gold);font-size:clamp(.85rem,1.5vw,1.1rem);font-weight:600}.slide-cover__title{font-family:var(--font-serif);color:var(--color-text);letter-spacing:.01em;font-size:clamp(4rem,11vmin,8.5rem);font-weight:400;line-height:1.02}.slide-cover__lead{color:var(--color-gray);letter-spacing:.12em;font-size:clamp(1.1rem,2.2vw,1.5rem)}.slide-cover__credits{flex-wrap:wrap;justify-content:center;gap:clamp(32px,6vw,72px);margin-top:clamp(24px,4vh,48px);display:flex}.slide-cover__credit-block{color:var(--color-text);flex-direction:column;gap:6px;font-size:clamp(1rem,1.8vw,1.2rem);display:flex}.slide-cover__credit-label{letter-spacing:.14em;text-transform:uppercase;color:var(--color-muted);font-size:clamp(.7rem,1.1vw,.85rem);font-weight:600}.proposition-demo{flex-wrap:wrap;justify-content:center;gap:clamp(20px,4vw,40px);display:flex}.proposition-demo__item{border:1px solid var(--color-border);background:var(--color-surface);border-radius:8px;flex-direction:column;align-items:center;gap:12px;min-width:min(280px,80vw);padding:clamp(24px,4vw,40px);display:flex}.proposition-demo__item span:first-child{font-size:clamp(2.5rem,6vmin,4rem)}.proposition-demo__item p{color:var(--color-text);font-size:clamp(1.25rem,3vw,1.75rem)}.proposition-demo__verdict{color:var(--color-muted);letter-spacing:.06em;font-size:clamp(.85rem,1.4vw,1rem)!important}.proposition-demo__item--ok{border-color:#c9a22759}.proposition-demo__item--no{opacity:.55}.truth-table{border:1px solid var(--color-border);background:var(--color-surface);border-radius:8px;width:min(520px,90vw);overflow:hidden}.truth-table__header,.truth-table__row{grid-template-columns:repeat(3,1fr);display:grid}.truth-table__header{background:var(--color-surface-raised);border-bottom:1px solid var(--color-border)}.truth-table__cell{font-size:clamp(1.25rem,3vw,2rem);font-family:var(--font-serif);text-align:center;color:var(--color-gray);border-right:1px solid var(--color-border-subtle);padding:clamp(14px,2.5vw,22px)}.truth-table__cell:last-child{border-right:none}.truth-table__cell--head{color:var(--color-text);font-size:clamp(1.1rem,2.5vw,1.6rem);font-weight:700}.truth-table__cell--result{font-weight:700}.truth-table__cell--result.is-true{color:var(--color-moss);background:#556b561f}.truth-table__cell--result.is-false{color:#c97070;background:#c970701a}.truth-table__row:not(:last-child){border-bottom:1px solid var(--color-border-subtle)}.slide-logic{flex-direction:column;justify-content:center;gap:clamp(20px,3vh,36px);width:min(1200px,94vw);display:flex}.slide-logic__title{text-align:center;color:var(--color-text);font-size:clamp(2rem,4vw,3rem);font-weight:600}.slide-logic__hook{text-align:center;color:var(--color-muted);margin-top:-8px;font-size:clamp(1rem,1.8vw,1.2rem)}.slide-logic__story{flex-direction:column;gap:16px;display:flex}.story-step{background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;grid-template-columns:1fr auto 1fr;align-items:center;gap:clamp(16px,3vw,32px);padding:clamp(16px,2vw,24px);display:grid}.story-step__world,.story-step__symbol{align-items:center;gap:14px;display:flex}.story-step__world p,.story-step__symbol p{color:var(--color-gray);font-size:clamp(1rem,1.7vw,1.15rem);line-height:1.5}.story-step__icon{flex-shrink:0;font-size:clamp(1.5rem,3vw,2rem)}.story-step__arrow{color:var(--color-gold);opacity:.6;font-size:1.4rem}.story-step__symbol{text-align:right;flex-direction:row-reverse;justify-content:flex-end}.story-step__symbol .formula--inline .katex{color:var(--color-gold);font-size:1.4em}.slide-logic__bridge{grid-template-columns:1fr auto 1fr;align-items:stretch;gap:clamp(16px,3vw,28px);display:grid}.bridge-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:6px;flex-direction:column;gap:10px;padding:clamp(18px,2.5vw,28px);display:flex}.bridge-card--center{border-color:#c9a22759;justify-content:center;align-items:center;min-width:clamp(140px,18vw,200px)}.bridge-card__label{letter-spacing:.12em;text-transform:uppercase;color:var(--color-muted);font-size:.75em;font-weight:600}.bridge-card__core{letter-spacing:.1em;color:var(--color-gold);font-size:clamp(1.2rem,2.5vw,1.6rem);font-weight:700}.bridge-card__example{color:var(--color-text);font-size:clamp(.95rem,1.6vw,1.1rem);line-height:1.5}.slide-logic__caption{text-align:center;color:var(--color-gray);font-size:clamp(.95rem,1.6vw,1.1rem)}.slide-map{flex-direction:column;justify-content:center;align-items:center;gap:clamp(16px,2.5vh,28px);width:min(1200px,94vw);display:flex}.slide-map__title{color:var(--color-text);text-align:center;font-size:clamp(2rem,4vw,3rem);font-weight:600}.slide-map__subtitle{color:var(--color-muted);text-align:center;margin-top:8px;margin-bottom:24px;font-size:.92rem}.slide-map__graph{width:min(900px,90vw)}.slide-map__branches{grid-template-columns:repeat(3,1fr);gap:clamp(12px,2vw,20px);width:100%;display:grid}.slide-map__branch{background:var(--color-surface);border:1px solid var(--color-border);text-align:center;border-top:3px solid;border-radius:6px;padding:clamp(16px,2vw,22px)}.slide-map__branch--gold{border-top-color:var(--color-gold)}.slide-map__branch--petroleum{border-top-color:var(--color-petroleum)}.slide-map__branch--moss{border-top-color:var(--color-moss)}.slide-map__branch-title{letter-spacing:.1em;text-transform:uppercase;color:var(--color-text);margin-bottom:8px;font-size:.8em;font-weight:600;display:block}.slide-map__branch-example{font-family:var(--font-serif);color:var(--color-gold);margin-bottom:6px;font-size:clamp(.95rem,1.6vw,1.1rem);display:block}.slide-map__branch-note{color:var(--color-muted);font-size:.82em}.slide-expansion{flex-direction:column;justify-content:center;align-items:center;gap:clamp(20px,3vh,32px);width:min(1200px,94vw);display:flex}.slide-expansion__theme{text-align:center;background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;width:100%;max-width:560px;margin-bottom:32px;padding:20px 28px}.slide-expansion__theme-label{letter-spacing:.14em;text-transform:uppercase;color:var(--color-gold);margin-bottom:8px;font-size:.72rem;font-weight:600;display:block}.slide-expansion__theme-text{color:var(--color-text);font-size:1rem;font-weight:500}.slide-expansion__theme-question{color:var(--color-gray);margin-top:8px;font-size:.92rem;font-style:italic}.slide-expansion__title{color:var(--color-text);text-align:center;margin-bottom:28px;font-size:clamp(1.3rem,2.5vw,1.75rem);font-weight:600}.slide-expansion__grid{grid-template-columns:repeat(3,1fr);gap:clamp(16px,2.5vw,28px);width:100%;display:grid}.expansion-card{background:var(--color-surface);border:1px solid var(--color-border);border-top:3px solid;border-radius:6px;padding:clamp(22px,3vw,32px)}.expansion-card--gold{border-top-color:var(--color-gold)}.expansion-card--petroleum{border-top-color:var(--color-petroleum)}.expansion-card--moss{border-top-color:var(--color-moss)}.expansion-card__index{color:var(--color-gold);opacity:.7;margin-bottom:12px;font-size:clamp(1.75rem,3vw,2.25rem);font-weight:700;line-height:1;display:block}.expansion-card__title{color:var(--color-text);margin-bottom:8px;font-size:clamp(1.15rem,2vw,1.4rem);font-weight:600}.expansion-card__desc{color:var(--color-gray);margin-bottom:14px;font-size:clamp(.9rem,1.5vw,1rem);line-height:1.55}.expansion-card__example{font-family:var(--font-serif);color:var(--color-gold);background:var(--color-surface-raised);border-radius:4px;padding:10px 12px;font-size:clamp(.88rem,1.4vw,1rem);line-height:1.5;display:block}.property-list{grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:8px;margin-top:16px;list-style:none;display:grid}.property-list li{font-size:.85rem;font-family:var(--font-serif);background:var(--color-surface-raised);border:1px solid var(--color-border-subtle);color:var(--color-gray);border-radius:3px;padding:8px 12px}.comparison-table{flex-direction:column;gap:12px;display:flex}.comparison-table__row{background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;grid-template-columns:minmax(120px,1fr) 2fr;align-items:center;gap:16px;padding:14px 18px;display:grid}.comparison-table__reading{color:var(--color-gray);font-size:.9rem;line-height:1.5}.conflict-grid{grid-template-columns:1fr 1fr;gap:14px;display:grid}.conflict-grid__item{background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;padding:18px 20px}.conflict-grid__bank{letter-spacing:.1em;text-transform:uppercase;color:var(--color-muted);margin-bottom:10px;font-size:.75rem;font-weight:600;display:block}.conflict-grid__claim{font-family:var(--font-serif);color:var(--color-text);font-size:.95rem}.conflict-grid__verdict{color:var(--color-gray);border-left:3px solid var(--color-moss);background:#556b561a;margin-top:16px;padding:12px 16px;font-size:.9rem}.slide-synthesis,.slide-summary{flex-direction:column;justify-content:center;width:min(800px,90vw);min-height:100%;padding:clamp(32px,5vh,56px);display:flex}.slide-synthesis__title,.slide-summary__title{text-align:center;color:var(--color-text);margin-bottom:20px;font-size:clamp(1.5rem,3vw,2.25rem);font-weight:600}.slide-synthesis__problem{text-align:center;color:var(--color-gray);margin-bottom:36px;font-size:1rem;font-style:italic}.slide-synthesis__grid{grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.slide-synthesis__card{background:var(--color-surface);border:1px solid var(--color-border);border-top:3px solid;border-radius:4px;padding:24px 20px}.slide-synthesis__card--gold{border-top-color:var(--color-gold)}.slide-synthesis__card--petroleum{border-top-color:var(--color-petroleum)}.slide-synthesis__card--moss{border-top-color:var(--color-moss)}.slide-synthesis__card-label{letter-spacing:.12em;text-transform:uppercase;color:var(--color-muted);margin-bottom:10px;font-size:.75rem;font-weight:600;display:block}.slide-synthesis__card-text{color:var(--color-gray);font-size:.92rem;line-height:1.55}.slide-summary__list{flex-direction:column;gap:16px;list-style:none;display:flex}.slide-summary__item{background:var(--color-surface);border:1px solid var(--color-border);border-left:3px solid;border-radius:4px;padding:18px 22px}.slide-summary__item--gold{border-left-color:var(--color-gold)}.slide-summary__item--petroleum{border-left-color:var(--color-petroleum)}.slide-summary__item--moss{border-left-color:var(--color-moss)}.slide-summary__text{color:var(--color-text);font-size:.95rem;line-height:1.5}.slide-summary__sub{color:var(--color-muted);margin-top:6px;font-size:.85rem}.decidability-grid{grid-template-columns:1fr 1fr;gap:14px;display:grid}.decidability-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;padding:18px 20px}.decidability-card__header{color:var(--color-text);justify-content:space-between;align-items:center;margin-bottom:10px;font-size:.9rem;font-weight:600;display:flex}.decidability-card__status{letter-spacing:.08em;text-transform:uppercase;border-radius:3px;padding:3px 8px;font-size:.72rem;font-weight:600}.decidability-card__status--ok{color:#7a9a7b;background:#556b5633}.decidability-card__status--warn{color:#c9a227;background:#c9a2271f}.decidability-card__note{color:var(--color-muted);margin-top:10px;font-size:.82rem}.horn-layout{flex-direction:column;gap:20px;display:flex}.horn-layout__clauses{background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;flex-direction:column;gap:8px;padding:16px 20px;display:flex}.horn-layout__facts,.horn-layout__derive{background:var(--color-surface-raised);border:1px solid var(--color-border-subtle);border-radius:4px;padding:14px 18px}.horn-layout__label{letter-spacing:.1em;text-transform:uppercase;color:var(--color-muted);margin-bottom:8px;font-size:.72rem;font-weight:600;display:block}.horn-layout__facts code{color:var(--color-gold);margin-right:12px;font-size:.9rem;display:inline-block}.bullet-list{flex-direction:column;gap:8px;margin-top:12px;list-style:none;display:flex}.bullet-list li{color:var(--color-gray);border-left:2px solid var(--color-border);padding-left:14px;font-size:.88rem}.slide-thanks{text-align:center;flex-direction:column;justify-content:center;align-items:center;width:100%;height:100%;display:flex}.slide-thanks__title{font-family:var(--font-serif);color:var(--color-text);font-size:clamp(2.5rem,6vw,4rem);font-weight:400}.slide-thanks__subtitle{color:var(--color-gray);margin-top:16px;font-size:1.1rem}.slide-thanks__footer{color:var(--color-muted);letter-spacing:.08em;font-size:.82rem;position:absolute;bottom:72px}.visual-node{text-align:center;background:var(--color-surface);border:1px solid var(--color-border);border-radius:4px;padding:14px 20px}.visual-node__label{letter-spacing:.06em;color:var(--node-accent);font-weight:600;display:block}.timeline{flex-wrap:wrap;justify-content:center;gap:20px;list-style:none;display:flex}.timeline__event{align-items:flex-start;gap:10px;max-width:200px;display:flex}.timeline__marker{background:var(--event-accent);border-radius:50%;flex-shrink:0;width:8px;height:8px;margin-top:5px}.timeline__label{color:var(--color-text);font-size:.9rem;font-weight:600}.timeline__description{color:var(--color-gray);margin-top:4px;font-size:.82rem;display:block}@media (width<=768px){.ufmt-logo{width:48px;top:16px;right:16px}.narrative-thread{display:none}.slide-counter{bottom:16px;left:20px}.story-step{text-align:center;grid-template-columns:1fr}.story-step__arrow{display:none}.story-step__symbol{text-align:center;flex-direction:column}.slide-logic__bridge{grid-template-columns:1fr}.inference-bridge{grid-template-columns:1fr;gap:20px}.inference-bridge__core{order:-1}.slide-map__branches,.slide-expansion__grid,.slide-synthesis__grid,.conflict-grid,.decidability-grid{grid-template-columns:1fr}.comparison-table__row{grid-template-columns:1fr;gap:8px}.slide-expansion__grid{grid-template-columns:1fr;max-width:340px}.slide-cover__footer{flex-direction:column;gap:8px;bottom:40px}}@media (width>=1920px){body{font-size:clamp(19px,.5vw + 14px,24px)}.graph__label{font-size:15px}}@media (width>=2560px){body{font-size:26px}.slide-content,.one-message{width:min(1500px,88vw)}.world-to-logic__world p{font-size:5.5rem}.world-to-logic__logic .katex{font-size:4.5rem!important}}