@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.22"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;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 .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;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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.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}.showcase-page,.solver-page,.triples-navigation{--design-ink: #173954;--design-muted: #435c70;--design-blue: #2168b5;--design-border: #dce9f2}.showcase-page{color:var(--design-ink);animation:showcase-appear .55s ease-out both}.showcase-page *,.solver-page *{box-sizing:border-box}.eyebrow{display:flex;align-items:center;gap:10px;color:#476a83;font-size:13px;line-height:1.7;font-weight:700;letter-spacing:.17em}.eyebrow-line{width:26px;height:1px;background:#4798ce}.home-intro{display:grid;grid-template-columns:1.15fr 1fr;align-items:center;gap:48px;padding:30px 0 56px}.home-intro h1{margin:24px 0;font-size:clamp(42px,4.7vw,61px);line-height:1.12;letter-spacing:-.055em;font-weight:600}.home-intro h1>span,.about-heading h1>span{color:#2c6e9c}.intro-description{max-width:450px;color:var(--design-muted);font-size:16px;line-height:1.95}.page-actions{display:flex;flex-wrap:wrap;align-items:center;gap:22px;margin-top:28px}.design-button{display:inline-flex;align-items:center;justify-content:center;gap:20px;min-height:44px;padding:12px 19px;border:1px solid var(--design-border);border-radius:12px;font-size:14px;font-weight:600;transition:transform .2s,box-shadow .2s,background .2s}.design-button--primary{color:#fff;border-color:transparent;background:linear-gradient(120deg,#1e62b1,#1d72a7);box-shadow:0 6px 18px #2a76b721}.design-button:hover{transform:translateY(-2px);box-shadow:0 8px 22px #2a76b72b}.design-text-link{display:inline-flex;align-items:center;gap:10px;min-height:42px;padding:9px 12px;border:1px solid transparent;border-radius:10px;color:#3f6c86;font-size:14px;font-weight:600;transition:color .2s}.design-text-link:hover{color:#115b9b}.showcase-page :is(a,button):focus-visible,.solver-page :is(a,button):focus-visible{outline:3px solid #62a8dd;outline-offset:5px}.home-visual{position:relative;isolation:isolate;padding:24px 25px;border:1px solid #fff;border-radius:24px;background:linear-gradient(145deg,#ffffffad,#e7f3fc8c);box-shadow:0 14px 55px #668dae0c,inset 0 1px #fff;color:#346d92}.visual-topline{display:flex;justify-content:space-between;gap:12px;color:#486c85;font-size:12px;letter-spacing:.14em;font-weight:600}.geometry-sketch{display:block;width:100%}.visual-caption{display:flex;align-items:center;gap:15px;padding-top:15px;border-top:1px solid #d9e8f2}.visual-caption p{color:#4a6a84;font-size:13px;line-height:1.9}.visual-caption strong{font-weight:500;color:#345d7b}.visual-cross{font-size:26px;font-weight:300}.visual-orbit{position:absolute;z-index:-1;top:40px;right:-22px;bottom:-18px;left:44px;border:1px solid #dbeaf5;border-radius:24px;transform:rotate(5deg)}.design-section-heading{display:flex;justify-content:space-between;align-items:end;gap:24px;margin-bottom:24px}.design-section-heading h2{margin-top:7px;font-size:23px;letter-spacing:-.04em;font-weight:600}.section-side-note{padding-bottom:4px;color:#546b7f;font-size:13px}.home-projects{scroll-margin-top:125px;padding-top:30px;border-top:1px solid var(--design-border)}.featured-projects{display:grid;grid-template-columns:1.14fr 1fr;gap:22px}.project-feature{position:relative;display:flex;flex-direction:column;overflow:hidden;min-width:0;padding:27px;border:1px solid #dbeaf5;border-radius:22px;transition:transform .25s,box-shadow .25s,border-color .25s}.project-feature:hover{transform:translateY(-4px);border-color:#b4d6ee;box-shadow:0 15px 30px #729bc313}.project-feature--triples{background:linear-gradient(125deg,#eaf4ffde,#f4faff)}.project-feature--geometry{background:linear-gradient(130deg,#f6fbff,#edf7f9b8)}.project-topline{display:flex;align-items:center;gap:12px}.project-symbol{display:grid;place-items:center;width:36px;height:36px;border:1px solid #cce1f1;border-radius:11px;background:#ffffffb3;color:#306a9d;font:24px Georgia,serif}.project-symbol--geometry{color:#34717c}.design-tag{color:#4b6d88;font-size:12px;letter-spacing:.11em;font-weight:600}.project-arrow{display:grid;place-items:center;margin-left:auto;width:34px;height:34px;flex-shrink:0;border:1px solid transparent;border-radius:10px;color:#446b86}.project-copy{margin-top:24px}.project-copy h3{font-size:22px;font-weight:600;letter-spacing:-.045em}.project-copy p{margin-top:10px;max-width:370px;color:var(--design-muted);font-size:16px;line-height:1.9}.project-equation{display:flex;flex:1;flex-direction:column;justify-content:center;min-height:126px;padding:18px 0;color:#3a6a8e;font-size:16px}.project-equation>span{display:block;margin-top:6px;font:italic 14px Georgia,serif;color:#4c6d86}.project-mini-sketch{align-self:flex-end;width:185px;height:126px;margin-top:-5px;color:#3c6e83}.project-mini-sketch svg{height:145px}.project-cta{display:flex;align-items:center;gap:12px;margin-top:auto;color:#2d6c9f;font-size:14px;font-weight:700}.project-directory{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin-top:20px}.directory-link{display:flex;align-items:center;gap:18px;padding:20px 12px;border-bottom:1px solid var(--design-border);transition:background .2s}.directory-number{align-self:flex-start;margin-top:3px;color:#4c6c84;font:14px monospace}.directory-link h3{font-size:16px;font-weight:600}.directory-link p{margin-top:6px;color:var(--design-muted);font-size:14px;line-height:1.8}.directory-link>svg{flex-shrink:0;margin-left:auto;color:#466a84}.directory-link:hover,.about-interests a:hover{background:#edf5fc80}.home-colophon{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:18px;padding:28px 0 5px;color:#516b80;font-size:14px}.about-heading{padding:30px 0 38px}.about-heading h1{margin:18px 0 14px;font-size:clamp(40px,5vw,56px);line-height:1.15;font-weight:600;letter-spacing:-.055em}.about-heading>p:last-child{color:var(--design-muted);font-size:16px}.about-grid{display:grid;grid-template-columns:300px minmax(0,1fr);gap:65px;align-items:start}.profile-card{padding:34px 28px 0;border:1px solid #fff;border-radius:24px;background:linear-gradient(145deg,#e7f3ff,#f7fbff);box-shadow:0 12px 40px #5b83a50c}.profile-monogram{position:relative;display:flex;align-items:center;justify-content:center;overflow:hidden;width:100%;height:192px;margin-bottom:34px;border:1px solid #ffffffb3;border-radius:18px;background:linear-gradient(145deg,#dbeeff,#f2f9ff);color:#356a95;font:italic 76px Georgia,serif;letter-spacing:-.09em}.profile-monogram:before,.profile-monogram:after{content:"";position:absolute;width:175px;height:175px;border:1px solid #8db9d750;border-radius:50%}.profile-monogram:before{left:-70px;top:-75px}.profile-monogram:after{bottom:-75px;right:-70px}.profile-monogram>span{color:#436a88}.profile-monogram>i{position:absolute;top:23px;right:22px;width:5px;height:5px;border-radius:50%;background:#78acd1;box-shadow:0 0 0 5px #b2d3eb40}.profile-card h2{margin-top:10px;font-size:25px;font-weight:600;letter-spacing:-.045em}.profile-description{margin-top:12px;color:var(--design-muted);font-size:16px;line-height:1.9}.profile-tags{display:flex;flex-wrap:wrap;gap:7px;margin:24px 0 30px}.profile-tags span{padding:5px 8px;border:1px solid #d2e4f2;border-radius:6px;font-size:12px;color:#456a85;background:#ffffff60}.profile-github{display:flex;justify-content:space-between;align-items:center;padding:18px 12px;border-top:1px solid #d5e6f3;font-size:14px;font-weight:600;color:#346d99}.about-story{padding-top:6px}.section-index{color:#4d6a81;font-size:12px;letter-spacing:.14em;font-weight:600}.about-note h2{margin:20px 0;font-size:33px;line-height:1.3;font-weight:500;letter-spacing:-.045em}.about-note>p{max-width:570px;font-size:16px;line-height:2;color:var(--design-muted)}.about-note .about-credit{margin-top:16px;font-size:14px;color:#4d697d}.about-interests{margin-top:34px;padding-top:25px;border-top:1px solid var(--design-border)}.about-interests .design-section-heading{margin-bottom:8px}.about-interests h2{font-size:15px;letter-spacing:-.02em}.about-interests a{display:flex;align-items:center;gap:16px;padding:16px 12px;border-bottom:1px solid #e6eef5;transition:background .2s}.interest-mark{width:28px;color:#4b6d86;font:23px Georgia,serif;text-align:center}.about-interests h3{font-size:16px;font-weight:600}.about-interests a p{margin-top:6px;color:var(--design-muted);font-size:14px;line-height:1.6}.about-interests a>svg{flex-shrink:0;margin-left:auto;color:#496a81}.about-philosophy{display:grid;grid-template-columns:300px minmax(0,1fr);gap:65px;align-items:center;margin-top:42px;padding:30px 0 10px;border-top:1px solid var(--design-border)}.philosophy-caption{display:block;margin-top:8px;color:#526a7e;font-size:13px}.about-philosophy blockquote{position:relative;padding-right:30px;color:#426d8c;font:italic 30px/1.5 Georgia,serif}.about-philosophy blockquote>span{position:absolute;right:0;top:-27px;color:#4c6980;font-size:100px;line-height:1}@keyframes showcase-appear{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}@media (min-width: 1400px){.home-intro{padding-top:40px;padding-bottom:65px}}@media (max-width: 900px){.home-intro{gap:30px}.page-actions{gap:18px}.about-grid,.about-philosophy{grid-template-columns:260px minmax(0,1fr);gap:36px}.profile-card{padding:26px 22px 0}.profile-card h2{font-size:22px}.section-side-note{display:none}}@media (max-width: 640px){.home-intro{grid-template-columns:1fr;gap:34px;padding:12px 0 40px}.home-intro h1{font-size:47px;margin:22px 0}.intro-description{font-size:16px}.home-visual{max-width:390px;width:calc(100% - 12px);padding:20px}.home-visual .geometry-sketch{max-height:220px}.visual-orbit{top:30px;right:-12px;bottom:-10px;left:30px}.featured-projects,.project-directory,.about-grid,.about-philosophy{grid-template-columns:1fr}.design-section-heading h2{font-size:21px}.project-feature{padding:24px}.project-directory{gap:0}.home-colophon{align-items:start;flex-direction:column}.about-heading{padding:12px 0 30px}.about-grid{gap:32px}.profile-card{display:grid;grid-template-columns:88px minmax(0,1fr);column-gap:20px;padding:24px 22px 0}.profile-monogram{grid-row:1 / 4;height:105px;margin:0;font-size:46px;border-radius:13px}.profile-card>.eyebrow{align-self:end;font-size:12px}.profile-card h2{margin-top:3px;font-size:22px}.profile-description{margin-top:5px;font-size:14px}.profile-tags{grid-column:1 / -1;margin:20px 0}.profile-github{grid-column:1 / -1}.about-note h2{font-size:30px}.about-philosophy{gap:22px;margin-top:30px}.about-philosophy blockquote{font-size:27px}}@media (prefers-reduced-motion: reduce){.showcase-page{animation:none}.showcase-page *,.solver-page *{transition:none!important;scroll-behavior:auto!important}}.triples-navigation{width:100%;max-width:1240px;margin-inline:auto;padding-bottom:16px;border-bottom:1px solid #d3e3ef}.triples-navigation ul{display:inline-flex;padding:6px;gap:4px;border:1px solid #cedfeb;border-radius:16px;background:#ffffffc9}.triples-navigation-link{display:flex;align-items:center;justify-content:center;min-height:44px;padding:10px 20px;border-radius:10px;color:#36566f;font-size:16px;font-weight:600}.triples-navigation-link:hover{background:#edf5fc}.triples-navigation-link.is-active{color:#164f7d;background:#dcecfb;box-shadow:inset 0 0 0 1px #c0d9ed}.triples-navigation-link:focus-visible{outline:3px solid #2676b7;outline-offset:3px}.solver-page{color:var(--design-ink)}.solver-heading{display:flex;justify-content:space-between;align-items:end;gap:28px;padding:6px 0 30px}.solver-heading h1{margin:13px 0 12px;font-size:clamp(27px,3.3vw,40px);font-weight:600;letter-spacing:-.05em;line-height:1.2}.solver-heading h1>span{color:#2c6f99}.solver-heading>div>p:last-child{color:var(--design-muted);font-size:16px;line-height:1.8}.solver-heading>a{flex-shrink:0;margin-bottom:5px}.solver-workspace{display:grid;grid-template-columns:minmax(0,1fr) 290px;grid-template-areas:"editor reference" "results results";gap:24px;align-items:start}.solver-editor{grid-area:editor;min-width:0;border:1px solid #dce9f3;border-radius:22px;background:#ffffffb8;box-shadow:0 10px 34px #739bb10a}.solver-editor form{padding:28px;scroll-margin-top:130px}.solver-panel-heading{display:flex;align-items:center;justify-content:space-between;gap:15px;margin-bottom:24px}.solver-panel-heading h2{font-size:17px;font-weight:600;letter-spacing:-.025em}.solver-label{display:flex;flex-wrap:wrap;justify-content:space-between;gap:8px;margin-bottom:10px;font-size:16px;font-weight:600}.solver-label>span{color:#516b80;font-size:14px;font-weight:400}.solver-expression{display:block;width:100%;min-height:136px;resize:vertical;padding:17px;border:1px solid #d4e4f1;border-radius:12px;outline:none;background:linear-gradient(130deg,#f6faff,#fbfdff);color:#254762;font:16px/1.9 ui-monospace,SFMono-Regular,Consolas,monospace;transition:border-color .2s,box-shadow .2s;font-size:16px}.solver-expression::placeholder{color:#4c6a80}.solver-expression:focus,.constraint-row input:focus{border-color:#73adda;box-shadow:0 0 0 3px #a6cdea33}.solver-field-help{margin-top:9px;color:#516a7e;font-size:14px;line-height:1.7}.solver-constraints{margin-top:23px;padding-top:20px;border-top:1px solid #e3edf5}.constraint-heading{display:flex;align-items:center;justify-content:space-between;gap:15px;margin-bottom:14px}.constraint-heading h3{display:flex;align-items:center;gap:10px;font-size:16px;font-weight:600}.constraint-heading h3>span{padding:2px 7px;border-radius:5px;background:#edf4fa;color:#4d697d;font-size:12px;font-weight:400}.constraint-clear{color:#716577;font-size:14px;min-height:38px;padding:7px 13px;border:1px solid #cdbfcf;border-radius:9px;background:#fff;font-weight:600;box-shadow:0 2px 5px #4a304a08;transition:background .16s,border-color .16s,color .16s}.constraint-clear:enabled:is(:hover,:focus-visible){color:#7c3f5b;border-color:#b58b9f;background:#fff0f5}.constraints-empty{padding:16px;border:1px dashed #d9e6f0;border-radius:10px;color:#4d697d;font-size:16px;line-height:1.9}.constraint-list{display:grid;gap:8px}.constraint-row{display:grid;grid-template-columns:95px minmax(0,1.5fr) minmax(0,1fr) 36px;padding:12px;border:1px solid var(--constraint-border);border-left-width:4px;border-radius:12px;background:var(--constraint-bg);align-items:center;gap:8px}.constraint-expression-field{position:relative;min-width:0}.constraint-alias-field{min-width:0}.constraint-row input{width:100%;min-width:0;padding:10px;border:1px solid #dae6ef;border-radius:8px;outline:none;background:#fff;font:14px/1.6 ui-monospace,Consolas,monospace;font-size:16px;color:#173954;min-height:44px}.constraint-remove{width:36px;height:44px;border-radius:6px;color:#636779;font-size:22px}.constraint-remove:hover{background:#fff1f2;color:#a74a61}.constraint-actions{display:flex;flex-wrap:wrap;gap:9px;margin-top:13px}.constraint-actions button{display:flex;align-items:center;gap:12px;padding:8px 11px;border:1px solid #d5e6f3;border-radius:8px;color:var(--constraint-ink);background:var(--constraint-bg);font-size:15px;transition:background .2s;min-height:44px;border-color:var(--constraint-border);font-weight:600}.constraint-actions button:hover{background:var(--constraint-bg);box-shadow:inset 0 0 0 1px var(--constraint-border)}.constraint-actions button>span{color:inherit;font:13px monospace;font-size:16px;font-weight:700}.solver-submit-row{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:15px;margin-top:24px;padding-top:20px;border-top:1px solid #e3edf5}.solver-submit-row>span{color:#4d697d;font-size:13px}.solver-submit-row .design-button{gap:14px;font-size:14px}.solver-page button:disabled{opacity:.5;cursor:not-allowed;transform:none}.solver-reference{grid-area:reference;padding:26px 24px;border-radius:20px;border:1px solid #dfedf6;background:linear-gradient(140deg,#eaf4fdeb,#f2f8fd99)}.solver-reference h2{margin:16px 0 12px;font-size:23px;font-weight:500;letter-spacing:-.04em;line-height:1.35}.solver-reference>p:not(.eyebrow){color:#506c81;font-size:14px;line-height:1.9}.syntax-list{display:grid;gap:16px;margin:22px 0}.syntax-list>div{display:grid;grid-template-columns:59px minmax(0,1fr);gap:10px;align-items:center}.syntax-list dt{padding:6px 5px;border:1px solid #d3e5f2;border-radius:6px;background:#ffffff9e;color:#3f6d8f;text-align:center;font:14px monospace}.syntax-list dd{color:#4c6a82;font-size:14px;line-height:1.7}.solver-reference .syntax-note{padding-top:16px;border-top:1px solid #dce9f2;font-size:14px!important}.reference-example{display:flex;width:100%;align-items:center;justify-content:space-between;gap:10px;margin-top:22px;padding:14px 16px;border:1px solid #cadfea;border-radius:12px;text-align:left;color:#346d99}.reference-example span{color:#4c6980;font-size:13px;line-height:1.8}.reference-example strong{display:block;margin-top:4px;color:#346d99;font-size:14px;font-weight:600}.solver-results{grid-area:results;min-width:0;padding:25px 28px;border:1px solid #dce9f3;border-radius:20px;background:#ffffff8f}.solver-results .solver-panel-heading{margin-bottom:18px}.proof-placeholder{display:flex;align-items:center;gap:20px;min-height:78px;color:#4c6a83}.proof-placeholder-symbol{display:grid;place-items:center;width:43px;height:43px;flex-shrink:0;border:1px solid #e0ebf4;border-radius:13px;color:#4b6d85;background:#f3f8fc;font:27px Georgia,serif}.proof-placeholder h3{color:#4d6d84;font-size:14px;font-weight:500}.proof-placeholder p{margin-top:6px;font-size:14px;line-height:1.8}.proof-placeholder-formula{margin-left:auto;color:#4c6b82;font:italic 27px Georgia,serif}.proof-output-grid{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:24px}.proof-render,.proof-details{min-width:0}.proof-success-label{display:inline-block;margin-bottom:12px;padding:4px 8px;border:1px solid #d5e9df;border-radius:5px;color:#396e69;font-size:14px;background:#f1faf5}.proof-math{overflow-x:auto;padding:18px;border:1px solid #dfebf4;border-radius:12px;background:#f8fbfe}.proof-math .katex-render-container{min-width:max-content}.proof-details{overflow:hidden;border:1px solid #dce8f2;border-radius:12px;background:#f9fcff}.proof-output-tabs{display:flex;border-bottom:1px solid #dce8f2}.proof-output-tabs button{flex:1;padding:11px 8px;min-height:44px;font-size:14px;color:#4b697e}.proof-output-tabs button[aria-pressed=true]{background:#e5f0fb;color:#2e6b9a}.proof-code-heading{display:flex;justify-content:space-between;align-items:center;padding:12px 15px 0;color:#516a7f;font-size:12px;letter-spacing:.08em}.proof-code-heading button{padding:4px 10px;border:1px solid #dbe6ef;border-radius:5px;background:#fff;color:#456b87;min-height:36px;font-size:14px;letter-spacing:normal}.proof-details pre{max-height:280px;overflow:auto;padding:12px 15px 18px;white-space:pre-wrap;overflow-wrap:anywhere;font:14px/1.9 ui-monospace,Consolas,monospace;color:#4f6c83}.solver-examples{margin-top:42px}.example-gallery{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}.example-card{min-width:0;display:flex;flex-direction:column;padding:22px;border:1px solid #dfebf4;border-radius:16px;background:#ffffff7d}.example-title{display:flex;align-items:center;flex-wrap:wrap;gap:10px}.example-title h3{font-size:16px;font-weight:600}.example-type{margin-left:auto;color:#4d6a80;font-size:14px}.example-math{overflow-x:auto;margin:15px 0 12px;padding:11px 12px;border-radius:8px;background:#edf5fc8c;color:#446d8a;font-size:14px}.example-card>p{flex:1;color:#506a7f;font-size:16px;line-height:1.9}.example-bottom{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:13px;margin-top:18px}.example-constraints{display:flex;flex-wrap:wrap;gap:5px;color:#4d697d;font-size:14px}.example-constraints code{padding:6px 9px;border:1px solid #e0eaf3;border-radius:4px;font:12px monospace;border-color:var(--constraint-border);background:var(--constraint-bg);color:var(--constraint-ink);font-size:14px;font-weight:600}.example-bottom button{display:inline-flex;align-items:center;gap:10px;margin-left:auto;min-height:42px;padding:9px 12px;border:1px solid transparent;border-radius:10px;color:#3a6e93;font-size:14px;font-weight:600}.solver-python{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,.85fr);align-items:center;gap:40px;margin-top:32px;padding:32px;border:1px solid #cddfeb;border-radius:22px;background:linear-gradient(120deg,#eaf4ff,#f7fbff)}.solver-python h2{margin:12px 0;font-size:27px;font-weight:600;letter-spacing:-.035em;line-height:1.3}.solver-python-copy>p:not(.eyebrow){max-width:500px;color:var(--design-muted);font-size:16px;line-height:1.8}.solver-python .design-text-link{margin-top:20px}.python-install-command{min-width:0;overflow:hidden;border:1px solid #264f6c;border-radius:14px;background:#173954;box-shadow:0 12px 25px #17395414;color:#f1f8ff}.python-terminal-heading{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:10px 16px;border-bottom:1px solid #ffffff24;color:#d5e7f5;font-size:13px}.python-install-command pre{overflow-x:auto;padding:24px 20px 12px;font:17px/1.8 ui-monospace,Consolas,monospace}.python-install-command code>span{color:#a6d7fb;margin-right:8px}.python-install-command>p{padding:0 20px 22px;color:#c6dce9;font-size:14px}.solver-page [data-constraint-type=ineq]{--constraint-ink: #155588;--constraint-bg: #eaf4ff;--constraint-border: #86b5d8}.solver-page [data-constraint-type=eq]{--constraint-ink: #65358b;--constraint-bg: #f3ecfb;--constraint-border: #b89bd2}.constraint-kind{display:flex;flex-direction:column;align-items:start;gap:3px;color:var(--constraint-ink)}.constraint-kind>span{font-size:14px;font-weight:700}.constraint-kind>strong{font:700 18px/1.4 ui-monospace,Consolas,monospace}.solver-page input::placeholder,.solver-expression::placeholder{color:#586f82;opacity:1}@media (max-width: 1000px){.solver-heading{flex-direction:column;align-items:start;gap:16px}.solver-workspace{grid-template-columns:minmax(0,1fr) 250px;gap:18px}.solver-reference{padding:24px 20px}.solver-editor form{padding:24px}.solver-submit-row>span{display:none}.solver-submit-row .design-button{width:100%}}@media (max-width: 760px){.solver-workspace{grid-template-columns:minmax(0,1fr);grid-template-areas:"editor" "results" "reference"}.solver-reference{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:0 28px}.solver-reference .eyebrow{grid-column:1 / -1}.solver-reference h2{grid-column:1}.solver-reference>p:not(.eyebrow){grid-column:1}.solver-reference .syntax-list{grid-column:2;grid-row:2 / 5;align-self:start;margin-top:16px}.reference-example{grid-column:1 / -1;margin-top:18px}.proof-output-grid{grid-template-columns:minmax(0,1fr)}.proof-placeholder-formula{display:none}}@media (max-width: 540px){.solver-heading h1{font-size:28px}.solver-heading>div>p:last-child{font-size:14px}.solver-heading{padding-bottom:22px}.solver-editor form,.solver-results{padding:21px 18px}.solver-panel-heading h2{font-size:16px}.solver-expression{font-size:16px;padding:14px}.solver-panel-heading .section-index{font-size:12px}.constraint-row{grid-template-columns:minmax(0,1fr) 36px;gap:6px;padding:12px}.constraint-kind{grid-column:1;grid-row:1;flex-direction:row;align-items:center;gap:12px}.constraint-expression-field{grid-column:1 / -1;grid-row:2}.constraint-remove{grid-column:2;grid-row:1}.constraint-alias-field{grid-column:1 / -1;grid-row:3}.solver-reference{display:block}.solver-reference h2 br{display:none}.solver-reference h2{font-size:22px}.solver-reference .syntax-list{margin-top:22px}.proof-placeholder{align-items:start;gap:13px}.proof-placeholder h3,.proof-placeholder p{font-size:14px}.example-gallery{grid-template-columns:minmax(0,1fr)}.example-card{padding:18px}.example-type{width:100%;margin-left:24px}.example-math{font-size:14px}.solver-python{grid-template-columns:minmax(0,1fr);padding:24px 20px;gap:24px}.solver-python h2{font-size:25px}.python-install-command pre{padding-inline:16px;font-size:16px}.python-terminal-heading,.python-install-command>p{padding-inline:16px}}.design-text-link,.profile-github,.example-bottom button,.reference-example{border-radius:10px;transition:color .16s,background .16s,box-shadow .16s}.design-text-link:is(:hover,:focus-visible),.profile-github:is(:hover,:focus-visible),.example-bottom button:enabled:is(:hover,:focus-visible){color:#125b92;background:#e2effb;border-color:#bdd5e8}.directory-link:is(:hover,:focus-visible),.about-interests a:is(:hover,:focus-visible),.reference-example:enabled:is(:hover,:focus-visible){background:#e2effb;border-color:#bdd5e8;color:#125b92}.reference-example:enabled:is(:hover,:focus-visible) strong,.directory-link:is(:hover,:focus-visible) h3,.about-interests a:is(:hover,:focus-visible) h3,.project-feature:is(:hover,:focus-visible) .project-cta{color:#125b92;text-decoration:underline;text-underline-offset:4px}.project-feature:is(:hover,:focus-visible) .project-arrow{color:#125b92;background:#dcecfb;border-color:#bdd5e8}.design-text-link>svg,.profile-github>svg,.directory-link>svg,.about-interests a>svg,.reference-example>svg,.example-bottom button>svg{flex-shrink:0;transition:transform .16s}:is(.design-text-link,.profile-github,.directory-link):is(:hover,:focus-visible)>svg,.about-interests a:is(:hover,:focus-visible)>svg,.reference-example:enabled:is(:hover,:focus-visible)>svg,.example-bottom button:enabled:is(:hover,:focus-visible)>svg{transform:translate(2px)}.command-copy-button{display:inline-flex;align-items:center;justify-content:center;gap:6px;min-width:0;min-height:30px;flex-shrink:0;padding:4px 8px;border:1px solid #799bb5;border-radius:8px;color:#f1f8ff;background:#ffffff0d;font-size:13px;line-height:1.5;white-space:nowrap;font-weight:600;transition:background .16s,border-color .16s}.command-copy-button>svg{width:14px;height:14px}.command-copy-button:enabled:is(:hover,:focus-visible){border-color:#c5e5ff;background:#ffffff20}.solver-page .command-copy-button:focus-visible{outline-color:#c5e5ff}.triples-release{display:flex;align-items:center;flex-wrap:wrap;gap:24px;margin-top:24px;padding:24px 28px;border:1px solid #d5e4ef;border-radius:20px;background:#ffffffa6}.release-version{padding:13px 15px;border:1px solid #b7d4eb;border-radius:12px;background:linear-gradient(145deg,#e2efff,#eef7ff);color:#235e89;font:600 18px/1.6 ui-monospace,Consolas,monospace}.release-copy{flex:1;min-width:200px}.release-copy h2{margin:5px 0 8px;color:#173954;font-size:20px;font-weight:600;letter-spacing:-.025em}.release-copy>p:last-child{color:#435c70;font-size:15px;line-height:1.8}.documentation-layout{display:grid;grid-template-columns:240px minmax(0,1fr);align-items:start;gap:24px}.documentation-layout[data-contents-open=false]{grid-template-columns:minmax(0,1fr)}.documentation-toolbar{grid-column:1 / -1;display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:12px}.documentation-toggle{display:inline-flex;align-items:center;gap:9px;min-height:44px;padding:10px 14px;border:1px solid #b9d2e5;border-radius:10px;background:#ffffffb3;color:#285f88;font-size:14px;font-weight:600}.documentation-toggle:is(:hover,:focus-visible){background:#e2effb;border-color:#82adce}.documentation-toggle:focus-visible{outline:3px solid #2676b7;outline-offset:3px}.documentation-sidebar{position:sticky;top:24px;min-width:0}.documentation-sidebar[hidden]{display:none}.documentation-contents-card{max-height:calc(100vh - 200px);overflow-y:auto;padding:16px 12px;border:1px solid #c6ddeb70;border-radius:20px;background:linear-gradient(155deg,#dcebf966,#e8f3fb26);scrollbar-width:thin;scrollbar-color:#7895ac45 transparent;scrollbar-gutter:stable}.documentation-contents-card:is(:hover,:focus-within){scrollbar-color:#6b8da787 transparent}.documentation-contents-card::-webkit-scrollbar{width:5px;height:5px}.documentation-contents-card::-webkit-scrollbar-track{background:transparent}.documentation-contents-card::-webkit-scrollbar-thumb{border:0;border-radius:999px;background:#7895ac45}.documentation-contents-card:is(:hover,:focus-within)::-webkit-scrollbar-thumb{background:#6b8da787}.documentation-menu-link{display:block;padding:9px 12px;border-radius:10px;color:#3e5b70;font-size:14px;line-height:1.6;font-weight:500;transition:color .16s,background .16s}.documentation-menu-link:is(:hover,:focus-visible){background:#dcecf9a6;color:#164f7d}.documentation-menu-link.is-active{background:#d5e7f5;color:#164f7d;box-shadow:inset 3px 0 #5c93bd}.documentation-menu-link:focus-visible{outline:2px solid #5c93bd;outline-offset:2px}.documentation-contents-card h2{padding:0 12px;margin-bottom:14px;color:#173954;font-size:17px;font-weight:600}.documentation-body{min-width:0;overflow-wrap:anywhere}.documentation-body :is(pre,.katex-display){max-width:100%;overflow-x:auto}@media (max-width: 1023px){.documentation-layout{grid-template-columns:minmax(0,1fr)}.documentation-sidebar{position:static}.documentation-contents-card{max-height:55vh}}@media (max-width: 540px){.triples-release{align-items:start;gap:18px;padding:22px 20px}.release-copy{min-width:0;flex-basis:calc(100% - 116px)}.triples-release>.design-text-link{flex-basis:100%}}.ggb-reasoning-actions{position:sticky;top:0;z-index:12;padding:12px;border:1px solid #dbe6f5;border-radius:13px;background:#fffffffa;box-shadow:0 4px 16px #2648710a;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px)}.ggb-reasoning-heading{display:flex;justify-content:space-between;align-items:center;gap:8px;margin-bottom:10px;font-size:10px;color:#7b8aa0}.ggb-reasoning-heading>span:first-child{font-size:9px;font-weight:650;letter-spacing:.13em}.ggb-hypothesis-badge{color:#b45309}.ggb-reasoning-primary{display:grid;grid-template-columns:1fr 1fr;gap:8px}.ggb-reasoning-primary button{display:flex;justify-content:center;align-items:center;gap:7px;min-height:46px;padding:8px 9px;border:1px solid transparent;border-radius:9px;font-size:11px;font-weight:600;line-height:1.4;cursor:pointer;text-align:left}.ggb-reasoning-primary svg{flex-shrink:0}.ggb-suggest-action{color:#286195;background:#edf5ff;border-color:#dceafd!important}.ggb-suggest-action:hover{background:#e1eeff}.ggb-proof-action{background:#2463c2;color:#fff;box-shadow:0 2px 5px #2563eb1a}.ggb-proof-action:hover{background:#1d4fa4}.ggb-reasoning-actions button:disabled{opacity:.4;cursor:default;box-shadow:none}.ggb-reasoning-hint{margin:9px 0 11px;font-size:10px;line-height:1.5;color:#8390a3}.ggb-reasoning-goal{display:flex;align-items:baseline;gap:9px;padding:9px 0;border-top:1px solid #ecf0f6;border-bottom:1px solid #ecf0f6}.ggb-reasoning-goal>span{flex-shrink:0;font-size:9px;letter-spacing:.1em;color:#8b98aa}.ggb-reasoning-goal p{margin:0;overflow-wrap:anywhere;color:#52657e;font-size:10px;line-height:1.6}.ggb-reasoning-secondary{display:flex;align-items:center;flex-wrap:wrap;gap:4px;padding-top:7px}.ggb-reasoning-secondary button,.ggb-reasoning-export summary{display:flex;align-items:center;gap:5px;border:0;border-radius:6px;background:transparent;padding:5px 7px;color:#62748c;font-size:10px;cursor:pointer}.ggb-reasoning-secondary button:hover,.ggb-reasoning-export summary:hover{color:#2463c2;background:#f1f6fd}.ggb-reasoning-secondary .ggb-reasoning-clear,.ggb-reasoning-secondary .ggb-reasoning-stop{margin-left:auto}.ggb-reasoning-secondary .ggb-reasoning-stop{color:#b45309}.ggb-reasoning-export{position:relative}.ggb-reasoning-export summary{list-style:none}.ggb-reasoning-export summary::-webkit-details-marker{display:none}.ggb-reasoning-export>div{position:absolute;top:calc(100% + 3px);left:0;min-width:135px;z-index:15;padding:5px;border:1px solid #e2e8f0;border-radius:9px;background:#fff;box-shadow:0 8px 22px #2035561f}.ggb-reasoning-export>div button{width:100%;padding:8px}.ggb-reasoning-progress{display:flex;align-items:center;gap:8px;padding-top:8px;margin:6px 0 0;border-top:1px solid #edf1f6;color:#2563a2;font-size:10px;line-height:1.5}.ggb-reasoning-progress .ggb-spinner{width:12px;height:12px;flex-shrink:0}.ggb-proof-outcome{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:6px 10px;padding:9px;margin-top:9px;border-radius:7px;background:#f1f5f9;color:#52657d;font-size:10px}.ggb-proof-outcome>span{display:flex;align-items:center;gap:5px}.ggb-proof-outcome .ggb-status-dot{background:currentColor;width:5px;height:5px}.ggb-proof-outcome[data-tone=success]{color:#047857;background:#ecfdf5}.ggb-proof-outcome[data-tone=warning]{color:#a16207;background:#fff8e7}.ggb-proof-outcome[data-tone=error]{color:#be123c;background:#fff1f2}.ggb-proof-outcome button{padding:0;border:0;background:transparent;color:inherit;font-size:10px;font-weight:600;cursor:pointer}.ggb-proof-outcome button:hover{text-decoration:underline}.ggb-reasoning-options{padding:8px 10px;border:1px solid #e7ecf3;border-radius:9px;background:#fafbfd;font-size:10px;color:#64748b}.ggb-reasoning-options>summary{cursor:pointer}.ggb-reasoning-options[open]>summary{color:#334155;font-weight:600}.ggb-reasoning-actions :focus-visible,.ggb-reasoning-options summary:focus-visible{outline:2px solid #3b82f6;outline-offset:2px}.ggb-proof-settings{--proof-muted: #3a65a2;--proof-border: #e9edf3;width:min(940px,calc(100vw - 64px));height:min(736px,calc(100dvh - 64px));max-width:none;max-height:none;margin:auto;padding:0;overflow:hidden;border:1px solid #ffffffbd;border-radius:20px;background:#fff;color:#334155;box-shadow:0 32px 100px #0f203d30,0 4px 20px #0f203d14;font-family:inherit;text-align:left}.ggb-proof-settings::backdrop{background:#17283f45;-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px)}.ggb-proof-settings[open]{animation:ggb-proof-appear .2s ease-out}.ggb-proof-settings form{display:flex;flex-direction:column;height:100%;min-height:0}.ggb-proof-dialog-header{display:flex;align-items:center;gap:14px;flex-shrink:0;padding:26px 30px 24px}.ggb-proof-dialog-mark{display:grid;place-items:center;flex-shrink:0;width:44px;height:44px;border:1px solid #e1e9f4;border-radius:13px;background:linear-gradient(145deg,#f8faff,#edf3fc);color:#4e73ad}.ggb-proof-dialog-header h2{margin:0;color:#25354b;font-size:20px;font-weight:600;line-height:1.3;letter-spacing:-.035em;outline:none}.ggb-proof-dialog-header p{margin:5px 0 0;color:var(--proof-muted);font-size:13px;line-height:1.5}.ggb-proof-dialog-header>button{align-self:flex-start;margin-left:auto;color:#8a97a9}.ggb-proof-profile{display:flex;justify-content:space-between;align-items:center;gap:24px;flex-shrink:0;padding:17px 30px;border-block:1px solid var(--proof-border);background:#f9fafc}.ggb-proof-profile-label{display:flex;align-items:center;gap:8px;color:#43536b;font-size:13px;font-weight:600}.ggb-proof-profile p{margin:5px 0 0;color:var(--proof-muted);font-size:12px;line-height:1.5}.ggb-proof-custom{padding:2px 6px;border-radius:4px;background:#edf0f5;color:var(--proof-muted);font-size:10px;font-weight:500}.ggb-proof-preset-control{display:flex;flex-shrink:0;padding:3px;border:1px solid #e3e8f0;border-radius:9px;background:#edf1f6}.ggb-proof-preset-control button{min-width:78px;padding:7px 12px;border:1px solid transparent;border-radius:6px;background:transparent;color:var(--proof-muted);font:inherit;font-size:12px;font-weight:550;cursor:pointer;transition:color .15s,background .15s,box-shadow .15s}.ggb-proof-preset-control button:hover{color:#315d9d}.ggb-proof-preset-control button[aria-pressed=true]{border-color:#e5eaf1;background:#fff;color:#315d9d;box-shadow:0 1px 4px #152c4e0c}.ggb-proof-dialog-body{display:flex;flex:1;min-height:0}.ggb-proof-nav{display:flex;flex-direction:column;flex-shrink:0;width:204px;min-height:0;padding:22px 12px 20px;border-right:1px solid var(--proof-border);background:#f9fafc}.ggb-proof-nav [role=tablist]{overflow-y:auto;scrollbar-width:thin}.ggb-proof-nav [role=tab]{position:relative;display:flex;align-items:center;gap:11px;width:100%;margin-bottom:5px;padding:11px 12px;border:1px solid transparent;border-radius:8px;background:transparent;color:var(--proof-muted);font:inherit;font-size:12px;line-height:1.5;text-align:left;cursor:pointer;transition:color .15s,background .15s}.ggb-proof-nav [role=tab]>svg{flex-shrink:0;opacity:.8}.ggb-proof-nav [role=tab]:hover{background:#eef2f8;color:#435c80}.ggb-proof-nav [role=tab][aria-selected=true]{border-color:#e7ecf4;background:#fff;color:#315d9d;font-weight:600;box-shadow:0 2px 5px #233f6505}.ggb-proof-nav [role=tab][aria-selected=true]>svg{opacity:1}.ggb-proof-nav [role=tab]:nth-child(6){margin-top:22px}.ggb-proof-nav-error{width:5px;height:5px;flex-shrink:0;margin-left:auto;border-radius:50%;background:#dc647b}.ggb-proof-nav-note{display:flex;align-items:flex-start;gap:7px;margin-top:auto;padding:28px 12px 0;color:#7c8b9f;font-size:10px;line-height:1.5}.ggb-proof-nav-note .ggb-status-dot{width:5px;height:5px;flex-shrink:0;margin-top:5px;background:#8aab9d}.ggb-proof-nav-note small{display:block;margin-top:4px;color:#9ba6b5;font-size:10px}.ggb-proof-section{flex:1;min-width:0;padding:28px 34px 24px;overflow-y:auto;overscroll-behavior:contain;scrollbar-width:thin;scrollbar-color:#d9e1ec transparent;outline:none}.ggb-proof-section-heading{margin-bottom:12px}.ggb-proof-section h3{margin:0;color:#2a3a51;font-size:17px;font-weight:600;line-height:1.4;letter-spacing:-.025em}.ggb-proof-section-heading>p{max-width:430px;margin:7px 0 0;color:var(--proof-muted);font-size:13px;line-height:1.7}.ggb-proof-field{display:grid;grid-template-columns:minmax(0,1fr) 112px;align-items:start;gap:0 28px;padding:21px 0;border-bottom:1px solid var(--proof-border)}.ggb-proof-field label{padding-top:2px;cursor:pointer}.ggb-proof-field strong,.ggb-proof-toggle-row strong{display:block;color:#3d4f67;font-size:13px;font-weight:550;line-height:1.5}.ggb-proof-field label>span{display:block;margin-top:5px;color:var(--proof-muted);font-size:12px;line-height:1.7}.ggb-proof-value{display:flex;flex-direction:column;align-items:flex-end;gap:6px}.ggb-proof-number{display:flex;align-items:center;width:100%;height:36px;overflow:hidden;border:1px solid #dde4ed;border-radius:7px;background:#fff;transition:border-color .15s,box-shadow .15s}.ggb-proof-number:focus-within{border-color:#80a6dc;box-shadow:0 0 0 3px #edf3fc}.ggb-proof-number input{width:100%;min-width:0;height:100%;padding:0 11px;border:0;background:transparent;color:#43536b;font:inherit;font-size:13px;font-variant-numeric:tabular-nums;text-align:right;outline:none;-webkit-appearance:textfield;appearance:textfield;-moz-appearance:textfield}.ggb-proof-number input::-webkit-inner-spin-button,.ggb-proof-number input::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}.ggb-proof-number>span{padding-right:10px;color:var(--proof-muted);font-size:12px}.ggb-proof-value>small{color:var(--proof-muted);font-size:11px;line-height:1.5;white-space:nowrap}.ggb-proof-field[data-invalid=true] .ggb-proof-number{border-color:#e4a1af;background:#fffafb}.ggb-proof-field-error{grid-column:1 / -1;margin:8px 0 0;color:#b93d59;font-size:12px}.ggb-proof-behavior{margin-top:27px}.ggb-proof-behavior h4{margin:0 0 5px;color:var(--proof-muted);font-size:11px;font-weight:550;letter-spacing:.06em;text-transform:uppercase}.ggb-proof-toggle-row{position:relative;display:flex;align-items:center;gap:26px;padding:19px 0;border-bottom:1px solid var(--proof-border);cursor:pointer}.ggb-proof-toggle-row>span:first-child{flex:1}.ggb-proof-toggle-row small{display:block;margin-top:5px;color:var(--proof-muted);font-size:12px;line-height:1.7}.ggb-proof-toggle-row>input{position:absolute;right:0;width:32px;height:18px;opacity:0}.ggb-proof-switch{position:relative;width:32px;height:18px;flex-shrink:0;border-radius:20px;background:#d9e0e9;transition:background .15s}.ggb-proof-switch:before{content:"";position:absolute;left:3px;top:3px;width:12px;height:12px;border-radius:50%;background:#fff;box-shadow:0 1px 2px #1e293b14;transition:transform .15s}.ggb-proof-toggle-row input:checked+.ggb-proof-switch{background:#5380bf}.ggb-proof-toggle-row input:checked+.ggb-proof-switch:before{transform:translate(14px)}.ggb-proof-toggle-row input:focus-visible+.ggb-proof-switch{outline:2px solid #80a6dc;outline-offset:3px}.ggb-proof-section-note{display:flex;align-items:flex-start;gap:8px;margin:22px 0 0;color:var(--proof-muted);font-size:12px;line-height:1.7}.ggb-proof-section-note svg{flex-shrink:0;margin-top:1px;opacity:.8}.ggb-proof-type-picker{margin:20px 0 5px;color:#64748b;font-size:13px}.ggb-proof-type-picker details{margin-top:9px;border-color:#e9edf3;border-radius:8px;padding:11px 12px}.ggb-proof-type-picker details[open]{background:#fafbfd}.ggb-proof-type-picker summary{font-size:13px;font-weight:500}.ggb-proof-type-picker input{accent-color:#5380bf}.ggb-proof-dialog-footer{display:flex;align-items:center;gap:20px;flex-shrink:0;padding:19px 26px;border-top:1px solid var(--proof-border);background:#fff}.ggb-proof-reset{display:flex;align-items:center;gap:7px;padding:6px 3px;border:0;background:transparent;color:var(--proof-muted);font:inherit;font-size:12px;cursor:pointer}.ggb-proof-reset:hover{color:#435c80}.ggb-proof-save-status{margin-left:auto;color:var(--proof-muted);font-size:11px}.ggb-proof-save-status[data-error=true]{color:#be4560}.ggb-proof-footer-actions{display:flex;align-items:center;gap:9px}.ggb-proof-footer-actions button{min-height:36px;padding:8px 16px;border-radius:7px;font:inherit;font-size:12px;font-weight:550;cursor:pointer;transition:background .15s,box-shadow .15s}.ggb-proof-cancel{border:1px solid #e0e6ee;background:#fff;color:#6f7e92}.ggb-proof-cancel:hover{background:#f7f9fc}.ggb-proof-apply{border:1px solid #386bb3;background:#3c70b9;color:#fff;box-shadow:0 2px 4px #2e5b9820}.ggb-proof-apply:not(:disabled):hover{background:#315f9f;box-shadow:0 3px 8px #2e5b9830}.ggb-proof-apply:disabled{border-color:#dce5f1;background:#e8eef7;color:#97abc7;box-shadow:none;cursor:default}.ggb-proof-settings :is(button,[role=tabpanel]):focus-visible{outline:2px solid #80a6dc;outline-offset:3px}@keyframes ggb-proof-appear{0%{opacity:0;transform:translateY(7px) scale(.99)}to{opacity:1;transform:translateY(0) scale(1)}}@media (max-width: 700px){.ggb-proof-settings{width:calc(100vw - 24px);height:min(780px,calc(100dvh - 28px));border-radius:16px}.ggb-proof-dialog-header{padding:20px;gap:12px}.ggb-proof-dialog-header h2{font-size:18px}.ggb-proof-dialog-mark{width:38px;height:38px;border-radius:11px}.ggb-proof-profile{padding:15px 20px;gap:12px}.ggb-proof-profile p{display:none}.ggb-proof-preset-control button{min-width:64px;padding-inline:10px}.ggb-proof-dialog-body{flex-direction:column}.ggb-proof-nav{width:auto;padding:8px 14px;border-right:0;border-bottom:1px solid var(--proof-border)}.ggb-proof-nav [role=tablist]{display:flex;gap:3px;overflow-x:auto;scrollbar-width:none}.ggb-proof-nav [role=tab]{flex-shrink:0;width:auto;margin:0;padding:8px 10px;gap:7px}.ggb-proof-nav [role=tab]:nth-child(6){margin:0}.ggb-proof-nav-note{display:none}.ggb-proof-section{padding:22px 24px}.ggb-proof-field{gap:0 20px;padding:19px 0}.ggb-proof-dialog-footer{padding:16px 20px;gap:12px}.ggb-proof-save-status{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.ggb-proof-footer-actions{margin-left:auto}}@media (max-width: 420px){.ggb-proof-dialog-header{padding:18px}.ggb-proof-dialog-header p{font-size:12px}.ggb-proof-profile{flex-direction:column;align-items:stretch;gap:10px;padding:12px 18px}.ggb-proof-preset-control button{flex:1}.ggb-proof-section{padding:20px}.ggb-proof-field{grid-template-columns:minmax(0,1fr) 91px;gap:0 16px}.ggb-proof-dialog-footer{padding:14px 16px;gap:8px}.ggb-proof-footer-actions{gap:7px}.ggb-proof-footer-actions button{padding-inline:11px}}@media (prefers-reduced-motion: reduce){.ggb-proof-settings[open]{animation:none}.ggb-proof-settings *{transition:none}}.geogebra-studio-shell{--ggb-accent: #2563eb;position:relative;display:flex;flex-direction:column;width:100%;max-width:1900px;margin:0 auto;overflow:hidden;border:1px solid #dce3ec;border-radius:18px;background:#fff;box-shadow:0 8px 36px #1e3a5f0b,0 1px 3px #1e3a5f06;color:#334155}.geogebra-studio-header{position:relative;z-index:40;display:flex;flex-shrink:0;align-items:center;justify-content:space-between;gap:16px;padding:14px 20px;border-bottom:1px solid #e5eaf0;background:#fbfcfe}.geogebra-studio-title{display:flex;align-items:center;gap:11px}.ggb-brand-mark{display:grid;place-items:center;width:38px;height:38px;border:1px solid #dbe7fc;border-radius:12px;background:#eff5ff;color:#2563eb}.geogebra-studio-title h1{margin:0;font-size:15px;font-weight:650;letter-spacing:-.025em;color:#1e293b}.geogebra-studio-title h1 span{font-weight:400;color:#64748b}.geogebra-studio-title p{margin:3px 0 0;font-size:11px;color:#8793a5}.ggb-workspace-toolbar{display:flex;align-items:center;gap:4px}.ggb-quick-style{position:relative}.ggb-style-popover{position:absolute;top:calc(100% + 10px);right:-4px;width:min(306px,calc(100vw - 40px));padding:18px;border:1px solid #dde5f0;border-radius:16px;background:#fff;box-shadow:0 20px 55px #142b4f24,0 3px 12px #142b4f0b;text-align:left;max-height:calc(100dvh - var(--ggb-style-top, 140px) - 18px);overflow-y:auto;overscroll-behavior:contain}.ggb-style-popover:before{content:"";position:absolute;top:-13px;left:0;right:0;height:14px}.ggb-style-heading{display:flex;align-items:center;gap:10px;padding-bottom:16px}.ggb-style-glyph{display:grid;place-items:center;width:36px;height:36px;flex-shrink:0;border-radius:11px;color:#2563eb;background:#edf4ff}.ggb-style-heading strong{color:#1e293b;font-size:14px;font-weight:650}.ggb-style-heading p{max-width:215px;margin:3px 0 0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:11px;color:#7b889c}.ggb-style-popover fieldset{min-width:0;margin:0;padding:0;border:0}.ggb-style-popover fieldset:disabled{opacity:.4}.ggb-style-section-label,.ggb-style-control,.ggb-custom-color{display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:12px}.ggb-style-section-label{margin-bottom:10px;font-weight:600}.ggb-style-section-label span+span{font-size:10px;color:#8a96a7;font-weight:400}.ggb-color-swatches{display:grid;grid-template-columns:repeat(9,1fr);gap:6px}.ggb-color-swatch{display:grid;place-items:center;width:23px;height:23px;padding:0;border:1px solid #33415520;border-radius:5px;background:var(--swatch);cursor:pointer;font-size:15px;transition:transform .12s}.ggb-color-swatch:hover{transform:scale(1.12)}.ggb-color-swatch[aria-pressed=true]{outline:2px solid var(--swatch);outline-offset:3px}.ggb-style-popover :focus-visible{outline:2px solid #2563eb;outline-offset:3px}.ggb-custom-color{margin:14px 0 10px;padding-bottom:12px;border-bottom:1px solid #edf0f5;color:#64748b}.ggb-custom-color input{width:33px;height:25px;padding:2px;border:1px solid #dce3ed;border-radius:6px;background:#fff;cursor:pointer}.ggb-style-control{min-height:38px}.ggb-style-control select{width:78px;padding:4px 8px;border:1px solid #e2e8f0;border-radius:7px;background:#f8fafc;font-size:12px}.ggb-style-segmented{display:flex;padding:2px;border-radius:7px;background:#f1f5f9}.ggb-style-segmented button{padding:4px 10px;border:0;border-radius:5px;background:transparent;color:#718096;font-size:11px;cursor:pointer}.ggb-style-segmented button[aria-pressed=true]{color:#2563eb;background:#fff;box-shadow:0 1px 3px #33415515}.ggb-style-reset{display:flex;align-items:center;justify-content:center;gap:7px;width:100%;margin-top:13px;padding:9px;border:1px solid #e2e8f0;border-radius:8px;color:#52657d;background:#fafbfd;font-size:11px;cursor:pointer}.ggb-style-reset:hover{background:#eef4fe;color:#2563eb}.ggb-style-footnote{margin:12px 0 0;color:#8b97a8;font-size:10px;text-align:center}.ggb-style-error{margin:10px 0 0;color:#b91c1c;font-size:11px}.ggb-style-object-type{color:#64748b}.ggb-opacity-control{display:block;margin:12px 0}.ggb-opacity-control>span{display:flex;justify-content:space-between;gap:12px;font-size:12px}.ggb-opacity-control output{color:#7b889c;font-size:11px;font-variant-numeric:tabular-nums}.ggb-opacity-control input{display:block;width:100%;margin:10px 0 0;accent-color:#2563eb;cursor:pointer}.ggb-appearance-group{margin:14px 0}.ggb-line-styles{display:grid;grid-template-columns:repeat(5,1fr);gap:5px}.ggb-line-styles button,.ggb-point-styles button{display:grid;place-items:center;min-width:0;height:30px;padding:4px;border:1px solid #e2e8f0;border-radius:6px;background:#fafbfd;color:#64748b;cursor:pointer}.ggb-line-styles svg{width:100%;height:16px}.ggb-point-styles{display:grid;grid-template-columns:repeat(6,1fr);gap:5px}.ggb-point-styles button{font-size:19px;line-height:1}.ggb-line-styles button:hover,.ggb-point-styles button:hover{border-color:#a8c8f7;color:#2563eb}.ggb-line-styles button[aria-pressed=true],.ggb-point-styles button[aria-pressed=true]{border-color:#93baf4;background:#edf4ff;color:#2563eb}@media (max-width: 600px){.ggb-quick-style{position:static}.ggb-style-popover{top:calc(100% - 4px);right:12px}}.ggb-icon-button{position:relative;display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;width:36px;height:36px;padding:0;border:1px solid transparent;border-radius:8px;background:transparent;color:#64748b;cursor:pointer;transition:background .15s,color .15s,border-color .15s;list-style:none}.ggb-icon-button::-webkit-details-marker{display:none}.ggb-icon-button:hover{background:#edf1f6;color:#1e293b}.ggb-icon-button[aria-expanded=true],.ggb-icon-button[aria-pressed=true],.ggb-files-menu[open]>summary{color:#2563eb;background:#eaf1fe}.ggb-icon-button:disabled{opacity:.4;cursor:wait}.ggb-icon-button:focus-visible,.ggb-settings-panel button:focus-visible,.ggb-file-actions button:focus-visible{outline:2px solid #3b82f6;outline-offset:2px}.ggb-fullscreen-button{margin-left:3px;border-color:#dce3ec;background:#fff}.ggb-toolbar-divider{width:1px;height:19px;margin:0 6px;background:#e0e6ee}.ggb-button-alert{position:absolute;top:5px;right:5px;width:6px;height:6px;background:#e97439;border-radius:50%}.ggb-files-menu{position:static}.ggb-files-popover{position:absolute;top:calc(100% + 6px);right:12px;width:min(285px,calc(100% - 24px));padding:14px 8px 8px;border:1px solid #e2e8f0;border-radius:13px;background:#fff;box-shadow:0 16px 48px #0f172a21,0 4px 12px #0f172a08}.ggb-eyebrow{display:block;color:#8b98aa;font-size:9px;line-height:1.5;font-weight:700;letter-spacing:.14em}.ggb-files-popover>.ggb-eyebrow{padding:0 11px 8px}.ggb-file-actions{display:flex;flex-direction:column;gap:3px}.ggb-file-actions button{display:flex;align-items:center;gap:12px;padding:10px 11px;border:0;border-radius:7px;background:transparent;color:#475569;text-align:left;font-size:12px;cursor:pointer}.ggb-file-actions button:hover{background:#f1f5f9;color:#2563eb}.ggb-file-actions button>svg{flex-shrink:0;color:#8290a4}.ggb-file-actions small{display:block;margin-top:3px;color:#748297;font-size:10px}.ggb-file-actions hr{border:0;border-top:1px solid #eef1f5;margin:6px 9px}.ggb-file-extension{margin-left:auto;color:#748297;font-family:monospace;font-size:10px}.ggb-file-actions .ggb-file-reset:hover{background:#fff7ed;color:#c2410c}.ggb-file-error{padding:8px;color:#b91c1c;font-size:11px}.ggb-workspace-content{position:relative;display:flex;flex:1;min-height:0;flex-direction:column}.geogebra-studio-canvas{min-height:min(82vh,980px)}.ggb-canvas-overlay{position:absolute;top:0;right:0;bottom:0;left:0;z-index:20;display:grid;place-items:center;padding:24px;background:#f1f5f9b8;-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px)}.ggb-loading-card{display:flex;align-items:center;flex-direction:column;max-width:380px;gap:12px;padding:24px;border:1px solid #e2e8f0;border-radius:14px;background:#fff;text-align:center;box-shadow:0 10px 40px #0f172a0d;font-size:13px}.ggb-loading-card p{margin:0;color:#748297;font-size:12px}.ggb-spinner{display:inline-block;width:18px;height:18px;border:2px solid #bfdbfe;border-top-color:#2563eb;border-radius:50%;animation:ggb-spin .8s linear infinite}@keyframes ggb-spin{to{transform:rotate(360deg)}}.geogebra-command-dock{flex-shrink:0;border-top:1px solid #e5eaf0;background:#fff}.geogebra-command-dock[hidden]{display:none}.ggb-command-bar{padding:9px 14px}.ggb-command-input-row{display:flex;align-items:center;gap:10px}.ggb-command-prompt{flex-shrink:0;color:#3b82f6;font:28px/1 monospace}.ggb-command-textarea{display:block;flex:1;min-width:0;min-height:38px;max-height:180px;padding:9px 4px;resize:vertical;border:0;outline:0;background:transparent;color:#334155;font:13px/20px ui-monospace,SFMono-Regular,Consolas,monospace;field-sizing:content}.ggb-command-textarea::placeholder{color:#748297}.ggb-command-input-row:focus-within .ggb-command-prompt{color:#1d4ed8}.ggb-command-run{display:grid;place-items:center;flex-shrink:0;width:34px;height:34px;border:0;border-radius:9px;background:#2563eb;color:#fff;cursor:pointer;transition:background .15s}.ggb-command-run:hover{background:#1d4ed8}.ggb-command-run:disabled{background:#eef2f7;color:#a3afc0;cursor:default}.ggb-command-run:focus-visible{outline:2px solid #3b82f6;outline-offset:3px}.ggb-command-status{overflow:hidden;padding:0 15px 9px 36px;text-overflow:ellipsis;white-space:nowrap;font:10px/1.5 ui-monospace,Consolas,monospace;color:#748297}.ggb-command-status.error{color:#b91c1c}.ggb-status-dot{display:inline-block;flex-shrink:0;width:5px;height:5px;border-radius:50%;background:#10b981;margin-right:6px}.ggb-status-dot.error{background:#ef4444}.ggb-settings-backdrop{position:absolute;top:0;right:0;bottom:0;left:0;z-index:45;border:0;background:#0f172a26;-webkit-backdrop-filter:blur(1px);backdrop-filter:blur(1px);cursor:default}.ggb-settings-panel{position:absolute;z-index:50;top:10px;right:10px;bottom:10px;width:min(380px,calc(100% - 20px));display:flex;flex-direction:column;border:1px solid #dce3ec;border-radius:14px;background:#fff;box-shadow:-10px 10px 60px #0f172a26;overflow:hidden;text-align:left}.ggb-settings-heading{display:flex;align-items:center;justify-content:space-between;flex-shrink:0;padding:21px 22px 17px}.ggb-settings-heading h2{margin:5px 0 0;font-size:17px;font-weight:600;color:#1e293b;letter-spacing:-.025em}.ggb-settings-tabs{display:flex;flex-shrink:0;gap:4px;margin:0 22px 4px;padding:4px;border:1px solid #e9edf3;border-radius:9px;background:#f5f7fa}.ggb-settings-tabs button{flex:1;padding:7px 0;border:0;border-radius:6px;background:transparent;color:#8390a3;font-size:11px;font-weight:600;cursor:pointer}.ggb-settings-tabs button[aria-selected=true]{background:#fff;color:#2563eb;box-shadow:0 1px 4px #0f172a12}.ggb-settings-content{flex:1;min-height:0;padding:0 22px 16px;overflow-y:auto;overscroll-behavior:contain;scrollbar-width:thin}.ggb-settings-content section{padding:21px 0 14px;border-bottom:1px solid #eef1f5}.ggb-settings-content section:last-child{border-bottom:0}.ggb-settings-content h3{margin:0 0 12px;color:#334155;font-size:11px;font-weight:700;letter-spacing:.015em}.ggb-settings-content p{margin:-4px 0 12px;color:#748297;font-size:11px;line-height:1.7}.ggb-settings-row{position:relative;display:flex;align-items:center;justify-content:space-between;min-height:37px;gap:12px;font-size:12px;color:#64748b;cursor:pointer}.ggb-settings-row>input[role=switch]{position:absolute;width:32px;height:19px;right:0;opacity:0;cursor:pointer}.ggb-switch{width:30px;height:17px;padding:2px;border-radius:12px;background:#dce3ec;transition:background .15s}.ggb-switch:before{content:"";display:block;width:13px;height:13px;border-radius:50%;background:#fff;box-shadow:0 1px 3px #0002;transition:transform .15s}.ggb-settings-row input:checked+.ggb-switch{background:#3b82f6}.ggb-settings-row input:checked+.ggb-switch:before{transform:translate(13px)}.ggb-settings-row input:focus-visible+.ggb-switch{outline:2px solid #3b82f6;outline-offset:3px}.ggb-settings-row select{width:62px;border:1px solid #e2e8f0;border-radius:6px;padding:4px 8px;background:#f8fafc;font-size:11px}.ggb-settings-row input[type=color]{width:32px;height:25px;padding:2px;border:1px solid #e2e8f0;border-radius:5px;background:#fff;cursor:pointer}.ggb-range-control{display:flex;align-items:center;gap:10px}.ggb-range-control input{width:108px;height:4px;accent-color:#3b82f6}.ggb-range-control output{min-width:16px;text-align:right;font:11px ui-monospace,Consolas,monospace}.ggb-palette-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:6px}.ggb-palette-grid button{display:flex;flex-direction:column;align-items:center;gap:8px;padding:12px 5px 9px;border:1px solid #e7ecf2;border-radius:8px;background:#fff;color:#748297;font-size:9px;cursor:pointer}.ggb-palette-grid button[aria-pressed=true]{border-color:#93b7fa;background:#f5f9ff;color:#2563eb}.ggb-palette-sample{display:flex;align-items:center;gap:5px}.ggb-palette-sample i:not(:last-child){width:10px;height:10px;border-radius:50%}.ggb-palette-sample i:last-child{width:14px;height:3px;border-radius:3px}.ggb-policy-option{display:flex;align-items:flex-start;gap:10px;margin:9px 0;padding:12px;border:1px solid #e2e8f0;border-radius:9px;cursor:pointer}.ggb-policy-option:has(input:checked){border-color:#aac7fd;background:#f8fbff}.ggb-policy-option input{width:14px;height:14px;flex:0 0 14px;margin:1px 0 0;accent-color:#2563eb}.ggb-policy-option strong{display:block;font-size:11px;line-height:16px;font-weight:600;color:#475569}.ggb-policy-option small{display:block;margin-top:5px;font-size:10px;line-height:1.6;color:#748297}.ggb-apply-button{width:100%;padding:9px;border:1px solid #dbe7fc;border-radius:8px;background:#eff5ff;color:#2563eb;font-size:11px;font-weight:600;cursor:pointer}.ggb-apply-button:disabled{opacity:.5;cursor:wait}.ggb-settings-footer{display:flex;align-items:center;flex-shrink:0;padding:14px 20px;border-top:1px solid #edf1f5;background:#fbfcfe;color:#748297;font-size:10px;line-height:1.5}.geogebra-studio-fullscreen{position:fixed;top:0;right:0;bottom:0;left:0;z-index:60;height:100vh;height:100dvh;background:#f8fafc}.geogebra-studio-fullscreen .geogebra-studio-shell{height:100%;max-width:none;border:0;border-radius:0;box-shadow:none}.geogebra-studio-fullscreen .geogebra-studio-header{padding:8px 16px;padding-top:max(8px,env(safe-area-inset-top))}.geogebra-studio-fullscreen .geogebra-studio-title p{display:none}.geogebra-studio-fullscreen .ggb-brand-mark{width:30px;height:30px;border-radius:9px}.geogebra-studio-fullscreen .geogebra-studio-body{flex:1;min-height:0;overflow:hidden}.geogebra-studio-fullscreen .geogebra-studio-canvas{min-height:0}.geogebra-studio-fullscreen .geogebra-analysis-panel{min-height:0;overflow-y:auto;overscroll-behavior:contain}.geogebra-studio-fullscreen .geogebra-command-dock{max-height:38%;overflow:auto;overscroll-behavior:contain;padding-bottom:env(safe-area-inset-bottom)}.geogebra-studio-fullscreen [data-floating-commands=true] .geogebra-command-dock{position:absolute;bottom:max(18px,env(safe-area-inset-bottom));left:50%;z-index:35;width:min(720px,calc(100% - 36px));transform:translate(-50%);border:1px solid #dce3ecc9;border-radius:14px;background:#ffffffed;-webkit-backdrop-filter:blur(20px);backdrop-filter:blur(20px);box-shadow:0 12px 40px #0f172a1a,0 2px 8px #0f172a08}.geogebra-studio-fullscreen[data-focus-mode=true] .geogebra-studio-header{display:none}.geogebra-focus-controls{position:absolute;bottom:max(16px,env(safe-area-inset-bottom));right:max(16px,env(safe-area-inset-right));z-index:40;display:flex;gap:3px;padding:5px;border:1px solid #e2e8f0;border-radius:12px;background:#fffffff0;box-shadow:0 8px 30px #0f172a12}@media (min-width: 1024px){.geogebra-studio-body{height:min(82vh,980px)}.geogebra-studio-canvas,.geogebra-analysis-panel{min-height:0}.geogebra-analysis-panel{overflow-y:auto;overscroll-behavior:contain}}@media (max-width: 1023px){.geogebra-studio-fullscreen .geogebra-analysis-panel{position:absolute;inset:0 0 0 auto;z-index:30;width:min(var(--side-panel-width),90%);box-shadow:-12px 0 32px #0f172a1f}}@media (max-width: 639px){.geogebra-studio-header{flex-wrap:wrap;padding:10px 12px;gap:10px}.ggb-workspace-toolbar{margin-left:auto;gap:2px}.ggb-toolbar-divider{margin:0 3px}.geogebra-studio-title p,.geogebra-studio-fullscreen .geogebra-studio-title{display:none}.geogebra-studio-fullscreen .ggb-workspace-toolbar{width:100%;justify-content:space-between}.geogebra-studio-fullscreen .geogebra-studio-header{padding:8px;padding-top:max(8px,env(safe-area-inset-top))}.geogebra-studio-fullscreen .geogebra-command-dock{max-height:44%}.geogebra-studio-fullscreen [data-floating-commands=true] .geogebra-command-dock{width:calc(100% - 20px);bottom:max(10px,env(safe-area-inset-bottom))}}@media (prefers-reduced-motion: reduce){.geogebra-studio-shell *{transition:none}}.ggb-completion-description{display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:2;overflow:hidden;overflow-wrap:anywhere;line-height:1.65}.ggb-completion-definition-label{margin-right:8px;font-size:9px;font-weight:600;letter-spacing:.04em;color:#94a3b8}.ggb-link-status{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:9px 10px;border:1px solid #e0edf9;border-radius:8px;background:#f5faff;font-size:10px;color:#64748b}.ggb-link-status button{flex-shrink:0;font-weight:600;color:#0284c7}.ggb-graph-node{cursor:pointer;outline:none}.ggb-graph-node:focus-visible rect{stroke:#2563eb;stroke-width:3}.ggb-object-chip{padding:3px 8px;border:1px solid #dce5ef;border-radius:5px;background:#f8fafc;color:#475569;font:11px/1.5 ui-monospace,Consolas,monospace;cursor:pointer}.ggb-object-chip:hover,.ggb-object-chip[aria-pressed=true]{border-color:#7dd3fc;background:#f0f9ff;color:#0284c7}.ggb-object-chip:focus-visible{outline:2px solid #38bdf8;outline-offset:2px}.ggb-settings-row .ggb-point-color-mode{width:118px}.ggb-settings-content .ggb-point-role-help{margin-top:10px}pre code.hljs{display:block;overflow-x:auto;padding:1em}code.hljs{padding:3px 5px}/*!
  Theme: GitHub
  Description: Light theme as seen on github.com
  Author: github.com
  Maintainer: @Hirse
  Updated: 2021-05-15

  Outdated base version: https://github.com/primer/github-syntax-light
  Current colors taken from GitHub's CSS
*/.hljs{color:#24292e;background:#fff}.hljs-doctag,.hljs-keyword,.hljs-meta .hljs-keyword,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-variable.language_{color:#d73a49}.hljs-title,.hljs-title.class_,.hljs-title.class_.inherited__,.hljs-title.function_{color:#6f42c1}.hljs-attr,.hljs-attribute,.hljs-literal,.hljs-meta,.hljs-number,.hljs-operator,.hljs-variable,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-id{color:#005cc5}.hljs-regexp,.hljs-string,.hljs-meta .hljs-string{color:#032f62}.hljs-built_in,.hljs-symbol{color:#e36209}.hljs-comment,.hljs-code,.hljs-formula{color:#6a737d}.hljs-name,.hljs-quote,.hljs-selector-tag,.hljs-selector-pseudo{color:#22863a}.hljs-subst{color:#24292e}.hljs-section{color:#005cc5;font-weight:700}.hljs-bullet{color:#735c0f}.hljs-emphasis{color:#24292e;font-style:italic}.hljs-strong{color:#24292e;font-weight:700}.hljs-addition{color:#22863a;background-color:#f0fff4}.hljs-deletion{color:#b31d28;background-color:#ffeef0}.hljs{background:transparent}pre code.hljs,code.hljs{padding:0}