@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/annotated-sicm/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/annotated-sicm/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(/annotated-sicm/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/annotated-sicm/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/annotated-sicm/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{--bg: #f8f8f8;--fg: #383838;--muted: #6b6b6b;--rule: #e0ded6;--accent: #9a2617;--accent-soft: #f4e9e6;--link: #1b5e8c;--code-bg: #1e1e2e;--code-fg: #d7dae0;--card: #ffffff;--sidebar-w: 260px;--serif: "Linux Libertine O", "Libertinus Serif", Georgia, "Times New Roman", serif;--sans: "Linux Biolinum O", "Libertinus Sans", system-ui, -apple-system, sans-serif;--mono: "Inconsolata LGC", "DejaVu Sans Mono", ui-monospace, Menlo, monospace;--math: "STIX Two Math", "Cambria Math", "Latin Modern Math", serif}*{margin:0;padding:0;box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:1.5rem;font-size:170%}body{font-family:var(--serif);background:var(--bg);color:var(--fg);line-height:1.45;font-optical-sizing:auto;-webkit-font-smoothing:antialiased;font-feature-settings:"liga","ss06"}#app{display:grid;grid-template-columns:var(--sidebar-w) minmax(0,1fr);gap:0;max-width:74rem;margin:0 auto;transition:grid-template-columns .2s ease}#app.toc-collapsed{grid-template-columns:0 minmax(0,1fr)}.toc{position:sticky;top:0;align-self:start;height:100vh;overflow-x:hidden;overflow-y:auto;padding:1.4rem 1rem 2rem 1.15rem;border-right:1px solid var(--rule);font-family:var(--sans);font-size:.58rem;background:#f4f4f2;transition:opacity .2s ease,padding .2s ease,border-color .2s ease}#app.toc-collapsed .toc{opacity:0;pointer-events:none;padding-left:0;padding-right:0;border-right-color:transparent}.toc-toolbar{display:flex;justify-content:flex-end;margin-bottom:.75rem}.toc-toggle{font-family:var(--sans);font-size:.55rem;font-weight:600;color:var(--muted);background:#fff;border:1px solid var(--rule);border-radius:999px;padding:.22rem .65rem;cursor:pointer}.toc-toggle:hover{color:var(--fg);border-color:#c8c5bb}.toc-open{position:fixed;top:.85rem;left:.85rem;z-index:20;font-family:var(--sans);font-size:.55rem;font-weight:600;color:var(--fg);background:#fff;border:1px solid var(--rule);border-radius:999px;padding:.28rem .75rem;box-shadow:0 4px 16px #1a1a1a1f;cursor:pointer}.toc-open[hidden]{display:none}.toc h1{font-family:var(--sans);font-size:.72rem;font-weight:700;letter-spacing:-.01em;margin-bottom:.15rem}.toc .subtitle{color:var(--muted);font-size:.52rem;margin-bottom:.75rem;line-height:1.35}.toc-chapters{display:flex;flex-direction:column;gap:.05rem;margin-bottom:.85rem;padding-bottom:.75rem;border-bottom:1px solid var(--rule)}.toc a.toc-chapter{font-weight:600;color:var(--muted);border-left:2px solid transparent}.toc a.toc-chapter.current{color:var(--accent);border-left-color:var(--accent)}.toc a{display:block;color:var(--muted);text-decoration:none;border-left:2px solid transparent;padding:.14rem 0 .14rem .55rem;margin-left:-.55rem;transition:color .15s,border-color .15s}.toc a:hover{color:var(--fg)}.toc a.sub{padding-left:1.35rem;font-size:.54rem}.toc a.active{color:var(--accent);border-left-color:var(--accent);font-weight:600}.chapter-nav{margin-top:1rem;font-size:.72rem;color:var(--muted)}.chapter-nav-link{color:var(--link);text-decoration:none}.chapter-nav-link:hover{text-decoration:underline}.chapter-nav-sep{margin:0 .45rem;color:var(--rule)}.toc .toc-foot{margin-top:1.25rem;padding-top:.85rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.5rem;line-height:1.45}.toc .toc-foot a{display:inline;color:var(--link);border:none;padding:0;margin:0}main{padding:2.5rem 2.5rem 5rem;min-width:0;max-width:42rem}.book-header{margin-bottom:2.5rem}.book-header,.book-text,footer.book-foot{width:min(100%,67ex)}.book-header .eyebrow{font-family:var(--sans);text-transform:uppercase;letter-spacing:.14em;font-size:.55rem;font-weight:600;color:var(--accent)}.book-header h1{font-size:1.88rem;font-weight:600;line-height:1.15;letter-spacing:-.01em;margin:.4rem 0 .6rem}.book-header p.lede{color:var(--muted);font-size:.92rem}.book-header .byline{font-family:var(--sans);font-size:.58rem;color:var(--muted);margin-top:1rem}.book-header .byline a{color:var(--link);text-decoration:none}.book-text>h1.level1{margin-top:3rem;scroll-margin-top:1.5rem}.book-text>h1.level1{font-family:var(--sans);font-size:1.31rem;font-weight:700;letter-spacing:-.01em;margin-bottom:.6rem;padding-top:.65rem;border-top:1px solid var(--rule)}.book-text>h2.level2{font-family:var(--sans);font-size:1.1rem;font-weight:600;color:#333;margin:2rem 0 .4rem}.book-text>h3.level3{font-family:var(--sans);font-size:1.15rem;font-weight:700;margin:2.6rem 0 .5rem;scroll-margin-top:1.5rem}.book-text>h1.level1 strong,.book-text>h2.level2 strong,.book-text>h3.level3 strong{font-weight:inherit}p{margin:.9rem 0}p.note{font-size:.92rem;color:var(--muted);border-left:2px solid var(--rule);padding-left:1rem}a{color:var(--link)}em{font-style:italic}strong{font-weight:600}.annotation-copy{font-style:italic}p code{font-family:var(--mono);font-size:.82em;background:#f0efea;border-radius:4px;padding:.08em .28em}.type-symbol{text-decoration-line:underline;text-decoration-style:dotted;text-decoration-color:color-mix(in srgb,currentColor 55%,transparent);text-underline-offset:.2em;cursor:help}.type-symbol:focus-visible{outline:2px solid var(--link);outline-offset:2px;border-radius:2px}.tok-type{color:#ffcb6b}.type-tooltip{position:fixed;z-index:1000;width:min(26rem,calc(100vw - 24px));padding:.55rem .7rem;border:1px solid #cbc8bd;border-radius:8px;background:#fffefb;box-shadow:0 8px 28px #1a1a1a29;color:var(--fg);font-family:var(--sans);font-size:.55rem;line-height:1.4}.type-tooltip[hidden]{display:none}.type-tooltip-heading{font-weight:700}.type-tooltip-label{display:block;margin-top:.3rem;color:var(--accent);font-size:.48rem;font-weight:700;letter-spacing:.06em;text-transform:uppercase}.type-tooltip code{display:block;margin:.12rem 0 .28rem;color:#222;font-family:var(--mono);font-size:.55rem;overflow-wrap:anywhere}.type-tooltip-math{min-height:1.2rem;margin:.08rem 0 .2rem;overflow-x:auto;color:#222}.type-tooltip-math .katex{font-size:1em}.type-tooltip-detail{color:var(--muted)}.katex-display{margin:1.2rem 0;overflow-x:auto;overflow-y:hidden;padding:.2rem 0}.book-text blockquote{margin:1.5rem 1.5rem 2rem;padding-left:1rem;border-left:2px solid var(--rule);color:#424242}.book-text .quote-citation{color:var(--muted);font-size:.9rem;text-align:right}.book-text .eqtext{margin:1.3rem 0;overflow-x:auto;text-align:center}.book-text>p{-webkit-hyphens:auto;hyphens:auto;text-wrap:pretty}.book-text math{font-family:var(--math);font-size:1.02em}.book-text math.book-math-display{display:block math;margin-inline:auto;padding-block:.12em}.book-text math mtext{font-family:var(--serif)}.math-code-aligned>mtr>.math-align-left{text-align:right}.math-code-aligned>mtr>.math-align-equals{padding-inline:.2em;text-align:center}.math-code-aligned>mtr>.math-align-right{text-align:left}.math-conjoined-equations>mtr>.math-conjunction{padding-inline:.6em;text-align:center}.book-math .type-symbol{text-decoration:none}.book-math [data-symbol],.book-math [data-inferred-type]{cursor:help;transition:color .12s ease}.book-math [data-symbol]:hover,.book-math [data-symbol]:focus,.book-math [data-inferred-type]:hover,.book-math [data-inferred-type]:focus{color:var(--accent)}.book-text pre.book-code,.book-text pre.book-result{position:relative;margin:1.1rem 0;padding:1rem 1.2rem;max-inline-size:100%;overflow-x:hidden;overflow-wrap:anywhere;border-radius:10px;font-family:var(--mono);font-size:.79rem;line-height:1.55;white-space:pre-wrap}.book-text pre.book-code{color:var(--code-fg);background:var(--code-bg)}.book-text pre.book-result{border:1px solid var(--rule);color:#24292f;background:#f6f8fa}.book-text .result,.book-text .result-math{margin:-.55rem 0 1.35rem;padding:.2rem .85rem;overflow-x:auto;border:1px solid var(--rule);border-radius:0 0 10px 10px;background:#fffefb}.book-text .result .eqtext,.book-text .result-math .eqtext{margin:.65rem 0}.book-text .font1{font-family:var(--mono);font-size:.86em}.book-text .font1.type-symbol,.book-text em.type-symbol{cursor:help}.book-text em.type-symbol{text-decoration:none}.book-text em.type-symbol:hover,.book-text em.type-symbol:focus{color:var(--accent)}.book-text .noindent1-top-exe{margin-top:1.8rem}.book-text .noindent1-topa{margin-left:1.2rem}.book-text figure{margin:1.8rem auto;text-align:center}.book-text figure img{max-width:min(100%,620px);height:auto}.book-text figcaption{margin:.6rem auto 0;max-width:640px;color:var(--muted);font-size:.88rem;line-height:1.5}.book-text>a[id]{position:relative;top:-1rem}.math-code-pair{margin:1.4rem 0;border:1px solid var(--rule);border-radius:10px;overflow:hidden;background:var(--card)}.math-code-pair-math-only{background:transparent}.math-code-pair-math-row{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center}.math-code-pair-math{padding:.9rem 1rem;overflow-x:auto;overscroll-behavior-inline:contain}.math-code-pair-math .eqtext{margin:0;overflow:visible}.math-code-pair-number{padding:.9rem 1rem .9rem .25rem;color:var(--muted);font-family:var(--serif);font-size:.86rem;white-space:nowrap}.math-code-pair-code{display:block;border-top:1px solid var(--rule)}pre.code,.math-code-pair-code pre{margin:0;background:var(--code-bg);color:var(--code-fg);font-family:var(--mono);font-size:.82rem;line-height:1.6;padding:1rem 1.2rem;max-inline-size:100%;overflow-x:hidden;overflow-wrap:anywhere;white-space:pre-wrap;text-align:start;-moz-tab-size:2;tab-size:2}pre.code{border-radius:10px;margin:1.4rem 0}.tok-key{color:#c792ea}.tok-fn{color:#82aaff}.tok-str{color:#c3e88d}.tok-num{color:#f78c6c}.tok-com{color:#676e95;font-style:italic}.demo{margin:1.6rem 0 2rem;border:1px solid var(--rule);border-radius:12px;overflow:hidden;background:var(--card)}.demo .demo-head{display:flex;align-items:center;gap:.75rem;padding:.55rem 1rem;background:#faf9f6;border-bottom:1px solid var(--rule);font-family:var(--sans);font-size:.8rem;font-weight:600}.demo .demo-head .tag{font-size:.66rem;text-transform:uppercase;letter-spacing:.08em;color:#fff;background:var(--accent);padding:.12rem .45rem;border-radius:999px}.demo .run-btn{margin-left:auto;font-family:var(--sans);font-size:.76rem;font-weight:600;color:#fff;background:var(--link);border:none;border-radius:6px;padding:.3rem .85rem;cursor:pointer}.demo .run-btn:hover{filter:brightness(1.08)}.demo .demo-body{padding:0}.demo pre.code{margin:0;border-radius:0}.demo .output{font-family:var(--mono);font-size:.8rem;padding:.7rem 1.2rem;background:#f6f8fa;border-top:1px solid var(--rule);white-space:pre-wrap;color:#24292f;min-height:1.2rem}.demo .output .ok{color:#1a7f37}.demo .output .muted{color:var(--muted)}.demo .plot{padding:.8rem 1rem;background:var(--card);overflow-x:auto}.paths-3d{width:max-content;max-width:100%;margin:0 auto}.paths-3d canvas{display:block;max-width:100%;height:auto;border-radius:6px;cursor:grab;touch-action:none;background:#fbfbf9}.paths-3d canvas:active{cursor:grabbing}.paths-3d-hint{margin:.35rem 0 0;text-align:center;font-size:.72rem;color:var(--muted)}.action-scale{display:flex;align-items:center;gap:.5rem;font-size:.72rem;color:var(--muted);font-family:var(--sans)}.action-scale-bar{flex:1;height:.45rem;border-radius:999px;background:linear-gradient(90deg,#1b5e8c,#9a2617);min-width:4rem}.plot-legend i.emphasize{border-top-width:3px}.line-plot{width:max-content;max-width:100%;margin:0 auto}.plot-legend{display:flex;flex-wrap:wrap;justify-content:center;gap:.35rem 1rem;margin:.15rem 0 .4rem;color:var(--muted);font-family:var(--sans);font-size:.7rem}.plot-legend span{display:inline-flex;align-items:center;gap:.35rem}.plot-legend i{width:1.4rem;border-top:2px solid var(--series-color)}.plot-legend i.dashed{border-top-style:dashed}.plot-legend i.dot{width:.55rem;height:.55rem;border:0;border-radius:50%;background:var(--series-color)}.demo .controls{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem 1.25rem;padding:.7rem 1.2rem;border-top:1px solid var(--rule);font-family:var(--sans);font-size:.8rem;background:#faf9f6}.demo .controls label{display:inline-flex;align-items:center;gap:.5rem;color:#333}.demo .controls input[type=range]{width:140px;accent-color:var(--accent)}.demo .controls .val{font-family:var(--mono);font-size:.76rem;color:var(--accent);min-width:3.2em;display:inline-block}.demo .controls button{font-family:var(--sans);font-size:.76rem;font-weight:600;border:1px solid var(--rule);background:#fff;border-radius:6px;padding:.25rem .7rem;cursor:pointer}.spring-stage{display:block;background:#fbfbf8;border:1px solid var(--rule);border-radius:6px;flex-shrink:0}.orbit-stage{display:block;background:#fbfbf8;border:1px solid var(--rule);border-radius:6px;margin:0 auto}.planar-lagrangian-simulator{width:min(100%,1040px);margin:0 auto}.planar-sim-layout{display:grid;grid-template-columns:minmax(0,1.35fr) minmax(260px,.85fr);gap:.8rem;align-items:stretch}.planar-lagrangian-simulator svg{display:block;width:100%;height:auto;border:1px solid var(--rule);border-radius:6px;touch-action:none}.planar-sim-coordinate-panel{min-width:0;border:1px solid var(--rule);border-radius:6px;background:#fbfbf8;padding:.45rem}.planar-sim-coordinate-title{color:var(--muted);font-family:var(--sans);font-size:.74rem;font-weight:600;text-align:center}.planar-sim-coordinate-chart{display:block;width:100%;height:auto;border:0!important}.planar-sim-coordinate-axes line{stroke:#aaa69d;stroke-width:1}.planar-sim-coordinate-series{fill:none;stroke:var(--coordinate-color);stroke-width:1.8;vector-effect:non-scaling-stroke}.planar-sim-coordinate-cursor{stroke:#6b6b6b;stroke-width:1;stroke-dasharray:3 3}.planar-sim-coordinate-legend{display:flex;flex-wrap:wrap;justify-content:center;gap:.4rem .75rem;font-family:var(--sans);font-size:.68rem}.planar-sim-coordinate-legend span:before{content:"";display:inline-block;width:.8rem;border-top:2px solid var(--coordinate-color);margin-right:.25rem;vertical-align:middle}.planar-sim-background{fill:#fbfbf8}.planar-sim-axes line{stroke:#d9d6cf;stroke-width:1;vector-effect:non-scaling-stroke}.planar-sim-trajectory-point{fill:#1b5e8c;opacity:.56;pointer-events:none}.planar-sim-velocity{stroke:#2f855a;stroke-width:1.6;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-current-velocity{stroke:#2f855a;stroke-width:2.4;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-aim{stroke:#c47f00;stroke-width:3;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-initial{fill:#c47f00;stroke:#fff;stroke-width:2.5;cursor:crosshair;vector-effect:non-scaling-stroke}.planar-sim-current{fill:#1a1a1a;stroke:#fff;stroke-width:1.5;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-mass{fill:#9a2617;stroke:#fff;stroke-width:1.5;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-mass-velocity{stroke:#2f855a;stroke-width:2;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-connector{stroke:#343434;stroke-width:2.2;pointer-events:none;vector-effect:non-scaling-stroke}.planar-sim-hint{margin:.45rem 0 0;color:var(--muted);font-family:var(--sans);font-size:.76rem;text-align:center}.planar-sim-error{margin:.5rem 0 0;color:#9a2617;font-family:var(--sans);font-size:.78rem;text-align:center}@media(max-width:760px){.planar-sim-layout{grid-template-columns:1fr}}.pendulum-stage{display:block;background:#fefefe}.exercise-picture{display:block;width:100%;min-width:420px;border:1px solid var(--rule);border-radius:8px;background:linear-gradient(#0000 49%,#eceae3,#0000 51%),linear-gradient(90deg,#0000 49%,#eceae3,#0000 51%),#fffefb}.coord-transform-stage{display:grid;grid-template-columns:1fr 1fr;gap:.75rem;width:100%;min-width:420px}.coord-transform-panel{display:block;width:100%;height:auto;border:1px solid var(--rule);border-radius:8px;background:#fffefb}.coord-transform-label{font-family:var(--sans);font-size:13px;fill:var(--muted)}.coord-transform-axis{stroke:#d7d2c8;stroke-width:1.5}.coord-transform-ray{stroke:#555;stroke-width:2}.coord-transform-arc{fill:none;stroke:var(--accent);stroke-width:2}.coord-transform-velocity{stroke:#1f6b4a;stroke-width:2.5;marker-end:none}.coord-transform-origin{fill:#888}.coord-transform-point{fill:var(--accent);stroke:#721b10;stroke-width:2}.exercise-link{stroke:#333;stroke-linecap:round;stroke-width:7}.exercise-rail{stroke:#777;stroke-width:5}.exercise-mass{fill:var(--accent);stroke:#721b10;stroke-width:2}.exercise-center{fill:var(--link)}#loading-banner{grid-column:1 / -1;text-align:center;padding:5rem 1rem;color:var(--muted);font-family:var(--sans)}#loading-banner .spinner{display:inline-block;width:18px;height:18px;border:2px solid var(--rule);border-top-color:var(--accent);border-radius:50%;animation:spin .7s linear infinite;vertical-align:middle;margin-right:.5rem}@keyframes spin{to{transform:rotate(360deg)}}.toc-backend{margin-top:1.25rem;padding-top:.85rem;border-top:1px solid var(--rule);display:grid;gap:.35rem;font-size:.78rem}.toc-backend label{color:var(--muted)}.toc-backend select{font:inherit;color:inherit;background:var(--bg);border:1px solid var(--rule);border-radius:4px;padding:.25rem .4rem}footer.book-foot{margin-top:4rem;padding-top:1.5rem;border-top:1px solid var(--rule);font-family:var(--sans);font-size:.82rem;color:var(--muted);line-height:1.6}footer.book-foot a{color:var(--link);text-decoration:none}.glossary{margin-top:4rem;padding-top:2rem;border-top:1px solid var(--rule);font-family:var(--sans)}.glossary h1{font-family:var(--sans);font-size:1.35rem;font-weight:700;letter-spacing:-.02em;margin:0 0 .5rem;scroll-margin-top:1.5rem}.glossary-lede{color:var(--muted);font-size:.92rem;line-height:1.5;margin:0 0 1.25rem;max-width:40rem}.glossary-table{width:100%;border-collapse:collapse;font-size:.84rem;line-height:1.4}.glossary-table th{text-align:left;font-size:.68rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);border-bottom:1px solid var(--rule);padding:.45rem .65rem .45rem 0;white-space:nowrap}.glossary-table td{vertical-align:top;border-bottom:1px solid #e7e5df;padding:.7rem .75rem .7rem 0}.glossary-term{font-size:1.05rem;white-space:nowrap;padding-right:1rem}.glossary-code code{font-family:var(--mono);font-size:.8em;background:#f0efea;border-radius:4px;padding:.08em .28em}.glossary-type{font-size:.92rem;padding-right:1rem}.glossary-type .katex{font-size:1em}.glossary-name{font-weight:600;color:var(--fg);margin-bottom:.15rem}.glossary-description{color:var(--muted);font-size:.8rem;line-height:1.45}@media(max-width:720px){.glossary-table,.glossary-table tbody,.glossary-table tr,.glossary-table th,.glossary-table td{display:block;width:100%}.glossary-table thead{display:none}.glossary-table tr{border-bottom:1px solid var(--rule);padding:.85rem 0}.glossary-table td{border:none;padding:.15rem 0}}@media(min-width:481px)and (max-width:720px){html{font-size:140%}}@media(max-width:860px){#app,#app.toc-collapsed{grid-template-columns:1fr}.toc{position:static;height:auto;max-height:none;border-right:none;border-bottom:1px solid var(--rule)}#app.toc-collapsed .toc{display:none}.toc-open{top:.65rem;left:.65rem}main{padding:2rem 1.1rem 4rem;max-width:none}}@media(max-width:480px){html{font-size:120%}}@media(prefers-reduced-motion:reduce){.type-tooltip{transition:none}}