@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-ext-400-normal-BQZuk6qB.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-400-normal-DQukG94-.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-400-normal-obahsSVq.woff2) format("woff2"),url(/assets/inter-cyrillic-400-normal-HOLc17fK.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-ext-400-normal-DGGRlc-M.woff2) format("woff2"),url(/assets/inter-greek-ext-400-normal-KugGGMne.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-400-normal-B4URO6DV.woff2) format("woff2"),url(/assets/inter-greek-400-normal-q2sYcFCs.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-vietnamese-400-normal-DMkecbls.woff2) format("woff2"),url(/assets/inter-vietnamese-400-normal-Bbgyi5SW.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-ext-400-normal-C1nco2VV.woff2) format("woff2"),url(/assets/inter-latin-ext-400-normal-77YHD8bZ.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-400-normal-C38fXH4l.woff2) format("woff2"),url(/assets/inter-latin-400-normal-CyCys3Eg.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-cyrillic-ext-500-normal-B0yAr1jD.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-500-normal-BmqWE9Dz.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-cyrillic-500-normal-BasfLYem.woff2) format("woff2"),url(/assets/inter-cyrillic-500-normal-CxZf_p3X.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-greek-ext-500-normal-C4iEst2y.woff2) format("woff2"),url(/assets/inter-greek-ext-500-normal-2j5mBUwD.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-greek-500-normal-BIZE56-Y.woff2) format("woff2"),url(/assets/inter-greek-500-normal-Xzm54t5V.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-vietnamese-500-normal-DOriooB6.woff2) format("woff2"),url(/assets/inter-vietnamese-500-normal-mJboJaSs.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-latin-ext-500-normal-CV4jyFjo.woff2) format("woff2"),url(/assets/inter-latin-ext-500-normal-BxGbmqWO.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-latin-500-normal-Cerq10X2.woff2) format("woff2"),url(/assets/inter-latin-500-normal-BL9OpVg8.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-ext-600-normal-Dfes3d0z.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-600-normal-Bcila6Z-.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-600-normal-CWCymEST.woff2) format("woff2"),url(/assets/inter-cyrillic-600-normal-4D_pXhcN.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-ext-600-normal-DRtmH8MT.woff2) format("woff2"),url(/assets/inter-greek-ext-600-normal-B8X0CLgF.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-600-normal-plRanbMR.woff2) format("woff2"),url(/assets/inter-greek-600-normal-BZpKdvQh.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-vietnamese-600-normal-Cc8MFFhd.woff2) format("woff2"),url(/assets/inter-vietnamese-600-normal-BuLX-rYi.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-ext-600-normal-D2bJ5OIk.woff2) format("woff2"),url(/assets/inter-latin-ext-600-normal-CIVaiw4L.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-600-normal-LgqL8muc.woff2) format("woff2"),url(/assets/inter-latin-600-normal-CiBQ2DWP.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-cyrillic-ext-700-normal-BjwYoWNd.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-700-normal-LO58E6JB.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-cyrillic-700-normal-CjBOestx.woff2) format("woff2"),url(/assets/inter-cyrillic-700-normal-DrXBdSj3.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-greek-ext-700-normal-qfdV9bQt.woff2) format("woff2"),url(/assets/inter-greek-ext-700-normal-BoQ6DsYi.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-greek-700-normal-C3JjAnD8.woff2) format("woff2"),url(/assets/inter-greek-700-normal-BUv2fZ6O.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-vietnamese-700-normal-DlLaEgI2.woff2) format("woff2"),url(/assets/inter-vietnamese-700-normal-BZaoP0fm.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-latin-ext-700-normal-Ca8adRJv.woff2) format("woff2"),url(/assets/inter-latin-ext-700-normal-TidjK2hL.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-latin-700-normal-Yt3aPRUw.woff2) format("woff2"),url(/assets/inter-latin-700-normal-BLAVimhd.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){:root,:host{--shimmer-angle:20deg}*,:before,:after,::backdrop{--tw-translate-x:0;--tw-translate-y:0;--tw-translate-z:0;--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-space-x-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking:initial;--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial;--tw-backdrop-blur:initial;--tw-backdrop-brightness:initial;--tw-backdrop-contrast:initial;--tw-backdrop-grayscale:initial;--tw-backdrop-hue-rotate:initial;--tw-backdrop-invert:initial;--tw-backdrop-opacity:initial;--tw-backdrop-saturate:initial;--tw-backdrop-sepia:initial;--tw-duration:initial;--tw-ease:initial;--tw-content:"";--tw-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}}}@layer theme{:root,:host{--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--color-red-400:oklch(70.4% .191 22.216);--color-red-500:oklch(63.7% .237 25.331);--color-red-600:oklch(57.7% .245 27.325);--color-amber-400:oklch(82.8% .189 84.429);--color-amber-500:oklch(76.9% .188 70.08);--color-amber-600:oklch(66.6% .179 58.318);--color-emerald-400:oklch(76.5% .177 163.223);--color-emerald-500:oklch(69.6% .17 162.48);--color-emerald-600:oklch(59.6% .145 163.225);--color-blue-500:oklch(62.3% .214 259.815);--color-black:#000;--color-white:#fff;--spacing:.25rem;--container-xs:20rem;--container-sm:24rem;--container-md:28rem;--container-lg:32rem;--container-xl:36rem;--container-3xl:48rem;--container-4xl:56rem;--container-5xl:64rem;--container-6xl:72rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--text-base:1rem;--text-base--line-height: 1.5 ;--text-lg:1.125rem;--text-lg--line-height:calc(1.75 / 1.125);--text-xl:1.25rem;--text-xl--line-height:calc(1.75 / 1.25);--text-2xl:1.5rem;--text-2xl--line-height:calc(2 / 1.5);--text-3xl:1.875rem;--text-3xl--line-height: 1.2 ;--font-weight-normal:400;--font-weight-medium:500;--font-weight-semibold:600;--font-weight-bold:700;--tracking-tight:-.025em;--tracking-wide:.025em;--tracking-wider:.05em;--tracking-widest:.1em;--leading-tight:1.25;--leading-snug:1.375;--leading-normal:1.5;--leading-relaxed:1.625;--radius-sm:6px;--radius-md:12px;--radius-lg:20px;--radius-xl:.75rem;--radius-2xl:1rem;--radius-4xl:2rem;--shadow-sm:0 1px 3px 0 #0000001a, 0 1px 2px -1px #0000001a;--shadow-md:0 4px 6px -1px #0000001a, 0 2px 4px -2px #0000001a;--shadow-lg:0 10px 15px -3px #0000001a, 0 4px 6px -4px #0000001a;--ease-out:cubic-bezier(0, 0, .2, 1);--ease-in-out:cubic-bezier(.4, 0, .2, 1);--animate-spin:spin 1s linear infinite;--animate-pulse:pulse 2s cubic-bezier(.4, 0, .6, 1) infinite;--blur-xs:4px;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--numina-font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}*{border-color:var(--border);outline-color:var(--ring)}@supports (color:color-mix(in lab,red,red)){*{outline-color:color-mix(in oklab,var(--ring) 50%,transparent)}}html{font-family:var(--numina-font-sans);scroll-behavior:smooth;-webkit-overflow-scrolling:touch}html,body,#root{height:100%}body{background:linear-gradient(180deg,var(--numina-bg) 0%,var(--numina-bg-gradient-end) 100%);color:var(--numina-text);background-attachment:fixed;min-height:100vh;margin:0;overflow:hidden}}@layer components{.page-bg{background:linear-gradient(180deg,var(--numina-bg) 0%,var(--numina-bg-gradient-end) 100%)}.numina-card{background:var(--numina-card-bg);border:1px solid var(--numina-border);border-radius:var(--numina-radius);box-shadow:var(--numina-shadow)}.numina-card-sm{background:var(--numina-card-bg);border:1px solid var(--numina-border);border-radius:var(--numina-radius-sm)}.btn-primary{background:var(--numina-red);color:#fff;border-radius:var(--numina-radius-pill);cursor:pointer;border:none;align-items:center;gap:.5rem;padding:.5rem 1.25rem;font-size:.875rem;font-weight:500;text-decoration:none;transition:background .15s;display:inline-flex}.btn-primary:hover{background:var(--numina-red-hover)}.btn-accent{background:var(--numina-accent);color:#fff;border-radius:var(--numina-radius-pill);cursor:pointer;border:none;align-items:center;gap:.5rem;padding:.5rem 1.25rem;font-size:.875rem;font-weight:500;text-decoration:none;transition:background .15s;display:inline-flex}.btn-accent:hover{background:var(--numina-accent-hover)}.btn-outline-accent{color:var(--numina-accent);border:1.5px solid var(--numina-accent);border-radius:var(--numina-radius-pill);cursor:pointer;background:0 0;align-items:center;gap:.5rem;padding:.5rem 1.25rem;font-size:.875rem;font-weight:500;text-decoration:none;transition:opacity .15s;display:inline-flex}.btn-outline-accent:hover{opacity:.8}.btn-outline-accent:disabled{cursor:not-allowed;opacity:.5}.btn-ghost{color:var(--numina-text-muted);border-radius:var(--numina-radius-sm);cursor:pointer;background:0 0;border:none;align-items:center;gap:.5rem;padding:.5rem .75rem;font-size:.875rem;font-weight:500;text-decoration:none;transition:color .15s,background .15s;display:inline-flex}.btn-ghost:hover{color:var(--numina-text);background:#0000000a}.numina-header{background:var(--numina-card-bg-translucent);-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--numina-border-light)}.status-badge{white-space:nowrap;border-radius:4px;align-items:center;gap:.3rem;padding:2px 8px;font-size:.75rem;font-weight:500;display:inline-flex}.status-badge:before{content:"";border-radius:50%;flex-shrink:0;width:6px;height:6px}.status-active{color:#9a8000;background:#fdf6d0}.status-active:before{background:#d4b216}.status-running{color:#9a8000;background:#fdf6d0}.status-running:before{background:#d4b216}.status-completed{color:#1e7e34;background:#d4edda}.status-completed:before{background:#28a745}.status-paused{color:#c45e12;background:#fce4cc}.status-paused:before{background:#e8760a}.status-waiting_user{color:#c45e12;background:#fce4cc}.status-waiting_user:before{background:#e8760a}.status-queued{color:#9a8000;background:#fdf6d0}.status-queued:before{background:#d4b216}.status-pending{color:#9a8000;background:#fdf6d0}.status-pending:before{background:#d4b216}.status-failed{color:#c0392b;background:#fce0de}.status-failed:before{background:#e74c3c}.status-cancelled{color:#8a8278;background:#e8e4df}.status-cancelled:before{background:#b0a99e}.status-archived{color:#8a8278;background:#e8e4df}.status-archived:before{background:#b0a99e}.math-card{min-width:0;padding:var(--space-3) var(--space-4);border:1px solid var(--numina-border);border-radius:var(--radius-md);background:var(--numina-card-bg);box-shadow:var(--numina-shadow)}.card-header{align-items:flex-start;gap:var(--space-2);margin-bottom:var(--space-2);flex-direction:column;display:flex}.card-header-badges{align-items:center;gap:var(--space-2);display:flex}.ann-badge{border:1px solid var(--numina-accent);border-radius:var(--radius-full);color:var(--numina-accent);letter-spacing:.03em;text-transform:uppercase;background:0 0;flex-shrink:0;padding:2px 7px;font-size:.625rem;font-weight:600}.ann-status-badge{border-radius:var(--radius-full);letter-spacing:.03em;text-transform:uppercase;padding:2px 7px;font-size:.625rem;font-weight:600}.ann-title{color:var(--ann-title);font-size:var(--text-sm);overflow-wrap:anywhere;font-weight:600}.ann-statement{margin-bottom:var(--space-2);color:var(--ann-statement);font-size:var(--text-sm);overflow-wrap:anywhere;line-height:1.6}.ann-statement .latex-list{margin:var(--space-1) 0;padding-left:var(--space-6)}.ann-statement .latex-list li{margin-bottom:2px}.ann-details{color:var(--ann-body);font-size:var(--text-sm);overflow-wrap:anywhere}.ann-details summary{cursor:pointer;color:var(--ann-summary);font-size:var(--text-xs);font-weight:500}.ann-details summary:hover{color:var(--ann-summary-hover)}.ann-details p{margin-top:var(--space-1);overflow-wrap:anywhere;line-height:1.6}.ann-details+.ann-details{margin-top:var(--space-2)}.ann-deps{align-items:center;gap:var(--space-2);margin-top:var(--space-2);flex-wrap:wrap;display:flex}.dep-tag{padding:1px var(--space-2);border-radius:var(--radius-sm);background:var(--dep-tag-bg);color:var(--dep-tag-text);font-size:var(--text-xs);overflow-wrap:anywhere}.paragraph-break{height:.7em;display:block}.latex-list{margin:.6em 0;padding-left:1.5em}ul.latex-list{list-style:outside}ol.latex-list{list-style:decimal}.latex-list li{margin-bottom:.35em}.latex-list li:last-child{margin-bottom:0}.doc-body{font-size:var(--text-sm);color:var(--text-primary);counter-reset:doc-item 0 doc-section 1 doc-subsection 0 doc-subsubsection 0;line-height:1.7}.doc-body a{color:var(--numina-accent);border-bottom:1px solid var(--numina-accent);text-decoration:none}@supports (color:color-mix(in lab,red,red)){.doc-body a{border-bottom:1px solid color-mix(in srgb,var(--numina-accent) 40%,transparent)}}.doc-body a{transition:border-color .12s,color .12s}.doc-body a:hover,.doc-body a:focus-visible{border-bottom-color:var(--numina-accent);outline:none}.doc-chapter{font-size:var(--text-2xl);color:var(--text-primary);margin:0 0 .6em;font-weight:600;line-height:1.25}.doc-chapter-file{margin:calc(var(--space-1) * -1) 0 var(--space-4);color:var(--text-muted);font-family:var(--numina-font-mono,monospace);font-size:var(--text-xs)}.doc-section{font-size:var(--text-lg);color:var(--text-primary);margin:1.6em 0 .4em;font-weight:600}.doc-section:before{content:counter(doc-section) ". "}.doc-section:first-child{margin-top:0}.doc-subsection{font-size:var(--text-base);counter-reset:doc-subsubsection 0;margin:1.2em 0 .3em;font-weight:600}.doc-subsection:before{counter-increment:doc-subsection;content:counter(doc-section) "." counter(doc-subsection) ". "}.doc-subsubsection:before{counter-increment:doc-subsubsection;content:counter(doc-section) "." counter(doc-subsection) "." counter(doc-subsubsection) ". "}.doc-subsubsection,.doc-paragraph{font-size:var(--text-sm);margin:1em 0 .25em;font-weight:600}.doc-decl{margin:1.25em 0}.doc-decl-head{color:var(--text-primary);font-weight:600}.doc-decl-title{font-weight:600}.doc-decl-period{margin-left:0}.doc-decl-status{letter-spacing:.03em;text-transform:uppercase;border-radius:var(--radius-full);vertical-align:.05em;margin-left:.5em;padding:1px 7px;font-size:.65rem;font-weight:600;display:inline-block}.doc-decl-tag{font-family:var(--numina-font-mono);font-size:var(--text-xs);color:var(--text-muted);word-break:break-all;margin-top:.15em}.doc-decl-lean{font-family:var(--numina-font-mono);font-size:var(--text-xs);color:var(--numina-accent);word-break:break-all;margin-top:.15em}.doc-decl-lean.is-linked{cursor:pointer}.doc-decl-lean.is-linked:hover{text-decoration:underline}.doc-decl-uses{margin-top:.35em}.doc-proof+.doc-decl-uses{margin-top:-.9em}.doc-decl-uses-summary{cursor:pointer;font-size:var(--text-sm);color:var(--text-muted);-webkit-user-select:none;user-select:none;font-style:italic;list-style:none}.doc-decl-uses-summary::-webkit-details-marker{display:none}.doc-decl-uses-summary:before{content:"▸";width:1em;font-size:.85em;font-style:normal;transition:transform .12s;display:inline-block}.doc-decl-uses[open]>.doc-decl-uses-summary:before{transform:rotate(90deg)}.doc-decl-uses-list{font-family:var(--numina-font-mono);font-size:var(--text-xs);color:var(--text-muted);margin-top:.3em;padding-left:1em}.doc-decl-uses-ref{cursor:pointer}.doc-body a.doc-decl-uses-ref{color:var(--text-muted);border-bottom:none;text-decoration:none}.doc-body a.doc-decl-uses-ref:hover,.doc-body a.doc-decl-uses-ref:focus-visible{color:var(--numina-accent);border-bottom-color:#0000;outline:none;text-decoration:underline}.doc-body a.doc-decl-ref,.doc-body a.doc-doc-ref{color:var(--numina-accent);cursor:pointer;border-bottom:none;text-decoration:none}.doc-body a.doc-decl-ref:hover,.doc-body a.doc-decl-ref:focus-visible,.doc-body a.doc-doc-ref:hover,.doc-body a.doc-doc-ref:focus-visible{outline:none;text-decoration:underline}.doc-equation{align-items:center;gap:.5rem;margin:1em 0;display:flex;position:relative}.doc-equation .katex-display{flex:1;min-width:0;margin:0;overflow:auto hidden}.doc-equation-tag{color:var(--text-muted);font-size:var(--text-sm);flex-shrink:0}.doc-equation-anchor{position:absolute;top:0}.doc-decl-body{margin-top:.35em}.doc-decl-theorem .doc-decl-body,.doc-decl-lemma .doc-decl-body,.doc-decl-corollary .doc-decl-body,.doc-decl-proposition .doc-decl-body,.doc-decl-axiom .doc-decl-body,.doc-decl-conjecture .doc-decl-body,.doc-decl-hypothesis .doc-decl-body,.doc-decl-claim .doc-decl-body,.doc-decl-assumption .doc-decl-body{font-style:italic}.doc-decl-definition .doc-decl-counter:before{counter-increment:doc-item;content:"Definition " counter(doc-section) "." counter(doc-item)}.doc-decl-theorem .doc-decl-counter:before{counter-increment:doc-item;content:"Theorem " counter(doc-section) "." counter(doc-item)}.doc-decl-lemma .doc-decl-counter:before{counter-increment:doc-item;content:"Lemma " counter(doc-section) "." counter(doc-item)}.doc-decl-corollary .doc-decl-counter:before{counter-increment:doc-item;content:"Corollary " counter(doc-section) "." counter(doc-item)}.doc-decl-proposition .doc-decl-counter:before{counter-increment:doc-item;content:"Proposition " counter(doc-section) "." counter(doc-item)}.doc-decl-axiom .doc-decl-counter:before{counter-increment:doc-item;content:"Axiom " counter(doc-section) "." counter(doc-item)}.doc-decl-conjecture .doc-decl-counter:before{counter-increment:doc-item;content:"Conjecture " counter(doc-section) "." counter(doc-item)}.doc-decl-example .doc-decl-counter:before{counter-increment:doc-item;content:"Example " counter(doc-section) "." counter(doc-item)}.doc-decl-hypothesis .doc-decl-counter:before{counter-increment:doc-item;content:"Hypothesis " counter(doc-section) "." counter(doc-item)}.doc-decl-claim .doc-decl-counter:before{counter-increment:doc-item;content:"Claim " counter(doc-section) "." counter(doc-item)}.doc-decl-assumption .doc-decl-counter:before{counter-increment:doc-item;content:"Assumption " counter(doc-section) "." counter(doc-item)}.doc-decl-remark .doc-decl-counter:before{counter-increment:doc-item;content:"Remark " counter(doc-section) "." counter(doc-item)}.doc-decl-notation .doc-decl-counter:before{counter-increment:doc-item;content:"Notation " counter(doc-section) "." counter(doc-item)}.doc-proof{margin:.8em 0 1.25em}.doc-proof-summary{cursor:pointer;font-size:var(--text-sm);color:var(--text-muted);-webkit-user-select:none;user-select:none;font-style:italic;list-style:none}.doc-proof-summary::-webkit-details-marker{display:none}.doc-proof-summary:before{content:"▸";width:1em;font-size:.85em;font-style:normal;transition:transform .12s;display:inline-block}.doc-proof[open]>.doc-proof-summary:before{transform:rotate(90deg)}.doc-proof-body{border-left:1px solid var(--numina-border-light);margin-top:.4em;padding-left:1em}.doc-qed{color:var(--text-muted);margin-left:.4em}.history-session-list{position:relative}.history-session-list:before{content:"";background:var(--numina-border-light);height:1px;transition:opacity .15s;display:block}.history-session-row{z-index:0;background:0 0;border:0;transition:background .15s,color .15s;position:relative}.history-session-row:before{content:"";z-index:-1;border-radius:var(--radius-md);background:0 0;transition:background .15s;position:absolute;inset:-1px 0}.history-session-row:after{content:"";background:var(--numina-border-light);height:1px;position:absolute;bottom:-1px;left:0;right:0}.history-session-row:hover{z-index:1}.history-session-row:hover:before{background:var(--row-hover-bg)}.history-session-list:has(.history-session-row:first-child:hover):before,.history-session-row:hover:after,.history-session-row:has(+.history-session-row:hover):after{opacity:0}.status-verified{color:var(--status-verified-text);border:1px solid var(--status-verified-text);background:0 0}.status-proved{color:var(--status-proved-text);border:1px solid var(--status-proved-text);background:0 0}.status-formalized{color:var(--status-formalized-text);border:1px solid var(--status-formalized-text);background:0 0}.status-unformalized{color:var(--status-unformalized-text);border:1px solid var(--status-unformalized-text);background:0 0}}@layer utilities{.\@container\/card-header{container:card-header/inline-size}.pointer-events-none{pointer-events:none}.collapse{visibility:collapse}.invisible{visibility:hidden}.visible{visibility:visible}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.sticky{position:sticky}.inset-0{inset:0}.inset-x-0{inset-inline:0}.top-0{top:0}.top-1\/2{top:50%}.top-2{top:calc(var(--spacing) * 2)}.top-3{top:calc(var(--spacing) * 3)}.top-16{top:calc(var(--spacing) * 16)}.top-\[30vh\]{top:30vh}.top-\[50vh\]{top:50vh}.top-\[calc\(100\%\+6px\)\]{top:calc(100% + 6px)}.top-\[calc\(100\%\+var\(--space-2\)\)\]{top:calc(100% + var(--space-2))}.right-0{right:0}.right-2{right:calc(var(--spacing) * 2)}.right-3{right:calc(var(--spacing) * 3)}.right-4{right:calc(var(--spacing) * 4)}.right-6{right:calc(var(--spacing) * 6)}.bottom-0{bottom:0}.bottom-4{bottom:calc(var(--spacing) * 4)}.bottom-\[calc\(100\%\+6px\)\]{bottom:calc(100% + 6px)}.bottom-\[calc\(100\%\+8px\)\]{bottom:calc(100% + 8px)}.-left-\[3px\]{left:-3px}.left-0{left:0}.left-1\/2{left:50%}.left-4{left:calc(var(--spacing) * 4)}.left-\[-10000px\]{left:-10000px}.isolate{isolation:isolate}.-z-10{z-index:-10}.z-0{z-index:0}.z-10{z-index:10}.z-20{z-index:20}.z-50{z-index:50}.z-\[2\]{z-index:2}.z-\[3\]{z-index:3}.z-\[4\]{z-index:4}.z-\[5\]{z-index:5}.z-\[6\]{z-index:6}.z-\[100\]{z-index:100}.z-\[101\]{z-index:101}.z-\[10000\]{z-index:10000}.col-start-2{grid-column-start:2}.row-span-2{grid-row:span 2/span 2}.row-start-1{grid-row-start:1}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.m-0{margin:0}.-mx-1{margin-inline:calc(var(--spacing) * -1)}.-mx-4{margin-inline:calc(var(--spacing) * -4)}.mx-0{margin-inline:0}.mx-0\.5{margin-inline:calc(var(--spacing) * .5)}.mx-1{margin-inline:var(--spacing)}.mx-3{margin-inline:calc(var(--spacing) * 3)}.mx-\[var\(--space-3\)\]{margin-inline:var(--space-3)}.mx-auto{margin-inline:auto}.my-0\.5{margin-block:calc(var(--spacing) * .5)}.my-1{margin-block:var(--spacing)}.my-2{margin-block:calc(var(--spacing) * 2)}.my-4{margin-block:calc(var(--spacing) * 4)}.my-\[var\(--space-2\)\]{margin-block:var(--space-2)}.my-\[var\(--space-3\)\]{margin-block:var(--space-3)}.-mt-1{margin-top:calc(var(--spacing) * -1)}.-mt-1\.5{margin-top:calc(var(--spacing) * -1.5)}.-mt-2{margin-top:calc(var(--spacing) * -2)}.-mt-4{margin-top:calc(var(--spacing) * -4)}.mt-0\.5{margin-top:calc(var(--spacing) * .5)}.mt-1{margin-top:var(--spacing)}.mt-1\.5{margin-top:calc(var(--spacing) * 1.5)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-6{margin-top:calc(var(--spacing) * 6)}.mt-8{margin-top:calc(var(--spacing) * 8)}.mt-10{margin-top:calc(var(--spacing) * 10)}.mt-\[-0\.5rem\]{margin-top:-.5rem}.mt-\[calc\(30vh-56px-2rem\)\]{margin-top:calc(30vh - 56px - 2rem)}.mt-\[var\(--space-2\)\]{margin-top:var(--space-2)}.mt-\[var\(--space-3\)\]{margin-top:var(--space-3)}.mt-\[var\(--space-4\)\]{margin-top:var(--space-4)}.mr-1{margin-right:var(--spacing)}.mr-\[0\.35em\]{margin-right:.35em}.-mb-4{margin-bottom:calc(var(--spacing) * -4)}.-mb-px{margin-bottom:-1px}.mb-0{margin-bottom:0}.mb-0\.5{margin-bottom:calc(var(--spacing) * .5)}.mb-1{margin-bottom:var(--spacing)}.mb-1\.5{margin-bottom:calc(var(--spacing) * 1.5)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-2\.5{margin-bottom:calc(var(--spacing) * 2.5)}.mb-3{margin-bottom:calc(var(--spacing) * 3)}.mb-3\.5{margin-bottom:calc(var(--spacing) * 3.5)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.mb-5{margin-bottom:calc(var(--spacing) * 5)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.mb-10{margin-bottom:calc(var(--spacing) * 10)}.mb-\[2px\]{margin-bottom:2px}.mb-\[var\(--space-1\)\]{margin-bottom:var(--space-1)}.mb-\[var\(--space-2\)\]{margin-bottom:var(--space-2)}.mb-\[var\(--space-4\)\]{margin-bottom:var(--space-4)}.ml-1{margin-left:var(--spacing)}.ml-1\.5{margin-left:calc(var(--spacing) * 1.5)}.ml-2{margin-left:calc(var(--spacing) * 2)}.ml-4\.5{margin-left:calc(var(--spacing) * 4.5)}.ml-\[var\(--space-2\)\]{margin-left:var(--space-2)}.ml-auto{margin-left:auto}.box-border{box-sizing:border-box}.line-clamp-2{-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.block{display:block}.contents{display:contents}.flex{display:flex}.grid{display:grid}.hidden{display:none}.inline{display:inline}.inline-block{display:inline-block}.inline-flex{display:inline-flex}.table{display:table}.field-sizing-content{field-sizing:content}.aspect-square{aspect-ratio:1}.size-2\.5{width:calc(var(--spacing) * 2.5);height:calc(var(--spacing) * 2.5)}.size-3{width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.size-3\.5{width:calc(var(--spacing) * 3.5);height:calc(var(--spacing) * 3.5)}.size-4{width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}.size-6{width:calc(var(--spacing) * 6);height:calc(var(--spacing) * 6)}.size-7{width:calc(var(--spacing) * 7);height:calc(var(--spacing) * 7)}.size-8{width:calc(var(--spacing) * 8);height:calc(var(--spacing) * 8)}.size-9{width:calc(var(--spacing) * 9);height:calc(var(--spacing) * 9)}.size-\[34px\]{width:34px;height:34px}.size-\[38px\]{width:38px;height:38px}.size-full{width:100%;height:100%}.h-0{height:0}.h-0\.5{height:calc(var(--spacing) * .5)}.h-1\.5{height:calc(var(--spacing) * 1.5)}.h-2{height:calc(var(--spacing) * 2)}.h-2\.5{height:calc(var(--spacing) * 2.5)}.h-3{height:calc(var(--spacing) * 3)}.h-3\.5{height:calc(var(--spacing) * 3.5)}.h-4{height:calc(var(--spacing) * 4)}.h-5{height:calc(var(--spacing) * 5)}.h-6{height:calc(var(--spacing) * 6)}.h-7{height:calc(var(--spacing) * 7)}.h-8{height:calc(var(--spacing) * 8)}.h-9{height:calc(var(--spacing) * 9)}.h-10{height:calc(var(--spacing) * 10)}.h-12{height:calc(var(--spacing) * 12)}.h-14{height:calc(var(--spacing) * 14)}.h-20{height:calc(var(--spacing) * 20)}.h-\[1\.125rem\]{height:1.125rem}.h-\[7px\]{height:7px}.h-\[18px\]{height:18px}.h-\[22px\]{height:22px}.h-\[34px\]{height:34px}.h-\[35px\]{height:35px}.h-\[70vh\]{height:70vh}.h-\[200px\]{height:200px}.h-\[360px\]{height:360px}.h-\[min\(48vh\,360px\)\]{height:min(48vh,360px)}.h-\[min\(55vh\,540px\)\]{height:min(55vh,540px)}.h-auto{height:auto}.h-full{height:100%}.h-px{height:1px}.h-screen{height:100vh}.max-h-\(--available-height\){max-height:var(--available-height)}.max-h-48{max-height:calc(var(--spacing) * 48)}.max-h-72{max-height:calc(var(--spacing) * 72)}.max-h-\[60vh\]{max-height:60vh}.max-h-\[300px\]{max-height:300px}.max-h-\[calc\(100vh-14rem\)\]{max-height:calc(100vh - 14rem)}.min-h-0{min-height:0}.min-h-6{min-height:calc(var(--spacing) * 6)}.min-h-8{min-height:calc(var(--spacing) * 8)}.min-h-11{min-height:calc(var(--spacing) * 11)}.min-h-16{min-height:calc(var(--spacing) * 16)}.min-h-20{min-height:calc(var(--spacing) * 20)}.min-h-52{min-height:calc(var(--spacing) * 52)}.min-h-\[34px\]{min-height:34px}.min-h-\[140px\]{min-height:140px}.min-h-\[320px\]{min-height:320px}.min-h-\[360px\]{min-height:360px}.min-h-\[calc\(100vh-160px\)\]{min-height:calc(100vh - 160px)}.min-h-full{min-height:100%}.min-h-screen{min-height:100vh}.w-\(--anchor-width\){width:var(--anchor-width)}.w-0{width:0}.w-1{width:var(--spacing)}.w-2{width:calc(var(--spacing) * 2)}.w-2\.5{width:calc(var(--spacing) * 2.5)}.w-3{width:calc(var(--spacing) * 3)}.w-3\.5{width:calc(var(--spacing) * 3.5)}.w-4{width:calc(var(--spacing) * 4)}.w-5{width:calc(var(--spacing) * 5)}.w-6{width:calc(var(--spacing) * 6)}.w-7{width:calc(var(--spacing) * 7)}.w-8{width:calc(var(--spacing) * 8)}.w-9{width:calc(var(--spacing) * 9)}.w-10{width:calc(var(--spacing) * 10)}.w-12{width:calc(var(--spacing) * 12)}.w-14{width:calc(var(--spacing) * 14)}.w-28{width:calc(var(--spacing) * 28)}.w-36{width:calc(var(--spacing) * 36)}.w-40{width:calc(var(--spacing) * 40)}.w-48{width:calc(var(--spacing) * 48)}.w-52{width:calc(var(--spacing) * 52)}.w-56{width:calc(var(--spacing) * 56)}.w-60{width:calc(var(--spacing) * 60)}.w-80{width:calc(var(--spacing) * 80)}.w-\[1\.125rem\]{width:1.125rem}.w-\[6px\]{width:6px}.w-\[7px\]{width:7px}.w-\[14px\]{width:14px}.w-\[18px\]{width:18px}.w-\[22px\]{width:22px}.w-\[22rem\]{width:22rem}.w-\[34px\]{width:34px}.w-\[55\%\]{width:55%}.w-\[70\%\]{width:70%}.w-\[100px\]{width:100px}.w-\[110px\]{width:110px}.w-\[120px\]{width:120px}.w-\[140px\]{width:140px}.w-\[175px\]{width:175px}.w-\[180px\]{width:180px}.w-\[200px\]{width:200px}.w-\[220px\]{width:220px}.w-\[min\(100\%\,32rem\)\]{width:min(100%,32rem)}.w-auto{width:auto}.w-fit{width:fit-content}.w-full{width:100%}.w-max{width:max-content}.w-px{width:1px}.max-w-0{max-width:0}.max-w-3xl{max-width:var(--container-3xl)}.max-w-4xl{max-width:var(--container-4xl)}.max-w-5xl{max-width:var(--container-5xl)}.max-w-6xl{max-width:var(--container-6xl)}.max-w-60{max-width:calc(var(--spacing) * 60)}.max-w-80{max-width:calc(var(--spacing) * 80)}.max-w-90{max-width:calc(var(--spacing) * 90)}.max-w-105{max-width:calc(var(--spacing) * 105)}.max-w-160{max-width:calc(var(--spacing) * 160)}.max-w-\[28rem\]{max-width:28rem}.max-w-\[32rem\]{max-width:32rem}.max-w-\[44rem\]{max-width:44rem}.max-w-\[56rem\]{max-width:56rem}.max-w-\[60ch\]{max-width:60ch}.max-w-\[70\%\]{max-width:70%}.max-w-\[88rem\]{max-width:88rem}.max-w-\[220px\]{max-width:220px}.max-w-\[240px\]{max-width:240px}.max-w-\[320px\]{max-width:320px}.max-w-\[340px\]{max-width:340px}.max-w-\[400px\]{max-width:400px}.max-w-\[720px\]{max-width:720px}.max-w-\[760px\]{max-width:760px}.max-w-\[768px\]{max-width:768px}.max-w-\[780px\]{max-width:780px}.max-w-\[800px\]{max-width:800px}.max-w-\[1080px\]{max-width:1080px}.max-w-\[1100px\]{max-width:1100px}.max-w-\[1180px\]{max-width:1180px}.max-w-\[calc\(50\%_-_0\.25rem\)\]{max-width:calc(50% - .25rem)}.max-w-\[calc\(100\%-1\.5rem\)\]{max-width:calc(100% - 1.5rem)}.max-w-\[calc\(100\%-2rem\)\]{max-width:calc(100% - 2rem)}.max-w-full{max-width:100%}.max-w-lg{max-width:var(--container-lg)}.max-w-md{max-width:var(--container-md)}.max-w-sm{max-width:var(--container-sm)}.max-w-xl{max-width:var(--container-xl)}.max-w-xs{max-width:var(--container-xs)}.min-w-\(--anchor-width\){min-width:var(--anchor-width)}.min-w-0{min-width:0}.min-w-5{min-width:calc(var(--spacing) * 5)}.min-w-7{min-width:calc(var(--spacing) * 7)}.min-w-26{min-width:calc(var(--spacing) * 26)}.min-w-32{min-width:calc(var(--spacing) * 32)}.min-w-50{min-width:calc(var(--spacing) * 50)}.min-w-52{min-width:calc(var(--spacing) * 52)}.min-w-56{min-width:calc(var(--spacing) * 56)}.min-w-\[2\.625rem\]{min-width:2.625rem}.min-w-\[18px\]{min-width:18px}.min-w-\[96px\]{min-width:96px}.min-w-\[220px\]{min-width:220px}.flex-1{flex:1}.flex-\[2\]{flex:2}.flex-\[3\]{flex:3}.flex-none{flex:none}.flex-shrink{flex-shrink:1}.flex-shrink-0{flex-shrink:0}.shrink{flex-shrink:1}.shrink-0{flex-shrink:0}.grow{flex-grow:1}.border-collapse{border-collapse:collapse}.origin-\(--transform-origin\){transform-origin:var(--transform-origin)}.-translate-x-1\/2{--tw-translate-x: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.translate-x-full{--tw-translate-x:100%;translate:var(--tw-translate-x) var(--tw-translate-y)}.-translate-y-1\/2{--tw-translate-y: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.translate-y-\[-2px\]{--tw-translate-y:-2px;translate:var(--tw-translate-x) var(--tw-translate-y)}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.animate-pulse{animation:var(--animate-pulse)}.animate-spin{animation:var(--animate-spin)}.cursor-col-resize{cursor:col-resize}.cursor-default{cursor:default}.cursor-grab{cursor:grab}.cursor-pointer{cursor:pointer}.resize{resize:both}.resize-y{resize:vertical}.scroll-mt-\[75px\]{scroll-margin-top:75px}.\[scrollbar-gutter\:stable_both-edges\]{scrollbar-gutter:stable both-edges}.list-disc{list-style-type:disc}.list-none{list-style-type:none}.\[appearance\:textfield\]{appearance:textfield}.auto-rows-min{grid-auto-rows:min-content}.grid-cols-1{grid-template-columns:repeat(1,minmax(0,1fr))}.grid-cols-\[1fr\]{grid-template-columns:1fr}.grid-cols-\[1fr_auto\]{grid-template-columns:1fr auto}.grid-cols-\[2\.75em_2\.75em_1\.25em_1fr\]{grid-template-columns:2.75em 2.75em 1.25em 1fr}.grid-cols-\[140px_1fr\]{grid-template-columns:140px 1fr}.grid-cols-\[auto_1fr\]{grid-template-columns:auto 1fr}.grid-cols-\[max-content_minmax\(0\,1fr\)\]{grid-template-columns:max-content minmax(0,1fr)}.grid-cols-\[repeat\(auto-fit\,minmax\(150px\,1fr\)\)\]{grid-template-columns:repeat(auto-fit,minmax(150px,1fr))}.grid-cols-\[repeat\(auto-fit\,minmax\(280px\,1fr\)\)\]{grid-template-columns:repeat(auto-fit,minmax(280px,1fr))}.flex-col{flex-direction:column}.flex-col-reverse{flex-direction:column-reverse}.flex-row{flex-direction:row}.flex-wrap{flex-wrap:wrap}.\[place-items\:safe_center\]{place-items:safe center}.items-baseline{align-items:baseline}.items-center{align-items:center}.items-end{align-items:flex-end}.items-start{align-items:flex-start}.items-stretch{align-items:stretch}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.justify-end{justify-content:flex-end}.gap-0{gap:0}.gap-0\.5{gap:calc(var(--spacing) * .5)}.gap-1{gap:var(--spacing)}.gap-1\.5{gap:calc(var(--spacing) * 1.5)}.gap-2{gap:calc(var(--spacing) * 2)}.gap-2\.5{gap:calc(var(--spacing) * 2.5)}.gap-3{gap:calc(var(--spacing) * 3)}.gap-4{gap:calc(var(--spacing) * 4)}.gap-6{gap:calc(var(--spacing) * 6)}.gap-7{gap:calc(var(--spacing) * 7)}.gap-8{gap:calc(var(--spacing) * 8)}.gap-10{gap:calc(var(--spacing) * 10)}.gap-\[0\.1rem\]{gap:.1rem}.gap-\[0\.3rem\]{gap:.3rem}.gap-\[0\.35em\]{gap:.35em}.gap-\[5px\]{gap:5px}.gap-\[var\(--space-1\)\]{gap:var(--space-1)}.gap-\[var\(--space-2\)\]{gap:var(--space-2)}.gap-\[var\(--space-3\)\]{gap:var(--space-3)}.gap-\[var\(--space-6\)\]{gap:var(--space-6)}:where(.space-y-1>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(var(--spacing) * var(--tw-space-y-reverse));margin-block-end:calc(var(--spacing) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-3>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 3) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 3) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-5>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 5) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 5) * calc(1 - var(--tw-space-y-reverse)))}.gap-x-2{column-gap:calc(var(--spacing) * 2)}.gap-x-3{column-gap:calc(var(--spacing) * 3)}.gap-x-4{column-gap:calc(var(--spacing) * 4)}.gap-x-8{column-gap:calc(var(--spacing) * 8)}:where(.-space-x-2>:not(:last-child)){--tw-space-x-reverse:0;margin-inline-start:calc(calc(var(--spacing) * -2) * var(--tw-space-x-reverse));margin-inline-end:calc(calc(var(--spacing) * -2) * calc(1 - var(--tw-space-x-reverse)))}.gap-y-1{row-gap:var(--spacing)}.gap-y-1\.5{row-gap:calc(var(--spacing) * 1.5)}.gap-y-2{row-gap:calc(var(--spacing) * 2)}.gap-y-4{row-gap:calc(var(--spacing) * 4)}.gap-y-\[0\.45rem\]{row-gap:.45rem}.self-baseline{align-self:baseline}.self-start{align-self:flex-start}.justify-self-end{justify-self:flex-end}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.overflow-auto{overflow:auto}.overflow-hidden{overflow:hidden}.overflow-visible{overflow:visible}.overflow-x-auto{overflow-x:auto}.overflow-x-hidden{overflow-x:hidden}.overflow-y-auto{overflow-y:auto}.\[overscroll-behavior\:none\]{overscroll-behavior:none}.\[overscroll-behavior-x\:contain\]{overscroll-behavior-x:contain}.\[overscroll-behavior-y\:contain\]{overscroll-behavior-y:contain}.rounded{border-radius:.25rem}.rounded-2xl{border-radius:var(--radius-2xl)}.rounded-4xl{border-radius:var(--radius-4xl)}.rounded-\[2px\]{border-radius:2px}.rounded-\[3px\]{border-radius:3px}.rounded-\[10px\]{border-radius:10px}.rounded-\[var\(--radius-md\)\]{border-radius:var(--radius-md)}.rounded-\[var\(--radius-sm\)\]{border-radius:var(--radius-sm)}.rounded-full{border-radius:3.40282e38px}.rounded-lg{border-radius:20px}.rounded-md{border-radius:12px}.rounded-none{border-radius:0}.rounded-sm{border-radius:6px}.rounded-xl{border-radius:var(--radius-xl)}.rounded-t-xl{border-top-left-radius:var(--radius-xl);border-top-right-radius:var(--radius-xl)}.rounded-l-\[28px\]{border-top-left-radius:28px;border-bottom-left-radius:28px}.rounded-r-\[20px\]{border-top-right-radius:20px;border-bottom-right-radius:20px}.rounded-b-xl{border-bottom-right-radius:var(--radius-xl);border-bottom-left-radius:var(--radius-xl)}.border{border-style:var(--tw-border-style);border-width:1px}.border-0{border-style:var(--tw-border-style);border-width:0}.border-\[1\.5px\]{border-style:var(--tw-border-style);border-width:1.5px}.border-y{border-block-style:var(--tw-border-style);border-block-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-r{border-right-style:var(--tw-border-style);border-right-width:1px}.border-r-0{border-right-style:var(--tw-border-style);border-right-width:0}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.border-b-0{border-bottom-style:var(--tw-border-style);border-bottom-width:0}.border-b-2{border-bottom-style:var(--tw-border-style);border-bottom-width:2px}.border-l{border-left-style:var(--tw-border-style);border-left-width:1px}.border-l-0{border-left-style:var(--tw-border-style);border-left-width:0}.border-l-2{border-left-style:var(--tw-border-style);border-left-width:2px}.border-dashed{--tw-border-style:dashed;border-style:dashed}.border-none{--tw-border-style:none;border-style:none}.border-\[color\:var\(--numina-border\)\]{border-color:var(--numina-border)}.border-\[color\:var\(--numina-border-light\)\]{border-color:var(--numina-border-light)}.border-\[var\(--code-border\)\]{border-color:var(--code-border)}.border-\[var\(--numina-accent\)\]{border-color:var(--numina-accent)}.border-\[var\(--numina-border\)\]{border-color:var(--numina-border)}.border-\[var\(--numina-border-light\)\]{border-color:var(--numina-border-light)}.border-\[var\(--warning-border\)\]{border-color:var(--warning-border)}.border-amber-500\/40{border-color:#f99c0066}@supports (color:color-mix(in lab,red,red)){.border-amber-500\/40{border-color:color-mix(in oklab,var(--color-amber-500) 40%,transparent)}}.border-border{border-color:var(--border)}.border-destructive,.border-destructive\/40{border-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.border-destructive\/40{border-color:color-mix(in oklab,var(--destructive) 40%,transparent)}}.border-emerald-500\/40{border-color:#00bb7f66}@supports (color:color-mix(in lab,red,red)){.border-emerald-500\/40{border-color:color-mix(in oklab,var(--color-emerald-500) 40%,transparent)}}.border-foreground{border-color:var(--foreground)}.border-input{border-color:var(--input)}.border-muted-foreground{border-color:var(--muted-foreground)}.border-primary,.border-primary\/30{border-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.border-primary\/30{border-color:color-mix(in oklab,var(--primary) 30%,transparent)}}.border-transparent{border-color:#0000}.border-l-primary{border-left-color:var(--primary)}.bg-\[rgb\(22_163_74\/0\.09\)\]{background-color:#16a34a17}.bg-\[rgb\(220_38_38\/0\.09\)\]{background-color:#dc262617}.bg-\[var\(--accent-overlay-soft\)\]{background-color:var(--accent-overlay-soft)}.bg-\[var\(--code-bg\)\]{background-color:var(--code-bg)}.bg-\[var\(--code-header-bg\)\]{background-color:var(--code-header-bg)}.bg-\[var\(--numina-accent\)\]{background-color:var(--numina-accent)}.bg-\[var\(--numina-border-light\)\]{background-color:var(--numina-border-light)}.bg-\[var\(--numina-card-bg\)\]{background-color:var(--numina-card-bg)}.bg-\[var\(--numina-surface-sunken\)\]{background-color:var(--numina-surface-sunken)}.bg-\[var\(--status-unformalized-bg\,var\(--numina-surface-sunken\)\)\]{background-color:var(--status-unformalized-bg,var(--numina-surface-sunken))}.bg-\[var\(--status-verified-text\)\]{background-color:var(--status-verified-text)}.bg-\[var\(--warning-bg\)\]{background-color:var(--warning-bg)}.bg-accent{background-color:var(--accent)}.bg-amber-500{background-color:var(--color-amber-500)}.bg-amber-500\/10{background-color:#f99c001a}@supports (color:color-mix(in lab,red,red)){.bg-amber-500\/10{background-color:color-mix(in oklab,var(--color-amber-500) 10%,transparent)}}.bg-background{background-color:var(--background)}.bg-black\/10{background-color:#0000001a}@supports (color:color-mix(in lab,red,red)){.bg-black\/10{background-color:color-mix(in oklab,var(--color-black) 10%,transparent)}}.bg-black\/45{background-color:#00000073}@supports (color:color-mix(in lab,red,red)){.bg-black\/45{background-color:color-mix(in oklab,var(--color-black) 45%,transparent)}}.bg-blue-500{background-color:var(--color-blue-500)}.bg-border{background-color:var(--border)}.bg-card{background-color:var(--card)}.bg-destructive,.bg-destructive\/10{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.bg-destructive\/10{background-color:color-mix(in oklab,var(--destructive) 10%,transparent)}}.bg-emerald-500{background-color:var(--color-emerald-500)}.bg-emerald-500\/15{background-color:#00bb7f26}@supports (color:color-mix(in lab,red,red)){.bg-emerald-500\/15{background-color:color-mix(in oklab,var(--color-emerald-500) 15%,transparent)}}.bg-foreground{background-color:var(--foreground)}.bg-muted{background-color:var(--muted)}.bg-muted-foreground\/50{background-color:var(--muted-foreground)}@supports (color:color-mix(in lab,red,red)){.bg-muted-foreground\/50{background-color:color-mix(in oklab,var(--muted-foreground) 50%,transparent)}}.bg-muted\/50{background-color:var(--muted)}@supports (color:color-mix(in lab,red,red)){.bg-muted\/50{background-color:color-mix(in oklab,var(--muted) 50%,transparent)}}.bg-muted\/70{background-color:var(--muted)}@supports (color:color-mix(in lab,red,red)){.bg-muted\/70{background-color:color-mix(in oklab,var(--muted) 70%,transparent)}}.bg-popover{background-color:var(--popover)}.bg-primary,.bg-primary\/10{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.bg-primary\/10{background-color:color-mix(in oklab,var(--primary) 10%,transparent)}}.bg-red-500{background-color:var(--color-red-500)}.bg-secondary{background-color:var(--secondary)}.bg-transparent{background-color:#0000}.bg-white{background-color:var(--color-white)}.bg-none{background-image:none}.bg-clip-padding{background-clip:padding-box}.fill-\[\#2da44e\]{fill:#2da44e}.fill-none{fill:none}.stroke-\[\#2da44e\]{stroke:#2da44e}.\[stroke-width\:1\.5\]{stroke-width:1.5px}.object-cover{object-fit:cover}.p-0{padding:0}.p-0\.5{padding:calc(var(--spacing) * .5)}.p-1{padding:var(--spacing)}.p-2{padding:calc(var(--spacing) * 2)}.p-2\.5{padding:calc(var(--spacing) * 2.5)}.p-3{padding:calc(var(--spacing) * 3)}.p-4{padding:calc(var(--spacing) * 4)}.p-6{padding:calc(var(--spacing) * 6)}.p-8{padding:calc(var(--spacing) * 8)}.p-10{padding:calc(var(--spacing) * 10)}.p-\[var\(--space-3\)\]{padding:var(--space-3)}.p-\[var\(--space-4\)\]{padding:var(--space-4)}.p-\[var\(--space-6\)\]{padding:var(--space-6)}.px-0{padding-inline:0}.px-1{padding-inline:var(--spacing)}.px-1\.5{padding-inline:calc(var(--spacing) * 1.5)}.px-2{padding-inline:calc(var(--spacing) * 2)}.px-2\.5{padding-inline:calc(var(--spacing) * 2.5)}.px-3{padding-inline:calc(var(--spacing) * 3)}.px-3\.5{padding-inline:calc(var(--spacing) * 3.5)}.px-4{padding-inline:calc(var(--spacing) * 4)}.px-5{padding-inline:calc(var(--spacing) * 5)}.px-6{padding-inline:calc(var(--spacing) * 6)}.px-8{padding-inline:calc(var(--spacing) * 8)}.px-12{padding-inline:calc(var(--spacing) * 12)}.px-\[0\.4em\]{padding-inline:.4em}.px-\[0\.7rem\]{padding-inline:.7rem}.px-\[0\.65rem\]{padding-inline:.65rem}.px-\[0\.4375rem\]{padding-inline:.4375rem}.px-\[5px\]{padding-inline:5px}.px-\[7px\]{padding-inline:7px}.px-\[var\(--space-1\)\]{padding-inline:var(--space-1)}.px-\[var\(--space-2\)\]{padding-inline:var(--space-2)}.px-\[var\(--space-3\)\]{padding-inline:var(--space-3)}.px-\[var\(--space-4\)\]{padding-inline:var(--space-4)}.px-\[var\(--space-6\)\]{padding-inline:var(--space-6)}.py-0\.5{padding-block:calc(var(--spacing) * .5)}.py-1{padding-block:var(--spacing)}.py-1\.5{padding-block:calc(var(--spacing) * 1.5)}.py-2{padding-block:calc(var(--spacing) * 2)}.py-2\.5{padding-block:calc(var(--spacing) * 2.5)}.py-3{padding-block:calc(var(--spacing) * 3)}.py-3\.5{padding-block:calc(var(--spacing) * 3.5)}.py-4{padding-block:calc(var(--spacing) * 4)}.py-6{padding-block:calc(var(--spacing) * 6)}.py-8{padding-block:calc(var(--spacing) * 8)}.py-10{padding-block:calc(var(--spacing) * 10)}.py-12{padding-block:calc(var(--spacing) * 12)}.py-\[0\.2rem\]{padding-block:.2rem}.py-\[0\.4rem\]{padding-block:.4rem}.py-\[0\.05em\]{padding-block:.05em}.py-\[0\.45rem\]{padding-block:.45rem}.py-\[0\.0625rem\]{padding-block:.0625rem}.py-\[9px\]{padding-block:9px}.py-\[var\(--space-1\)\]{padding-block:var(--space-1)}.py-\[var\(--space-2\)\]{padding-block:var(--space-2)}.py-\[var\(--space-3\)\]{padding-block:var(--space-3)}.py-\[var\(--space-4\)\]{padding-block:var(--space-4)}.py-\[var\(--space-6\)\]{padding-block:var(--space-6)}.py-\[var\(--space-8\)\]{padding-block:var(--space-8)}.py-px{padding-block:1px}.pt-1{padding-top:var(--spacing)}.pt-2{padding-top:calc(var(--spacing) * 2)}.pt-4{padding-top:calc(var(--spacing) * 4)}.pt-5{padding-top:calc(var(--spacing) * 5)}.pt-6{padding-top:calc(var(--spacing) * 6)}.pt-8{padding-top:calc(var(--spacing) * 8)}.pt-10{padding-top:calc(var(--spacing) * 10)}.pt-12{padding-top:calc(var(--spacing) * 12)}.pt-24{padding-top:calc(var(--spacing) * 24)}.pt-\[3px\]{padding-top:3px}.pt-\[clamp\(3\.5rem\,34vh\,40rem\)\]{padding-top:clamp(3.5rem,34vh,40rem)}.pt-\[var\(--empty-state-anchor\)\]{padding-top:var(--empty-state-anchor)}.pt-\[var\(--space-4\)\]{padding-top:var(--space-4)}.pr-1\.5{padding-right:calc(var(--spacing) * 1.5)}.pr-2{padding-right:calc(var(--spacing) * 2)}.pr-3{padding-right:calc(var(--spacing) * 3)}.pr-4{padding-right:calc(var(--spacing) * 4)}.pr-6{padding-right:calc(var(--spacing) * 6)}.pr-8{padding-right:calc(var(--spacing) * 8)}.pb-1{padding-bottom:var(--spacing)}.pb-2{padding-bottom:calc(var(--spacing) * 2)}.pb-2\.5{padding-bottom:calc(var(--spacing) * 2.5)}.pb-4{padding-bottom:calc(var(--spacing) * 4)}.pb-5{padding-bottom:calc(var(--spacing) * 5)}.pb-6{padding-bottom:calc(var(--spacing) * 6)}.pb-10{padding-bottom:calc(var(--spacing) * 10)}.pb-12{padding-bottom:calc(var(--spacing) * 12)}.pb-16{padding-bottom:calc(var(--spacing) * 16)}.pb-\[12vh\]{padding-bottom:12vh}.pb-\[80vh\]{padding-bottom:80vh}.pl-0{padding-left:0}.pl-1{padding-left:var(--spacing)}.pl-1\.5{padding-left:calc(var(--spacing) * 1.5)}.pl-2\.5{padding-left:calc(var(--spacing) * 2.5)}.pl-3{padding-left:calc(var(--spacing) * 3)}.pl-6{padding-left:calc(var(--spacing) * 6)}.text-center{text-align:center}.text-left{text-align:left}.text-right{text-align:right}.align-\[-3px\]{vertical-align:-3px}.align-middle{vertical-align:middle}.align-top{vertical-align:top}.\[font-family\:var\(--numina-font-mono\)\]{font-family:var(--numina-font-mono)}.\[font-family\:var\(--numina-font-sans\)\]{font-family:var(--numina-font-sans)}.font-\[family-name\:var\(--numina-font-mono\)\]{font-family:var(--numina-font-mono)}.font-\[inherit\]{font-family:inherit}.font-mono{font-family:var(--font-mono)}.font-sans{font-family:var(--numina-font-sans)}.text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.text-3xl{font-size:var(--text-3xl);line-height:var(--tw-leading,var(--text-3xl--line-height))}.text-base{font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height))}.text-lg{font-size:var(--text-lg);line-height:var(--tw-leading,var(--text-lg--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-\[0\.6rem\]{font-size:.6rem}.text-\[0\.7rem\]{font-size:.7rem}.text-\[0\.8rem\]{font-size:.8rem}.text-\[0\.65rem\]{font-size:.65rem}.text-\[0\.72rem\]{font-size:.72rem}.text-\[0\.85em\]{font-size:.85em}.text-\[0\.625rem\]{font-size:.625rem}.text-\[0\.6875rem\]{font-size:.6875rem}.text-\[0\.8125rem\]{font-size:.8125rem}.text-\[0\.9375rem\]{font-size:.9375rem}.text-\[2\.25rem\]{font-size:2.25rem}.text-\[10px\]{font-size:10px}.text-\[11px\]{font-size:11px}.text-\[length\:var\(--text-sm\)\]{font-size:var(--text-sm)}.text-\[length\:var\(--text-xs\)\]{font-size:var(--text-xs)}.leading-\[1\.2\]{--tw-leading:1.2;line-height:1.2}.leading-\[1\.4\]{--tw-leading:1.4;line-height:1.4}.leading-\[1\.5\]{--tw-leading:1.5;line-height:1.5}.leading-\[1\.6\]{--tw-leading:1.6;line-height:1.6}.leading-\[1\.7\]{--tw-leading:1.7;line-height:1.7}.leading-\[1\.35\]{--tw-leading:1.35;line-height:1.35}.leading-\[1\.45\]{--tw-leading:1.45;line-height:1.45}.leading-\[1\.55\]{--tw-leading:1.55;line-height:1.55}.leading-\[normal\]{--tw-leading:normal;line-height:normal}.leading-none{--tw-leading:1;line-height:1}.leading-normal{--tw-leading:var(--leading-normal);line-height:var(--leading-normal)}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.leading-snug{--tw-leading:var(--leading-snug);line-height:var(--leading-snug)}.leading-tight{--tw-leading:var(--leading-tight);line-height:var(--leading-tight)}.font-\[var\(--font-weight-medium\)\]{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-\[var\(--font-weight-semibold\)\]{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.font-\[var\(--numina-font-mono\)\]{--tw-font-weight:var(--numina-font-mono);font-weight:var(--numina-font-mono)}.font-\[var\(--numina-font-sans\)\]{--tw-font-weight:var(--numina-font-sans);font-weight:var(--numina-font-sans)}.font-bold{--tw-font-weight:var(--font-weight-bold);font-weight:var(--font-weight-bold)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-normal{--tw-font-weight:var(--font-weight-normal);font-weight:var(--font-weight-normal)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-\[-0\.02em\]{--tw-tracking:-.02em;letter-spacing:-.02em}.tracking-\[0\.03em\]{--tw-tracking:.03em;letter-spacing:.03em}.tracking-\[0\.04em\]{--tw-tracking:.04em;letter-spacing:.04em}.tracking-\[0\.05em\]{--tw-tracking:.05em;letter-spacing:.05em}.tracking-tight{--tw-tracking:var(--tracking-tight);letter-spacing:var(--tracking-tight)}.tracking-wide{--tw-tracking:var(--tracking-wide);letter-spacing:var(--tracking-wide)}.tracking-wider{--tw-tracking:var(--tracking-wider);letter-spacing:var(--tracking-wider)}.tracking-widest{--tw-tracking:var(--tracking-widest);letter-spacing:var(--tracking-widest)}.\[overflow-wrap\:anywhere\]{overflow-wrap:anywhere}.break-words{overflow-wrap:break-word}.break-all{word-break:break-all}.text-ellipsis{text-overflow:ellipsis}.whitespace-nowrap{white-space:nowrap}.whitespace-pre{white-space:pre}.whitespace-pre-wrap{white-space:pre-wrap}.text-\[\#22c55e\]{color:#22c55e}.text-\[color\:var\(--build-error\)\]{color:var(--build-error)}.text-\[color\:var\(--build-warning\)\]{color:var(--build-warning)}.text-\[color\:var\(--code-header-text\)\]{color:var(--code-header-text)}.text-\[color\:var\(--gray-500\)\]{color:var(--gray-500)}.text-\[color\:var\(--gray-600\)\]{color:var(--gray-600)}.text-\[color\:var\(--numina-accent\)\]{color:var(--numina-accent)}.text-\[color\:var\(--text-body\)\]{color:var(--text-body)}.text-\[color\:var\(--text-muted\)\]{color:var(--text-muted)}.text-\[color\:var\(--text-primary\)\]{color:var(--text-primary)}.text-\[var\(--build-error\)\]{color:var(--build-error)}.text-\[var\(--build-warning\)\]{color:var(--build-warning)}.text-\[var\(--code-header-text\)\]{color:var(--code-header-text)}.text-\[var\(--numina-accent\)\]{color:var(--numina-accent)}.text-\[var\(--numina-border\)\]{color:var(--numina-border)}.text-\[var\(--numina-card-bg\)\]{color:var(--numina-card-bg)}.text-\[var\(--numina-error\)\]{color:var(--numina-error)}.text-\[var\(--status-unformalized-text\)\]{color:var(--status-unformalized-text)}.text-\[var\(--status-unformalized-text\,var\(--text-muted\)\)\]{color:var(--status-unformalized-text,var(--text-muted))}.text-\[var\(--status-verified-text\)\]{color:var(--status-verified-text)}.text-\[var\(--text-body\)\]{color:var(--text-body)}.text-\[var\(--text-muted\)\]{color:var(--text-muted)}.text-\[var\(--text-on-accent\)\]{color:var(--text-on-accent)}.text-\[var\(--text-primary\)\]{color:var(--text-primary)}.text-\[var\(--warning-text\)\]{color:var(--warning-text)}.text-amber-600{color:var(--color-amber-600)}.text-background{color:var(--background)}.text-border{color:var(--border)}.text-card-foreground{color:var(--card-foreground)}.text-destructive{color:var(--destructive)}.text-emerald-600{color:var(--color-emerald-600)}.text-foreground,.text-foreground\/70{color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.text-foreground\/70{color:color-mix(in oklab,var(--foreground) 70%,transparent)}}.text-foreground\/80{color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.text-foreground\/80{color:color-mix(in oklab,var(--foreground) 80%,transparent)}}.text-inherit{color:inherit}.text-muted{color:var(--muted)}.text-muted-foreground{color:var(--muted-foreground)}.text-popover-foreground{color:var(--popover-foreground)}.text-primary{color:var(--primary)}.text-primary-foreground{color:var(--primary-foreground)}.text-red-600{color:var(--color-red-600)}.text-secondary-foreground{color:var(--secondary-foreground)}.capitalize{text-transform:capitalize}.lowercase{text-transform:lowercase}.uppercase{text-transform:uppercase}.italic{font-style:italic}.ordinal{--tw-ordinal:ordinal;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.tabular-nums{--tw-numeric-spacing:tabular-nums;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.\[font-variant-numeric\:tabular-nums\]{font-variant-numeric:tabular-nums}.line-through{text-decoration-line:line-through}.no-underline{text-decoration-line:none}.underline{text-decoration-line:underline}.underline-offset-4{text-underline-offset:4px}.accent-\[var\(--numina-accent\)\]{accent-color:var(--numina-accent)}.opacity-0{opacity:0}.opacity-15{opacity:.15}.opacity-35{opacity:.35}.opacity-50{opacity:.5}.opacity-60{opacity:.6}.opacity-70{opacity:.7}.opacity-75{opacity:.75}.opacity-80{opacity:.8}.bg-blend-color{background-blend-mode:color}.shadow{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a), 0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-2xl{--tw-shadow:0 25px 50px -12px var(--tw-shadow-color,#00000040);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[-2px_0_8px_rgb\(0_0_0\/0\.08\)\],.shadow-\[-2px_0_8px_rgb\(0_0_0\/8\%\)\]{--tw-shadow:-2px 0 8px var(--tw-shadow-color,#00000014);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[0_3px_10px_rgb\(0_0_0\/15\%\)\]{--tw-shadow:0 3px 10px var(--tw-shadow-color,#00000026);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[2px_0_6px_rgb\(0_0_0\/0\.06\)\],.shadow-\[2px_0_6px_rgb\(0_0_0\/6\%\)\]{--tw-shadow:2px 0 6px var(--tw-shadow-color,#0000000f);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[var\(--numina-shadow\)\]{--tw-shadow:var(--numina-shadow);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[var\(--shadow-lg\)\]{--tw-shadow:var(--shadow-lg);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-\[var\(--shadow-md\)\]{--tw-shadow:var(--shadow-md);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-lg{--tw-shadow:0 10px 15px -3px var(--tw-shadow-color,#0000001a), 0 4px 6px -4px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-md{--tw-shadow:0 4px 6px -1px var(--tw-shadow-color,#0000001a), 0 2px 4px -2px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-none{--tw-shadow:0 0 #0000;box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-sm{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a), 0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-0{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(0px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-1{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-2{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(2px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-background{--tw-ring-color:var(--background)}.ring-foreground\/10{--tw-ring-color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.ring-foreground\/10{--tw-ring-color:color-mix(in oklab, var(--foreground) 10%, transparent)}}.outline-hidden{--tw-outline-style:none;outline-style:none}@media(forced-colors:active){.outline-hidden{outline-offset:2px;outline:2px solid #0000}}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.outline-accent{outline-color:var(--accent)}.blur{--tw-blur:blur(8px);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.backdrop-blur-none{--tw-backdrop-blur: ;-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.backdrop-filter{-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[background\,border-color\]{transition-property:background,border-color;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[background\,color\,width\]{transition-property:background,color,width;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[background\,color\]{transition-property:background,color;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[border-color\,box-shadow\]{transition-property:border-color,box-shadow;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[color\,border-color\]{transition-property:color,border-color;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[opacity\,color\]{transition-property:opacity,color;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[opacity\,transform\]{transition-property:opacity,transform;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[width\,background\]{transition-property:width,background;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-\[width\]{transition-property:width;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-all{transition-property:all;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-colors{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-opacity{transition-property:opacity;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-transform{transition-property:transform,translate,scale,rotate;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.duration-100{--tw-duration:.1s;transition-duration:.1s}.duration-300{--tw-duration:.3s;transition-duration:.3s}.duration-\[120ms\]{--tw-duration:.12s;transition-duration:.12s}.ease-in-out{--tw-ease:var(--ease-in-out);transition-timing-function:var(--ease-in-out)}.ease-out{--tw-ease:var(--ease-out);transition-timing-function:var(--ease-out)}.outline-none{--tw-outline-style:none;outline-style:none}.select-none{-webkit-user-select:none;user-select:none}.\[background\:linear-gradient\(var\(--accent-overlay-soft\)\,var\(--accent-overlay-soft\)\)\,color-mix\(in_srgb\,var\(--numina-card-bg\)_70\%\,transparent\)\]{background:linear-gradient(var(--accent-overlay-soft),var(--accent-overlay-soft)),var(--numina-card-bg)}@supports (color:color-mix(in lab,red,red)){.\[background\:linear-gradient\(var\(--accent-overlay-soft\)\,var\(--accent-overlay-soft\)\)\,color-mix\(in_srgb\,var\(--numina-card-bg\)_70\%\,transparent\)\]{background:linear-gradient(var(--accent-overlay-soft),var(--accent-overlay-soft)),color-mix(in srgb,var(--numina-card-bg) 70%,transparent)}}.\[overflow-anchor\:none\]{overflow-anchor:none}.paused{animation-play-state:paused}.running{animation-play-state:running}.group-open\:rotate-180:is(:where(.group):is([open],:popover-open,:open) *){rotate:180deg}.group-open\:text-foreground:is(:where(.group):is([open],:popover-open,:open) *){color:var(--foreground)}.group-open\:text-primary:is(:where(.group):is([open],:popover-open,:open) *){color:var(--primary)}.group-focus-within\:translate-y-0:is(:where(.group):focus-within *){--tw-translate-y:0;translate:var(--tw-translate-x) var(--tw-translate-y)}.group-focus-within\:opacity-100:is(:where(.group):focus-within *){opacity:1}@media(hover:hover){.group-hover\:block:is(:where(.group):hover *){display:block}.group-hover\:translate-x-0\.5:is(:where(.group):hover *){--tw-translate-x:calc(var(--spacing) * .5);translate:var(--tw-translate-x) var(--tw-translate-y)}.group-hover\:translate-y-0:is(:where(.group):hover *){--tw-translate-y:0;translate:var(--tw-translate-x) var(--tw-translate-y)}.group-hover\:text-\[color\:var\(--text-primary\)\]:is(:where(.group):hover *){color:var(--text-primary)}.group-hover\:text-primary:is(:where(.group):hover *){color:var(--primary)}.group-hover\:underline:is(:where(.group):hover *){text-decoration-line:underline}.group-hover\:opacity-60:is(:where(.group):hover *){opacity:.6}.group-hover\:opacity-100:is(:where(.group):hover *){opacity:1}.group-hover\/item\:text-primary:is(:where(.group\/item):hover *){color:var(--primary)}}.group-focus\/dropdown-menu-item\:text-accent-foreground:is(:where(.group\/dropdown-menu-item):focus *){color:var(--accent-foreground)}.group-focus-visible\:block:is(:where(.group):focus-visible *){display:block}.group-focus-visible\:text-primary:is(:where(.group):focus-visible *){color:var(--primary)}.group-focus-visible\:opacity-60:is(:where(.group):focus-visible *){opacity:.6}.group-focus-visible\/item\:text-primary:is(:where(.group\/item):focus-visible *){color:var(--primary)}.group-has-data-\[size\=lg\]\/avatar-group\:size-10:is(:where(.group\/avatar-group):has([data-size=lg]) *){width:calc(var(--spacing) * 10);height:calc(var(--spacing) * 10)}.group-has-data-\[size\=sm\]\/avatar-group\:size-6:is(:where(.group\/avatar-group):has([data-size=sm]) *){width:calc(var(--spacing) * 6);height:calc(var(--spacing) * 6)}.group-data-\[size\=default\]\/avatar\:size-2\.5:is(:where(.group\/avatar)[data-size=default] *){width:calc(var(--spacing) * 2.5);height:calc(var(--spacing) * 2.5)}.group-data-\[size\=lg\]\/avatar\:size-3:is(:where(.group\/avatar)[data-size=lg] *){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.group-data-\[size\=sm\]\/avatar\:size-2:is(:where(.group\/avatar)[data-size=sm] *){width:calc(var(--spacing) * 2);height:calc(var(--spacing) * 2)}.group-data-\[size\=sm\]\/avatar\:text-xs:is(:where(.group\/avatar)[data-size=sm] *){font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.group-data-\[size\=sm\]\/card\:p-3:is(:where(.group\/card)[data-size=sm] *){padding:calc(var(--spacing) * 3)}.group-data-\[size\=sm\]\/card\:px-3:is(:where(.group\/card)[data-size=sm] *){padding-inline:calc(var(--spacing) * 3)}.group-data-\[size\=sm\]\/card\:text-sm:is(:where(.group\/card)[data-size=sm] *){font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.marker\:content-none ::marker{--tw-content:none;content:none}.marker\:content-none::marker{--tw-content:none;content:none}.marker\:content-none ::-webkit-details-marker{--tw-content:none;content:none}.marker\:content-none::-webkit-details-marker{--tw-content:none;content:none}.selection\:bg-primary ::selection{background-color:var(--primary)}.selection\:bg-primary::selection{background-color:var(--primary)}.selection\:text-primary-foreground ::selection{color:var(--primary-foreground)}.selection\:text-primary-foreground::selection{color:var(--primary-foreground)}.file\:inline-flex::file-selector-button{display:inline-flex}.file\:h-7::file-selector-button{height:calc(var(--spacing) * 7)}.file\:border-0::file-selector-button{border-style:var(--tw-border-style);border-width:0}.file\:bg-transparent::file-selector-button{background-color:#0000}.file\:text-sm::file-selector-button{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.file\:font-medium::file-selector-button{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.file\:text-foreground::file-selector-button{color:var(--foreground)}.placeholder\:text-\[var\(--text-muted\)\]::placeholder{color:var(--text-muted)}.placeholder\:text-muted-foreground::placeholder,.placeholder\:text-muted-foreground\/50::placeholder{color:var(--muted-foreground)}@supports (color:color-mix(in lab,red,red)){.placeholder\:text-muted-foreground\/50::placeholder{color:color-mix(in oklab,var(--muted-foreground) 50%,transparent)}}.after\:absolute:after{content:var(--tw-content);position:absolute}.after\:inset-0:after{content:var(--tw-content);inset:0}.after\:rounded-full:after{content:var(--tw-content);border-radius:3.40282e38px}.after\:border:after{content:var(--tw-content);border-style:var(--tw-border-style);border-width:1px}.after\:border-border:after{content:var(--tw-content);border-color:var(--border)}.after\:mix-blend-darken:after{content:var(--tw-content);mix-blend-mode:darken}.first\:border-t:first-child{border-top-style:var(--tw-border-style);border-top-width:1px}.first\:border-t-0:first-child{border-top-style:var(--tw-border-style);border-top-width:0}.last\:border-b-0:last-child{border-bottom-style:var(--tw-border-style);border-bottom-width:0}.first-of-type\:pt-0:first-of-type{padding-top:0}@media(hover:hover){.hover\:w-\[18px\]:hover{width:18px}.hover\:w-\[26px\]:hover{width:26px}.hover\:border-\[color\:var\(--numina-border\)\]:hover{border-color:var(--numina-border)}.hover\:border-destructive:hover{border-color:var(--destructive)}.hover\:border-foreground\/40:hover{border-color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.hover\:border-foreground\/40:hover{border-color:color-mix(in oklab,var(--foreground) 40%,transparent)}}.hover\:border-primary:hover{border-color:var(--primary)}.hover\:bg-\[color\:var\(--numina-surface-sunken\)\]:hover{background-color:var(--numina-surface-sunken)}.hover\:bg-\[color\:var\(--secondary\)\]:hover{background-color:var(--secondary)}.hover\:bg-\[var\(--hover-overlay\)\]:hover{background-color:var(--hover-overlay)}.hover\:bg-\[var\(--hover-overlay-strong\)\]:hover{background-color:var(--hover-overlay-strong)}.hover\:bg-\[var\(--numina-accent\)\]:hover,.hover\:bg-\[var\(--numina-accent\)\]\/50:hover{background-color:var(--numina-accent)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-\[var\(--numina-accent\)\]\/50:hover{background-color:color-mix(in oklab,var(--numina-accent) 50%,transparent)}}.hover\:bg-\[var\(--numina-border-light\)\]:hover{background-color:var(--numina-border-light)}.hover\:bg-\[var\(--numina-surface-sunken\)\]:hover{background-color:var(--numina-surface-sunken)}.hover\:bg-accent:hover{background-color:var(--accent)}.hover\:bg-card:hover{background-color:var(--card)}.hover\:bg-destructive:hover,.hover\:bg-destructive\/20:hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-destructive\/20:hover{background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.hover\:bg-foreground\/90:hover{background-color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-foreground\/90:hover{background-color:color-mix(in oklab,var(--foreground) 90%,transparent)}}.hover\:bg-muted:hover{background-color:var(--muted)}.hover\:bg-primary\/10:hover{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-primary\/10:hover{background-color:color-mix(in oklab,var(--primary) 10%,transparent)}}.hover\:bg-primary\/80:hover{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-primary\/80:hover{background-color:color-mix(in oklab,var(--primary) 80%,transparent)}}.hover\:bg-secondary\/80:hover{background-color:var(--secondary)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-secondary\/80:hover{background-color:color-mix(in oklab,var(--secondary) 80%,transparent)}}.hover\:text-\[color\:var\(--numina-accent-hover\)\]:hover{color:var(--numina-accent-hover)}.hover\:text-\[var\(--numina-accent\)\]:hover{color:var(--numina-accent)}.hover\:text-\[var\(--numina-accent-hover\)\]:hover{color:var(--numina-accent-hover)}.hover\:text-\[var\(--text-body\)\]:hover{color:var(--text-body)}.hover\:text-\[var\(--text-on-accent\)\]:hover{color:var(--text-on-accent)}.hover\:text-\[var\(--text-primary\)\]:hover{color:var(--text-primary)}.hover\:text-destructive:hover{color:var(--destructive)}.hover\:text-foreground:hover,.hover\:text-foreground\/80:hover{color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.hover\:text-foreground\/80:hover{color:color-mix(in oklab,var(--foreground) 80%,transparent)}}.hover\:text-muted-foreground:hover{color:var(--muted-foreground)}.hover\:text-primary:hover{color:var(--primary)}.hover\:text-white:hover{color:var(--color-white)}.hover\:underline:hover{text-decoration-line:underline}.hover\:opacity-70:hover{opacity:.7}.hover\:opacity-80:hover{opacity:.8}.hover\:opacity-85:hover{opacity:.85}.hover\:opacity-100:hover{opacity:1}.not-data-\[pressed\]\:hover\:bg-muted:not([data-pressed]):hover{background-color:var(--muted)}}.focus\:border-\[var\(--numina-accent\)\]:focus{border-color:var(--numina-accent)}.focus\:border-primary:focus{border-color:var(--primary)}.focus\:bg-\[var\(--numina-border-light\)\]:focus{background-color:var(--numina-border-light)}.focus\:bg-accent:focus{background-color:var(--accent)}.focus\:bg-card:focus{background-color:var(--card)}.focus\:text-accent-foreground:focus{color:var(--accent-foreground)}.focus\:text-primary:focus{color:var(--primary)}.focus\:shadow-\[0_0_0_3px_rgb\(187_72_11\/12\%\)\]:focus{--tw-shadow:0 0 0 3px var(--tw-shadow-color,#bb480b1f);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.focus\:outline:focus{outline-style:var(--tw-outline-style);outline-width:1px}.focus\:outline-2:focus{outline-style:var(--tw-outline-style);outline-width:2px}.focus\:-outline-offset-1:focus{outline-offset:-1px}.focus\:outline-\[var\(--numina-accent\)\]:focus{outline-color:var(--numina-accent)}:is(.focus\:\*\*\:text-accent-foreground:focus *),:is(.not-data-\[variant\=destructive\]\:focus\:\*\*\:text-accent-foreground:not([data-variant=destructive]):focus *){color:var(--accent-foreground)}.focus-visible\:border-\[color\:var\(--numina-accent\)\]:focus-visible{border-color:var(--numina-accent)}.focus-visible\:border-\[color\:var\(--numina-border-strong\)\]:focus-visible{border-color:var(--numina-border-strong)}.focus-visible\:border-destructive:focus-visible,.focus-visible\:border-destructive\/40:focus-visible{border-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:border-destructive\/40:focus-visible{border-color:color-mix(in oklab,var(--destructive) 40%,transparent)}}.focus-visible\:border-primary:focus-visible{border-color:var(--primary)}.focus-visible\:border-ring:focus-visible{border-color:var(--ring)}.focus-visible\:bg-\[color\:var\(--numina-surface-sunken\)\]:focus-visible{background-color:var(--numina-surface-sunken)}.focus-visible\:bg-\[color\:var\(--secondary\)\]:focus-visible{background-color:var(--secondary)}.focus-visible\:bg-\[var\(--numina-border-light\)\]:focus-visible{background-color:var(--numina-border-light)}.focus-visible\:bg-accent:focus-visible{background-color:var(--accent)}.focus-visible\:bg-muted:focus-visible{background-color:var(--muted)}.focus-visible\:text-primary:focus-visible{color:var(--primary)}.focus-visible\:opacity-100:focus-visible{opacity:1}.focus-visible\:ring-0:focus-visible{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(0px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.focus-visible\:ring-3:focus-visible,.focus-visible\:ring-\[3px\]:focus-visible{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.focus-visible\:ring-\[var\(--accent-overlay-soft\)\]:focus-visible{--tw-ring-color:var(--accent-overlay-soft)}.focus-visible\:ring-destructive\/20:focus-visible{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:ring-destructive\/20:focus-visible{--tw-ring-color:color-mix(in oklab, var(--destructive) 20%, transparent)}}.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:var(--ring)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:color-mix(in oklab, var(--ring) 50%, transparent)}}.focus-visible\:outline:focus-visible{outline-style:var(--tw-outline-style);outline-width:1px}.focus-visible\:outline-2:focus-visible{outline-style:var(--tw-outline-style);outline-width:2px}.focus-visible\:-outline-offset-2:focus-visible{outline-offset:-2px}.focus-visible\:outline-offset-2:focus-visible{outline-offset:2px}.focus-visible\:outline-\[var\(--numina-accent\)\]:focus-visible{outline-color:var(--numina-accent)}.focus-visible\:outline-primary:focus-visible{outline-color:var(--primary)}.focus-visible\:outline-none:focus-visible{--tw-outline-style:none;outline-style:none}.active\:translate-y-px:active{--tw-translate-y:1px;translate:var(--tw-translate-x) var(--tw-translate-y)}.active\:cursor-grabbing:active{cursor:grabbing}.active\:bg-\[var\(--numina-accent\)\]\/50:active{background-color:var(--numina-accent)}@supports (color:color-mix(in lab,red,red)){.active\:bg-\[var\(--numina-accent\)\]\/50:active{background-color:color-mix(in oklab,var(--numina-accent) 50%,transparent)}}@media(hover:hover){.hover\:enabled\:border-\[var\(--numina-accent-hover\)\]:hover:enabled{border-color:var(--numina-accent-hover)}.hover\:enabled\:bg-\[var\(--numina-accent-hover\)\]:hover:enabled{background-color:var(--numina-accent-hover)}.hover\:enabled\:text-\[var\(--text-body\)\]:hover:enabled{color:var(--text-body)}.hover\:enabled\:text-\[var\(--text-primary\)\]:hover:enabled{color:var(--text-primary)}}.disabled\:pointer-events-none:disabled{pointer-events:none}.disabled\:cursor-default:disabled{cursor:default}.disabled\:cursor-not-allowed:disabled{cursor:not-allowed}.disabled\:bg-input\/50:disabled{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.disabled\:bg-input\/50:disabled{background-color:color-mix(in oklab,var(--input) 50%,transparent)}}.disabled\:bg-muted:disabled{background-color:var(--muted)}.disabled\:text-muted-foreground:disabled{color:var(--muted-foreground)}.disabled\:no-underline:disabled{text-decoration-line:none}.disabled\:opacity-35:disabled{opacity:.35}.disabled\:opacity-40:disabled{opacity:.4}.disabled\:opacity-45:disabled{opacity:.45}.disabled\:opacity-50:disabled{opacity:.5}.disabled\:opacity-60:disabled{opacity:.6}.disabled\:opacity-100:disabled{opacity:1}@media(hover:hover){.disabled\:hover\:border-border:disabled:hover{border-color:var(--border)}.disabled\:hover\:bg-transparent:disabled:hover{background-color:#0000}.disabled\:hover\:text-foreground\/80:disabled:hover{color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.disabled\:hover\:text-foreground\/80:disabled:hover{color:color-mix(in oklab,var(--foreground) 80%,transparent)}}}:where([data-slot=button-group]) .in-data-\[slot\=button-group\]\:rounded-lg{border-radius:20px}.has-data-\[icon\=inline-end\]\:pr-1\.5:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 1.5)}.has-data-\[icon\=inline-end\]\:pr-2:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 2)}.has-data-\[icon\=inline-end\]\:pr-3:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 3)}.has-data-\[icon\=inline-start\]\:pl-1\.5:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 1.5)}.has-data-\[icon\=inline-start\]\:pl-2:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 2)}.has-data-\[icon\=inline-start\]\:pl-3:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 3)}.has-data-\[slot\=card-action\]\:grid-cols-\[1fr_auto\]:has([data-slot=card-action]){grid-template-columns:1fr auto}.has-data-\[slot\=card-description\]\:grid-rows-\[auto_auto\]:has([data-slot=card-description]){grid-template-rows:auto auto}.has-data-\[slot\=card-footer\]\:pb-0:has([data-slot=card-footer]){padding-bottom:0}.has-\[\>img\:first-child\]\:pt-0:has(>img:first-child){padding-top:0}.aria-expanded\:border-primary[aria-expanded=true]{border-color:var(--primary)}.aria-expanded\:bg-muted[aria-expanded=true]{background-color:var(--muted)}.aria-expanded\:bg-secondary[aria-expanded=true]{background-color:var(--secondary)}.aria-expanded\:text-foreground[aria-expanded=true]{color:var(--foreground)}.aria-expanded\:text-secondary-foreground[aria-expanded=true]{color:var(--secondary-foreground)}.aria-invalid\:border-destructive[aria-invalid=true]{border-color:var(--destructive)}.aria-invalid\:ring-0[aria-invalid=true]{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(0px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.aria-invalid\:ring-3[aria-invalid=true]{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.aria-invalid\:ring-destructive\/20[aria-invalid=true]{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.aria-invalid\:ring-destructive\/20[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--destructive) 20%, transparent)}}.data-inset\:pl-7[data-inset]{padding-left:calc(var(--spacing) * 7)}.data-popup-open\:border-\[color\:var\(--numina-border\)\][data-popup-open]{border-color:var(--numina-border)}.data-popup-open\:bg-accent[data-popup-open]{background-color:var(--accent)}.data-popup-open\:text-accent-foreground[data-popup-open]{color:var(--accent-foreground)}.data-popup-open\:text-foreground[data-popup-open]{color:var(--foreground)}.data-\[pressed\]\:border-primary[data-pressed]{border-color:var(--primary)}.data-\[pressed\]\:bg-primary[data-pressed]{background-color:var(--primary)}.data-\[pressed\]\:font-semibold[data-pressed]{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.data-\[pressed\]\:text-foreground[data-pressed]{color:var(--foreground)}.data-\[pressed\]\:text-primary-foreground[data-pressed]{color:var(--primary-foreground)}.data-\[side\=bottom\]\:slide-in-from-top-2[data-side=bottom]{--tw-enter-translate-y:calc(2*var(--spacing)*-1)}.data-\[side\=inline-end\]\:slide-in-from-left-2[data-side=inline-end]{--tw-enter-translate-x:calc(2*var(--spacing)*-1)}.data-\[side\=inline-start\]\:slide-in-from-right-2[data-side=inline-start],.data-\[side\=left\]\:slide-in-from-right-2[data-side=left]{--tw-enter-translate-x:calc(2*var(--spacing))}.data-\[side\=right\]\:slide-in-from-left-2[data-side=right]{--tw-enter-translate-x:calc(2*var(--spacing)*-1)}.data-\[side\=top\]\:slide-in-from-bottom-2[data-side=top]{--tw-enter-translate-y:calc(2*var(--spacing))}.data-\[size\=lg\]\:size-10[data-size=lg]{width:calc(var(--spacing) * 10);height:calc(var(--spacing) * 10)}.data-\[size\=sm\]\:size-6[data-size=sm]{width:calc(var(--spacing) * 6);height:calc(var(--spacing) * 6)}.data-\[size\=sm\]\:gap-3[data-size=sm]{gap:calc(var(--spacing) * 3)}.data-\[size\=sm\]\:py-3[data-size=sm]{padding-block:calc(var(--spacing) * 3)}.data-\[size\=sm\]\:has-data-\[slot\=card-footer\]\:pb-0[data-size=sm]:has([data-slot=card-footer]){padding-bottom:0}:is(.\*\:data-\[slot\=avatar\]\:ring-2>*)[data-slot=avatar]{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(2px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}:is(.\*\:data-\[slot\=avatar\]\:ring-background>*)[data-slot=avatar]{--tw-ring-color:var(--background)}.data-\[variant\=destructive\]\:text-destructive[data-variant=destructive]{color:var(--destructive)}.data-\[variant\=destructive\]\:focus\:bg-destructive\/10[data-variant=destructive]:focus{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.data-\[variant\=destructive\]\:focus\:bg-destructive\/10[data-variant=destructive]:focus{background-color:color-mix(in oklab,var(--destructive) 10%,transparent)}}.data-\[variant\=destructive\]\:focus\:text-destructive[data-variant=destructive]:focus{color:var(--destructive)}@supports ((-webkit-backdrop-filter:var(--tw)) or (backdrop-filter:var(--tw))){.supports-backdrop-filter\:backdrop-blur-xs{--tw-backdrop-blur:blur(var(--blur-xs));-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}}@media not all and (min-width:48rem){.max-md\:static{position:static}.max-md\:mt-0{margin-top:0}.max-md\:w-full{width:100%}.max-md\:flex-col{flex-direction:column}.max-md\:flex-row{flex-direction:row}.max-md\:flex-wrap{flex-wrap:wrap}.max-md\:gap-1{gap:var(--spacing)}.max-md\:gap-6{gap:calc(var(--spacing) * 6)}}@media(min-width:40rem){.sm\:max-w-\[720px\]{max-width:720px}.sm\:max-w-lg{max-width:var(--container-lg)}.sm\:max-w-md{max-width:var(--container-md)}.sm\:max-w-sm{max-width:var(--container-sm)}.sm\:grid-cols-\[minmax\(0\,2fr\)_minmax\(0\,1fr\)\]{grid-template-columns:minmax(0,2fr) minmax(0,1fr)}.sm\:flex-col{flex-direction:column}.sm\:flex-row{flex-direction:row}.sm\:justify-end{justify-content:flex-end}.sm\:gap-10{gap:calc(var(--spacing) * 10)}}@media(min-width:48rem){.md\:block{display:block}.md\:grid-cols-\[minmax\(0\,7fr\)_minmax\(0\,4fr\)\]{grid-template-columns:minmax(0,7fr) minmax(0,4fr)}.md\:gap-24{gap:calc(var(--spacing) * 24)}.md\:text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}}.dark\:border-input:is(.dark *){border-color:var(--input)}.dark\:bg-\[var\(--numina-card-bg\)\]:is(.dark *){background-color:var(--numina-card-bg)}.dark\:bg-destructive\/20:is(.dark *){background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:bg-destructive\/20:is(.dark *){background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.dark\:bg-input\/30:is(.dark *){background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:bg-input\/30:is(.dark *){background-color:color-mix(in oklab,var(--input) 30%,transparent)}}.dark\:text-amber-400:is(.dark *){color:var(--color-amber-400)}.dark\:text-emerald-400:is(.dark *){color:var(--color-emerald-400)}.dark\:text-red-400:is(.dark *){color:var(--color-red-400)}.dark\:after\:mix-blend-lighten:is(.dark *):after{content:var(--tw-content);mix-blend-mode:lighten}@media(hover:hover){.dark\:hover\:bg-destructive\/30:is(.dark *):hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-destructive\/30:is(.dark *):hover{background-color:color-mix(in oklab,var(--destructive) 30%,transparent)}}.dark\:hover\:bg-input\/50:is(.dark *):hover{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-input\/50:is(.dark *):hover{background-color:color-mix(in oklab,var(--input) 50%,transparent)}}.dark\:hover\:bg-muted\/50:is(.dark *):hover{background-color:var(--muted)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-muted\/50:is(.dark *):hover{background-color:color-mix(in oklab,var(--muted) 50%,transparent)}}}.dark\:focus-visible\:ring-destructive\/40:is(.dark *):focus-visible{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:focus-visible\:ring-destructive\/40:is(.dark *):focus-visible{--tw-ring-color:color-mix(in oklab, var(--destructive) 40%, transparent)}}.dark\:disabled\:bg-input\/80:is(.dark *):disabled{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:disabled\:bg-input\/80:is(.dark *):disabled{background-color:color-mix(in oklab,var(--input) 80%,transparent)}}.dark\:aria-invalid\:border-destructive\/50:is(.dark *)[aria-invalid=true]{border-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:aria-invalid\:border-destructive\/50:is(.dark *)[aria-invalid=true]{border-color:color-mix(in oklab,var(--destructive) 50%,transparent)}}.dark\:aria-invalid\:ring-destructive\/40:is(.dark *)[aria-invalid=true]{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:aria-invalid\:ring-destructive\/40:is(.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--destructive) 40%, transparent)}}.dark\:data-\[variant\=destructive\]\:focus\:bg-destructive\/20:is(.dark *)[data-variant=destructive]:focus{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:data-\[variant\=destructive\]\:focus\:bg-destructive\/20:is(.dark *)[data-variant=destructive]:focus{background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.data-open\:animate-in:where([data-state=open]),.data-open\:animate-in:where([data-open]:not([data-open=false])){animation:enter var(--tw-animation-duration,var(--tw-duration,.15s))var(--tw-ease,ease)var(--tw-animation-delay,0s)var(--tw-animation-iteration-count,1)var(--tw-animation-direction,normal)var(--tw-animation-fill-mode,none)}.data-open\:bg-accent:where([data-state=open]),.data-open\:bg-accent:where([data-open]:not([data-open=false])){background-color:var(--accent)}.data-open\:text-accent-foreground:where([data-state=open]),.data-open\:text-accent-foreground:where([data-open]:not([data-open=false])){color:var(--accent-foreground)}.data-open\:fade-in-0:where([data-state=open]),.data-open\:fade-in-0:where([data-open]:not([data-open=false])){--tw-enter-opacity:0}.data-open\:zoom-in-95:where([data-state=open]),.data-open\:zoom-in-95:where([data-open]:not([data-open=false])){--tw-enter-scale:.95}.data-closed\:animate-out:where([data-state=closed]),.data-closed\:animate-out:where([data-closed]:not([data-closed=false])){animation:exit var(--tw-animation-duration,var(--tw-duration,.15s))var(--tw-ease,ease)var(--tw-animation-delay,0s)var(--tw-animation-iteration-count,1)var(--tw-animation-direction,normal)var(--tw-animation-fill-mode,none)}.data-closed\:overflow-hidden:where([data-state=closed]),.data-closed\:overflow-hidden:where([data-closed]:not([data-closed=false])){overflow:hidden}.data-closed\:fade-out-0:where([data-state=closed]),.data-closed\:fade-out-0:where([data-closed]:not([data-closed=false])){--tw-exit-opacity:0}.data-closed\:zoom-out-95:where([data-state=closed]),.data-closed\:zoom-out-95:where([data-closed]:not([data-closed=false])){--tw-exit-scale:.95}.data-checked\:translate-x-3:where([data-state=checked]),.data-checked\:translate-x-3:where([data-checked]:not([data-checked=false])){--tw-translate-x:calc(var(--spacing) * 3);translate:var(--tw-translate-x) var(--tw-translate-y)}.data-checked\:translate-x-4:where([data-state=checked]),.data-checked\:translate-x-4:where([data-checked]:not([data-checked=false])){--tw-translate-x:calc(var(--spacing) * 4);translate:var(--tw-translate-x) var(--tw-translate-y)}.data-checked\:translate-x-\[18px\]:where([data-state=checked]),.data-checked\:translate-x-\[18px\]:where([data-checked]:not([data-checked=false])){--tw-translate-x:18px;translate:var(--tw-translate-x) var(--tw-translate-y)}.data-checked\:border-primary:where([data-state=checked]),.data-checked\:border-primary:where([data-checked]:not([data-checked=false])){border-color:var(--primary)}.data-checked\:bg-primary:where([data-state=checked]),.data-checked\:bg-primary:where([data-checked]:not([data-checked=false])){background-color:var(--primary)}.data-disabled\:pointer-events-none:where([data-disabled=true]),.data-disabled\:pointer-events-none:where([data-disabled]:not([data-disabled=false])){pointer-events:none}.data-disabled\:opacity-50:where([data-disabled=true]),.data-disabled\:opacity-50:where([data-disabled]:not([data-disabled=false])){opacity:.5}.data-horizontal\:h-px:where([data-orientation=horizontal]){height:1px}.data-horizontal\:w-full:where([data-orientation=horizontal]){width:100%}.data-vertical\:w-px:where([data-orientation=vertical]){width:1px}.data-vertical\:self-stretch:where([data-orientation=vertical]){align-self:stretch}.\[\&_\.cm-activeLine\]\:bg-transparent .cm-activeLine,.\[\&_\.cm-editor\]\:bg-transparent .cm-editor{background-color:#0000}.\[\&_svg\]\:pointer-events-none svg{pointer-events:none}.\[\&_svg\]\:shrink-0 svg{flex-shrink:0}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-3 svg:not([class*=size-]){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-3\.5 svg:not([class*=size-]){width:calc(var(--spacing) * 3.5);height:calc(var(--spacing) * 3.5)}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-4 svg:not([class*=size-]){width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}.\[\&\+\&\]\:mt-\[var\(--space-3\)\]+.\[\&\+\&\]\:mt-\[var\(--space-3\)\]{margin-top:var(--space-3)}.\[\&\+\&\]\:border-t+.\[\&\+\&\]\:border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.\[\&\+\&\]\:border-l+.\[\&\+\&\]\:border-l{border-left-style:var(--tw-border-style);border-left-width:1px}.\[\&\+\&\]\:border-\[var\(--numina-border-light\)\]+.\[\&\+\&\]\:border-\[var\(--numina-border-light\)\]{border-color:var(--numina-border-light)}.\[\&\+\&\]\:border-l-\[var\(--numina-border\)\]+.\[\&\+\&\]\:border-l-\[var\(--numina-border\)\]{border-left-color:var(--numina-border)}.\[\&\+\&\]\:pt-\[var\(--space-3\)\]+.\[\&\+\&\]\:pt-\[var\(--space-3\)\]{padding-top:var(--space-3)}.\[\&\+div\]\:mt-\[var\(--space-3\)\]+div{margin-top:var(--space-3)}.\[\&\+div\]\:border-t+div{border-top-style:var(--tw-border-style);border-top-width:1px}.\[\&\+div\]\:border-dashed+div{--tw-border-style:dashed;border-style:dashed}.\[\&\+div\]\:border-\[var\(--numina-border-light\)\]+div{border-color:var(--numina-border-light)}.\[\&\+div\]\:pt-\[var\(--space-3\)\]+div{padding-top:var(--space-3)}.\[\&\:\:-webkit-details-marker\]\:hidden::-webkit-details-marker{display:none}.\[\.border-b\]\:pb-4.border-b{padding-bottom:calc(var(--spacing) * 4)}.group-data-\[size\=sm\]\/card\:\[\.border-b\]\:pb-3:is(:where(.group\/card)[data-size=sm] *).border-b{padding-bottom:calc(var(--spacing) * 3)}:is(.\*\:\[a\]\:underline>*):is(a){text-decoration-line:underline}:is(.\*\:\[a\]\:underline-offset-3>*):is(a){text-underline-offset:3px}@media(hover:hover){.\[a\]\:hover\:bg-destructive\/20:is(a):hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-destructive\/20:is(a):hover{background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.\[a\]\:hover\:bg-muted:is(a):hover{background-color:var(--muted)}.\[a\]\:hover\:bg-primary\/80:is(a):hover{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-primary\/80:is(a):hover{background-color:color-mix(in oklab,var(--primary) 80%,transparent)}}.\[a\]\:hover\:bg-secondary\/80:is(a):hover{background-color:var(--secondary)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-secondary\/80:is(a):hover{background-color:color-mix(in oklab,var(--secondary) 80%,transparent)}}.\[a\]\:hover\:text-muted-foreground:is(a):hover{color:var(--muted-foreground)}:is(.\*\:\[a\]\:hover\:text-foreground>*):is(a):hover{color:var(--foreground)}}:is(.\*\:\[img\:first-child\]\:rounded-t-xl>*):is(img:first-child){border-top-left-radius:var(--radius-xl);border-top-right-radius:var(--radius-xl)}:is(.\*\:\[img\:last-child\]\:rounded-b-xl>*):is(img:last-child){border-bottom-right-radius:var(--radius-xl);border-bottom-left-radius:var(--radius-xl)}:is(.data-\[variant\=destructive\]\:\*\:\[svg\]\:text-destructive[data-variant=destructive]>*):is(svg){color:var(--destructive)}.\[\&\:not\(\:last-child\)\]\:border-r:not(:last-child){border-right-style:var(--tw-border-style);border-right-width:1px}.\[\&\:not\(\:last-child\)\]\:border-border:not(:last-child){border-color:var(--border)}.\[\&\>button\]\:bg-\[var\(--accent-overlay-soft\)\]>button{background-color:var(--accent-overlay-soft)}.\[\&\>svg\]\:pointer-events-none>svg{pointer-events:none}.\[\&\>svg\]\:size-3\!>svg{width:calc(var(--spacing) * 3)!important;height:calc(var(--spacing) * 3)!important}.\[\&\>svg\]\:size-4>svg{width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}.group-has-data-\[size\=lg\]\/avatar-group\:\[\&\>svg\]\:size-5:is(:where(.group\/avatar-group):has([data-size=lg]) *)>svg{width:calc(var(--spacing) * 5);height:calc(var(--spacing) * 5)}.group-has-data-\[size\=sm\]\/avatar-group\:\[\&\>svg\]\:size-3:is(:where(.group\/avatar-group):has([data-size=sm]) *)>svg{width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.group-data-\[size\=default\]\/avatar\:\[\&\>svg\]\:size-2:is(:where(.group\/avatar)[data-size=default] *)>svg,.group-data-\[size\=lg\]\/avatar\:\[\&\>svg\]\:size-2:is(:where(.group\/avatar)[data-size=lg] *)>svg{width:calc(var(--spacing) * 2);height:calc(var(--spacing) * 2)}.group-data-\[size\=sm\]\/avatar\:\[\&\>svg\]\:hidden:is(:where(.group\/avatar)[data-size=sm] *)>svg{display:none}}@property --tw-animation-delay{syntax:"*";inherits:false;initial-value:0s}@property --tw-animation-direction{syntax:"*";inherits:false;initial-value:normal}@property --tw-animation-duration{syntax:"*";inherits:false}@property --tw-animation-fill-mode{syntax:"*";inherits:false;initial-value:none}@property --tw-animation-iteration-count{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-translate-y{syntax:"*";inherits:false;initial-value:0}@property --scroll-fade-t{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-b{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-s{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-e{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-mask{syntax:"*";inherits:false}@property --shimmer-angle{syntax:"<angle>";inherits:true;initial-value:20deg}@property --shimmer-image{syntax:"*";inherits:false}@property --shimmer-text-fill{syntax:"*";inherits:false}@media(prefers-reduced-motion:reduce){.shimmer{-webkit-text-fill-color:currentColor;background-image:none;animation:none}}.chat-panel{background:var(--chat-panel-bg);border-right:1px solid var(--numina-border-light);flex-direction:column;flex-shrink:0;display:flex;position:relative;overflow:hidden}.chat-panel .resize-handle{z-index:10;cursor:col-resize;width:6px;height:100%;position:absolute;top:0;right:-3px}.chat-panel .resize-handle:hover,.chat-panel .resize-handle:active{background:var(--accent-overlay)}.chat-panel .empty-state{gap:var(--space-6);min-width:0;padding:0 var(--space-4);flex-direction:column;flex:1;justify-content:center;align-items:center;display:flex}.chat-panel .empty-prompt{color:var(--text-primary);font-size:var(--text-lg);font-weight:var(--font-weight-semibold);text-align:center}.chat-panel .chat-readonly-notice{padding:var(--space-2) var(--space-3);color:var(--text-muted);font-size:var(--text-sm);text-align:center;background:var(--numina-surface-sunken);border:1px solid var(--numina-border-light);border-radius:var(--radius-lg)}.chat-panel .chat-messages{overflow-anchor:none;scrollbar-color:var(--numina-border-strong) transparent;scrollbar-gutter:stable;flex-direction:column;flex:1;display:flex;position:relative;overflow-y:auto}.chat-panel .chat-messages::-webkit-scrollbar-thumb{background:var(--numina-border-strong)}.chat-panel .chat-messages::-webkit-scrollbar-thumb:hover{background:var(--scrollbar-thumb-hover)}.chat-panel .chat-messages-inner{gap:calc(var(--space-4) * 1.5);padding:calc(var(--space-8) * 1.5) var(--space-4);flex-direction:column;display:flex}.chat-panel .chat-turn{gap:calc(var(--space-4) * 1.5);flex-direction:column;display:flex}.chat-panel .more-below-indicator{bottom:var(--space-4);z-index:1;width:34px;min-width:34px;height:34px;min-height:34px;color:var(--text-muted);cursor:pointer;background:var(--numina-card-bg);border:1px solid var(--numina-border);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-radius:50%;justify-content:center;align-self:center;align-items:center;padding:0;transition:transform .15s,background .15s;display:flex;position:sticky;box-shadow:0 6px 18px #11182714}.chat-panel .more-below-indicator:hover{background:var(--numina-card-bg);transform:translateY(-1px)}.chat-panel .more-below-icon{width:16px;height:16px}.chat-panel .chat-turn-user-row{justify-content:flex-end;display:flex}.chat-panel .chat-turn-agent-row{display:block}.chat-panel .user-bubble{width:fit-content;max-width:90%;padding:var(--space-2) var(--space-4);overflow-wrap:anywhere;color:var(--text-primary);font-size:var(--text-sm);white-space:pre-wrap;background:var(--user-bubble-bg);border-radius:var(--radius-lg);line-height:1.5}.chat-panel .agent-text{overflow-wrap:break-word;color:var(--text-primary);font-size:var(--text-sm);flex-direction:column;padding:0 2px;line-height:1.7;display:flex}.chat-panel .subagent-inline-card{padding:0 2px}.chat-panel .chat-inline-toolcall{margin-top:var(--space-1);padding:0 2px}.chat-panel .tool-command-scroll{scrollbar-color:transparent transparent;scrollbar-width:thin}.chat-panel .tool-command-scroll::-webkit-scrollbar{height:5px}.chat-panel .tool-command-scroll::-webkit-scrollbar-track{background:0 0}.chat-panel .tool-command-scroll::-webkit-scrollbar-thumb{border-radius:var(--radius-full);background:0 0}.chat-panel .tool-command-scroll:hover{scrollbar-color:var(--scrollbar-thumb) transparent}.chat-panel .tool-command-scroll:hover::-webkit-scrollbar-thumb{background:var(--scrollbar-thumb)}.chat-panel .tool-command-scroll:hover::-webkit-scrollbar-thumb:hover{background:var(--scrollbar-thumb-hover)}.chat-panel .agent-text+.subagent-inline-card,.chat-panel .subagent-inline-card+.agent-text,.chat-panel .subagent-inline-card+.subagent-inline-card{margin-top:var(--space-3)}.chat-panel .agent-text+.chat-inline-toolcall,.chat-panel .subagent-inline-card+.chat-inline-toolcall{margin-top:calc(var(--space-6) + var(--space-1))}.chat-panel .chat-inline-toolcall+.agent-text,.chat-panel .chat-inline-toolcall+.subagent-inline-card{margin-top:calc(var(--space-6) + var(--space-2))}.chat-panel .chat-inline-toolcall+.chat-inline-toolcall,.chat-panel .agent-text>.chat-inline-toolcall+.chat-inline-toolcall{margin-top:0}.chat-panel .agent-text>.agent-message-body+.chat-inline-toolcall,.chat-panel .agent-text>.agent-message-body+.subagent-inline-card{margin-top:calc(var(--space-2) + var(--space-1))}.chat-panel .agent-text>.subagent-inline-card+.subagent-inline-card,.chat-panel .agent-text>.subagent-inline-card+.chat-inline-toolcall{margin-top:var(--space-3)}.chat-panel .agent-text>.chat-inline-toolcall+.subagent-inline-card{margin-top:calc(var(--space-6) + var(--space-2))}.chat-panel .agent-text>.chat-inline-toolcall:last-child,.chat-panel .agent-text>.subagent-inline-card:last-child{margin-bottom:calc(var(--space-2) + var(--space-1))}.chat-panel .agent-message-body{display:block}.chat-panel .agent-text-error{padding:0}.chat-panel .agent-message-error{gap:var(--space-2);padding:var(--space-2) var(--space-3);color:var(--build-error-strong);font-size:var(--text-xs);background:var(--build-error);align-items:flex-start;line-height:1.5;display:flex}@supports (color:color-mix(in lab,red,red)){.chat-panel .agent-message-error{background:color-mix(in srgb,var(--build-error) 8%,transparent)}}.chat-panel .agent-message-error{border:1px solid var(--build-error)}@supports (color:color-mix(in lab,red,red)){.chat-panel .agent-message-error{border:1px solid color-mix(in srgb,var(--build-error) 35%,transparent)}}.chat-panel .agent-message-error{border-radius:var(--radius-md)}.chat-panel .agent-message-error-icon{width:14px;height:14px;color:var(--build-error);flex-shrink:0;margin-top:2px}.chat-panel .agent-message-error-text{overflow-wrap:anywhere;flex:1;min-width:0}.chat-panel .chat-typing{gap:var(--space-1);padding:var(--space-1) 2px;margin-top:calc(-1 * var(--space-2));display:flex}.chat-panel .typing-dot{background:var(--numina-border-strong);border-radius:var(--radius-full);width:5px;height:5px;animation:1.2s ease-in-out infinite numina-typing}.chat-panel .typing-dot:nth-child(2){animation-delay:.2s}.chat-panel .typing-dot:nth-child(3){animation-delay:.4s}.chat-panel .chat-input-area{padding:var(--space-3) var(--space-4) var(--space-8);flex-shrink:0;margin-top:auto}.chat-panel .auto-running-bar{gap:var(--space-3);box-sizing:border-box;width:100%;min-width:0;padding:var(--space-2) var(--space-2) var(--space-2) var(--space-4);margin-bottom:var(--space-6);background:var(--numina-card-bg);border:1px solid var(--numina-border-light);border-radius:var(--radius-lg);justify-content:space-between;align-items:center;display:flex;position:relative}.chat-panel .auto-running-border{pointer-events:none;border-radius:inherit;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.chat-panel .auto-running-border-rect{fill:none;width:calc(100% - 2px);height:calc(100% - 2px);stroke:var(--numina-accent);stroke-width:1.5px;stroke-dasharray:18 82;animation:2s cubic-bezier(.37,0,.63,1) infinite auto-running-trace}@keyframes auto-running-trace{to{stroke-dashoffset:-100px}}.chat-panel .auto-running-status{color:var(--numina-accent);font-size:var(--text-sm);font-weight:var(--font-weight-semibold);align-items:center;line-height:1;display:inline-flex}.chat-panel .chat-stop-btn{width:34px;height:34px;color:var(--text-on-accent);cursor:pointer;background:var(--numina-accent);border-radius:var(--radius-full);border:none;flex-shrink:0;justify-content:center;align-items:center;transition:background .15s;display:flex}.chat-panel .chat-stop-btn:hover{background:var(--numina-accent-hover)}.chat-panel .chat-stop-btn:disabled{cursor:default;opacity:.65}.chat-panel .stop-icon{background:currentColor;border-radius:3px;width:14px;height:14px}.subagent-card{text-align:left;cursor:pointer;background:var(--numina-card-bg);border:1px solid var(--numina-border-light);border-radius:var(--radius-lg);flex-direction:column;gap:8px;width:100%;padding:12px 14px;transition:border-color .15s,box-shadow .15s;display:flex}.subagent-card:hover{border-color:var(--text-muted);box-shadow:var(--shadow-sm)}.subagent-card.is-explore{cursor:default}.subagent-card.is-explore:hover{border-color:var(--numina-border-light);box-shadow:none}.subagent-card .card-top,.subagent-group .row-top{gap:var(--space-2);justify-content:space-between;align-items:center;min-width:0;display:flex}.subagent-card .card-top-left,.subagent-group .row-top-left{align-items:baseline;gap:8px;min-width:0;display:flex}.subagent-card .status-dot,.subagent-group .status-dot{border-radius:var(--radius-full);flex-shrink:0;align-self:center;width:8px;height:8px}.subagent-card .dot-queued,.subagent-group .dot-queued{border:1.5px solid var(--text-muted);background:0 0}.subagent-card .dot-running,.subagent-group .dot-running{background:var(--numina-info)}.subagent-card .dot-proved,.subagent-card .dot-done,.subagent-group .dot-proved,.subagent-group .dot-done{background:var(--status-proved-text)}.subagent-card .dot-failed,.subagent-group .dot-failed{background:var(--status-unformalized-text)}.subagent-card .dot-cancelled,.subagent-group .dot-cancelled{background:var(--text-muted)}.subagent-card .pass-badge,.subagent-group .pass-badge{color:var(--text-muted);font-size:.625rem;font-weight:var(--font-weight-semibold);letter-spacing:.04em;text-transform:uppercase;flex-shrink:0}.subagent-card .description,.subagent-group .description{color:var(--text-primary);font-size:var(--text-sm);font-weight:var(--font-weight-semibold);text-overflow:ellipsis;white-space:nowrap;-webkit-background-clip:text;background-clip:text;overflow:hidden}.subagent-card.running .description,.subagent-group .subagent-row.running .description{color:#0000;background-image:linear-gradient(90deg,var(--subagent-shimmer-base) 0%,var(--subagent-shimmer-base) 25%,var(--subagent-shimmer-highlight) 45%,var(--subagent-shimmer-highlight) 55%,var(--subagent-shimmer-base) 75%,var(--subagent-shimmer-base) 100%);background-size:200% 100%;animation:2s ease-in-out infinite subagent-shimmer}@keyframes subagent-shimmer{0%{background-position:100% 0}to{background-position:-100% 0}}.subagent-card .card-top-right,.subagent-group .row-top-right{flex-shrink:0;align-items:center;gap:8px;display:flex}.subagent-card .call-count,.subagent-group .call-count{color:var(--text-muted);font-size:.6875rem}.subagent-card .arrow-icon,.subagent-group .arrow-icon{width:14px;height:14px;color:var(--text-muted);flex-shrink:0}.subagent-card .card-calls,.subagent-group .row-recent-list{flex-direction:column;gap:1px;display:flex}.subagent-card .card-call-row{align-items:baseline;gap:6px;min-width:0;font-size:.6875rem;line-height:1.5;display:flex}.subagent-card .card-call-label,.subagent-group .row-recent{min-width:0;color:var(--text-muted);font-family:var(--numina-font-mono);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.subagent-card .card-call-count{color:var(--text-muted);font-variant-numeric:tabular-nums;flex-shrink:0}.subagent-group{background:var(--numina-card-bg);border:1px solid var(--numina-border-light);border-radius:var(--radius-lg);flex-direction:column;display:flex;overflow:hidden}.subagent-group .batch-header{border-bottom:1px solid var(--numina-border-light);flex-direction:column;gap:8px;padding:12px 14px;display:flex}.subagent-group .batch-title{color:var(--text-primary);font-size:var(--text-sm);font-weight:var(--font-weight-semibold)}.subagent-group .batch-counts{flex-direction:column;gap:4px;display:flex}.subagent-group .count-row{color:var(--text-muted);align-items:center;gap:8px;font-size:.6875rem;line-height:1.4;display:flex}.subagent-group .batch-progress{background:var(--numina-border-light);border-radius:var(--radius-full);height:4px;overflow:hidden}.subagent-group .batch-progress-fill{background:var(--status-proved-text);border-radius:var(--radius-full);height:100%;transition:width .3s}.subagent-group .subagent-row{text-align:left;cursor:pointer;border:none;border-bottom:1px solid var(--numina-border-light);background:0 0;flex-direction:column;gap:6px;width:100%;padding:10px 14px;transition:background .15s;display:flex}.subagent-group .subagent-row:last-child{border-bottom:none}.subagent-group .subagent-row:hover{background:var(--row-hover-bg)}.subagent-group .row-recent-list{min-width:0}.subagent-group .row-recent{font-size:.6875rem;line-height:1.5}:root{--numina-bg:#fffefc;--numina-card-bg:#fff;--numina-card-bg-translucent:#ffffffd9;--numina-surface-raised:#fff;--numina-border:#d6cfc0;--numina-border-light:#e8e2d8;--numina-red:#ff5e62;--numina-red-hover:#e8484c;--numina-orange:#f96;--numina-accent:#bb480b;--numina-accent-hover:#a33d08;--numina-brown:#a85923;--numina-text:#222;--numina-text-muted:#888;--numina-text-brown:#6b5b4a;--gray-500:#6b7280;--gray-600:#4b5563;--numina-shadow:0 4px 24px #00000012;--github-signin-bg:#111827;--github-signin-bg-hover:#1f2937;--github-signin-text:#fff;--tiling-card-bg:#ffffffd1;--tiling-card-border:#d6cfc080;--tiling-card-shadow:0 4px 24px #0000000f, inset 0 1px 0 #fffc;--maintenance-banner-bg:#faf5e8;--maintenance-banner-border:#ece4cf;--numina-radius:20px;--numina-radius-sm:12px;--numina-radius-pill:999px;--numina-font-sans:"Inter", Arial, sans-serif;--numina-font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;--dep-tag-bg:#eae4d8;--dep-tag-text:#6b5b4a;--ann-lean-name-text:#6b7280;--ann-lean-name-bg:#f3f4f6;--ann-title:#111827;--ann-statement:#1f2937;--ann-body:#4b5563;--ann-summary:#6b7280;--ann-summary-hover:#374151;--background:#fffef9;--foreground:#222;--card:#fff;--card-foreground:#222;--popover:#fff;--popover-foreground:#222;--primary:#bb480b;--primary-foreground:#fff;--secondary:#f5f0e8;--secondary-foreground:#222;--muted:#f5f0e8;--muted-foreground:#888;--accent:#fef3ec;--accent-foreground:#bb480b;--destructive:#ff5e62;--border:#d6cfc0;--input:#d6cfc0;--ring:#bb480b;--radius:.75rem;--numina-bg-gradient-end:#faf9f6;--numina-surface-sunken:#f5f1ea;--numina-border-strong:#b8b0a2;--numina-info:#3b82f6;--accent-overlay:#bb480b26;--accent-overlay-soft:#bb480b14;--hover-overlay:#2222220d;--hover-overlay-strong:#22222214;--row-hover-bg:#22222208;--scrollbar-thumb:#00000040;--scrollbar-thumb-hover:#00000059;--user-bubble-bg:#f0eee9;--chat-panel-bg:#fff9f4;--subagent-shimmer-base:#374151;--subagent-shimmer-highlight:#9ca3af;--diff-write-bg:#fcfffd;--diff-write-gutter-bg:#f0fdf4;--diff-write-border:#d1fae5;--diff-deletion-bg:#fef2f2;--diff-deletion-highlight:#fecaca;--diff-insertion-bg:#f0fdf4;--diff-insertion-highlight:#bbf7d0;--editor-selection-bg:#c7d2fe;--radius-xs:4px;--radius-full:999px;--space-0-5:2px;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:20px;--space-6:24px;--space-8:32px;--space-10:40px;--space-12:48px;--text-xxs:.65rem;--text-xs:.75rem;--text-sm:.875rem;--text-base:1rem;--text-lg:1.125rem;--text-xl:1.25rem;--text-2xl:1.5rem;--text-3xl:1.75rem;--font-weight-regular:400;--font-weight-medium:500;--font-weight-semibold:600;--font-weight-bold:700;--shadow-sm:0 1px 4px #0000000d;--shadow-md:0 3px 10px #00000026;--shadow-lg:0 6px 20px #00000014;--shadow-xl:0 8px 24px -12px #11182726, 0 2px 6px -2px #11182714;--transition-fast:.12s;--transition-base:.15s;--empty-state-anchor:clamp(3.5rem, 34vh, 40rem);--text-primary:var(--foreground);--text-body:#4b5563;--text-muted:var(--numina-text-muted);--text-on-accent:var(--primary-foreground);--status-unformalized-bg:#fce0de;--status-unformalized-text:#dc2626;--status-unformalized-fill:#ef4444;--status-formalized-bg:#fdf6d0;--status-formalized-text:#ca8a04;--status-formalized-fill:#eab308;--status-proved-bg:#d4edda;--status-proved-text:#16a34a;--status-proved-fill:#22c55e;--status-verified-bg:#d4edda;--status-verified-text:#16a34a;--status-verified-fill:#22c55e;--numina-error:#dc2626;--warning-bg:#fff7df;--warning-border:#f5d48a;--warning-text:#6f4a00;--build-error:#c12929;--build-error-strong:#9e1f1f;--build-warning:#c47e21;--badge-theorem-bg:#dbeafe;--badge-theorem-text:#1e40af;--badge-theorem-border:#60a5fa;--code-bg:#f1f5f9;--code-border:#e2e8f0;--code-header-bg:#f8fafc;--code-header-text:#64748b;--code-line-number:#94a3b8;--syntax-keyword:#9b59b6;--syntax-built-in:#8e44ad;--syntax-comment:#7f8c8d;--syntax-string:#27ae60;--syntax-number:#e67e22;--syntax-symbol:#c0392b;--syntax-attr:#b58900;--syntax-latex-function:#0f766e;--syntax-latex-keyword:#8f4a22;--syntax-latex-punctuation:#7c8b9a;--syntax-latex-equation:#1f8a70;--syntax-latex-command:#bb480b;--syntax-latex-structure-command:#60a5fa;--syntax-latex-structure-name:#1d4ed8;--syntax-latex-comment:#8a7f73;color-scheme:light}.dark{--numina-bg:#13151a;--numina-card-bg:#090b0d;--numina-card-bg-translucent:#090b0dd9;--numina-surface-raised:#20232b;--numina-border:#4f5663;--numina-border-light:#424754;--numina-red:#ff7074;--numina-red-hover:#ff8c8f;--numina-orange:#ffa873;--numina-accent:#e07a3a;--numina-accent-hover:#f08a4a;--numina-brown:#c47a4a;--numina-text:#f8faff;--numina-text-muted:#c4cad4;--numina-text-brown:#c8b89c;--gray-500:#c4cad4;--gray-600:#d4dae5;--numina-shadow:0 4px 24px #00000073;--github-signin-bg:#f3eee5;--github-signin-bg-hover:#e6dfd2;--github-signin-text:#16161a;--tiling-card-bg:#1f1f23c7;--tiling-card-border:#46413a99;--tiling-card-shadow:0 4px 24px #0006, inset 0 1px 0 #ffffff0a;--maintenance-banner-bg:#2a2618;--maintenance-banner-border:#3a3424;--dep-tag-bg:#2f2a23;--dep-tag-text:#c8b89c;--ann-lean-name-text:#a8a195;--ann-lean-name-bg:#26262a;--ann-title:#f3eee5;--ann-statement:#d8d2c6;--ann-body:#b8b2a6;--ann-summary:#908a7e;--ann-summary-hover:#c8c2b6;--background:#13151a;--foreground:#f8faff;--card:#090b0d;--card-foreground:#f8faff;--popover:#090b0d;--popover-foreground:#f8faff;--primary:#e07a3a;--primary-foreground:#fff;--secondary:#20232b;--secondary-foreground:#f8faff;--muted:#20232b;--muted-foreground:#c4cad4;--accent:#e07a3a1f;--accent-foreground:#e07a3a;--destructive:#ff7074;--border:#4f5663;--input:#4f5663;--ring:#e07a3a;--numina-bg-gradient-end:#13151a;--numina-surface-sunken:#14161d;--numina-border-strong:#616776;--numina-info:#8cc4ff;--accent-overlay:#e07a3a38;--accent-overlay-soft:#e07a3a1f;--hover-overlay:#ffffff0f;--hover-overlay-strong:#ffffff1a;--row-hover-bg:#ffffff0a;--scrollbar-thumb:#fff3;--scrollbar-thumb-hover:#ffffff4d;--user-bubble-bg:#292d3a;--chat-panel-bg:#171c24;--subagent-shimmer-base:var(--text-muted);--subagent-shimmer-highlight:var(--text-primary);--diff-write-bg:#1a2420;--diff-write-gutter-bg:#1d2a25;--diff-write-border:#2a4a3a;--diff-deletion-bg:#2a1818;--diff-deletion-highlight:#ef444459;--diff-insertion-bg:#15241c;--diff-insertion-highlight:#22c55e4d;--editor-selection-bg:#a5c7ff40;--shadow-sm:0 1px 4px #0000004d;--shadow-md:0 3px 10px #00000073;--shadow-lg:0 6px 20px #00000073;--shadow-xl:0 8px 24px -12px #0000008c, 0 2px 6px -2px #0006;--text-body:#e0e5ee;--status-unformalized-bg:#ef44442e;--status-unformalized-text:#ff8585;--status-unformalized-fill:#ef4444;--status-formalized-bg:#eab3082e;--status-formalized-text:#f0c948;--status-formalized-fill:#eab308;--status-proved-bg:#22c55e2e;--status-proved-text:#5ed98a;--status-proved-fill:#22c55e;--status-verified-bg:#22c55e2e;--status-verified-text:#5ed98a;--status-verified-fill:#22c55e;--numina-error:#ff8585;--warning-bg:#2a2618;--warning-border:#3a3424;--warning-text:#ffd494;--build-error:#ff6b6b;--build-error-strong:#ff5252;--build-warning:#ffb454;--badge-theorem-bg:#60a5fa2e;--badge-theorem-text:#a5c7ff;--code-bg:#101217;--code-border:#24252e;--code-header-bg:#191a22;--code-header-text:#d4dae5;--code-line-number:#aab4c3;--syntax-keyword:#f4ccff;--syntax-built-in:#e8b8f8;--syntax-comment:#dde4ed;--syntax-string:#a0ffba;--syntax-number:#ffd494;--syntax-symbol:#ffb8b8;--syntax-attr:#f8e088;--syntax-latex-function:#5fcbb0;--syntax-latex-keyword:#ff9a5a;--syntax-latex-punctuation:#9aa6b3;--syntax-latex-equation:#6dd58e;--syntax-latex-command:#ffa970;--syntax-latex-structure-command:#8cc4ff;--syntax-latex-structure-name:#a5c7ff;--syntax-latex-comment:#b8a890;color-scheme:dark}.dark body{background:linear-gradient(#13151a 0% 100%)}.prose-bubble{overflow-wrap:break-word;word-wrap:break-word;min-width:0;max-width:100%;line-height:1.6}.prose-bubble p{margin:.4em 0}.prose-bubble p:first-child{margin-top:0}.prose-bubble p:last-child{margin-bottom:0}.prose-bubble strong{font-weight:600}.prose-bubble code{font-family:var(--numina-font-mono);background:#0000000f;border-radius:4px;padding:.15em .35em;font-size:.8em}.prose-bubble pre{color:#cdd6f4;font-family:var(--numina-font-mono);background:#1e1e2e;border-radius:8px;margin:.5em 0;padding:.75em;font-size:.8em;line-height:1.5;overflow-x:auto}.prose-bubble pre code{color:inherit;font-size:inherit;background:0 0;padding:0}.prose-bubble ul,.prose-bubble ol{margin:.4em 0;padding-left:1.5em}.prose-bubble li{margin:.2em 0}.prose-bubble h1,.prose-bubble h2,.prose-bubble h3{margin:.6em 0 .3em;font-weight:600}.prose-bubble h1{font-size:1.1em}.prose-bubble h2{font-size:1em}.prose-bubble h3{font-size:.95em}.prose-bubble a{color:var(--numina-accent);text-decoration:underline}.prose-bubble blockquote{border-left:3px solid var(--numina-border);color:var(--numina-text-muted);margin:.4em 0;padding-left:.75em}.prose-bubble hr{border:none;border-top:1px solid var(--numina-border-light);margin:.6em 0}.prose-bubble table{border-collapse:collapse;white-space:normal;width:100%;max-width:100%;margin:.5em 0;font-size:.85em;display:block;overflow-x:auto}.prose-bubble th,.prose-bubble td{border:1px solid var(--numina-border-light);text-align:left;word-break:break-word;max-width:24em;padding:.35em .6em}.prose-bubble th{background:#00000008;font-weight:600}.prose-bubble tr:nth-child(2n){background:#00000004}.blueprint-prose{font-size:15px;line-height:1.85}.blueprint-prose p{margin:0 0 1.1em}.blueprint-prose p:last-child{margin-bottom:0}.blueprint-prose .katex{font-size:1.03em}.blueprint-prose .katex-display{margin:1.25em 0;padding:2px 0;overflow:auto hidden}.blueprint-prose ul,.blueprint-prose ol{margin:.7em 0;padding-left:1.4em}.blueprint-prose li{margin:.35em 0}.blueprint-prose h2,.blueprint-prose h3{margin:1.1em 0 .4em}@keyframes numina-spin{to{transform:rotate(360deg)}}@keyframes numina-blink{0%,to{opacity:1}50%{opacity:.3}}@keyframes numina-pulse{0%,to{opacity:1}50%{opacity:.45}}@keyframes numina-typing{0%,60%,to{opacity:.3;transform:scale(.8)}30%{opacity:1;transform:scale(1)}}@keyframes navigation-progress-slide{0%{transform:translate(-100%)}to{transform:translate(350%)}}.navigation-progress-indicator{background:var(--numina-accent);width:40%;height:100%;animation:1s ease-in-out infinite navigation-progress-slide}@media(prefers-reduced-motion:reduce){.navigation-progress-indicator{width:100%;animation:none}}.animate-numina-spin{animation:.8s linear infinite numina-spin}.animate-numina-blink{animation:1.2s ease-in-out infinite numina-blink}.animate-numina-pulse{animation:1.5s ease-in-out infinite numina-pulse}.animate-numina-typing{animation:1.4s ease-in-out infinite numina-typing}@property --tw-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-z{syntax:"*";inherits:false;initial-value:0}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-space-x-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{syntax:"*";inherits:false}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}@property --tw-backdrop-blur{syntax:"*";inherits:false}@property --tw-backdrop-brightness{syntax:"*";inherits:false}@property --tw-backdrop-contrast{syntax:"*";inherits:false}@property --tw-backdrop-grayscale{syntax:"*";inherits:false}@property --tw-backdrop-hue-rotate{syntax:"*";inherits:false}@property --tw-backdrop-invert{syntax:"*";inherits:false}@property --tw-backdrop-opacity{syntax:"*";inherits:false}@property --tw-backdrop-saturate{syntax:"*";inherits:false}@property --tw-backdrop-sepia{syntax:"*";inherits:false}@property --tw-duration{syntax:"*";inherits:false}@property --tw-ease{syntax:"*";inherits:false}@property --tw-content{syntax:"*";inherits:false;initial-value:""}@keyframes spin{to{transform:rotate(360deg)}}@keyframes pulse{50%{opacity:.5}}@keyframes enter{0%{opacity:var(--tw-enter-opacity,1);transform:translate3d(var(--tw-enter-translate-x,0),var(--tw-enter-translate-y,0),0)scale3d(var(--tw-enter-scale,1),var(--tw-enter-scale,1),var(--tw-enter-scale,1))rotate(var(--tw-enter-rotate,0));filter:blur(var(--tw-enter-blur,0))}}@keyframes exit{to{opacity:var(--tw-exit-opacity,1);transform:translate3d(var(--tw-exit-translate-x,0),var(--tw-exit-translate-y,0),0)scale3d(var(--tw-exit-scale,1),var(--tw-exit-scale,1),var(--tw-exit-scale,1))rotate(var(--tw-exit-rotate,0));filter:blur(var(--tw-exit-blur,0))}}