@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{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.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;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.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{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.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;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.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:.8333333333em}.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.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.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.6666666667em}.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.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.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.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.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:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.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.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.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.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.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:.4166666667em}.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:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.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:.8333333333em}.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.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.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:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.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.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.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.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.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.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.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{display:inline-block;width:.12em}.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{display:inline-block;min-width:1px}.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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.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{border:.04em solid;box-sizing:border-box}.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{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;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{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.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{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{--paper: #eee9df;--paper-deep: #ddd5c7;--paper-light: #f7f3eb;--ink: #181917;--ink-soft: #242520;--muted: #6f6c64;--line: rgba(24, 25, 23, .18);--line-light: rgba(238, 233, 223, .2);--red: #b73529;--red-bright: #e45343;--gold: #9c7d4e;--serif: "Noto Serif SC", "Source Han Serif SC", "Songti SC", STSong, Georgia, serif;--sans: Inter, "Noto Sans SC", "Microsoft YaHei", Arial, sans-serif;font-family:var(--sans);color:var(--ink);background:var(--paper);font-synthesis:none;text-rendering:optimizeLegibility}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--paper)}body{min-width:320px;margin:0;background:radial-gradient(circle at 18% 8%,rgba(255,255,255,.45),transparent 24%),var(--paper)}body:has(.lightbox){overflow:hidden}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit;text-decoration:none}img{display:block;max-width:100%}p{text-wrap:pretty}::selection{color:var(--paper-light);background:var(--red)}.site{overflow:clip}.reading-progress{position:fixed;z-index:100;top:0;right:0;left:0;height:2px;background:var(--red-bright);transform-origin:0 50%}.topbar{position:fixed;z-index:90;top:0;right:0;left:0;display:flex;align-items:center;justify-content:space-between;height:72px;padding:0 38px;color:var(--paper);border-bottom:1px solid rgba(238,233,223,.17);background:#181917eb;backdrop-filter:blur(16px)}.brand{display:flex;align-items:baseline;gap:18px}.brand span{font-family:var(--serif);font-size:25px;font-weight:700;letter-spacing:.12em}.brand small,.topbar__status{font-size:9px;letter-spacing:.16em;text-transform:uppercase}.brand small{color:#aaa79f}.topbar__status{display:flex;align-items:center;gap:28px;color:#aaa79f}.dossier-switch{padding:7px 0;border-bottom:1px solid #66645e;transition:color .16s ease,border-color .16s ease}.dossier-switch:hover{color:var(--paper);border-color:var(--red-bright)}.topbar__status button{display:none;align-items:center;gap:12px;padding:8px 0;color:var(--paper);border:0;background:transparent}.topbar__status i{position:relative;display:block;width:20px;height:1px;background:currentColor}.topbar__status i:after{position:absolute;top:6px;left:0;width:20px;height:1px;content:"";background:currentColor}.mobile-menu{position:fixed;z-index:80;top:62px;right:0;left:0;display:none;padding:18px 20px 30px;color:var(--paper);background:var(--ink);box-shadow:0 20px 40px #0000003d}.mobile-menu a{display:flex;gap:18px;padding:11px 0;border-bottom:1px solid var(--line-light);font-family:var(--serif);font-size:20px}.mobile-menu span{width:28px;color:var(--red-bright);font-family:var(--sans);font-size:9px}.hero{position:relative;display:grid;grid-template-columns:minmax(0,1.12fr) minmax(430px,.88fr);min-height:100svh;overflow:hidden;color:var(--paper);background:var(--ink)}.hero:after{position:absolute;top:72px;bottom:0;left:57%;width:1px;content:"";background:#eee9df29}.hero__copy{position:relative;z-index:4;align-self:end;padding:150px 5vw 9vh 7vw}.hero__copy>p{margin:0 0 28px;color:#aaa79f;font-size:10px;letter-spacing:.16em}.hero h1{margin:0;font-family:var(--serif);font-size:clamp(72px,7.2vw,128px);font-weight:500;letter-spacing:-.075em;line-height:.88}.hero h1 span{display:block}.hero h1 span:nth-child(2){margin-left:.38em}.hero h1 span:last-child{margin-left:1.4em;color:var(--red-bright);font-style:italic}.hero__dek{display:flex;gap:24px;margin:42px 0 34px 28%;color:#bbb7ae;font-size:10px;letter-spacing:.07em}.hero__dek p{margin:0;padding-left:12px;border-left:1px solid #696860}.hero__copy>a{display:inline-flex;align-items:center;gap:34px;padding-bottom:8px;border-bottom:1px solid #75736d;font-size:10px;letter-spacing:.12em}.hero__copy>a span{color:var(--red-bright);font-size:17px}.hero__image{position:relative;z-index:2;align-self:end;width:min(43vw,650px);height:min(82svh,850px);margin:0 0 0 2vw;overflow:hidden}.hero__image:after{position:absolute;inset:0;content:"";background:linear-gradient(180deg,#18191705 40%,#181917eb)}.hero__image img{width:100%;height:100%;object-fit:cover;object-position:50% 8%;filter:sepia(.34) saturate(.72) contrast(1.08);opacity:.9}.hero__image figcaption{position:absolute;z-index:2;right:24px;bottom:20px;left:24px;display:flex;justify-content:space-between;color:#c7c3b9;font-size:7px;letter-spacing:.13em;text-transform:uppercase}.hero__number{position:absolute;z-index:5;top:51%;right:-.47em;color:var(--red-bright);font-family:var(--serif);font-size:clamp(116px,15.5vw,270px);letter-spacing:-.085em;line-height:1;opacity:.92;transform:rotate(90deg) translate(50%);transform-origin:right top}.hero__aside{position:absolute;z-index:6;right:24px;bottom:18px;margin:0;color:#9c9a93;font-size:8px;letter-spacing:.08em;writing-mode:vertical-rl}.reading-layout{display:grid;grid-template-columns:188px minmax(0,1fr)}.chapter-rail{position:sticky;z-index:20;top:72px;align-self:start;height:calc(100svh - 72px);padding:45px 24px 30px 32px;border-right:1px solid var(--line);background:#eee9dfed;backdrop-filter:blur(10px)}.chapter-rail>p{margin:0 0 28px;color:var(--muted);font-size:9px;letter-spacing:.14em}.chapter-rail nav{display:grid}.chapter-rail a{display:grid;grid-template-columns:29px 1fr;align-items:center;min-height:45px;color:#858178;border-bottom:1px solid rgba(24,25,23,.07);transition:color .18s ease,transform .18s ease}.chapter-rail a:hover,.chapter-rail a.active{color:var(--red);transform:translate(4px)}.chapter-rail a span{font-size:8px}.chapter-rail a em{font-family:var(--serif);font-size:13px;font-style:normal}.chapters{min-width:0}.chapter{position:relative;padding:150px clamp(34px,7vw,112px) 180px;scroll-margin-top:72px;border-bottom:1px solid var(--line)}.chapter--ink,.chapter--euler{color:var(--paper);border-color:var(--line-light);background:var(--ink)}.chapter--euler{background:radial-gradient(circle at 90% 18%,rgba(183,53,41,.14),transparent 30%),#1d1e1b}.chapter--warm{background:#e4dacb}.chapter--method{padding-top:125px}.chapter-header{max-width:1100px;margin:0 auto 110px}.chapter-meta{display:flex;align-items:center;gap:34px;margin-bottom:28px;color:var(--red);font-size:9px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.chapter--ink .chapter-meta,.chapter--euler .chapter-meta{color:var(--red-bright)}.chapter-meta span{display:grid;width:31px;height:31px;border:1px solid currentColor;border-radius:50%;place-items:center}.chapter-header h2{max-width:1020px;margin:0;font-family:var(--serif);font-size:clamp(50px,6.2vw,96px);font-weight:500;letter-spacing:-.065em;line-height:1.02}.chapter-header>p{max-width:760px;margin:42px 0 0 22%;color:var(--muted);font-family:var(--serif);font-size:clamp(20px,2.1vw,29px);line-height:1.72}.chapter--ink .chapter-header>p,.chapter--euler .chapter-header>p{color:#aaa79f}.method-grid{display:grid;grid-template-columns:repeat(4,1fr);max-width:1100px;margin:0 auto;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink)}.method-grid>div{min-height:280px;padding:25px 24px 30px 0;border-right:1px solid var(--line)}.method-grid>div:not(:first-child){padding-left:24px}.method-grid>div:last-child{border-right:0}.method-grid span{color:var(--red);font-size:10px}.method-grid h3{margin:45px 0 18px;font-family:var(--serif);font-size:26px;font-weight:500}.method-grid p{margin:0;color:var(--muted);font-size:13px;line-height:1.85}.layer-legend{display:flex;align-items:center;gap:12px;max-width:1100px;margin:42px auto 0}.layer-legend p{margin:0 0 0 auto;color:var(--muted);font-size:11px}.layer-tag{display:inline-flex;align-items:center;width:max-content;min-height:22px;padding:3px 7px;color:var(--paper-light);background:#5e615b;font-family:var(--sans);font-size:8px;font-weight:700;letter-spacing:.11em;line-height:1;text-transform:uppercase}.layer-tag--source{background:var(--red)}.layer-tag--transcription{color:var(--ink);background:#c8bca9}.layer-tag--translation{color:var(--ink);background:#d7b672}.prose-layout{display:grid;grid-template-columns:minmax(0,760px) minmax(210px,270px);gap:clamp(55px,8vw,120px);justify-content:center;max-width:1100px;margin:0 auto 100px}.prose{font-family:var(--serif);font-size:18px;line-height:2}.prose h3{margin:70px 0 22px;font-size:35px;font-weight:500;letter-spacing:-.025em;line-height:1.25}.concept-portal{position:relative;display:block;margin:48px 0 68px;padding:30px 78px 30px 0;border-top:3px solid var(--red);border-bottom:1px solid var(--line);font-family:var(--sans)}.concept-portal>span{display:block;margin-bottom:14px;color:var(--red);font-size:8px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.concept-portal>strong{display:block;font-family:var(--serif);font-size:24px;font-weight:600;line-height:1.4}.concept-portal>p{max-width:640px;margin:14px 0 0;color:var(--muted);font-size:12px;line-height:1.8}.concept-portal>i{position:absolute;right:0;bottom:31px;color:var(--red);font-size:9px;font-style:normal;letter-spacing:.06em}.concept-portal:hover>strong,.concept-portal:hover>i{color:var(--red)}.prose h3:first-child{margin-top:0}.prose p{margin:0 0 27px}.prose i{color:var(--red)}.chapter--ink .prose i,.chapter--euler .prose i{color:var(--red-bright)}.margin-note{align-self:start;padding:22px 0;border-top:2px solid var(--ink);border-bottom:1px solid var(--line)}.chapter--ink .margin-note,.chapter--euler .margin-note{border-top-color:var(--paper);border-bottom-color:var(--line-light)}.margin-note>span{color:var(--red);font-size:9px;font-weight:700;letter-spacing:.13em}.chapter--ink .margin-note>span,.chapter--euler .margin-note>span{color:var(--red-bright)}.margin-note p{margin:18px 0 0;color:var(--muted);font-family:var(--serif);font-size:14px;line-height:1.85}.chapter--ink .margin-note p,.chapter--euler .margin-note p{color:#aaa79f}.margin-note--red{padding:22px;color:var(--paper);border:0;background:var(--red)}.margin-note--red>span,.margin-note--red p{color:inherit}.chapter--method>.margin-note{max-width:450px;margin:70px 0 0 auto}.formula{overflow-x:clip;overflow-y:hidden}.formula-fit__content{display:block;width:max-content;max-width:none;transform-origin:left center}.formula-fit--scroll{overflow-x:auto;overscroll-behavior-inline:contain;scrollbar-width:none;-ms-overflow-style:none}.formula-fit--scroll::-webkit-scrollbar{display:none;width:0;height:0}.formula--block{margin:34px 0;padding:20px 0;font-size:clamp(16px,1.7vw,23px)}.formula--inline{display:inline-block;margin:9px 0}.formula--inline .formula-fit__content{display:inline-block;width:auto}.katex-display{margin:0!important;text-align:left!important}.katex-display>.katex{text-align:left}.derivation{max-width:1100px;margin:120px auto;border-top:1px solid currentColor}.derivation__title{display:grid;grid-template-columns:170px 1fr;align-items:start;gap:28px;padding:26px 0 34px;border-bottom:1px solid var(--line)}.chapter--ink .derivation__title,.chapter--euler .derivation__title{border-color:var(--line-light)}.derivation h4{margin:0;font-family:var(--serif);font-size:30px;font-weight:500}.derivation ol{margin:0;padding:0;list-style:none}.derivation li{display:grid;grid-template-columns:170px minmax(0,1fr);gap:28px;padding:27px 0;border-bottom:1px solid var(--line)}.chapter--ink .derivation li,.chapter--euler .derivation li{border-color:var(--line-light)}.derivation li>span{color:var(--red);font-size:9px}.chapter--ink .derivation li>span,.chapter--euler .derivation li>span{color:var(--red-bright)}.derivation li p{max-width:770px;margin:0 0 12px;color:var(--muted);font-family:var(--serif);line-height:1.8}.chapter--ink .derivation li p,.chapter--euler .derivation li p{color:#aaa79f}.derivation li .formula{margin:5px 0}.derivation__conclusion{max-width:780px;margin:28px 0 0 198px;color:var(--muted);font-family:var(--serif);font-size:14px;line-height:1.8}.chapter--ink .derivation__conclusion,.chapter--euler .derivation__conclusion{color:#aaa79f}.lab{max-width:1100px;margin:110px auto;padding:50px 0;border-top:1px solid currentColor;border-bottom:1px solid currentColor}.lab header{display:grid;grid-template-columns:170px 1fr;gap:28px;margin-bottom:45px}.lab h4{margin:0;font-family:var(--serif);font-size:clamp(31px,4vw,54px);font-weight:500;line-height:1.08}.lab header p{grid-column:2;max-width:680px;margin:-14px 0 0;color:var(--muted);font-family:var(--serif);font-size:14px}.chapter--ink .lab header p,.chapter--euler .lab header p{color:#aaa79f}input[type=range]{width:100%;height:2px;margin:18px 0 48px;appearance:none;background:var(--line);cursor:ew-resize}.chapter--ink input[type=range],.chapter--euler input[type=range],.lab--dark input[type=range]{background:#eee9df52}input[type=range]::-webkit-slider-thumb{width:16px;height:16px;appearance:none;border:3px solid var(--paper);border-radius:50%;background:var(--red);box-shadow:0 0 0 1px var(--red)}.chapter--ink input[type=range]::-webkit-slider-thumb,.chapter--euler input[type=range]::-webkit-slider-thumb{border-color:var(--ink);background:var(--red-bright);box-shadow:0 0 0 1px var(--red-bright)}.lab-grid{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.chapter--ink .lab-grid,.chapter--euler .lab-grid{border-color:var(--line-light)}.lab-grid--three{grid-template-columns:repeat(3,1fr)}.lab-grid>div{min-width:0;padding:20px 18px 25px 0;border-right:1px solid var(--line)}.chapter--ink .lab-grid>div,.chapter--euler .lab-grid>div{border-color:var(--line-light)}.lab-grid>div:not(:first-child){padding-left:18px}.lab-grid>div:last-child{border-right:0}.lab-grid span{display:block;margin-bottom:24px;color:var(--muted);font-size:9px;letter-spacing:.08em}.chapter--ink .lab-grid span,.chapter--euler .lab-grid span{color:#8f8d86}.lab-grid strong{display:block;overflow:hidden;color:var(--red);font-family:var(--serif);font-size:clamp(20px,2vw,29px);font-weight:500;text-overflow:ellipsis}.chapter--ink .lab-grid strong,.chapter--euler .lab-grid strong{color:var(--red-bright)}.napier-primer,.napier-computation{max-width:1100px;margin:110px auto}.napier-primer{padding:42px 0 0;border-top:1px solid var(--paper);border-bottom:1px solid var(--line-light)}.napier-primer>header,.napier-computation>header{display:grid;grid-template-columns:170px minmax(0,1fr);gap:10px 28px;margin-bottom:45px}.napier-primer>header h4,.napier-computation>header h4{margin:0;font-family:var(--serif);font-size:clamp(31px,4vw,54px);font-weight:500;letter-spacing:-.035em;line-height:1.08}.napier-primer>header p,.napier-computation>header p{grid-column:2;max-width:720px;margin:8px 0 0;color:#aaa79f;font-family:var(--serif);font-size:14px;line-height:1.75}.napier-term-table{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-top:1px solid var(--line-light);border-bottom:1px solid var(--line-light)}.napier-term-table>div{min-width:0;padding:32px 30px 34px;border-right:1px solid var(--line-light)}.napier-term-table>div:first-child{padding-left:0}.napier-term-table>div:last-child{padding-right:0;border-right:0}.napier-term-table span,.napier-worked-example span,.napier-spherical-link span{display:block;color:var(--red-bright);font-size:9px;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.napier-term-table strong{display:block;margin:20px 0 12px;font-family:var(--serif);font-size:24px;font-weight:500}.napier-term-table p,.napier-motion-roles p,.napier-operation-list p,.napier-worked-example p,.napier-spherical-link p{margin:0;color:#aaa79f;font-family:var(--serif);font-size:13px;line-height:1.8}.napier-term-table b{color:var(--paper);font-weight:600}.napier-primer>.formula{margin:42px 0;font-size:clamp(17px,2.2vw,28px)}.napier-scale-example{padding:35px 0 38px;border-top:1px solid var(--line-light)}.napier-scale-example__labels,.napier-scale-example__caption{display:grid;grid-template-columns:1fr auto 1fr;align-items:baseline;gap:18px;font-size:9px;letter-spacing:.08em}.napier-scale-example__labels{color:#8f8d86}.napier-scale-example__labels strong{color:var(--paper);font-family:var(--serif);font-size:17px;font-weight:500;letter-spacing:0}.napier-scale-example__labels span:last-child,.napier-scale-example__caption strong{text-align:right}.napier-scale-example__bar{position:relative;height:12px;margin:23px 0 17px;border-top:1px solid var(--paper)}.napier-scale-example__bar:before,.napier-scale-example__bar:after,.napier-scale-example__bar i,.napier-scale-example__bar b{position:absolute;top:-5px;width:1px;height:10px;content:"";background:var(--paper)}.napier-scale-example__bar:before{left:0}.napier-scale-example__bar:after{right:0}.napier-scale-example__bar i{left:50%;width:7px;height:7px;border-radius:50%;background:var(--red-bright);transform:translate(-50%,1px)}.napier-scale-example__bar b{right:50%;top:0;height:2px;background:var(--red-bright)}.napier-scale-example__caption{grid-template-columns:1fr 1fr;color:#8f8d86}.napier-scale-example__caption strong{color:var(--red-bright);font-weight:600}.napier-primer__verdict{margin:0;padding:30px 0 34px;border-top:1px solid var(--line-light);color:#c9c5bc;font-family:var(--serif);font-size:16px;line-height:1.8}.napier-primer__verdict strong{color:var(--paper)}.napier-motion-stage{display:grid;grid-template-columns:minmax(0,1fr) 165px;border-top:1px solid var(--line-light);border-bottom:1px solid var(--line-light)}.napier-track{min-width:0;padding:28px 34px 25px 0}.napier-track--uniform{border-bottom:1px solid var(--line-light)}.napier-track__heading{display:flex;align-items:baseline;justify-content:space-between;gap:22px}.napier-track__heading strong{font-family:var(--serif);font-size:19px;font-weight:500}.napier-track__heading span,.napier-track>p,.napier-shared-time span,.napier-shared-time p,.napier-motion-roles span{color:#8f8d86;font-size:9px;letter-spacing:.07em}.napier-track__line{position:relative;height:2px;margin:34px 8px 26px;background:#eee9df4d}.napier-track__line:before,.napier-track__line:after{position:absolute;top:-4px;width:1px;height:10px;content:"";background:var(--paper)}.napier-track__line:before{left:0}.napier-track__line:after{right:0}.napier-track__line i{position:absolute;top:0;left:0;height:2px;background:var(--red-bright)}.napier-track__line b{position:absolute;top:-13px;display:grid;width:27px;height:27px;place-items:center;color:var(--ink);border-radius:50%;background:var(--paper);font-family:var(--serif);font-size:12px;font-weight:700;transform:translate(-50%)}.napier-track>p{margin:0;text-align:right}.napier-shared-time{grid-column:2;grid-row:1 / span 2;display:flex;flex-direction:column;justify-content:center;padding:30px 0 30px 28px;border-left:1px solid var(--line-light)}.napier-shared-time strong{margin:18px 0 8px;color:var(--red-bright);font-family:var(--serif);font-size:28px;font-weight:500}.napier-shared-time p{margin:0;line-height:1.6}.napier-motion-roles{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:0 45px;margin-bottom:34px;border-bottom:1px solid var(--line-light)}.napier-motion-roles>div{padding:24px 0 28px}.napier-motion-roles>div:first-child{padding-right:45px;border-right:1px solid var(--line-light)}.napier-motion-roles span{display:block;margin-bottom:10px;color:var(--red-bright)}.napier-computation{padding-top:45px;border-top:1px solid var(--paper)}.napier-operation-list{border-top:1px solid var(--line-light)}.napier-operation-list article{display:grid;grid-template-columns:105px minmax(0,1fr) minmax(0,.85fr);align-items:center;gap:32px;min-width:0;padding:22px 0;border-bottom:1px solid var(--line-light)}.napier-operation-list article>span{color:var(--red-bright);font-family:var(--serif);font-size:22px}.napier-operation-list .formula{margin:7px 0}.napier-operation-list article>.formula{font-size:clamp(16px,1.7vw,22px)}.napier-worked-example,.napier-spherical-link{display:grid;grid-template-columns:minmax(260px,.75fr) minmax(0,1.25fr);gap:clamp(45px,7vw,90px);margin-top:75px;padding:42px 0;border-top:3px solid var(--red-bright);border-bottom:1px solid var(--line-light)}.napier-worked-example h3,.napier-spherical-link h3{margin:18px 0 20px;font-family:var(--serif);font-size:clamp(25px,3vw,39px);font-weight:500;letter-spacing:-.025em;line-height:1.2}.napier-worked-example .formula,.napier-spherical-link .formula{margin:0 0 25px}.napier-spherical-link{margin-top:0;border-top:0}.napier-spherical-link ol{margin:35px 0 0;padding:0;border-top:1px solid var(--line-light);list-style:none}.napier-spherical-link li{display:grid;grid-template-columns:38px minmax(0,1fr);gap:15px;padding:16px 0;border-bottom:1px solid var(--line-light)}.napier-spherical-link li span{padding-top:4px}.dual-control{display:grid;grid-template-columns:1fr 1fr;gap:50px}.dual-control span{font-size:10px}.lab--accent{padding:52px;color:var(--paper);border:0;background:var(--red)}.lab--accent .layer-tag{color:var(--red);background:var(--paper)}.lab--accent header p{color:#f0c1b9}.lab--accent input[type=range]{background:#ffffff59}.lab--accent input[type=range]::-webkit-slider-thumb{border-color:var(--red);background:var(--paper);box-shadow:0 0 0 1px var(--paper)}.compound-readout{display:grid;grid-template-columns:1fr auto;align-items:end;gap:12px 40px;border-top:1px solid rgba(255,255,255,.38)}.compound-readout .formula{margin:18px 0 0;font-size:clamp(27px,4vw,60px)}.compound-readout>span,.compound-readout>small{color:#f0c1b9;font-size:10px}.compound-readout>strong{grid-column:2;grid-row:1 / span 2;color:var(--paper);font-family:var(--serif);font-size:clamp(40px,5vw,76px);font-weight:500}.compound-readout>small{grid-column:2;text-align:right}.lab--dark{padding:52px;color:var(--paper);border:1px solid rgba(238,233,223,.28);background:#242520}.base-equation{display:grid;grid-template-columns:190px 1fr;align-items:center;border-top:1px solid var(--line-light);border-bottom:1px solid var(--line-light)}.base-equation>span{color:var(--red-bright);font-family:var(--serif);font-size:29px}.base-equation .formula{margin:10px 0}.base-verdict{min-height:26px;color:#aaa79f;font-size:12px}.base-verdict.found{color:var(--paper)}.lab--dark>button{padding:8px 0;color:var(--red-bright);border:0;border-bottom:1px solid currentColor;background:transparent;cursor:pointer}.notation-line{display:grid;grid-template-columns:repeat(4,1fr);max-width:1100px;margin:-40px auto 110px;border-top:1px solid var(--line-light);border-bottom:1px solid var(--line-light)}.notation-line>div{min-height:220px;padding:26px 24px;border-right:1px solid var(--line-light)}.notation-line>div:first-child{padding-left:0}.notation-line>div:last-child{border-right:0}.notation-line time{color:var(--red-bright);font-size:9px}.notation-line strong{display:block;margin:45px 0 14px;font-family:var(--serif);font-size:22px;font-weight:500}.notation-line p{margin:0;color:#9d9a92;font-size:12px;line-height:1.7}.source-reader{max-width:1200px;margin:150px auto 20px;color:var(--ink);background:var(--paper-light);box-shadow:0 24px 70px #00000021}.source-reader__header{display:grid;grid-template-columns:1fr auto;gap:40px;padding:36px 38px;color:var(--paper);background:#252621}.source-reader__header h3{margin:13px 0 8px;font-family:var(--serif);font-size:31px;font-weight:500}.source-reader__header p{max-width:720px;margin:0;color:#aaa79f;font-family:var(--serif);font-size:12px;line-height:1.7}.source-reader__meta{display:flex;align-items:flex-end;flex-direction:column;gap:8px;color:#9f9c94;font-size:8px;letter-spacing:.1em}.source-reader__meta a{margin-top:auto;color:var(--red-bright);border-bottom:1px solid currentColor}.source-spread{display:grid;grid-template-columns:1fr 1fr;min-height:790px;border-bottom:1px solid var(--line)}.facsimile-pane,.translation-pane{min-width:0;padding:30px}.facsimile-pane{border-right:1px solid var(--line);background:#d8d0c3}.translation-pane{background:#f5f1e8}.pane-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:18px;min-height:52px;margin-bottom:24px}.pane-heading>div:first-child{display:flex;align-items:center;gap:12px}.pane-heading strong{font-family:var(--serif);font-size:14px;font-weight:500}.page-tabs{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:5px}.page-tabs button{padding:5px 7px;color:var(--muted);border:1px solid var(--line);background:transparent;font-size:7px;cursor:pointer}.page-tabs button.active{color:var(--paper);border-color:var(--red);background:var(--red)}.page-image{position:relative;display:grid;width:100%;height:650px;padding:0;overflow:hidden;border:0;background:#bcb3a5;cursor:zoom-in;place-items:center}.page-image img{width:100%;height:100%;object-fit:contain;transition:transform .42s cubic-bezier(.22,1,.36,1)}.page-image:hover img{transform:scale(1.025)}.page-image>span{position:absolute;right:12px;bottom:12px;padding:6px 8px;color:var(--paper);background:#181917c2;font-size:8px;opacity:0;transition:opacity .18s ease}.page-image:hover>span{opacity:1}.page-image--translation{background:#e5e0d7}.page-note{min-height:38px;margin:14px 0 0;color:var(--muted);font-size:9px;line-height:1.6}.translation-sheet{min-height:650px;padding:55px 48px;color:#262620;border:1px solid rgba(24,25,23,.12);background:linear-gradient(90deg,transparent 39px,rgba(183,53,41,.2) 40px,transparent 41px),repeating-linear-gradient(180deg,transparent 0,transparent 31px,rgba(24,25,23,.06) 32px),#fffdf7;box-shadow:0 12px 35px #3e352714}.translation-sheet__title{margin:0 0 42px;font-family:var(--serif);font-size:28px}.translation-sheet>div{margin-bottom:32px}.translation-sheet span{color:var(--red);font-size:8px;letter-spacing:.09em}.translation-sheet p{margin:8px 0 0;font-family:var(--serif);font-size:15px;line-height:2}.transcription{padding:50px 38px 25px}.transcription__heading{display:flex;align-items:center;justify-content:space-between;margin-bottom:30px}.transcription__heading p{margin:0;color:var(--muted);font-size:9px}.transcription article{display:grid;grid-template-columns:115px 1.1fr 1fr;gap:26px;padding:25px 0;border-top:1px solid var(--line)}.transcription article>span{color:var(--red);font-size:9px}.transcription blockquote,.transcription article>p{margin:0;font-family:var(--serif);font-size:14px;line-height:1.85}.transcription blockquote{font-style:italic}.transcription article>p{padding-left:26px;border-left:1px solid var(--line)}.source-reader__note{display:grid;grid-template-columns:115px 1fr;gap:26px;padding:27px 38px 34px;color:#aaa79f;background:#252621}.source-reader__note strong{color:var(--red-bright);font-size:9px;letter-spacing:.09em}.source-reader__note p{max-width:870px;margin:0;font-family:var(--serif);font-size:12px;line-height:1.8}.equivalence-table{display:grid;grid-template-columns:repeat(4,1fr);max-width:1100px;margin:0 auto 110px;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink)}.equivalence-table>div{min-width:0;min-height:235px;padding:24px 22px;border-right:1px solid var(--line)}.equivalence-table>div:first-child{padding-left:0}.equivalence-table>div:last-child{border-right:0}.equivalence-table span{color:var(--red);font-size:9px}.equivalence-table strong{display:block;margin:40px 0 18px;font-family:var(--serif);font-size:20px;font-weight:500}.equivalence-table .formula{margin:0;font-size:15px}.proof-chain{max-width:950px;margin:0 auto}.proof-chain article{position:relative;padding:45px 0 65px 150px;border-top:1px solid var(--line)}.proof-chain article>span{position:absolute;top:45px;left:0;color:var(--red);font-family:var(--serif);font-size:70px;line-height:1}.proof-chain h3{margin:0 0 20px;font-family:var(--serif);font-size:34px;font-weight:500}.proof-chain p{font-family:var(--serif);font-size:17px;line-height:1.9}.why-not{max-width:950px;margin:80px auto 0;padding:65px;color:var(--paper);background:var(--red)}.why-not>p:first-child{margin-top:0;font-family:var(--serif);font-size:clamp(39px,5vw,68px);line-height:1}.why-not>p:last-child{max-width:720px;margin:35px 0 0;font-family:var(--serif);line-height:1.85}.bibliography-group{max-width:1000px;margin:0 auto 85px}.bibliography-group h3,.editorial-policy h3{margin:0 0 24px;font-family:var(--serif);font-size:30px;font-weight:500}.bibliography-group ol{margin:0;padding:0;border-top:1px solid var(--ink);list-style:none}.bibliography-group li{display:grid;grid-template-columns:90px 1fr;border-bottom:1px solid var(--line)}.bibliography-group li span,.bibliography-group li a{padding:17px 0}.bibliography-group li span{color:var(--red);font-size:9px}.bibliography-group li a{font-family:var(--serif);font-size:15px}.bibliography-group li a:hover{color:var(--red)}.editorial-policy{max-width:780px;margin:100px 0 0 auto;padding-top:30px;border-top:2px solid var(--ink)}.editorial-policy p{font-family:var(--serif);font-size:17px;line-height:1.9}.lightbox{position:fixed;z-index:200;inset:0;display:grid;padding:40px;background:#0d0e0cf0;cursor:zoom-out;place-items:center}.lightbox button{position:absolute;z-index:2;top:22px;right:28px;padding:8px 0;color:var(--paper);border:0;border-bottom:1px solid #77756f;background:transparent;cursor:pointer}.lightbox img{max-width:min(1180px,92vw);max-height:92vh;object-fit:contain;box-shadow:0 25px 80px #0000008c;cursor:default}.footer{display:grid;grid-template-columns:1fr auto auto;align-items:end;gap:50px;min-height:260px;padding:60px 5vw;color:var(--paper);background:var(--ink)}.footer strong{font-family:var(--serif);font-size:26px}.footer p{margin:10px 0 0;color:#99978f;font-size:10px}.footer>p{letter-spacing:.12em}.footer a{padding-bottom:5px;border-bottom:1px solid #77756f;font-size:10px}@media(max-width:1180px){.reading-layout{grid-template-columns:145px minmax(0,1fr)}.chapter-rail{padding-right:14px;padding-left:20px}.chapter-rail a{grid-template-columns:24px 1fr}.chapter{padding-right:5vw;padding-left:5vw}.source-spread{min-height:700px}.page-image{height:570px}.translation-sheet{min-height:570px;padding:45px 35px}.transcription article{grid-template-columns:90px 1fr 1fr}}@media(max-width:900px){.topbar{height:62px;padding:0 20px}.brand span{font-size:20px}.brand small,.dossier-switch{display:none}.topbar__status button,.mobile-menu{display:flex}.mobile-menu{flex-direction:column}.hero{display:block}.hero:after{display:none}.hero__copy{position:absolute;right:20px;bottom:42px;left:20px;padding:0}.hero h1{font-size:clamp(60px,16vw,105px)}.hero__dek{margin-left:0}.hero__image{position:absolute;top:0;right:-2%;width:75vw;height:78svh;margin:0}.hero__image:after{background:linear-gradient(180deg,#1819170a 20%,#181917f5)}.hero__number{top:23%;font-size:125px}.reading-layout{display:block}.chapter-rail{display:none}.chapter{padding:105px 25px 125px;scroll-margin-top:62px}.chapter-header{margin-bottom:75px}.chapter-header>p{margin-left:12%}.method-grid,.notation-line,.equivalence-table{grid-template-columns:repeat(2,1fr)}.method-grid>div:nth-child(2),.notation-line>div:nth-child(2),.equivalence-table>div:nth-child(2){border-right:0}.method-grid>div:nth-child(-n+2),.notation-line>div:nth-child(-n+2),.equivalence-table>div:nth-child(-n+2){border-bottom:1px solid var(--line)}.prose-layout{grid-template-columns:1fr;gap:50px}.napier-primer>header,.napier-computation>header{grid-template-columns:1fr}.napier-primer>header p,.napier-computation>header p{grid-column:auto}.napier-worked-example,.napier-spherical-link{grid-template-columns:1fr;gap:35px}.margin-note{max-width:460px;margin-left:auto}.source-spread{grid-template-columns:1fr}.facsimile-pane{border-right:0;border-bottom:1px solid var(--line)}.page-image{height:min(880px,112vw)}.translation-sheet{min-height:650px}.transcription article{grid-template-columns:85px 1fr}.transcription article>p{grid-column:2;padding:20px 0 0;border-top:1px solid var(--line);border-left:0}.lab-grid{grid-template-columns:repeat(2,1fr)}.lab-grid>div:nth-child(2){border-right:0}.lab-grid>div:nth-child(-n+2){border-bottom:1px solid var(--line)}.lab-grid--three{grid-template-columns:1fr}.lab-grid--three>div{border-right:0;border-bottom:1px solid var(--line)}.compound-readout{grid-template-columns:1fr}.compound-readout>strong,.compound-readout>small{grid-column:auto;grid-row:auto;text-align:left}}@media(max-width:620px){.hero__copy>p{margin-bottom:15px}.hero h1{font-size:clamp(55px,18vw,78px);line-height:.9}.hero h1 span:nth-child(2){margin-left:0}.hero h1 span:last-child{margin-left:1.8em}.hero__dek{align-items:flex-start;flex-direction:column;gap:7px;margin:22px 0 18px}.hero__image{right:-18%;width:106vw;height:72svh;opacity:.82}.hero__number{top:18%;right:-.55em;font-size:102px;opacity:.72}.hero__image figcaption,.hero__aside{display:none}.chapter{padding:90px 17px 110px}.chapter-meta{gap:18px}.chapter-header h2{font-size:43px}.chapter-header>p{margin:27px 0 0;font-size:18px}.method-grid,.notation-line,.equivalence-table{grid-template-columns:1fr}.method-grid>div,.method-grid>div:not(:first-child),.notation-line>div,.notation-line>div:first-child,.equivalence-table>div,.equivalence-table>div:first-child{min-height:auto;padding:24px 0 30px;border-right:0;border-bottom:1px solid var(--line)}.method-grid h3{margin-top:23px}.layer-legend{align-items:flex-start;flex-wrap:wrap}.layer-legend p{width:100%;margin:10px 0 0}.prose{font-size:17px;line-height:1.9}.prose h3{margin-top:55px;font-size:30px}.napier-primer,.napier-computation{margin:85px auto}.napier-term-table{grid-template-columns:1fr}.napier-term-table>div,.napier-term-table>div:first-child,.napier-term-table>div:last-child{padding:25px 0 28px;border-right:0;border-bottom:1px solid var(--line-light)}.napier-term-table>div:last-child{border-bottom:0}.napier-scale-example__labels{grid-template-columns:auto 1fr auto;gap:10px}.napier-scale-example__labels strong{font-size:14px;text-align:center}.napier-scale-example__caption{grid-template-columns:1fr;gap:8px}.napier-scale-example__caption strong{text-align:left}.napier-motion-stage{grid-template-columns:1fr}.napier-track{padding-right:0}.napier-shared-time{grid-column:1;grid-row:auto;padding:24px 0;border-top:1px solid var(--line-light);border-left:0}.napier-motion-roles{grid-template-columns:1fr}.napier-motion-roles>div:first-child{padding-right:0;border-right:0;border-bottom:1px solid var(--line-light)}.napier-operation-list article{grid-template-columns:1fr;gap:10px;padding:27px 0}.napier-operation-list article>span{margin-bottom:5px}.napier-operation-list article>.formula{margin-top:0}.napier-worked-example,.napier-spherical-link{grid-template-columns:1fr;gap:28px;margin-top:55px;padding:32px 0}.napier-spherical-link{margin-top:0}.napier-track__heading{align-items:flex-start;flex-direction:column;gap:7px}.concept-portal{padding-right:0}.concept-portal>i{position:static;display:block;margin-top:20px}.derivation{margin:85px auto}.derivation__title,.derivation li{grid-template-columns:38px minmax(0,1fr);gap:14px}.derivation__title .layer-tag{grid-column:1 / -1}.derivation__title h4{grid-column:1 / -1;font-size:26px}.derivation__conclusion{margin-left:52px}.lab,.lab--accent,.lab--dark{margin:85px auto;padding:38px 0}.lab--accent,.lab--dark{margin-right:-17px;margin-left:-17px;padding-right:17px;padding-left:17px}.lab header{grid-template-columns:1fr;gap:18px}.lab header p{grid-column:auto;margin:0}.lab h4{font-size:34px}.lab-grid{grid-template-columns:1fr}.lab-grid>div,.lab-grid>div:not(:first-child){padding:17px 0;border-right:0;border-bottom:1px solid var(--line)}.lab-grid span{margin-bottom:9px}.dual-control{grid-template-columns:1fr;gap:10px}.base-equation{grid-template-columns:1fr}.source-reader{margin:100px -17px 0;box-shadow:none}.source-reader__header{grid-template-columns:1fr;padding:28px 17px}.source-reader__meta{align-items:flex-start}.source-reader__meta a{margin-top:8px}.facsimile-pane,.translation-pane{padding:20px 12px}.pane-heading{align-items:flex-start;flex-direction:column}.page-tabs{justify-content:flex-start}.page-image{height:128vw}.translation-sheet{min-height:620px;padding:40px 28px 40px 47px}.transcription{padding:40px 17px 20px}.transcription__heading{align-items:flex-start;flex-direction:column;gap:12px}.transcription article{grid-template-columns:1fr;gap:12px}.transcription article>p{grid-column:auto}.source-reader__note{grid-template-columns:1fr;padding:25px 17px}.proof-chain article{padding:38px 0 50px 62px}.proof-chain article>span{top:38px;font-size:48px}.proof-chain h3{font-size:28px}.why-not{margin-right:-17px;margin-left:-17px;padding:45px 17px}.bibliography-group li{grid-template-columns:58px 1fr}.footer{grid-template-columns:1fr;gap:30px;min-height:auto;padding:55px 18px}.lightbox{padding:20px 8px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.01ms!important}}.knowledge-strip{--ks-accent: #b73529;display:grid;grid-template-columns:minmax(210px,.8fr) minmax(0,2fr) auto;align-items:stretch;width:min(1460px,calc(100% - 76px));margin:0 auto;border-top:1px solid currentColor;border-bottom:1px solid rgba(24,25,23,.18)}.knowledge-strip[data-knowledge-volume=group-theory]{--ks-accent: #2f6584}.knowledge-strip[data-knowledge-volume=bridge]{--ks-accent: #405b4e}.knowledge-strip__heading{padding:25px 26px 24px 0;border-right:1px solid rgba(24,25,23,.18)}.knowledge-strip__heading span{color:var(--ks-accent);font-size:9px;font-weight:800;letter-spacing:.16em;text-transform:uppercase}.knowledge-strip__heading p{max-width:300px;margin:9px 0 0;color:#6c6a63;font-size:12px;line-height:1.65}.knowledge-strip__entities{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));min-width:0}.knowledge-strip__entities a{display:flex;min-width:0;padding:23px 20px;flex-direction:column;justify-content:center;border-right:1px solid rgba(24,25,23,.14);transition:color .18s ease,background .18s ease}.knowledge-strip__entities a:hover{color:var(--ks-accent);background:#ffffff47}.knowledge-strip__entities small{margin-bottom:7px;color:#77746d;font-size:8px;letter-spacing:.14em}.knowledge-strip__entities strong{overflow:hidden;font-family:var(--serif);font-size:15px;font-weight:600;text-overflow:ellipsis;white-space:nowrap}.knowledge-strip__all{display:flex;min-width:155px;padding:22px;align-items:center;justify-content:space-between;color:#f5f1e8;background:#1b211f;font-size:10px;font-weight:700;letter-spacing:.08em;transition:background .18s ease}.knowledge-strip__all:hover{background:var(--ks-accent)}.knowledge-strip__all span{font-size:17px}.kb-site{--kb-paper: #ece9e1;--kb-paper-light: #f7f4ec;--kb-ink: #14212a;--kb-muted: #6c7474;--kb-line: rgba(20, 33, 42, .17);--kb-blue: #2e6886;min-width:320px;overflow:clip;color:var(--kb-ink);background:linear-gradient(rgba(20,33,42,.026) 1px,transparent 1px) 0 0 / 100% 30px,var(--kb-paper)}.kb-site *{box-sizing:border-box}.kb-site a{color:inherit;text-decoration:none}.kb-site button,.kb-site input{font:inherit}.kb-topbar{position:sticky;z-index:80;top:0;display:flex;align-items:center;justify-content:space-between;min-height:72px;padding:0 38px;color:#edf0ed;border-bottom:1px solid rgba(255,255,255,.13);background:#14212af2;backdrop-filter:blur(16px)}.kb-brand{display:flex;align-items:baseline;gap:18px}.kb-brand span{font-family:var(--serif);font-size:25px;font-weight:800;letter-spacing:.12em}.kb-brand small{color:#a9b7bd;font-size:9px;letter-spacing:.16em}.kb-topbar nav{display:flex;align-items:center;gap:24px}.kb-topbar nav a{padding:8px 0;color:#b9c3c6;border-bottom:1px solid #5d7078;font-size:9px;letter-spacing:.09em}.kb-topbar nav a:hover{color:#fff;border-color:#6dafd1}.kb-intro{display:grid;grid-template-columns:minmax(340px,1.3fr) minmax(280px,.8fr);gap:48px 8vw;min-height:410px;padding:84px max(38px,calc((100vw - 1460px)/2));align-items:center;border-bottom:1px solid var(--kb-line)}.kb-intro>div>p{margin:0 0 20px;color:var(--kb-blue);font-size:10px;font-weight:800;letter-spacing:.18em}.kb-intro h1{max-width:850px;margin:0;font-family:var(--serif);font-size:clamp(45px,5.3vw,83px);font-weight:700;line-height:1.08;letter-spacing:-.055em}.kb-intro>p{max-width:530px;margin:0;color:var(--kb-muted);font-family:var(--serif);font-size:16px;line-height:2}.kb-intro dl{display:grid;grid-column:1 / -1;grid-template-columns:repeat(4,1fr);margin:0;border-top:1px solid var(--kb-line)}.kb-intro dl div{display:flex;padding:22px 20px 0 0;align-items:baseline;gap:10px}.kb-intro dt{font-family:var(--serif);font-size:34px;font-weight:700}.kb-intro dd{margin:0;color:var(--kb-muted);font-size:10px;letter-spacing:.12em}.kb-workspace{display:grid;grid-template-columns:minmax(280px,370px) minmax(0,1fr);width:min(1460px,calc(100% - 76px));min-height:780px;margin:0 auto 120px;border-right:1px solid var(--kb-line);border-bottom:1px solid var(--kb-line);border-left:1px solid var(--kb-line);background:#f7f4ec85}.kb-index{min-width:0;border-right:1px solid var(--kb-line)}.kb-search{padding:30px 26px 18px;border-bottom:1px solid var(--kb-line)}.kb-search label{display:block;margin-bottom:12px;color:var(--kb-muted);font-size:9px;font-weight:700;letter-spacing:.15em}.kb-search input{width:100%;padding:12px 0;color:var(--kb-ink);border:0;border-bottom:1px solid var(--kb-ink);outline:0;background:transparent;font-family:var(--serif);font-size:17px}.kb-search input:focus{border-color:var(--kb-blue)}.kb-filters{display:flex;padding:18px 26px;flex-wrap:wrap;gap:7px;border-bottom:1px solid var(--kb-line)}.kb-filters button{padding:7px 10px;color:var(--kb-muted);border:1px solid var(--kb-line);background:transparent;cursor:pointer;font-size:9px;letter-spacing:.08em}.kb-filters button:hover,.kb-filters button.active{color:#fff;border-color:var(--kb-blue);background:var(--kb-blue)}.kb-result-count{margin:0;padding:13px 26px;color:var(--kb-muted);border-bottom:1px solid var(--kb-line);font-size:9px;letter-spacing:.12em}.kb-entity-list{max-height:900px;margin:0;padding:0;overflow-y:auto;list-style:none;scrollbar-width:thin;scrollbar-color:var(--kb-line) transparent}.kb-entity-list li{border-bottom:1px solid var(--kb-line)}.kb-entity-list a{display:grid;grid-template-columns:63px minmax(0,1fr);gap:5px 12px;padding:17px 25px;transition:color .16s ease,background .16s ease}.kb-entity-list small{color:var(--kb-muted);font-size:8px;letter-spacing:.12em}.kb-entity-list strong{overflow:hidden;font-family:var(--serif);font-size:14px;font-weight:600;text-overflow:ellipsis;white-space:nowrap}.kb-entity-list span{grid-column:2;overflow:hidden;color:var(--kb-muted);font-size:9px;text-overflow:ellipsis;white-space:nowrap}.kb-entity-list em{grid-column:2;color:var(--kb-muted);font-size:8px;font-style:normal;letter-spacing:.06em}.kb-entity-list li:hover a,.kb-entity-list li.active a{color:var(--kb-blue);background:#2e688614}.kb-entity-list li.active{box-shadow:inset 3px 0 var(--kb-blue)}.kb-detail{min-width:0;padding:54px clamp(30px,6vw,92px) 90px;scroll-margin-top:82px}.kb-detail__header{display:flex;align-items:flex-start;justify-content:space-between;gap:30px;padding-bottom:30px;border-bottom:1px solid var(--kb-ink)}.kb-detail__header>div>span{color:var(--kb-blue);font-size:9px;font-weight:800;letter-spacing:.18em}.kb-detail h2{max-width:820px;margin:13px 0 0;font-family:var(--serif);font-size:clamp(36px,5vw,68px);font-weight:700;line-height:1.08;letter-spacing:-.045em}.kb-detail__original{display:flex;max-width:820px;margin:15px 0 0;align-items:baseline;flex-wrap:wrap;gap:9px 14px;color:var(--kb-muted);font-family:Georgia,Times New Roman,serif;font-size:15px;line-height:1.5}.kb-detail__original em{padding:4px 7px;color:var(--kb-blue);border:1px solid rgba(46,104,134,.28);font-family:var(--sans);font-size:8px;font-style:normal;font-weight:700;letter-spacing:.08em;white-space:nowrap}.kb-detail__meta{margin:15px 0 0;color:var(--kb-muted);font-size:12px}.kb-detail__header code{max-width:240px;padding:6px 8px;overflow-wrap:anywhere;color:var(--kb-muted);border:1px solid var(--kb-line);background:#ffffff57;font-size:9px}.kb-detail__summary{max-width:860px;margin:35px 0;font-family:var(--serif);font-size:20px;line-height:1.9}.kb-detail blockquote{max-width:870px;margin:28px 0;padding:22px 0 22px 28px;color:var(--kb-muted);border-left:3px solid var(--kb-blue);font-family:var(--serif);font-size:14px;line-height:1.8}.kb-facts{display:grid;grid-template-columns:90px 1fr;max-width:780px;margin:30px 0;font-size:12px}.kb-facts dt,.kb-facts dd{margin:0;padding:13px 0;border-top:1px solid var(--kb-line)}.kb-facts dt{color:var(--kb-muted)}.kb-facts a{color:var(--kb-blue);border-bottom:1px solid currentColor}.kb-facts a small{margin-left:5px;color:var(--kb-muted);font-family:Georgia,Times New Roman,serif;font-size:10px}.kb-primary-link{display:inline-flex;margin:12px 0 28px;padding:11px 14px;color:#fff!important;background:var(--kb-blue);font-size:10px;font-weight:700;letter-spacing:.06em}.kb-detail__section{margin-top:70px}.kb-section-heading{display:grid;grid-template-columns:36px 1fr auto;align-items:baseline;padding-bottom:14px;border-bottom:1px solid var(--kb-ink)}.kb-section-heading span,.kb-section-heading em{color:var(--kb-muted);font-size:9px;font-style:normal;letter-spacing:.12em}.kb-section-heading h3{margin:0;font-family:var(--serif);font-size:20px}.kb-appearances,.kb-connections{margin:0;padding:0;list-style:none}.kb-appearances li,.kb-connections li{border-bottom:1px solid var(--kb-line)}.kb-appearances a{display:grid;grid-template-columns:120px minmax(0,1fr) minmax(145px,.7fr) auto;gap:18px;padding:19px 0;align-items:center}.kb-appearances a>span{color:var(--kb-blue);font-size:9px;font-weight:700;letter-spacing:.08em}.kb-appearances strong{font-family:var(--serif);font-size:14px}.kb-appearances em{color:var(--kb-muted);font-size:11px;font-style:normal}.kb-appearances i{font-style:normal}.kb-appearances a:hover strong{color:var(--kb-blue)}.kb-connections li{display:grid;grid-template-columns:150px minmax(180px,.7fr) minmax(0,1.3fr);gap:20px;padding:20px 0;align-items:start}.kb-connections li>span{color:var(--kb-blue);font-size:9px;font-weight:700;letter-spacing:.08em}.kb-connections li>a{font-family:var(--serif);font-size:15px;font-weight:700}.kb-connections li>a:hover{color:var(--kb-blue)}.kb-connections li>p{margin:0;color:var(--kb-muted);font-size:11px;line-height:1.7}.kb-empty{margin:0;padding:22px 0;color:var(--kb-muted);font-size:12px}.kb-footer{display:flex;min-height:190px;padding:50px max(38px,calc((100vw - 1460px)/2));align-items:center;justify-content:space-between;color:#dfe6e6;background:var(--kb-ink)}.kb-footer strong{font-family:var(--serif);font-size:20px;letter-spacing:.08em}.kb-footer p{margin:10px 0 0;color:#9eadaf;font-size:11px}.kb-footer>a{font-size:10px;border-bottom:1px solid #71848c}@media(max-width:1120px){.topbar__status .knowledge-nav-link,.gm-topbar-actions .knowledge-nav-link{display:none}.knowledge-strip{grid-template-columns:210px minmax(0,1fr)}.knowledge-strip__entities{grid-template-columns:repeat(2,minmax(0,1fr))}.knowledge-strip__all{grid-column:1 / -1;min-height:54px}.kb-topbar nav a:nth-child(2){display:none}.kb-workspace{grid-template-columns:300px minmax(0,1fr)}.kb-appearances a{grid-template-columns:100px 1fr auto}.kb-appearances em{grid-column:2}.kb-connections li{grid-template-columns:120px 1fr}.kb-connections li>p{grid-column:2}}@media(max-width:760px){.knowledge-strip{grid-template-columns:1fr;width:calc(100% - 34px)}.knowledge-strip__heading{padding-right:0;border-right:0}.knowledge-strip__entities{grid-template-columns:1fr 1fr;border-top:1px solid rgba(24,25,23,.18)}.knowledge-strip__entities a{padding:17px 12px 17px 0}.knowledge-strip__entities a:nth-child(2n){padding-left:12px}.knowledge-strip__all{grid-column:auto}.kb-topbar{min-height:64px;padding:0 17px}.kb-brand small,.kb-topbar nav{display:none}.kb-intro{grid-template-columns:1fr;min-height:0;padding:65px 17px 45px}.kb-intro h1{font-size:44px}.kb-intro>p{font-size:14px}.kb-intro dl{grid-template-columns:1fr 1fr}.kb-workspace{display:block;width:calc(100% - 34px);margin-bottom:70px}.kb-index{border-right:0;border-bottom:1px solid var(--kb-line)}.kb-entity-list{max-height:410px}.kb-detail{padding:46px 17px 65px}.kb-detail__header{display:block}.kb-detail__header code{display:inline-block;margin-top:22px}.kb-detail h2{font-size:40px}.kb-detail__summary{font-size:17px}.kb-appearances a{grid-template-columns:1fr auto;gap:6px 15px}.kb-appearances a>span,.kb-appearances strong,.kb-appearances em{grid-column:1}.kb-appearances i{grid-column:2;grid-row:1 / 4}.kb-connections li{grid-template-columns:1fr;gap:8px}.kb-connections li>p{grid-column:auto}.kb-footer{padding:45px 17px;align-items:flex-start;flex-direction:column;gap:35px}}.gm-site{--gm-paper: #eee9df;--gm-paper-light: #f8f3e9;--gm-ink: #171916;--gm-muted: #6c6a63;--gm-red: #b73529;--gm-red-bright: #e45343;--gm-green: #405b4e;--gm-line: rgba(23, 25, 22, .18);min-width:320px;overflow:clip;color:var(--gm-ink);background:var(--gm-paper)}.gm-site *{box-sizing:border-box}.gm-progress{position:fixed;z-index:120;top:0;right:0;left:0;height:2px;background:var(--gm-red-bright);transform-origin:0 50%}.gm-topbar{position:fixed;z-index:100;top:0;right:0;left:0;display:flex;align-items:center;justify-content:space-between;height:72px;padding:0 38px;color:var(--gm-paper);border-bottom:1px solid rgba(238,233,223,.17);background:#171916eb;backdrop-filter:blur(16px)}.gm-brand{display:flex;align-items:baseline;gap:18px}.gm-brand span{font-family:var(--serif);font-size:25px;font-weight:700;letter-spacing:.12em}.gm-brand small,.gm-topbar-actions{font-size:9px;letter-spacing:.14em;text-transform:uppercase}.gm-brand small{color:#aaa79f}.gm-topbar-actions{display:flex;align-items:center;gap:28px;color:#bbb7ae}.gm-topbar-actions>a{padding:7px 0;border-bottom:1px solid #6f6d66;transition:color .18s ease,border-color .18s ease}.gm-topbar-actions>a:hover{color:#fff;border-color:var(--gm-red-bright)}.gm-topbar-actions button{display:none;align-items:center;gap:12px;padding:8px 0;color:var(--gm-paper);border:0;background:transparent}.gm-topbar-actions i{position:relative;display:block;width:20px;height:1px;background:currentColor}.gm-topbar-actions i:after{position:absolute;top:6px;left:0;width:20px;height:1px;content:"";background:currentColor}.gm-mobile-menu{position:fixed;z-index:90;top:62px;right:0;left:0;display:none;padding:18px 20px 30px;color:var(--gm-paper);background:var(--gm-ink);box-shadow:0 20px 40px #0000003d}.gm-mobile-menu a{display:flex;gap:18px;padding:11px 0;border-bottom:1px solid rgba(238,233,223,.18);font-family:var(--serif);font-size:19px}.gm-mobile-menu span{width:28px;color:var(--gm-red-bright);font-family:var(--sans);font-size:9px}.gm-hero{position:relative;display:grid;grid-template-columns:minmax(0,1.06fr) minmax(520px,.94fr);min-height:100svh;overflow:hidden;color:var(--gm-paper);background:linear-gradient(90deg,transparent 64%,rgba(255,255,255,.025) 64%),var(--gm-ink)}.gm-hero:after{position:absolute;top:72px;bottom:0;left:55.2%;width:1px;content:"";background:#eee9df26}.gm-hero-copy{position:relative;z-index:3;align-self:end;padding:150px 5vw 10vh 7vw}.gm-hero-copy>p{margin:0 0 30px;color:#aaa79f;font-size:10px;letter-spacing:.17em;text-transform:uppercase}.gm-hero h1{max-width:880px;margin:0;font-family:var(--serif);font-size:clamp(68px,7vw,126px);font-weight:500;letter-spacing:-.07em;line-height:.9}.gm-hero h1 span{display:block}.gm-hero h1 span:last-child{margin-left:.52em;color:var(--gm-red-bright);font-style:italic}.gm-hero-dek{display:flex;gap:22px;margin:42px 0 34px 19%;color:#bdb9b0;font-size:10px;letter-spacing:.06em}.gm-hero-dek p{margin:0;padding-left:12px;border-left:1px solid #696860}.gm-hero-copy>a{display:inline-flex;align-items:center;gap:34px;padding-bottom:8px;border-bottom:1px solid #75736d;font-size:10px;letter-spacing:.12em}.gm-hero-copy>a span{color:var(--gm-red-bright);font-size:17px}.gm-hero-diagram{position:relative;z-index:2;display:grid;grid-template-columns:1fr 116px 1fr;align-self:center;margin:90px 5vw 0 3vw;padding:54px 0 36px;border-top:1px solid rgba(238,233,223,.22);border-bottom:1px solid rgba(238,233,223,.22)}.gm-hero-domain,.gm-hero-codomain{display:flex;min-width:0;align-items:center;flex-direction:column;justify-content:center;gap:12px}.gm-hero-diagram small{color:#9b9992;font-size:9px;letter-spacing:.16em}.gm-hero-domain strong,.gm-hero-codomain strong{font-family:Georgia,serif;font-size:clamp(74px,7vw,120px);font-weight:400;line-height:1}.gm-hero-codomain strong{color:var(--gm-red-bright)}.gm-hero-codomain sup{font-size:.45em}.gm-hero-domain>span,.gm-hero-codomain>span{color:#c7c3b9;font-family:var(--serif);font-size:13px;white-space:nowrap}.gm-hero-arrow{display:flex;align-items:center;flex-direction:column;justify-content:center;gap:8px;color:#aaa79f;text-align:center}.gm-hero-arrow span,.gm-hero-arrow b{font-size:8px;font-weight:500;letter-spacing:.08em}.gm-hero-arrow i{color:var(--gm-red-bright);font-family:Georgia,serif;font-size:58px;font-style:normal;line-height:.8}.gm-hero-diagram>.gm-formula{grid-column:1 / -1;margin:45px 0 0;padding-top:30px;border-top:1px solid rgba(238,233,223,.12);color:var(--gm-paper);font-size:clamp(16px,1.6vw,24px)}.gm-hero-aside{position:absolute;z-index:5;right:22px;bottom:20px;margin:0;color:#8d8b85;font-size:8px;letter-spacing:.09em;writing-mode:vertical-rl}.gm-reading-layout{display:grid;grid-template-columns:188px minmax(0,1fr)}.gm-rail{position:sticky;z-index:20;top:72px;align-self:start;height:calc(100svh - 72px);padding:45px 24px 30px 32px;border-right:1px solid var(--gm-line);background:#eee9dff0;backdrop-filter:blur(10px)}.gm-rail>p{margin:0 0 30px;color:var(--gm-muted);font-size:9px;letter-spacing:.15em}.gm-rail nav{display:flex;flex-direction:column}.gm-rail nav a{display:grid;grid-template-columns:29px 1fr;align-items:baseline;padding:7px 0;color:#77736c;transition:color .15s ease,transform .15s ease}.gm-rail nav a:hover,.gm-rail nav a.active{color:var(--gm-ink);transform:translate(3px)}.gm-rail nav a.active span{color:var(--gm-red)}.gm-rail nav span{font-size:8px;letter-spacing:.08em}.gm-rail nav em{font-family:var(--serif);font-size:14px;font-style:normal}.gm-rail-return{position:absolute;right:24px;bottom:30px;left:32px;padding-top:14px;color:var(--gm-muted);border-top:1px solid var(--gm-line);font-size:9px;letter-spacing:.08em;line-height:1.7}.gm-chapters{min-width:0}.gm-chapter{position:relative;min-height:760px;padding:115px max(6vw,70px) 130px;border-bottom:1px solid var(--gm-line)}.gm-chapter:nth-child(2n):not(.gm-chapter--ink):not(.gm-chapter--red){background:#ffffff21}.gm-chapter--ink{color:var(--gm-paper);background:var(--gm-ink)}.gm-chapter--red{color:var(--gm-paper-light);background:#8f2c24}.gm-chapter--references{background:#ded6c8}.gm-chapter-header{display:grid;grid-template-columns:150px minmax(0,900px);gap:48px;max-width:1160px;margin:0 auto 80px}.gm-chapter-index{padding-top:10px}.gm-chapter-index span{display:block;color:var(--gm-red);font-family:var(--serif);font-size:56px;line-height:1}.gm-chapter--ink .gm-chapter-index span,.gm-chapter--red .gm-chapter-index span{color:var(--gm-red-bright)}.gm-chapter-index p{margin:16px 0 0;color:var(--gm-muted);font-size:8px;letter-spacing:.14em;text-transform:uppercase}.gm-chapter--ink .gm-chapter-index p,.gm-chapter--red .gm-chapter-index p{color:#929088}.gm-chapter-header h2{max-width:880px;margin:0;font-family:var(--serif);font-size:clamp(48px,4.4vw,78px);font-weight:500;letter-spacing:-.055em;line-height:1.06}.gm-chapter-header>div:last-child>p{max-width:760px;margin:28px 0 0;color:var(--gm-muted);font-family:var(--serif);font-size:18px;line-height:1.9}.gm-chapter--ink .gm-chapter-header>div:last-child>p,.gm-chapter--red .gm-chapter-header>div:last-child>p{color:#aaa79f}.gm-formula--block{display:block;overflow-x:clip;overflow-y:hidden;padding:8px 0}.gm-formula .formula-fit__content{display:block;width:max-content;max-width:none;transform-origin:left center}.gm-formula.formula-fit--scroll{overflow-x:auto;overscroll-behavior-inline:contain;scrollbar-width:none;-ms-overflow-style:none}.gm-formula.formula-fit--scroll::-webkit-scrollbar{display:none;width:0;height:0}.gm-formula--inline{display:inline-block}.gm-formula--inline .formula-fit__content{display:inline-block;width:auto}.gm-formula .katex-display{margin:0;text-align:left}.gm-formula .katex-display>.katex{text-align:left}.gm-tag{display:inline-block;padding:4px 7px;color:var(--gm-red);border:1px solid currentColor;font-size:7px;font-weight:700;letter-spacing:.12em;line-height:1;text-transform:uppercase}.gm-tag--lab{color:var(--gm-green)}.gm-tag--warning{color:#a04b30}.gm-tag--source{color:var(--gm-red-bright)}.gm-prose-layout{display:grid;grid-template-columns:minmax(0,790px) 250px;gap:90px;max-width:1160px;margin:0 auto}.gm-prose{max-width:820px;margin:0 auto;font-family:var(--serif);font-size:18px;line-height:2}.gm-prose-layout .gm-prose{margin:0}.gm-prose h3{margin:72px 0 24px;font-size:34px;font-weight:500;letter-spacing:-.035em;line-height:1.3}.gm-prose h3:first-child{margin-top:0}.gm-prose p{margin:0 0 24px}.gm-prose .gm-formula{margin:30px 0 35px;padding:24px 0;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line);font-family:var(--sans);font-size:20px}.gm-prose--light .gm-formula{border-color:#eee9df30}.gm-margin-note{align-self:start;margin-top:14px;padding:24px 0 0 23px;border-top:2px solid var(--gm-red);border-left:1px solid var(--gm-line)}.gm-margin-note>span{color:var(--gm-red);font-size:8px;font-weight:700;letter-spacing:.13em;text-transform:uppercase}.gm-margin-note p{margin:18px 0 0;color:var(--gm-muted);font-family:var(--serif);font-size:14px;line-height:1.9}.gm-sentence-map{display:grid;grid-template-columns:1fr .75fr 1fr 1.25fr 1.2fr;max-width:1180px;margin:0 auto;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-sentence-map>div{min-height:250px;padding:28px 25px 30px;border-left:1px solid var(--gm-line)}.gm-sentence-map>div:first-child{border-left:0}.gm-sentence-map span{color:var(--gm-muted);font-size:8px;letter-spacing:.13em}.gm-sentence-map strong{display:block;margin:32px 0;color:var(--gm-red);font-family:var(--serif);font-size:clamp(42px,4vw,66px);font-weight:500;line-height:1}.gm-sentence-map p{margin:0;color:var(--gm-muted);font-family:var(--serif);font-size:13px;line-height:1.8}.gm-master-equation{max-width:980px;margin:80px auto 0;padding:40px 0;border-top:3px solid var(--gm-ink);border-bottom:1px solid var(--gm-line)}.gm-master-equation p{margin:0 0 24px;color:var(--gm-muted);font-size:10px;letter-spacing:.08em}.gm-master-equation .gm-formula{font-size:clamp(17px,2vw,28px)}.gm-reading-warning{display:grid;grid-template-columns:180px 1fr;gap:35px;max-width:980px;margin:45px auto 0}.gm-reading-warning p{margin:0;font-family:var(--serif);font-size:17px;line-height:1.9}.gm-domain-caveat{display:grid;grid-template-columns:320px 1fr;gap:55px;max-width:980px;margin:60px auto 0;padding:35px 0;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-domain-caveat span{color:var(--gm-red);font-size:8px;font-weight:700;letter-spacing:.13em}.gm-domain-caveat h3{margin:15px 0 0;font-family:var(--serif);font-size:23px;font-weight:500;line-height:1.45}.gm-domain-caveat .gm-formula{margin-bottom:17px;color:var(--gm-red);font-size:16px}.gm-domain-caveat p{margin:0;color:var(--gm-muted);font-family:var(--serif);font-size:14px;line-height:1.9}.gm-definition-strip{margin-top:55px;padding:30px 0;border-top:3px solid var(--gm-ink);border-bottom:1px solid var(--gm-line)}.gm-definition-strip>span{color:var(--gm-red);font-family:var(--sans);font-size:8px;letter-spacing:.13em}.gm-definition-strip .gm-formula{margin:16px 0;padding:0;border:0}.gm-definition-strip p{margin:0;color:var(--gm-muted);font-family:var(--sans);font-size:12px}.gm-axioms{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));max-width:1120px;margin:0 auto 80px;border-top:1px solid rgba(238,233,223,.2)}.gm-axioms article{position:relative;min-height:320px;padding:38px 44px 45px 88px;border-right:1px solid rgba(238,233,223,.18);border-bottom:1px solid rgba(238,233,223,.18)}.gm-axioms article:nth-child(2n){border-right:0}.gm-axioms article>span{position:absolute;top:43px;left:25px;color:var(--gm-red-bright);font-size:10px;letter-spacing:.12em}.gm-axioms h3{margin:0 0 24px;font-family:var(--serif);font-size:31px;font-weight:500}.gm-axioms .gm-formula{margin:28px 0;color:#fff;font-size:17px}.gm-axioms p{margin:0;color:#aaa79f;font-family:var(--serif);font-size:14px;line-height:1.9}.gm-structure-ladder{display:grid;grid-template-columns:1fr 34px 1fr 34px 1fr 34px 1fr;align-items:stretch;max-width:1120px;margin:80px auto 0}.gm-structure-ladder div{padding:25px 20px;border-top:1px solid rgba(238,233,223,.25);border-bottom:1px solid rgba(238,233,223,.25)}.gm-structure-ladder span{color:var(--gm-red-bright);font-family:var(--serif);font-size:20px}.gm-structure-ladder p{margin:11px 0 0;color:#96938c;font-size:10px}.gm-structure-ladder i{display:grid;place-items:center;color:var(--gm-red-bright);font-style:normal}.gm-lab{max-width:1120px;margin:95px auto 0;padding:48px 0;color:var(--gm-ink);border-top:4px solid var(--gm-green);border-bottom:1px solid var(--gm-line);background:var(--gm-paper-light)}.gm-lab>header{display:grid;grid-template-columns:minmax(0,1fr) 340px;gap:60px;padding:0 42px 35px}.gm-lab h3{margin:15px 0 0;font-family:var(--serif);font-size:35px;font-weight:500;line-height:1.2}.gm-lab header p{align-self:end;margin:0;color:var(--gm-muted);font-family:var(--serif);font-size:13px;line-height:1.8}.gm-tab-row{display:flex;padding:0 42px;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-tab-row button,.gm-counterexample__choices button,.gm-source-tabs button{padding:13px 20px;color:var(--gm-muted);border:0;border-right:1px solid var(--gm-line);background:transparent;cursor:pointer}.gm-tab-row button:first-child{border-left:1px solid var(--gm-line)}.gm-tab-row button.active,.gm-counterexample__choices button.active,.gm-source-tabs button.active{color:var(--gm-paper-light);background:var(--gm-green)}.gm-axiom-result{display:grid;grid-template-columns:280px 1fr;padding:38px 42px 0}.gm-axiom-verdict{padding-right:38px}.gm-axiom-verdict strong{display:block;color:var(--gm-green);font-family:Georgia,serif;font-size:47px;font-weight:400}.gm-axiom-verdict span{display:block;margin:18px 0;font-family:var(--serif);font-size:21px}.gm-axiom-verdict p{color:var(--gm-muted);font-size:12px;line-height:1.8}.gm-axiom-result ol{margin:0;padding:0;list-style:none;border-top:1px solid var(--gm-line)}.gm-axiom-result li{display:grid;grid-template-columns:38px 90px 1fr 45px;align-items:center;min-height:67px;border-bottom:1px solid var(--gm-line)}.gm-axiom-result li>span{color:var(--gm-muted);font-size:8px}.gm-axiom-result li>strong{font-family:var(--serif);font-size:15px}.gm-axiom-result li>p{margin:0;color:var(--gm-muted);font-size:12px}.gm-axiom-result li>i{color:var(--gm-green);font-size:10px;font-style:normal}.gm-axiom-result li.fails>i{color:var(--gm-red)}.gm-proof-list{margin-top:35px;border-top:1px solid var(--gm-line)}.gm-proof-list article{display:grid;grid-template-columns:42px 180px 1fr;align-items:start;gap:14px;padding:27px 0;border-bottom:1px solid var(--gm-line)}.gm-proof-list article>span{color:var(--gm-red);font-family:var(--sans);font-size:9px}.gm-proof-list article>strong{font-size:15px;font-weight:600}.gm-proof-list .gm-formula{margin:0;padding:0;border:0;font-size:14px}.gm-counterexample{display:grid;grid-template-columns:240px minmax(0,1fr);max-width:1120px;margin:100px auto 0;padding:45px 0;border-top:4px solid #a04b30;border-bottom:1px solid var(--gm-line)}.gm-counterexample>header{padding-right:35px}.gm-counterexample h3{margin:17px 0 0;font-family:var(--serif);font-size:28px;font-weight:500;line-height:1.25}.gm-counterexample__choices{grid-column:2;display:flex;align-self:start;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-counterexample__choices button.active{background:#a04b30}.gm-counterexample>div:last-child{grid-column:2;padding:34px 20px 0}.gm-counterexample>div:last-child>strong{color:#a04b30;font-family:var(--serif);font-size:23px}.gm-counterexample .gm-formula{margin:28px 0;font-size:17px}.gm-counterexample p{margin:0;color:var(--gm-muted);font-family:var(--serif);line-height:1.9}.gm-audit{max-width:1160px;margin:0 auto;border-top:1px solid rgba(248,243,233,.3)}.gm-audit-row{display:grid;grid-template-columns:150px 1fr 1fr 1fr;min-height:120px;border-bottom:1px solid rgba(248,243,233,.2)}.gm-audit-row>div{padding:26px 25px;border-right:1px solid rgba(248,243,233,.16)}.gm-audit-row>div:last-child{border-right:0}.gm-audit-row__name{display:flex;align-items:center;gap:15px}.gm-audit-row__name i{display:grid;width:25px;height:25px;place-items:center;color:#8f2c24;border-radius:50%;background:var(--gm-paper-light);font-style:normal}.gm-audit-row span{color:#d99890;font-size:8px;letter-spacing:.12em}.gm-audit-row p{margin:12px 0 0;font-family:var(--serif);font-size:13px;line-height:1.65}.gm-audit-row__result .gm-formula{margin-top:9px;padding:0;font-size:15px}.gm-chapter--red .gm-lab{color:var(--gm-ink)}.gm-map-controls{display:grid;grid-template-columns:1fr 1fr;gap:40px;padding:28px 42px;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-map-controls label{display:grid;grid-template-columns:70px 1fr;align-items:center;gap:20px}.gm-map-controls span{font-family:Georgia,serif;font-size:18px}.gm-map-controls input{width:100%;accent-color:var(--gm-green)}.gm-commuting-diagram{display:grid;grid-template-columns:1fr 120px 1fr;align-items:stretch;padding:42px}.gm-route{display:flex;min-height:230px;align-items:center;flex-direction:column;justify-content:center;padding:30px;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line);text-align:center}.gm-route>span,.gm-route>i{color:var(--gm-muted);font-size:9px;font-style:normal;letter-spacing:.08em}.gm-route strong{margin:22px 0;font-family:Georgia,serif;font-size:25px;font-weight:400}.gm-route b{margin-top:16px;color:var(--gm-green);font-family:Georgia,serif;font-size:19px;font-weight:400}.gm-route-mark{display:flex;align-items:center;flex-direction:column;justify-content:center;color:var(--gm-paper-light);background:var(--gm-green);text-align:center}.gm-route-mark span{font-size:8px;letter-spacing:.1em}.gm-route-mark strong{margin:15px 0 5px;font-family:Georgia,serif;font-size:29px;font-weight:400}.gm-route-mark i{font-size:24px;font-style:normal}.gm-map-lab>.gm-formula{margin:0 42px;padding:25px 0 0;border-top:1px solid var(--gm-line);font-size:20px}.gm-special-values{display:grid;grid-template-columns:repeat(3,1fr);max-width:1120px;margin:90px auto 0;border-top:1px solid rgba(248,243,233,.3);border-bottom:1px solid rgba(248,243,233,.3)}.gm-special-values article{padding:34px 30px;border-right:1px solid rgba(248,243,233,.2)}.gm-special-values article:last-child{border-right:0}.gm-special-values span{color:#e1a49d;font-size:8px;letter-spacing:.13em}.gm-special-values .gm-formula{margin:25px 0;color:#fff;font-size:17px}.gm-special-values p{margin:0;color:#e0b7b1;font-family:var(--serif);font-size:13px;line-height:1.8}.gm-key-answer{max-width:940px;margin:95px auto 0;padding:40px 0;border-top:4px solid var(--gm-paper-light);border-bottom:1px solid rgba(248,243,233,.3)}.gm-key-answer>p{margin:0 0 25px;color:#e1a49d;font-size:8px;letter-spacing:.14em}.gm-key-answer blockquote{margin:0;font-family:var(--serif);font-size:clamp(26px,2.8vw,42px);line-height:1.55}.gm-kernel-image{display:grid;grid-template-columns:1fr 1fr;max-width:1120px;margin:0 auto;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-kernel-image article{min-height:360px;padding:40px 50px}.gm-kernel-image article:first-child{border-right:1px solid var(--gm-line)}.gm-kernel-image article>span,.gm-codomain-comparison span,.gm-extension-stages>article>span,.gm-e-bridge>div>span{color:var(--gm-red);font-size:8px;letter-spacing:.13em;text-transform:uppercase}.gm-kernel-image h3{margin:20px 0 30px;font-family:var(--serif);font-size:27px;font-weight:500}.gm-kernel-image .gm-formula{margin:25px 0;font-size:18px}.gm-kernel-image p,.gm-codomain-comparison p{margin:0;color:var(--gm-muted);font-family:var(--serif);font-size:14px;line-height:1.9}.gm-codomain-comparison{display:grid;grid-template-columns:1fr 1fr;max-width:940px;margin:80px auto;color:var(--gm-paper);background:var(--gm-ink)}.gm-codomain-comparison>div{padding:36px 40px}.gm-codomain-comparison>div:first-child{border-right:1px solid rgba(238,233,223,.18)}.gm-codomain-comparison .gm-formula{margin:25px 0;font-size:16px}.gm-codomain-comparison p{color:#aaa79f}.gm-extension-stages{display:grid;grid-template-columns:repeat(3,1fr);max-width:1120px;margin:90px auto;border-top:1px solid rgba(238,233,223,.22);border-bottom:1px solid rgba(238,233,223,.22)}.gm-extension-stages article{min-height:330px;padding:35px 32px;border-right:1px solid rgba(238,233,223,.18)}.gm-extension-stages article:last-child{border-right:0}.gm-extension-stages>article>span,.gm-e-bridge>div>span{color:var(--gm-red-bright)}.gm-extension-stages h3{margin:22px 0;font-family:var(--serif);font-size:28px;font-weight:500}.gm-extension-stages .gm-formula{margin:28px 0;font-size:16px}.gm-extension-stages p{margin:0;color:#aaa79f;font-family:var(--serif);font-size:13px;line-height:1.9}.gm-e-bridge{display:grid;grid-template-columns:1fr 1fr;max-width:980px;margin:90px auto 0;border-top:4px solid var(--gm-red-bright);border-bottom:1px solid rgba(238,233,223,.22)}.gm-e-bridge>div{padding:38px 42px}.gm-e-bridge>div:first-child{border-right:1px solid rgba(238,233,223,.2)}.gm-e-bridge .gm-formula{margin:28px 0;font-size:20px}.gm-e-bridge p{margin:0;color:#aaa79f;font-family:var(--serif);font-size:14px;line-height:1.8}.gm-return-bridge{display:flex;align-items:center;justify-content:space-between;max-width:980px;margin:55px auto 0;padding:26px 0;border-bottom:1px solid rgba(238,233,223,.22)}.gm-return-bridge span{color:#98958e;font-size:9px;letter-spacing:.1em}.gm-return-bridge strong{color:var(--gm-red-bright);font-family:var(--serif);font-size:17px;font-weight:500}.gm-history-layers{display:grid;grid-template-columns:repeat(3,1fr);max-width:1120px;margin:0 auto 110px;border-top:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line)}.gm-history-layers article{min-height:470px;padding:35px 32px;border-right:1px solid var(--gm-line)}.gm-history-layers article:last-child{border-right:0}.gm-history-layers>article>span{color:var(--gm-red);font-size:8px;letter-spacing:.13em}.gm-history-layers h3{margin:22px 0 28px;font-family:var(--serif);font-size:28px;font-weight:500;line-height:1.3}.gm-history-layers blockquote{margin:0 0 30px;padding-left:18px;color:var(--gm-red);border-left:2px solid var(--gm-red);font-family:var(--serif);font-size:16px;line-height:1.8}.gm-history-layers p{color:var(--gm-muted);font-family:var(--serif);font-size:13px;line-height:1.9}.gm-history-layers .gm-formula{margin:35px 0;font-size:17px}.gm-history-layers a{display:inline-block;margin-top:20px;padding-bottom:5px;color:var(--gm-red);border-bottom:1px solid currentColor;font-size:10px}.gm-source-reader{max-width:1260px;margin:0 auto;color:var(--gm-paper);background:#20221f;box-shadow:0 25px 80px #26201838}.gm-source-reader>header{display:grid;grid-template-columns:1fr auto;align-items:end;gap:40px;padding:38px 42px;border-bottom:1px solid rgba(238,233,223,.18)}.gm-source-reader h3{margin:15px 0 8px;font-family:var(--serif);font-size:32px;font-weight:500}.gm-source-reader header p{margin:0;color:#9e9b94;font-size:10px}.gm-source-reader header a{padding-bottom:6px;color:var(--gm-red-bright);border-bottom:1px solid currentColor;font-size:9px;letter-spacing:.08em}.gm-source-tabs{display:flex;padding:0 42px;border-bottom:1px solid rgba(238,233,223,.18)}.gm-source-tabs button{color:#aaa79f;border-right-color:#eee9df2e}.gm-source-tabs button.active{background:var(--gm-red)}.gm-source-spread{display:grid;grid-template-columns:1fr 1fr}.gm-source-spread>article{min-width:0;padding:30px}.gm-source-spread>article:first-child{border-right:1px solid rgba(238,233,223,.18)}.gm-source-heading{display:flex;align-items:center;justify-content:space-between;margin-bottom:20px}.gm-source-heading span{color:var(--gm-red-bright);font-size:8px;letter-spacing:.13em}.gm-source-heading strong{font-family:var(--serif);font-size:14px;font-weight:500}.gm-source-image{position:relative;display:block;width:100%;height:min(78vw,920px);overflow:hidden;padding:0;border:0;background:#d9cfbd;cursor:zoom-in}.gm-source-image img{width:100%;height:100%;object-fit:contain}.gm-source-image>span{position:absolute;right:16px;bottom:16px;padding:8px 10px;color:var(--gm-paper);background:#171916d4;font-size:8px;letter-spacing:.08em}.gm-source-spread>article>p{margin:15px 0 0;color:#9e9b94;font-size:10px;line-height:1.7}.gm-translation-page{background:#171916}.gm-translation-sheet{min-height:min(78vw,920px);padding:45px 45px 55px;color:var(--gm-ink);background:linear-gradient(90deg,transparent 35px,rgba(183,53,41,.22) 35px,rgba(183,53,41,.22) 36px,transparent 36px),var(--gm-paper-light)}.gm-translation-sheet>div{position:relative;padding:25px 0 30px;border-bottom:1px solid var(--gm-line)}.gm-translation-sheet>div>span{position:absolute;top:29px;left:-26px;color:var(--gm-red);font-size:8px}.gm-translation-sheet blockquote{margin:0 0 14px;color:#625f58;font-family:Georgia,serif;font-size:13px;font-style:italic;line-height:1.7}.gm-translation-sheet p{margin:0;color:var(--gm-ink);font-family:var(--serif);font-size:15px;line-height:1.85}.gm-source-reader>footer{display:grid;grid-template-columns:130px 1fr;gap:30px;padding:28px 42px 35px;border-top:1px solid rgba(238,233,223,.18)}.gm-source-reader footer strong{color:var(--gm-red-bright);font-size:8px;letter-spacing:.13em}.gm-source-reader footer p{margin:0;color:#9e9b94;font-size:10px;line-height:1.8}.gm-references{max-width:1060px;margin:0 auto;padding:0;list-style:none;border-top:1px solid var(--gm-line)}.gm-references li{display:grid;grid-template-columns:95px 1fr;gap:25px;padding:28px 0;border-bottom:1px solid var(--gm-line)}.gm-references li>span{color:var(--gm-red);font-size:9px;letter-spacing:.09em}.gm-references a{font-family:var(--serif);font-size:18px;font-weight:600}.gm-references a:hover{color:var(--gm-red)}.gm-references p{margin:10px 0 0;color:var(--gm-muted);font-size:11px;line-height:1.7}.gm-editorial-policy{max-width:1060px;margin:70px auto 0;padding:35px 0;border-top:4px solid var(--gm-ink);border-bottom:1px solid var(--gm-line)}.gm-editorial-policy h3{margin:0 0 20px;font-family:var(--serif);font-size:25px;font-weight:500}.gm-editorial-policy p{max-width:820px;margin:0;color:var(--gm-muted);font-family:var(--serif);font-size:14px;line-height:1.9}.gm-footer{display:grid;grid-template-columns:1fr auto auto;align-items:end;gap:80px;min-height:240px;padding:60px 7vw;color:var(--gm-paper);background:var(--gm-ink)}.gm-footer strong{font-family:var(--serif);font-size:26px}.gm-footer p,.gm-footer a{margin:10px 0 0;color:#99968f;font-size:9px;letter-spacing:.08em}.gm-lightbox{position:fixed;z-index:200;inset:0;display:grid;padding:30px;place-items:center;background:#0c0d0cf2;cursor:zoom-out}.gm-lightbox button{position:absolute;z-index:2;top:20px;right:24px;padding:9px 0;color:var(--gm-paper);border:0;border-bottom:1px solid #77736c;background:transparent;cursor:pointer}.gm-lightbox img{width:auto;max-width:96vw;height:auto;max-height:93vh;object-fit:contain}@media(max-width:1180px){.gm-hero{grid-template-columns:minmax(0,1fr) 46%}.gm-hero-diagram{grid-template-columns:1fr;margin-right:3vw}.gm-hero-arrow{padding:22px 0}.gm-hero-arrow i{transform:rotate(90deg)}.gm-chapter{padding-right:5vw;padding-left:5vw}.gm-prose-layout{grid-template-columns:minmax(0,1fr) 220px;gap:50px}.gm-sentence-map{grid-template-columns:repeat(5,1fr)}.gm-sentence-map>div{padding-right:17px;padding-left:17px}}@media(max-width:900px){.gm-topbar{height:62px;padding:0 18px}.gm-brand span{font-size:20px}.gm-brand small,.gm-topbar-actions>a{display:none}.gm-topbar-actions button,.gm-mobile-menu{display:flex}.gm-mobile-menu{flex-direction:column}.gm-hero{display:block;min-height:auto;padding-top:62px}.gm-hero:after{display:none}.gm-hero-copy{padding:90px 8vw 70px}.gm-hero h1{font-size:clamp(58px,12vw,94px)}.gm-hero-dek{margin-left:0;flex-wrap:wrap}.gm-hero-diagram{grid-template-columns:1fr 90px 1fr;margin:0 7vw 90px}.gm-hero-arrow{padding:0}.gm-hero-arrow i{transform:none}.gm-hero-domain strong,.gm-hero-codomain strong{font-size:70px}.gm-hero-aside{display:none}.gm-reading-layout{display:block}.gm-rail{display:none}.gm-chapter{min-height:0;padding:90px 6vw 105px}.gm-chapter-header{grid-template-columns:95px 1fr;gap:26px;margin-bottom:65px}.gm-chapter-index span{font-size:46px}.gm-chapter-header h2{font-size:clamp(42px,8vw,62px)}.gm-prose-layout{grid-template-columns:1fr}.gm-margin-note{max-width:500px}.gm-sentence-map{grid-template-columns:repeat(2,1fr)}.gm-sentence-map>div,.gm-sentence-map>div:first-child{border-right:1px solid var(--gm-line);border-bottom:1px solid var(--gm-line);border-left:0}.gm-sentence-map>div:nth-child(2n){border-right:0}.gm-sentence-map>div:last-child{grid-column:1 / -1}.gm-reading-warning{grid-template-columns:1fr}.gm-domain-caveat{grid-template-columns:1fr;gap:25px}.gm-axioms,.gm-kernel-image,.gm-codomain-comparison,.gm-e-bridge{grid-template-columns:1fr}.gm-axioms article,.gm-axioms article:nth-child(2n),.gm-kernel-image article:first-child,.gm-codomain-comparison>div:first-child,.gm-e-bridge>div:first-child{border-right:0;border-bottom:1px solid rgba(238,233,223,.18)}.gm-structure-ladder{grid-template-columns:1fr}.gm-structure-ladder i{min-height:34px}.gm-lab>header{grid-template-columns:1fr;gap:22px}.gm-axiom-result{grid-template-columns:1fr;gap:30px}.gm-proof-list article{grid-template-columns:35px 1fr}.gm-proof-list .gm-formula{grid-column:2}.gm-counterexample{grid-template-columns:1fr}.gm-counterexample__choices,.gm-counterexample>div:last-child{grid-column:1}.gm-counterexample>header{margin-bottom:30px}.gm-audit-row{grid-template-columns:130px 1fr}.gm-audit-row>div:nth-child(2){border-right:0}.gm-audit-row__result{grid-column:2}.gm-commuting-diagram{grid-template-columns:1fr}.gm-route-mark{min-height:90px}.gm-special-values,.gm-extension-stages,.gm-history-layers{grid-template-columns:1fr}.gm-special-values article,.gm-extension-stages article,.gm-history-layers article{min-height:auto;border-right:0;border-bottom:1px solid rgba(238,233,223,.18)}.gm-source-spread{grid-template-columns:1fr}.gm-source-spread>article:first-child{border-right:0;border-bottom:1px solid rgba(238,233,223,.18)}.gm-source-image{height:118vw}.gm-translation-sheet{min-height:auto}}@media(max-width:580px){.gm-hero-copy{padding-right:18px;padding-left:18px}.gm-hero h1{font-size:56px}.gm-hero h1 span:last-child{margin-left:.12em}.gm-hero-dek{display:grid;gap:10px}.gm-hero-diagram{grid-template-columns:1fr;margin-right:18px;margin-left:18px}.gm-hero-arrow{padding:20px 0}.gm-hero-arrow i{transform:rotate(90deg)}.gm-chapter{padding:75px 17px 90px}.gm-chapter-header{grid-template-columns:1fr;gap:18px}.gm-chapter-index{display:flex;align-items:baseline;gap:16px}.gm-chapter-index span{font-size:38px}.gm-chapter-index p{margin:0}.gm-chapter-header h2{font-size:41px}.gm-chapter-header>div:last-child>p{font-size:16px}.gm-prose{font-size:17px}.gm-prose h3{font-size:28px}.gm-sentence-map{grid-template-columns:1fr}.gm-sentence-map>div,.gm-sentence-map>div:nth-child(2n),.gm-sentence-map>div:last-child{grid-column:auto;min-height:auto;border-right:0}.gm-sentence-map strong{margin:22px 0}.gm-master-equation{overflow:hidden}.gm-axioms article{min-height:auto;padding:36px 15px 42px 58px}.gm-axioms article>span{left:12px}.gm-lab{margin-right:-17px;margin-left:-17px}.gm-lab>header,.gm-tab-row,.gm-axiom-result,.gm-map-controls,.gm-commuting-diagram{padding-right:17px;padding-left:17px}.gm-tab-row,.gm-counterexample__choices,.gm-source-tabs{overflow-x:auto;scrollbar-width:none;-ms-overflow-style:none}.gm-tab-row::-webkit-scrollbar,.gm-counterexample__choices::-webkit-scrollbar,.gm-source-tabs::-webkit-scrollbar{display:none;width:0;height:0}.gm-tab-row button,.gm-counterexample__choices button,.gm-source-tabs button{flex:0 0 auto}.gm-axiom-result li{grid-template-columns:30px 70px 1fr;padding:13px 0}.gm-axiom-result li>i{grid-column:3}.gm-counterexample{padding-right:0;padding-left:0}.gm-counterexample__choices{width:100%}.gm-audit-row{grid-template-columns:1fr}.gm-audit-row__result{grid-column:auto}.gm-audit-row>div,.gm-audit-row>div:nth-child(2){border-right:0;border-bottom:1px solid rgba(248,243,233,.13)}.gm-map-controls{grid-template-columns:1fr}.gm-map-lab>.gm-formula{margin-right:17px;margin-left:17px}.gm-special-values article,.gm-kernel-image article,.gm-codomain-comparison>div,.gm-extension-stages article,.gm-e-bridge>div,.gm-history-layers article{padding-right:20px;padding-left:20px}.gm-return-bridge{align-items:flex-start;flex-direction:column;gap:18px}.gm-source-reader{margin-right:-17px;margin-left:-17px;box-shadow:none}.gm-source-reader>header{grid-template-columns:1fr;padding:28px 17px}.gm-source-tabs{padding:0 17px}.gm-source-spread>article{padding:20px 12px}.gm-source-image{height:130vw}.gm-translation-sheet{padding:35px 25px 45px 46px}.gm-source-reader>footer{grid-template-columns:1fr;padding:25px 17px}.gm-references li{grid-template-columns:60px 1fr}.gm-footer{grid-template-columns:1fr;gap:30px;min-height:auto;padding:55px 18px}.gm-lightbox{padding:20px 8px}}@media(prefers-reduced-motion:reduce){.gm-site *,.gm-site *:before,.gm-site *:after{animation-duration:.01ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.01ms!important}}.gt-site{--gt-paper: #eeece5;--gt-paper-soft: #f8f6f0;--gt-ink: #15202a;--gt-ink-soft: #243440;--gt-blue: #2f6584;--gt-blue-bright: #4f91b4;--gt-blue-pale: #d9e4e8;--gt-muted: #6c7476;--gt-line: rgba(21, 32, 42, .17);--gt-serif: "Noto Serif SC", "Songti SC", "SimSun", Georgia, serif;--gt-sans: Inter, "Noto Sans SC", "Microsoft YaHei", sans-serif;min-width:320px;overflow:clip;color:var(--gt-ink);background:linear-gradient(rgba(21,32,42,.025) 1px,transparent 1px) 0 0 / 100% 32px,var(--gt-paper);font-family:var(--gt-sans)}.gt-site *{box-sizing:border-box}.gt-site a{color:inherit;text-decoration:none}.gt-site button,.gt-site select{font:inherit}.gt-site p{text-wrap:pretty}.gt-progress{position:fixed;z-index:150;top:0;right:0;left:0;height:3px;background:var(--gt-blue-bright);transform-origin:0 50%}.gt-topbar{position:fixed;z-index:120;top:0;right:0;left:0;display:flex;align-items:center;justify-content:space-between;height:72px;padding:0 38px;color:#eef1ef;border-bottom:1px solid rgba(238,241,239,.14);background:#15202aed;backdrop-filter:blur(16px)}.gt-brand{display:flex;align-items:baseline;gap:18px}.gt-brand span{font-family:var(--gt-serif);font-size:25px;font-weight:800;letter-spacing:.12em}.gt-brand small{color:#aebac0;font-size:9px;letter-spacing:.15em}.gt-top-actions{display:flex;align-items:center;gap:25px;color:#bdc6c9;font-size:9px;letter-spacing:.12em;text-transform:uppercase}.gt-top-actions>a{padding:8px 0;border-bottom:1px solid #66747b;transition:color .18s ease,border-color .18s ease}.gt-top-actions>a:hover{color:#fff;border-color:var(--gt-blue-bright)}.gt-top-actions button{display:none;align-items:center;gap:12px;padding:8px 0;color:#fff;border:0;background:transparent}.gt-top-actions i{position:relative;display:block;width:20px;height:1px;background:currentColor}.gt-top-actions i:after{position:absolute;top:6px;left:0;width:20px;height:1px;content:"";background:currentColor}.gt-mobile-menu{position:fixed;z-index:110;top:62px;right:0;left:0;display:none;max-height:calc(100svh - 62px);overflow:auto;padding:16px 22px 30px;color:#eef1ef;background:var(--gt-ink);box-shadow:0 24px 50px #00000047}.gt-mobile-menu a{display:flex;gap:16px;padding:10px 0;border-bottom:1px solid rgba(255,255,255,.13);font-family:var(--gt-serif)}.gt-mobile-menu span{width:30px;color:var(--gt-blue-bright);font-family:var(--gt-sans);font-size:9px}.gt-hero{position:relative;display:grid;grid-template-columns:minmax(0,1.12fr) minmax(460px,.88fr);min-height:100svh;overflow:hidden;color:#edf1ef;background:linear-gradient(90deg,transparent 63%,rgba(255,255,255,.025) 63%),var(--gt-ink)}.gt-hero:after{position:absolute;top:72px;bottom:0;left:58%;width:1px;content:"";background:#ffffff24}.gt-hero-copy{position:relative;z-index:3;align-self:end;padding:145px 5vw 10vh 7vw}.gt-hero-copy>p{margin:0 0 30px;color:#9fb0b7;font-size:10px;letter-spacing:.17em;text-transform:uppercase}.gt-hero-copy h1{margin:0;font-family:var(--gt-serif);font-size:clamp(50px,6.3vw,96px);font-weight:800;letter-spacing:-.055em;line-height:.98}.gt-hero-copy h1 span{display:block}.gt-hero-copy h1 span:nth-child(2){padding-left:.7em;color:#c8d5d9;font-weight:500}.gt-hero-copy h1 span:nth-child(3){color:var(--gt-blue-bright);font-style:italic}.gt-hero-dek{display:flex;gap:20px;margin:40px 0 36px}.gt-hero-dek p{margin:0;padding-right:20px;color:#aebbc0;border-right:1px solid rgba(255,255,255,.18);font-size:10px;letter-spacing:.08em}.gt-hero-dek p:last-child{border:0}.gt-hero-copy>a{display:inline-flex;align-items:center;gap:52px;padding:15px 18px;color:#eef1ef;border:1px solid rgba(255,255,255,.32);font-size:10px;letter-spacing:.13em;transition:background .18s ease,border-color .18s ease}.gt-hero-copy>a:hover{border-color:var(--gt-blue-bright);background:#4f91b424}.gt-hero-copy>a span{color:var(--gt-blue-bright);font-size:16px}.gt-hero-source{position:relative;z-index:2;display:grid;align-self:center;width:min(72%,530px);margin:100px auto 55px;transform:rotate(1.3deg)}.gt-hero-source:before{position:absolute;inset:18px -18px -18px 18px;z-index:-1;content:"";border:1px solid rgba(79,145,180,.42)}.gt-hero-source img{display:block;width:100%;max-height:72vh;object-fit:cover;object-position:50% 20%;filter:saturate(.72) contrast(1.03);box-shadow:0 28px 80px #0000006b}.gt-hero-source figcaption{display:flex;justify-content:space-between;gap:18px;padding:13px 0;color:#aab7bc;font-size:9px;letter-spacing:.08em}.gt-hero-source figcaption span:first-child{color:#e3e7e5;font-family:var(--gt-serif);font-size:13px;letter-spacing:0}.gt-hero-symbols{position:absolute;top:102px;right:42%;z-index:1;display:grid;gap:5vh;color:#a4c2d01c;font-family:Georgia,serif;font-size:clamp(30px,4vw,68px);transform:rotate(-8deg)}.gt-hero-symbols span:nth-child(2){margin-left:1.1em}.gt-hero-aside{position:absolute;right:28px;bottom:28px;z-index:3;width:245px;margin:0;color:#9aa8ad;font-family:var(--gt-serif);font-size:12px;line-height:1.7;writing-mode:vertical-rl}.gt-reading-layout{display:grid;grid-template-columns:220px minmax(0,1fr);max-width:1500px;margin:0 auto}.gt-rail{position:sticky;top:72px;align-self:start;height:calc(100svh - 72px);padding:55px 28px 30px;border-right:1px solid var(--gt-line)}.gt-rail>p{margin:0 0 22px;color:var(--gt-muted);font-size:9px;letter-spacing:.16em;text-transform:uppercase}.gt-rail nav{display:grid}.gt-rail a{display:grid;grid-template-columns:28px 1fr;gap:8px;align-items:baseline;padding:7px 0;color:#737a7c}.gt-rail a span{color:#8c969a;font-size:9px}.gt-rail a em{overflow:hidden;font-family:var(--gt-serif);font-size:13px;font-style:normal;text-overflow:ellipsis;white-space:nowrap}.gt-rail a.active{color:var(--gt-ink)}.gt-rail a.active span{color:var(--gt-blue)}.gt-rail a.active em{font-weight:700}.gt-chapters{min-width:0}.gt-chapter{min-width:0;padding:105px clamp(32px,6.5vw,105px) 125px;border-bottom:1px solid var(--gt-line)}.gt-chapter:nth-child(2n){background:#ffffff38}.gt-chapter-header{display:grid;grid-template-columns:110px minmax(0,1fr);gap:32px;margin-bottom:62px}.gt-chapter-no{display:flex;flex-direction:column;gap:9px;padding-top:8px;border-top:2px solid var(--gt-ink)}.gt-chapter-no span{color:var(--gt-blue);font-size:34px;font-weight:300;line-height:1}.gt-chapter-no time{color:var(--gt-muted);font-size:9px;letter-spacing:.09em}.gt-chapter-header>div:last-child>p{margin:0 0 10px;color:var(--gt-blue);font-size:9px;font-weight:700;letter-spacing:.15em;text-transform:uppercase}.gt-chapter-header h2{max-width:890px;margin:0;font-family:var(--gt-serif);font-size:clamp(34px,4.1vw,62px);line-height:1.12;letter-spacing:-.035em}.gt-chapter-header>div:last-child>div{max-width:850px;margin-top:19px;color:#59666b;font-family:var(--gt-serif);font-size:17px;line-height:1.8}.gt-subheading{margin:68px 0 26px;font-family:var(--gt-serif);font-size:28px}.gt-longform{max-width:860px;margin:48px auto 0;font-family:var(--gt-serif);font-size:18px;line-height:2}.gt-layer{display:inline-flex;align-items:center;min-height:23px;padding:3px 8px;color:var(--gt-blue);border:1px solid rgba(47,101,132,.42);font-size:9px;font-weight:700;letter-spacing:.13em;text-transform:uppercase}.gt-layer--source{color:#79582d;border-color:#79582d73}.gt-layer--lab{color:#fff;border-color:var(--gt-blue-bright);background:var(--gt-blue)}.gt-formula{max-width:100%}.gt-formula--block{display:block;overflow:hidden;margin:20px 0;padding:20px 16px;text-align:center;border-top:1px solid var(--gt-line);border-bottom:1px solid var(--gt-line)}.gt-formula--inline{display:inline-block;overflow:hidden;max-width:100%;padding:0 .18em;vertical-align:-.14em}.gt-formula .formula-fit__content{display:inline-block;min-width:max-content;transform-origin:center center}.gt-formula--inline .formula-fit__content{transform-origin:left center}.gt-formula.formula-fit--scroll{overflow-x:auto;overflow-y:hidden;scrollbar-width:none}.gt-formula.formula-fit--scroll::-webkit-scrollbar{display:none}.gt-formula--block .katex{font-size:1.1em}.gt-margin-note{display:grid;grid-template-columns:150px minmax(0,1fr);gap:26px;max-width:900px;margin:42px auto;padding:24px 0;border-top:1px solid var(--gt-line);border-bottom:1px solid var(--gt-line)}.gt-margin-note>span{color:var(--gt-blue);font-size:9px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.gt-margin-note p{margin:0;color:#4f5e63;font-family:var(--gt-serif);font-size:15px;line-height:1.85}.gt-margin-note--warning{border-color:#8a612b57}.gt-margin-note--warning>span{color:#8a612b}.gt-thesis-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;overflow:hidden;border:1px solid var(--gt-line);background:var(--gt-line)}.gt-thesis-grid article{min-height:260px;padding:32px 28px;background:var(--gt-paper-soft)}.gt-thesis-grid span{color:var(--gt-blue);font-size:9px;letter-spacing:.14em;text-transform:uppercase}.gt-thesis-grid h3{margin:34px 0 18px;font-family:var(--gt-serif);font-size:22px;line-height:1.35}.gt-thesis-grid p{margin:0;color:#5e686b;font-size:13px;line-height:1.85}.gt-route-map{display:grid;grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:stretch;margin:55px 0;color:#eef2f1;background:var(--gt-ink)}.gt-route-map div{display:flex;flex-direction:column;justify-content:space-between;min-height:130px;padding:20px}.gt-route-map span{color:#91a5ad;font-size:9px;letter-spacing:.1em}.gt-route-map strong{font-family:var(--gt-serif);font-size:14px;line-height:1.55}.gt-route-map i{align-self:center;color:var(--gt-blue-bright);font-style:normal}.gt-prose-columns{display:grid;grid-template-columns:1fr .9fr;gap:54px;align-items:start}.gt-prose-columns>div:first-child p{margin:0 0 22px;font-family:var(--gt-serif);font-size:17px;line-height:1.95}.gt-modern-reconstruction{padding:30px;color:#e8eeee;background:var(--gt-ink-soft)}.gt-modern-reconstruction .gt-formula--block{border-color:#ffffff26}.gt-modern-reconstruction p{margin:20px 0 0;color:#b9c5c9;font-size:12px;line-height:1.8}.gt-source-reader{margin:76px 0;border-top:4px solid var(--gt-ink);border-bottom:1px solid var(--gt-line);background:#e7e2d7;box-shadow:0 20px 55px #15202a14}.gt-source-reader__header{display:grid;grid-template-columns:1.25fr .75fr;gap:45px;padding:34px 38px;border-bottom:1px solid var(--gt-line)}.gt-source-reader__header h3{margin:15px 0 9px;font-family:var(--gt-serif);font-size:29px}.gt-source-reader__header p{max-width:720px;margin:0;color:#5e6563;font-size:12px;line-height:1.7}.gt-source-reader__header dl{display:grid;align-content:start;margin:0}.gt-source-reader__header dl div{display:grid;grid-template-columns:65px 1fr;gap:10px;padding:7px 0;border-bottom:1px solid var(--gt-line);font-size:10px}.gt-source-reader__header dt{color:var(--gt-muted)}.gt-source-reader__header dd{margin:0;font-weight:600}.gt-source-tabs{display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));overflow-x:auto;scrollbar-width:none;border-bottom:1px solid var(--gt-line)}.gt-source-tabs::-webkit-scrollbar{display:none}.gt-source-tabs button{display:grid;grid-template-columns:28px 1fr;gap:3px 10px;min-width:180px;padding:15px 18px;text-align:left;color:var(--gt-ink);border:0;border-right:1px solid var(--gt-line);background:transparent;cursor:pointer}.gt-source-tabs button span{grid-row:1 / 3;color:#8b908e;font-size:9px}.gt-source-tabs button strong{font-family:var(--gt-serif);font-size:13px}.gt-source-tabs button small{overflow:hidden;color:#7b817f;font-size:9px;text-overflow:ellipsis;white-space:nowrap}.gt-source-tabs button.active{color:#fff;background:var(--gt-ink)}.gt-source-tabs button.active span{color:var(--gt-blue-bright)}.gt-source-tabs button.active small{color:#aeb9bd}.gt-source-reader__spread{display:grid;grid-template-columns:minmax(280px,.86fr) minmax(380px,1.14fr);align-items:start}.gt-source-page{position:sticky;top:88px;margin:0;padding:30px;border-right:1px solid var(--gt-line)}.gt-source-page>button{position:relative;display:block;width:100%;padding:0;overflow:hidden;border:0;background:#d3c9b6;cursor:zoom-in}.gt-source-page img{display:block;width:100%;max-height:750px;object-fit:contain;transition:transform .25s ease}.gt-source-page button:hover img{transform:scale(1.018)}.gt-source-page button span{position:absolute;right:12px;bottom:12px;padding:7px 9px;color:#fff;background:#15202ad1;font-size:9px}.gt-source-page figcaption{display:grid;grid-template-columns:auto 1fr;gap:18px;padding-top:13px;color:#6c716e;font-size:9px;line-height:1.55}.gt-source-page figcaption strong{color:var(--gt-ink)}.gt-translation-page{min-height:680px;padding:44px clamp(28px,4vw,56px) 38px;background:var(--gt-paper-soft)}.gt-translation-page__folio{margin-bottom:38px;padding-bottom:12px;color:#847c6f;border-bottom:1px solid var(--gt-line);font-size:9px;letter-spacing:.14em;text-transform:uppercase}.gt-translation-page section{margin-bottom:36px}.gt-translation-page h4{margin:0 0 13px;color:var(--gt-blue);font-size:10px;letter-spacing:.08em}.gt-original-text{margin:0 0 16px;color:#545754;font-family:Georgia,var(--gt-serif);font-size:14px;font-style:italic;line-height:1.9}.gt-translation-text{margin:0;padding-left:20px;border-left:2px solid var(--gt-blue);font-family:var(--gt-serif);font-size:16px;line-height:1.95}.gt-translation-page footer{margin-top:42px;padding-top:22px;border-top:1px solid var(--gt-line)}.gt-translation-page footer span{color:#8b6a38;font-size:9px;font-weight:700;letter-spacing:.13em}.gt-translation-page footer p{color:#646d6d;font-size:11px;line-height:1.8}.gt-translation-page footer a{display:inline-block;margin-top:6px;color:var(--gt-blue);border-bottom:1px solid currentColor;font-size:10px}.gt-lab{margin:70px 0;padding:34px;color:#eaf0ef;background:var(--gt-ink);box-shadow:0 24px 65px #15202a33}.gt-lab>header{display:flex;justify-content:space-between;gap:40px;margin-bottom:32px;padding-bottom:24px;border-bottom:1px solid rgba(255,255,255,.14)}.gt-lab h3{margin:12px 0 0;font-family:var(--gt-serif);font-size:28px}.gt-lab>header>p{max-width:430px;margin:0;color:#aebbc0;font-size:11px;line-height:1.75}.gt-lab .gt-formula--block{border-color:#ffffff24}.gt-permutation-controls{display:flex;align-items:end;justify-content:center;gap:20px}.gt-permutation-controls label,.gt-coset-controls label{display:grid;gap:8px;color:#aebbc0;font-size:9px;letter-spacing:.09em}.gt-permutation-controls select,.gt-coset-controls select{min-width:130px;padding:11px 12px;color:#edf2f1;border:1px solid #65747b;border-radius:0;outline:none;background:#24343e}.gt-permutation-controls>span{padding-bottom:10px;color:var(--gt-blue-bright);font-size:24px}.gt-permutation-stage{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;margin:30px 0;background:#ffffff26}.gt-permutation-stage div{display:flex;align-items:center;justify-content:center;gap:11px;padding:25px 12px;background:#1d2a34}.gt-permutation-stage span,.gt-permutation-stage strong{display:grid;width:34px;height:34px;place-items:center;border:1px solid #6d7c83}.gt-permutation-stage strong{color:#fff;border-color:var(--gt-blue-bright);background:#4f91b42e}.gt-permutation-stage i{color:#809099;font-size:9px;font-style:normal}.gt-lab-results{display:grid;grid-template-columns:1fr 1fr;gap:1px;background:#ffffff24}.gt-lab-results>div{padding:20px;background:#1a2730}.gt-lab-results>div>span{color:var(--gt-blue-bright);font-size:10px}.gt-permutation-lab>footer{margin-top:25px;padding:14px 16px;color:#c4ced1;border-left:3px solid #8d7f68;background:#ffffff0d;font-size:12px;line-height:1.7}.gt-permutation-lab>footer.does-not-commute{border-color:var(--gt-blue-bright)}.gt-equation-stage{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;margin:35px 0;color:#eaf0ef;background:var(--gt-blue)}.gt-equation-stage div{padding:26px;background:var(--gt-ink-soft)}.gt-equation-stage span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.12em}.gt-equation-stage strong{display:block;margin:28px 0 12px;font-family:var(--gt-serif);font-size:21px}.gt-equation-stage p{margin:0;color:#aebcc1;font-size:11px;line-height:1.7}.gt-two-track{display:grid;grid-template-columns:1fr 1fr;gap:1px;margin:50px 0;background:var(--gt-line)}.gt-two-track article{padding:32px;background:var(--gt-paper-soft)}.gt-two-track h3{margin:24px 0 14px;font-family:var(--gt-serif);font-size:24px}.gt-two-track p{color:#5b676a;font-size:13px;line-height:1.85}.gt-definition-ledger{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--gt-line);border-left:1px solid var(--gt-line)}.gt-definition-ledger div{min-height:180px;padding:23px;border-right:1px solid var(--gt-line);border-bottom:1px solid var(--gt-line)}.gt-definition-ledger span{color:var(--gt-blue);font-family:Georgia,serif;font-size:11px;font-style:italic}.gt-definition-ledger strong{display:block;margin:30px 0 12px;font-family:var(--gt-serif);font-size:18px}.gt-definition-ledger p{margin:0;color:#657073;font-size:11px;line-height:1.75}.gt-timeline{position:relative;display:grid;grid-template-columns:repeat(4,1fr);gap:18px;margin:30px 0 65px}.gt-timeline:before{position:absolute;top:27px;right:0;left:0;height:1px;content:"";background:var(--gt-line)}.gt-timeline article{position:relative;padding-top:55px}.gt-timeline time{position:absolute;top:0;left:0;z-index:1;padding-right:12px;color:var(--gt-blue);background:var(--gt-paper);font-size:11px;font-weight:700}.gt-timeline h3{margin:0 0 12px;font-family:var(--gt-serif);font-size:20px}.gt-timeline p{margin:0;color:#606c6f;font-size:11px;line-height:1.8}.gt-cayley-portal,.gt-bridge-portal{display:flex;align-items:end;justify-content:space-between;gap:40px;margin:55px 0;padding:30px 34px;color:#eaf0ef;background:var(--gt-ink-soft)}.gt-cayley-portal span,.gt-bridge-portal span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.13em}.gt-cayley-portal h3,.gt-bridge-portal h3{margin:12px 0 8px;font-family:var(--gt-serif);font-size:24px}.gt-cayley-portal p,.gt-bridge-portal p{max-width:650px;margin:0;color:#acb9be;font-size:11px;line-height:1.7}.gt-cayley-portal a,.gt-bridge-portal a{flex:0 0 auto;padding-bottom:6px;color:#eaf0ef;border-bottom:1px solid var(--gt-blue-bright);font-size:10px}.gt-proof{max-width:950px;margin:58px auto;border:1px solid var(--gt-line);background:var(--gt-paper-soft)}.gt-proof header{display:grid;grid-template-columns:76px 1fr;gap:20px;align-items:center;padding:19px 24px;color:#fff;background:var(--gt-ink-soft)}.gt-proof header span{color:var(--gt-blue-bright);font-size:9px;font-weight:700;letter-spacing:.14em}.gt-proof h3{margin:0;font-family:var(--gt-serif);font-size:21px}.gt-proof__body{padding:27px 32px}.gt-proof__body p,.gt-proof__body li{color:#4f5d62;font-family:var(--gt-serif);font-size:15px;line-height:1.95}.gt-proof__body p:first-child{margin-top:0}.gt-proof__body p:last-child{margin-bottom:0}.gt-proof__body ol{display:grid;gap:10px;margin:0;padding-left:22px}.gt-proof footer{padding:15px 32px;color:var(--gt-blue);border-top:1px solid var(--gt-line);font-size:11px;font-weight:700}.gt-axiom-table{display:grid;border-top:1px solid var(--gt-line)}.gt-axiom-table>div{display:grid;grid-template-columns:42px 100px minmax(260px,.9fr) minmax(220px,1.1fr);gap:20px;align-items:center;padding:17px 0;border-bottom:1px solid var(--gt-line)}.gt-axiom-table>div>span{color:var(--gt-blue);font-size:11px}.gt-axiom-table>div>strong{font-family:var(--gt-serif);font-size:19px}.gt-axiom-table .gt-formula--block{margin:0;padding:10px;border:0}.gt-axiom-table p{margin:0;color:#687275;font-size:12px;line-height:1.7}.gt-example-matrix{display:grid;grid-template-columns:repeat(2,1fr);gap:1px;margin:52px 0;color:#eaf0ef;background:var(--gt-blue)}.gt-example-matrix article{padding:28px;background:var(--gt-ink-soft)}.gt-example-matrix span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.12em}.gt-example-matrix h3{margin:20px 0 0;font-family:Georgia,serif;font-size:28px}.gt-example-matrix p{margin:12px 0 0;color:#aebbc0;font-size:11px}.gt-definition-split{display:grid;grid-template-columns:1fr 1fr;gap:22px}.gt-definition-split article{padding:30px;border:1px solid var(--gt-line);background:var(--gt-paper-soft)}.gt-definition-split article p{color:#59666a;font-family:var(--gt-serif);font-size:14px;line-height:1.85}.gt-cyclic-analysis{display:grid;grid-template-columns:1fr 1fr;gap:1px;color:#edf1f0;background:var(--gt-blue)}.gt-cyclic-analysis>div{padding:28px;background:var(--gt-ink-soft)}.gt-cyclic-analysis span{color:var(--gt-blue-bright);font-size:9px}.gt-cyclic-analysis p{color:#aebbc0;font-size:11px}.gt-coset-controls{display:flex;justify-content:center;gap:24px}.gt-coset-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(54px,1fr));gap:5px;margin:28px 0}.gt-coset-grid span{display:grid;min-height:54px;place-items:center;color:#fff;border:1px solid hsla(calc(195 + var(--coset) * 34),45%,66%,.65);background:hsla(calc(195 + var(--coset) * 34),35%,45%,.34);font-family:Georgia,serif}.gt-coset-list{display:grid;gap:6px}.gt-coset-list div{display:grid;grid-template-columns:90px 1fr;gap:16px;align-items:baseline;padding:11px 14px;border-left:3px solid hsl(calc(195 + var(--coset) * 34),48%,58%);background:#ffffff0d}.gt-coset-list span{color:#9fb0b7;font-size:10px}.gt-coset-list strong{font-family:Georgia,serif;font-size:13px;font-weight:400}.gt-coset-lab>footer{margin-top:28px;padding-top:20px;border-top:1px solid rgba(255,255,255,.14)}.gt-coset-lab>footer p{margin:0;color:#aebbc0;font-size:11px;text-align:center}.gt-equivalence-stack{max-width:820px;margin:40px auto;padding:30px 40px;color:#edf1ef;background:var(--gt-ink-soft)}.gt-equivalence-stack>span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.14em}.gt-equivalence-stack .gt-formula--block{margin:8px 0;padding:12px;border-color:#ffffff1f}.gt-s3-case{display:grid;grid-template-columns:1fr 1fr;gap:1px;margin:52px 0;background:var(--gt-line)}.gt-s3-case article{padding:30px;background:var(--gt-paper-soft)}.gt-s3-case span{color:var(--gt-blue);font-size:9px;letter-spacing:.12em}.gt-s3-case h3{margin:18px 0 0;font-family:var(--gt-serif);font-size:24px}.gt-s3-case p{color:#5c686b;font-size:12px;line-height:1.8}.gt-kernel-image{display:grid;grid-template-columns:1fr 1fr;gap:1px;margin:40px 0;color:#edf1ef;background:var(--gt-blue)}.gt-kernel-image article{padding:30px;background:var(--gt-ink-soft)}.gt-kernel-image span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.13em}.gt-kernel-image p{color:#aebbc0;font-size:12px;line-height:1.8}.gt-action-layout{display:grid;grid-template-columns:.72fr 1.28fr;gap:34px}.gt-square-stage{display:grid;place-items:center;min-height:330px;background:#ffffff09}.gt-square{position:relative;width:170px;height:170px;border:2px solid #738993;transform:rotate(45deg)}.gt-square:after{position:absolute;top:50%;left:50%;width:66%;height:1px;content:"";background:#4f91b461;transform:translate(-50%,-50%) rotate(-45deg)}.gt-square>span{position:absolute;top:50%;left:50%;z-index:2;color:var(--gt-blue-bright);font-family:Georgia,serif;font-size:24px;transform:translate(-50%,-50%) rotate(-45deg)}.gt-vertex{position:absolute;z-index:4;display:grid;width:40px;height:40px;padding:0;place-items:center;color:#eaf0ef;border:1px solid #778a92;border-radius:50%;background:var(--gt-ink);cursor:pointer;transform:rotate(-45deg)}.gt-vertex--0{top:-21px;left:-21px}.gt-vertex--1{top:-21px;right:-21px}.gt-vertex--2{right:-21px;bottom:-21px}.gt-vertex--3{bottom:-21px;left:-21px}.gt-vertex.selected{color:#fff;border-color:#e0b066;box-shadow:0 0 0 4px #e0b06621}.gt-vertex.image{border-color:var(--gt-blue-bright);background:var(--gt-blue);box-shadow:0 0 0 4px #4f91b424}.gt-square-stage>p{margin:-25px 0 0;font-family:var(--gt-serif);font-size:20px}.gt-square-stage>p i{padding:0 14px;color:var(--gt-blue-bright);font-style:normal}.gt-action-controls>span{display:block;margin-bottom:10px;color:#9faeb4;font-size:9px;letter-spacing:.12em}.gt-action-controls>div{display:grid;grid-template-columns:1fr 1fr;gap:5px}.gt-action-controls button{display:grid;grid-template-columns:35px 1fr;align-items:center;min-height:54px;padding:8px 12px;text-align:left;color:#dfe7e6;border:1px solid rgba(255,255,255,.14);background:transparent;cursor:pointer}.gt-action-controls button strong{color:var(--gt-blue-bright);font-family:Georgia,serif;font-size:16px}.gt-action-controls button small{color:#a5b1b6;font-size:9px}.gt-action-controls button.active{border-color:var(--gt-blue-bright);background:#4f91b426}.gt-action-results{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;margin-top:30px;background:#ffffff24}.gt-action-results div{padding:18px;background:#1b2932}.gt-action-results span{display:block;margin-bottom:10px;color:#9eadb3;font-size:9px}.gt-action-results strong{font-family:Georgia,serif;font-size:15px}.gt-burnside-note{margin-top:48px;padding:30px;color:#eaf0ef;background:var(--gt-ink-soft)}.gt-burnside-note>span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.12em}.gt-burnside-note p{color:#aebbc0;font-size:12px;line-height:1.8}.gt-structure-chain{max-width:880px;margin:0 auto 45px;padding:30px;color:#eaf0ef;background:var(--gt-ink-soft)}.gt-structure-chain p{margin:16px 0 0;color:#aebbc0;font-family:var(--gt-serif);font-size:14px;line-height:1.8}.gt-factorization-cards{display:grid;grid-template-columns:1fr 1fr;gap:20px}.gt-factorization-cards article{padding:30px;border:1px solid var(--gt-line);background:var(--gt-paper-soft)}.gt-factorization-cards span{color:var(--gt-blue);font-size:9px;letter-spacing:.12em}.gt-factorization-cards p{color:#5c696d;font-size:12px;line-height:1.8}.gt-derived-series{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;margin:55px 0;background:var(--gt-line)}.gt-derived-series>div{padding:25px;background:var(--gt-paper-soft)}.gt-derived-series p{color:#5c696d;font-size:11px;line-height:1.75}.gt-horizons-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:20px}.gt-horizons-grid article{min-width:0;padding:29px;color:#eaf0ef;background:var(--gt-ink-soft)}.gt-horizons-grid span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.12em}.gt-horizons-grid h3{margin:28px 0 10px;font-family:var(--gt-serif);font-size:22px}.gt-horizons-grid p{color:#aebbc0;font-size:11px;line-height:1.8}.gt-horizons-grid .gt-formula--block{border-color:#ffffff21}.gt-closing-thesis{max-width:900px;margin:70px auto 0;padding:45px;border-left:5px solid var(--gt-blue);background:var(--gt-paper-soft)}.gt-closing-thesis>span{color:var(--gt-blue);font-size:9px;font-weight:700;letter-spacing:.14em}.gt-closing-thesis h3{margin:20px 0;font-family:var(--gt-serif);font-size:31px}.gt-closing-thesis p{margin:0;color:#536166;font-family:var(--gt-serif);font-size:16px;line-height:1.95}.gt-reference-list{border-top:1px solid var(--gt-line)}.gt-reference-list a{display:grid;grid-template-columns:34px 78px minmax(0,1fr) 20px;gap:18px;align-items:start;padding:18px 0;border-bottom:1px solid var(--gt-line);transition:background .16s ease,padding .16s ease}.gt-reference-list a:hover{padding-right:12px;padding-left:12px;background:#ffffff73}.gt-reference-list>a>span{color:#9ba2a3;font-size:9px}.gt-reference-list time{color:var(--gt-blue);font-size:9px;font-weight:700}.gt-reference-list strong{font-family:var(--gt-serif);font-size:14px}.gt-reference-list p{margin:6px 0 0;color:#687275;font-size:10px;line-height:1.65}.gt-reference-list i{color:var(--gt-blue);font-style:normal}.gt-editorial-policy{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;margin-top:55px;color:#eaf0ef;background:var(--gt-blue)}.gt-editorial-policy div{padding:25px;background:var(--gt-ink-soft)}.gt-editorial-policy span{color:var(--gt-blue-bright);font-size:9px;letter-spacing:.12em}.gt-editorial-policy p{margin:24px 0 0;color:#aebbc0;font-size:10px;line-height:1.8}.gt-footer{display:grid;grid-template-columns:1fr auto auto;gap:50px;align-items:end;padding:55px 7vw;color:#dce4e3;background:var(--gt-ink)}.gt-footer strong{font-family:var(--gt-serif);font-size:20px}.gt-footer p{margin:8px 0 0;color:#9aa9ae;font-size:10px}.gt-footer>div:nth-child(2){display:flex;gap:22px;color:#abb7bb;font-size:9px}.gt-footer>a{padding-bottom:4px;border-bottom:1px solid var(--gt-blue-bright);font-size:9px}.gt-lightbox{position:fixed;z-index:300;inset:0;display:grid;padding:64px 30px 30px;place-items:center;background:#0a0f13f5}.gt-lightbox>button{position:fixed;top:20px;right:24px;padding:10px 0;color:#fff;border:0;border-bottom:1px solid var(--gt-blue-bright);background:transparent;cursor:pointer;font-size:10px}.gt-lightbox figure{max-width:min(94vw,1600px);max-height:calc(100svh - 95px);margin:0;overflow:auto;scrollbar-width:thin}.gt-lightbox img{display:block;max-width:100%;height:auto;margin:0 auto}.gt-lightbox figcaption{padding:10px;color:#aab7bc;font-size:10px;text-align:center}@media(max-width:1180px){.gt-top-actions>a{display:none}.gt-top-actions button{display:flex}.gt-mobile-menu{display:grid;grid-template-columns:repeat(2,1fr);column-gap:28px}.gt-hero{grid-template-columns:1.08fr .92fr}.gt-hero-copy{padding-left:5vw}.gt-hero-source{width:80%}.gt-reading-layout{grid-template-columns:180px minmax(0,1fr)}.gt-rail{padding-right:20px;padding-left:20px}.gt-chapter{padding-right:clamp(30px,5vw,65px);padding-left:clamp(30px,5vw,65px)}.gt-source-reader__spread{grid-template-columns:minmax(250px,.75fr) minmax(360px,1.25fr)}.gt-horizons-grid{grid-template-columns:1fr}.gt-horizons-grid article{padding-right:5vw;padding-left:5vw}}@media(max-width:900px){.gt-topbar{height:62px;padding:0 20px}.gt-brand small{display:none}.gt-brand span{font-size:21px}.gt-hero{display:block;min-height:auto;padding-top:62px}.gt-hero:after,.gt-hero-aside{display:none}.gt-hero-copy{padding:90px 8vw 55px}.gt-hero-copy h1{font-size:clamp(48px,10vw,78px)}.gt-hero-source{width:min(76vw,520px);margin:30px auto 80px}.gt-hero-source img{max-height:70vh}.gt-hero-symbols{right:4vw}.gt-reading-layout{display:block}.gt-rail{display:none}.gt-chapter{padding:85px 7vw 100px}.gt-chapter-header{grid-template-columns:82px minmax(0,1fr);gap:22px}.gt-thesis-grid{grid-template-columns:1fr}.gt-thesis-grid article{min-height:0}.gt-route-map{grid-template-columns:1fr}.gt-route-map i{padding:8px;transform:rotate(90deg)}.gt-route-map div{min-height:95px}.gt-prose-columns,.gt-two-track,.gt-definition-split,.gt-factorization-cards,.gt-source-reader__header{grid-template-columns:1fr}.gt-source-reader__spread{display:block}.gt-source-page{position:relative;top:auto;border-right:0;border-bottom:1px solid var(--gt-line)}.gt-source-page img{max-height:78vh}.gt-timeline{grid-template-columns:1fr 1fr}.gt-timeline:before{display:none}.gt-timeline article{padding-top:34px}.gt-definition-ledger{grid-template-columns:1fr 1fr}.gt-axiom-table>div{grid-template-columns:32px 85px minmax(0,1fr)}.gt-axiom-table p{grid-column:3}.gt-derived-series,.gt-action-layout,.gt-action-results{grid-template-columns:1fr}.gt-editorial-policy{grid-template-columns:1fr 1fr}}@media(max-width:640px){.gt-mobile-menu{grid-template-columns:1fr}.gt-hero-copy{padding:78px 22px 45px}.gt-hero-copy>p{line-height:1.7}.gt-hero-copy h1{font-size:clamp(42px,14vw,64px)}.gt-hero-copy h1 span:nth-child(2){padding-left:0}.gt-hero-dek{display:grid;gap:8px}.gt-hero-dek p{padding:0;border:0}.gt-hero-source{width:calc(100% - 62px);margin-bottom:60px}.gt-hero-source figcaption{display:grid}.gt-chapter{padding:70px 20px 85px}.gt-chapter-header{display:block;margin-bottom:42px}.gt-chapter-no{flex-direction:row;align-items:baseline;justify-content:space-between;margin-bottom:25px}.gt-chapter-header h2{font-size:36px}.gt-chapter-header>div:last-child>div{font-size:15px}.gt-margin-note{grid-template-columns:1fr;gap:12px}.gt-thesis-grid h3{margin-top:20px}.gt-source-reader{margin-right:-20px;margin-left:-20px}.gt-source-reader__header{padding:28px 20px}.gt-source-tabs{grid-template-columns:none;grid-auto-columns:78%;grid-auto-flow:column}.gt-source-page{padding:20px}.gt-translation-page{padding:35px 22px}.gt-lab{margin-right:-20px;margin-left:-20px;padding:26px 20px}.gt-lab>header{display:grid;gap:18px}.gt-lab-results,.gt-equation-stage,.gt-example-matrix,.gt-cyclic-analysis,.gt-s3-case,.gt-kernel-image,.gt-permutation-stage{grid-template-columns:1fr}.gt-permutation-controls{align-items:stretch}.gt-permutation-controls label{flex:1}.gt-permutation-controls select{width:100%;min-width:0}.gt-timeline,.gt-definition-ledger{grid-template-columns:1fr}.gt-cayley-portal,.gt-bridge-portal{display:grid}.gt-proof{margin-right:-8px;margin-left:-8px}.gt-proof header{grid-template-columns:1fr;gap:8px}.gt-proof__body{padding:22px}.gt-axiom-table>div{grid-template-columns:28px 1fr;gap:10px}.gt-axiom-table .gt-formula,.gt-axiom-table p{grid-column:1 / -1}.gt-definition-split article{padding:24px 18px}.gt-coset-grid{grid-template-columns:repeat(4,1fr)}.gt-coset-list div{grid-template-columns:65px 1fr}.gt-action-controls>div{grid-template-columns:1fr}.gt-factorization-cards{gap:12px}.gt-editorial-policy{grid-template-columns:1fr}.gt-reference-list a{grid-template-columns:28px 1fr 16px}.gt-reference-list time{grid-column:2;grid-row:1}.gt-reference-list div{grid-column:2;grid-row:2}.gt-reference-list i{grid-column:3;grid-row:1 / 3}.gt-closing-thesis{padding:30px 24px}.gt-footer{grid-template-columns:1fr;gap:28px;padding:45px 22px}.gt-footer>div:nth-child(2){display:grid}}