._markdown_ubl9z_2{--md-fg: #1e293b;--md-fg-muted: #64748b;--md-heading: #0f172a;--md-rule: #e2e8f0;--md-rule-strong: #cbd5e1;--md-link: #4f46e5;--md-link-hover: #3730a3;--md-code-bg: rgba(99, 102, 241, .1);--md-code-fg: #4338ca;--md-code-ring: rgba(99, 102, 241, .18);--md-pre-bg: #f8fafc;--md-pre-fg: #1e293b;--md-pre-border: #e2e8f0;--md-table-bg: #ffffff;--md-table-head-bg: #f8fafc;--md-table-stripe: #fafbfc;--md-table-border: #e2e8f0;--md-quote-bar: #6366f1;--md-quote-bg: rgba(99, 102, 241, .05);--md-radius-sm: 4px;--md-radius-md: 6px;--md-radius-lg: 10px;font-family:Inter,ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-size:14px;line-height:1.65;color:var(--md-fg);font-feature-settings:"cv02","cv03","cv04","cv11"}._markdown_ubl9z_2>*+*{margin-top:.9em}._markdown_ubl9z_2>:first-child{margin-top:0}._markdown_ubl9z_2>:last-child{margin-bottom:0}._markdown_ubl9z_2 h1,._markdown_ubl9z_2 h2,._markdown_ubl9z_2 h3,._markdown_ubl9z_2 h4,._markdown_ubl9z_2 h5,._markdown_ubl9z_2 h6{font-weight:650;line-height:1.25;letter-spacing:-.015em;color:var(--md-heading)}._markdown_ubl9z_2 h1{font-size:1.7em;margin-top:1.5em;padding-bottom:.35em;border-bottom:1px solid var(--md-rule);position:relative}._markdown_ubl9z_2 h1:after{content:"";position:absolute;left:0;bottom:-1px;width:2.5em;height:2px;border-radius:2px;background:linear-gradient(90deg,var(--md-link),var(--md-quote-bar))}._markdown_ubl9z_2 h2{font-size:1.32em;margin-top:1.35em;padding-bottom:.3em;border-bottom:1px solid var(--md-rule)}._markdown_ubl9z_2 h3{font-size:1.12em;margin-top:1.25em;color:var(--md-heading)}._markdown_ubl9z_2 h4{font-size:1em;margin-top:1.15em}._markdown_ubl9z_2 h5,._markdown_ubl9z_2 h6{font-size:.92em;color:var(--md-fg-muted);text-transform:uppercase;letter-spacing:.04em}._markdown_ubl9z_2 p{margin:0}._markdown_ubl9z_2 ul,._markdown_ubl9z_2 ol{margin:0;padding-left:1.6em}._markdown_ubl9z_2 ul{list-style:disc}._markdown_ubl9z_2 ol{list-style:decimal}._markdown_ubl9z_2 li{margin-top:.3em}._markdown_ubl9z_2 li::marker{color:var(--md-link);font-variant-numeric:tabular-nums;font-weight:600}._markdown_ubl9z_2 li>p{margin:0}._markdown_ubl9z_2 li.task-list-item{list-style:none;margin-left:-1.35em}._markdown_ubl9z_2 .task-checkbox{display:inline-flex;align-items:center;justify-content:center;box-sizing:border-box;width:1em;height:1em;margin:0 .45em 0 0;vertical-align:-.12em;border:1px solid var(--md-rule-strong);border-radius:3px;background:#fff}._markdown_ubl9z_2 .task-checkbox-checked{border-color:var(--md-link);background:var(--md-link)}._markdown_ubl9z_2 .task-checkbox-checked:after{content:"";width:.28em;height:.52em;border:solid #ffffff;border-width:0 2px 2px 0;transform:rotate(45deg) translate(-.02em,-.04em)}._markdown_ubl9z_2 .task-checkbox-mixed:after{content:"~";color:var(--md-link);font-size:.85em;font-weight:700;line-height:1;transform:translateY(-.06em)}._markdown_ubl9z_2 li>ul,._markdown_ubl9z_2 li>ol{margin-top:.3em;margin-bottom:.3em}._markdown_ubl9z_2 code{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;font-size:.86em;font-weight:500;background:var(--md-code-bg);color:var(--md-code-fg);padding:.15em .4em;border-radius:var(--md-radius-sm);box-shadow:inset 0 0 0 1px var(--md-code-ring);word-break:break-word}._markdown_ubl9z_2 pre{margin:0;background:var(--md-pre-bg);color:var(--md-pre-fg);border:1px solid var(--md-pre-border);border-radius:var(--md-radius-md);padding:.9em 1.1em;overflow-x:auto;font-size:.86em;line-height:1.55;box-shadow:0 1px 2px #0f172a0f}._markdown_ubl9z_2 pre code{background:transparent;color:inherit;padding:0;border-radius:0;box-shadow:none;font-size:1em;font-weight:400;white-space:pre}._markdown_ubl9z_2 pre code ._hl-kw_ubl9z_247{color:#7c3aed;font-weight:500}._markdown_ubl9z_2 pre code ._hl-decl_ubl9z_251{color:#2563eb;font-weight:600}._markdown_ubl9z_2 pre code ._hl-comment_ubl9z_255{color:#64748b;font-style:italic}._markdown_ubl9z_2 pre code ._hl-sorry_ubl9z_259{color:#b45309;background:#f59e0b1f;padding:0 3px;border-radius:3px;font-weight:600}._markdown_ubl9z_2 table{display:block;width:max-content;max-width:100%;border-collapse:separate;border-spacing:0;border:1px solid var(--md-table-border);border-radius:var(--md-radius-md);overflow-x:auto;font-size:.93em;background:var(--md-table-bg);box-shadow:0 1px 2px #0f172a0a}._markdown_ubl9z_2 th,._markdown_ubl9z_2 td{padding:.55em .85em;min-width:5rem;text-align:left;vertical-align:top;border-bottom:1px solid var(--md-table-border);border-right:1px solid var(--md-table-border)}._markdown_ubl9z_2 th:last-child,._markdown_ubl9z_2 td:last-child{border-right:0}._markdown_ubl9z_2 tbody tr:last-child td{border-bottom:0}._markdown_ubl9z_2 thead th{background:var(--md-table-head-bg);font-weight:600;color:var(--md-heading);letter-spacing:-.005em}._markdown_ubl9z_2 tbody tr:nth-child(2n){background:var(--md-table-stripe)}._markdown_ubl9z_2 blockquote{margin:0;padding:.6em .9em .6em 1em;border-left:3px solid var(--md-quote-bar);background:var(--md-quote-bg);border-radius:0 var(--md-radius-md) var(--md-radius-md) 0;color:var(--md-fg)}._markdown_ubl9z_2 blockquote>:first-child{margin-top:0}._markdown_ubl9z_2 blockquote>:last-child{margin-bottom:0}._markdown_ubl9z_2 hr{border:0;height:1px;background:linear-gradient(90deg,transparent,var(--md-rule-strong) 20%,var(--md-rule-strong) 80%,transparent);margin:1.4em 0}._markdown_ubl9z_2 a{color:var(--md-link);text-decoration:none;background-image:linear-gradient(currentColor,currentColor);background-size:0 1px;background-repeat:no-repeat;background-position:0 100%;transition:background-size .15s ease,color .15s ease}._markdown_ubl9z_2 a:hover{color:var(--md-link-hover);background-size:100% 1px}._markdown_ubl9z_2 img{max-width:100%;height:auto;border-radius:var(--md-radius-md);border:1px solid var(--md-rule)}._markdown_ubl9z_2 strong{font-weight:650;color:var(--md-heading)}._markdown_ubl9z_2 em{font-style:italic}._markdown_ubl9z_2 del{color:var(--md-fg-muted)}._markdown_ubl9z_2 ._katex-display_ubl9z_380{margin:.6em 0;overflow-x:auto;overflow-y:hidden;padding:.2em 0}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(./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(./KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(./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(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(./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(./KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(./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(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(./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.17.0"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}._root_1pr91_1{font-size:12.5px;line-height:1.5;color:var(--text-primary)}._root_1pr91_1 p{margin:4px 0}._root_1pr91_1 p:first-child{margin-top:0}._root_1pr91_1 p:last-child{margin-bottom:0}._env_1pr91_12{border-left:3px solid var(--blue);background:var(--bg-secondary);padding:6px 10px 6px 12px;margin:6px 0;border-radius:0 4px 4px 0}._env-definition_1pr91_20{border-left-color:var(--kind-definition)}._env-theorem_1pr91_21{border-left-color:var(--kind-theorem)}._env-lemma_1pr91_22{border-left-color:var(--kind-lemma)}._env-proposition_1pr91_23,._env-corollary_1pr91_24{border-left-color:var(--kind-theorem)}._env-remark_1pr91_25{border-left-color:var(--kind-remark)}._env-example_1pr91_26{border-left-color:var(--kind-remark);background:color-mix(in srgb,var(--kind-remark) 4%,var(--bg-secondary))}._env-proof_1pr91_27{border-left-color:var(--border);background:transparent;padding-left:10px}._envHead_1pr91_33{display:flex;align-items:center;flex-wrap:wrap;gap:6px;margin-bottom:4px;font-size:11px}._envLabel_1pr91_41{font-weight:700;color:var(--text-primary);text-transform:capitalize}._badgeOk_1pr91_47{color:var(--green);font-size:10px;font-weight:600;background:#28a7451a;padding:1px 5px;border-radius:3px}._badgeNotReady_1pr91_55{color:#e36209;font-size:10px;font-weight:600;background:#e3620914;padding:1px 5px;border-radius:3px}._badgeLean_1pr91_63{color:var(--blue);font-family:var(--font-mono);font-size:10px;font-weight:600;background:#0366d614;padding:1px 5px;border-radius:3px}._uses_1pr91_72{color:var(--text-muted);font-size:10px}._envBody_1pr91_77{font-size:12.5px}._envBody_1pr91_77 p{margin:3px 0}._texttt_1pr91_81{font-family:var(--font-mono);font-size:.92em;background:var(--bg-tertiary);padding:0 3px;border-radius:2px}._ref_1pr91_88{font-family:var(--font-mono);font-size:.9em;color:var(--blue);background:#0366d60d;padding:0 3px;border-radius:2px}._inlineMath_1pr91_97{display:inline-block}._displayMath_1pr91_98{display:block;margin:6px 0;text-align:center;overflow-x:auto}._root_1pr91_1 .katex{font-size:1em}._root_1pr91_1 .katex-display{margin:6px 0}._commentWrap_1pr91_109{display:inline-block;vertical-align:baseline;margin:0 2px}._commentToggle_1pr91_114{display:inline-flex;align-items:center;gap:3px;cursor:pointer;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-muted);font-size:10px;line-height:1.2;padding:0 5px;border-radius:10px}._commentToggle_1pr91_114:hover{color:var(--text-primary);border-color:var(--blue)}._commentOpen_1pr91_128{color:var(--blue);border-color:var(--blue)}._quoteIcon_1pr91_129{font-size:12px;font-weight:700;line-height:1}._commentLabel_1pr91_134{text-transform:lowercase;letter-spacing:.02em}._commentBody_1pr91_136{display:block;margin:4px 0 6px;padding:6px 10px;border-left:3px solid var(--border);background:var(--bg-secondary);border-radius:0 4px 4px 0;font-size:12px}._commentEntry_1pr91_145{display:block;margin:3px 0}._commentTag_1pr91_146{display:inline-block;margin-right:6px;color:var(--text-muted);font-size:9.5px;font-weight:700;text-transform:uppercase;letter-spacing:.04em}._commentText_1pr91_155{color:var(--text-secondary)}._commentPara_1pr91_156{display:block;margin:2px 0}._kw_wng18_1{color:#7c3aed;font-weight:500}._decl_wng18_6{color:#005cc5;font-weight:700}._sorry_wng18_11{color:#b31d28;background:#cb243114;border-radius:3px;padding:0 2px;font-weight:700}._comment_wng18_19{color:#6a737d;font-style:italic}._root_1cxs3_1{font-size:13.5px;line-height:1.6;color:var(--text-primary)}._chapter_1cxs3_7{max-width:860px;margin:0 auto 40px;scroll-margin-top:16px}._chapterTitle_1cxs3_8{font-size:21px;font-weight:700;color:var(--text-primary);margin:28px 0 14px;padding-bottom:8px;border-bottom:2px solid var(--border-strong)}._chapNum_1cxs3_12{color:var(--blue);font-variant-numeric:tabular-nums;margin-right:4px}._h3_1cxs3_14{font-size:16px;font-weight:700;margin:22px 0 8px;color:var(--text-primary);scroll-margin-top:16px}._h4_1cxs3_15{font-size:14px;font-weight:700;margin:16px 0 6px;color:var(--text-secondary);scroll-margin-top:16px}._secNum_1cxs3_16{color:var(--text-muted);font-variant-numeric:tabular-nums;margin-right:4px}._p_1cxs3_18{margin:8px 0;text-align:justify;text-justify:inter-word;-webkit-hyphens:auto;hyphens:auto}._paragraphHead_1cxs3_19{margin:12px 0 4px;font-size:13px;font-weight:700;color:var(--text-primary)}._env_1cxs3_27{--kind: var(--border-strong);position:relative;background:color-mix(in srgb,var(--kind) 8%,var(--bg-primary));padding:8px 12px;margin:10px 0 10px 9px;border-radius:0 5px 5px 0;scroll-margin-top:16px}._env_1cxs3_27:before{content:"";position:absolute;left:-9px;top:1px;bottom:1px;width:3px;border-radius:2px;background:var(--kind)}._env_definition_1cxs3_49{--kind: var(--kind-definition)}._env_theorem_1cxs3_50,._env_proposition_1cxs3_50,._env_corollary_1cxs3_50{--kind: var(--kind-theorem)}._env_lemma_1cxs3_51{--kind: var(--kind-lemma)}._env_remark_1cxs3_52,._env_notation_1cxs3_52,._env_convention_1cxs3_52,._env_example_1cxs3_52{--kind: var(--kind-remark)}._env_conjecture_1cxs3_53{--kind: var(--kind-conjecture)}._env_quote_1cxs3_54{background:var(--bg-primary)}._envProof_1cxs3_55{background:transparent}._envHead_1cxs3_57{display:flex;align-items:center;flex-wrap:wrap;gap:6px;margin-bottom:4px;font-size:12px}._envLabel_1cxs3_61{font-weight:700;color:var(--text-primary)}._envHuman_1cxs3_62{font-style:italic;color:var(--text-secondary)}._envBody_1cxs3_63{font-size:13.5px}._envBody_1cxs3_63>._p_1cxs3_18:first-child{margin-top:2px}._envBody_1cxs3_63>._p_1cxs3_18:last-child{margin-bottom:2px}._badgeOk_1cxs3_67{color:var(--green);font-size:10px;font-weight:600;background:#28a7451a;padding:1px 5px;border-radius:3px}._badgeMathlib_1cxs3_68{color:var(--blue);font-size:10px;font-weight:600;background:#0366d61a;padding:1px 5px;border-radius:3px}._badgeNot_1cxs3_69{color:#e36209;font-size:10px;font-weight:600;background:#e3620914;padding:1px 5px;border-radius:3px}._leanWrap_1cxs3_72{display:inline-block}._leanChip_1cxs3_73{font-family:var(--font-mono);font-size:10.5px;cursor:pointer;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-secondary);padding:0 5px;border-radius:4px}._leanChip_1cxs3_73:hover{border-color:var(--blue);color:var(--blue)}._leanOpen_1cxs3_79{border-color:var(--blue);color:var(--blue);background:#0366d614}._graphChip_1cxs3_80{font-family:var(--font-mono);font-size:10.5px;cursor:pointer;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-secondary);padding:0 5px;border-radius:4px;margin-left:2px}._graphChip_1cxs3_80:hover{border-color:var(--blue);color:var(--blue)}._fragEmpty_1cxs3_86{color:var(--text-tertiary)}._iterChip_1cxs3_87{font-family:var(--font-mono);font-size:10px;cursor:pointer;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-secondary);padding:0 5px;border-radius:4px;margin-left:4px;vertical-align:middle}._iterChip_1cxs3_87:hover{border-color:var(--blue);color:var(--blue)}._leanCode_1cxs3_93{display:block;margin:6px 0;padding:8px 10px;overflow-x:auto;font-family:var(--font-mono);font-size:11.5px;line-height:1.45;background:var(--bg-primary);border:1px solid var(--border);border-radius:5px;white-space:pre;color:var(--text-primary)}._hlKw_1cxs3_99{color:#cf222e}._hlTac_1cxs3_100{color:#8250df}._hlTy_1cxs3_101{color:#0550ae}._hlNum_1cxs3_102,._hlStr_1cxs3_103{color:#0a7d33}._hlComment_1cxs3_104{color:var(--text-muted);font-style:italic}._usesRow_1cxs3_107{display:flex;align-items:center;flex-wrap:wrap;gap:4px;margin-top:6px}._usesLabel_1cxs3_108{font-size:10px;text-transform:uppercase;letter-spacing:.04em;color:var(--text-muted);margin-right:2px}._usesChip_1cxs3_109{font-size:10.5px;text-decoration:none;color:var(--blue);background:#0366d612;border:1px solid rgba(3,102,214,.2);padding:0 5px;border-radius:10px}._usesChip_1cxs3_109:hover{background:#0366d624}._usesUnknown_1cxs3_115{color:#e36209;background:#e3620912;border-color:#e3620933}._ref_1cxs3_118{color:var(--blue);text-decoration:none;font-variant-numeric:tabular-nums}._ref_1cxs3_118:hover{text-decoration:underline}._refBroken_1cxs3_120{color:#e36209;font-weight:600}._list_1cxs3_123{margin:6px 0 6px 18px;padding:0}._list_1cxs3_123 li{margin:3px 0}._list_1cxs3_123 li>._p_1cxs3_18{margin:2px 0}._tt_1cxs3_128{font-family:var(--font-mono);font-size:.92em;color:#4338ca;background:#6366f11a;box-shadow:inset 0 0 0 1px #6366f12e;padding:0 4px;border-radius:3px;overflow-wrap:anywhere;word-break:break-word}._imath_1cxs3_139{display:inline-block}._dmath_1cxs3_140,._dblock_1cxs3_140{display:block;margin:8px 0;text-align:center;overflow-x:auto}._root_1cxs3_1 .katex{font-size:1em}._root_1cxs3_1 .katex-display{margin:8px 0}._preBlock_1cxs3_145{margin:10px 0;padding:10px 12px;overflow-x:auto;white-space:pre;font-family:var(--font-mono);font-size:11.5px;line-height:1.45;color:var(--text-primary);background:var(--bg-secondary);border:1px solid var(--border);border-radius:6px}._centerBlock_1cxs3_158{margin:10px auto;text-align:center}._centerBlock_1cxs3_158>*{margin-left:auto;margin-right:auto}._tableWrap_1cxs3_166{max-width:100%;margin:10px 0;overflow-x:auto}._centerBlock_1cxs3_158 ._tableWrap_1cxs3_166{display:inline-block}._table_1cxs3_166{width:max-content;max-width:100%;border-collapse:collapse;font-size:12.5px;line-height:1.45;background:var(--bg-primary);border:1px solid var(--border);border-radius:6px;overflow:hidden}._table_1cxs3_166 th,._table_1cxs3_166 td{border:1px solid var(--border);padding:5px 8px;vertical-align:top;text-align:left}._table_1cxs3_166 th{background:var(--bg-secondary);color:var(--text-primary);font-weight:700}._table_1cxs3_166 tr:nth-child(2n) td{background:color-mix(in srgb,var(--bg-secondary) 45%,transparent)}._cWrap_1cxs3_198{display:inline-block;margin:0 2px;vertical-align:baseline}._cToggle_1cxs3_199{display:inline-flex;align-items:center;justify-content:center;cursor:pointer;width:17px;height:16px;padding:0;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-muted);border-radius:4px}._cToggle_1cxs3_199:hover{color:var(--text-primary);border-color:var(--blue)}._cOpen_1cxs3_206{color:var(--blue);border-color:var(--blue);background:#0366d614}._quote_1cxs3_207{font-size:13px;font-weight:700;line-height:1;transform:translateY(2px)}._cBody_1cxs3_208{display:block;margin:4px 0 6px;padding:6px 10px;border-left:3px solid var(--border);background:var(--bg-secondary);border-radius:0 4px 4px 0;font-size:12px}._cEntry_1cxs3_209{display:block;margin:3px 0}._cTag_1cxs3_210{display:inline-block;margin-right:6px;color:var(--text-muted);font-size:9.5px;font-weight:700;text-transform:uppercase;letter-spacing:.04em}._body_1t1dm_1{flex:1;display:flex;min-height:0;border:1px solid var(--border);border-radius:8px;overflow:hidden;background:var(--bg-primary)}._toc_1t1dm_11{width:240px;flex-shrink:0;border-right:1px solid var(--border);overflow-y:auto;padding:10px 8px;background:var(--bg-secondary)}._tocHead_1t1dm_19{display:flex;align-items:center;justify-content:space-between;gap:6px;font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);padding:2px 6px 8px}._tocEmpty_1t1dm_24{padding:4px 6px;color:var(--text-muted);font-size:12px}._tocNum_1t1dm_25{color:var(--text-muted);font-variant-numeric:tabular-nums;flex-shrink:0}._tocTitle_1t1dm_26{overflow:hidden;text-overflow:ellipsis;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;text-align:left}._tocChapRow_1t1dm_28{display:flex;align-items:flex-start}._tocCaret_1t1dm_29{flex-shrink:0;width:16px;padding:4px 0;border:none;background:none;color:var(--text-muted);cursor:pointer;font-size:10px;line-height:1.4}._tocChap_1t1dm_28{flex:1;display:flex;gap:6px;align-items:flex-start;min-width:0;padding:4px 6px;font-size:12px;color:var(--text-secondary);background:none;border:none;cursor:pointer;border-radius:4px;text-align:left}._tocChap_1t1dm_28:hover{background:var(--bg-tertiary);color:var(--text-primary)}._tocActive_1t1dm_39{color:var(--blue);font-weight:600}._tocSec_1t1dm_40{display:flex;gap:6px;width:100%;min-width:0;padding:2px 6px;font-size:11.5px;color:var(--text-muted);background:none;border:none;cursor:pointer;border-radius:4px}._tocSec_1t1dm_40:hover{background:var(--bg-tertiary);color:var(--text-secondary)}._declPanel_1t1dm_47{width:280px;flex-shrink:0;border-left:1px solid var(--border);overflow:hidden;display:flex;flex-direction:column;background:var(--bg-secondary)}._declHead_1t1dm_56{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:12px 12px 6px;font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted)}._declTotal_1t1dm_68{font-variant-numeric:tabular-nums;color:var(--text-secondary)}._declStats_1t1dm_72{display:flex;flex-wrap:wrap;gap:6px;padding:1px 10px 10px}._declStats_1t1dm_72 span{border:1px solid var(--border);border-radius:4px;padding:2px 5px;font-size:10.5px;font-weight:650;font-variant-numeric:tabular-nums;background:var(--bg-primary)}._statLean_1t1dm_87{color:var(--green)}._statMathlib_1t1dm_88{color:var(--blue)}._statNone_1t1dm_89{color:var(--text-muted)}._declScroll_1t1dm_90{flex:1;min-height:0;overflow-y:auto;padding:0 10px 12px}._declRow_1t1dm_96{--kind: var(--kind-neutral);position:relative;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:8px;align-items:start;padding:8px 9px;margin:0 0 6px 8px;border-radius:0 5px 5px 0;border:none;background:color-mix(in srgb,var(--kind) 8%,var(--bg-primary))}._declRow_1t1dm_96:before{content:"";position:absolute;left:-8px;top:2px;bottom:2px;width:3px;border-radius:2px;background:var(--kind)}._declRow_1t1dm_96:hover{background:color-mix(in srgb,var(--kind) 15%,var(--bg-primary))}._declKind_definition_1t1dm_121{--kind: var(--kind-definition)}._declKind_theorem_1t1dm_122,._declKind_proposition_1t1dm_122,._declKind_corollary_1t1dm_122{--kind: var(--kind-theorem)}._declKind_lemma_1t1dm_123{--kind: var(--kind-lemma)}._declKind_remark_1t1dm_124,._declKind_notation_1t1dm_124,._declKind_convention_1t1dm_124,._declKind_example_1t1dm_124{--kind: var(--kind-remark)}._declKind_conjecture_1t1dm_125{--kind: var(--kind-conjecture)}._declJump_1t1dm_126{min-width:0;border:none;background:none;color:var(--text-secondary);cursor:pointer;text-align:left;padding:0}._declJump_1t1dm_126:hover ._declTitle_1t1dm_135{color:var(--text-primary)}._declKind_1t1dm_121{display:block;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:12px;font-weight:700;color:var(--text-primary);font-variant-numeric:tabular-nums}._declStatus_1t1dm_150{flex-shrink:0;font-size:10px;font-weight:600;border-radius:3px;padding:1px 5px}._status_leanok_1t1dm_157{color:var(--green);background:color-mix(in srgb,var(--green) 12%,transparent)}._status_mathlibok_1t1dm_158{color:var(--blue);background:color-mix(in srgb,var(--blue) 12%,transparent)}._status_none_1t1dm_159{color:var(--text-muted);background:color-mix(in srgb,var(--text-muted) 14%,transparent)}._declTitle_1t1dm_135{display:block;margin-top:4px;font-style:italic;color:var(--text-secondary);font-size:12px;line-height:1.3;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}._declLabel_1t1dm_171{display:block;margin-top:4px;font-family:var(--font-mono);color:var(--text-muted);font-size:10px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}._declActions_1t1dm_182{display:flex;flex-direction:column;align-items:flex-end;gap:4px}._declActions_1t1dm_182 ._declStatus_1t1dm_150{margin-bottom:2px}._declActions_1t1dm_182 button{height:20px;padding:0 5px;border:1px solid transparent;border-radius:4px;background:transparent;color:var(--text-muted);cursor:pointer;font-family:var(--font-mono);font-size:10px;line-height:1}._declActions_1t1dm_182 button:hover{color:var(--blue);border-color:var(--blue)}._declActions_1t1dm_182 button:disabled{opacity:.5;cursor:not-allowed}._declActions_1t1dm_182 button:disabled:hover{color:var(--text-muted);border-color:transparent}._bigToc_1t1dm_216{max-width:860px;margin:0 auto}._bigTocHead_1t1dm_217{font-size:13px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);margin:6px 0 12px}._bigTocHint_1t1dm_218{font-weight:400;text-transform:none;letter-spacing:0}._bigTocChap_1t1dm_219{margin:6px 0 12px}._bigTocChapLink_1t1dm_220{display:block;width:100%;text-align:left;font-size:15px;font-weight:700;color:var(--text-primary);background:none;border:none;cursor:pointer;padding:2px 0}._bigTocChapLink_1t1dm_220:hover{color:var(--blue)}._bigTocSecs_1t1dm_225{margin:2px 0 0 18px}._bigTocSec_1t1dm_225{display:block;width:100%;text-align:left;font-size:12.5px;color:var(--text-secondary);background:none;border:none;cursor:pointer;padding:1px 0}._bigTocSec_1t1dm_225:hover{color:var(--blue)}._openChapter_1t1dm_232{position:relative}._reading_1t1dm_234{flex:1;overflow-y:auto;padding:18px 28px;min-width:0}._muted_1t1dm_240{color:var(--text-muted);font-size:13px;padding:8px 0}._titlePage_1t1dm_242{max-width:860px;margin:12px auto 32px;text-align:center;padding:24px 0 28px;border-bottom:1px solid var(--border)}._docTitle_1t1dm_249{font-size:26px;font-weight:800;color:var(--text-primary);margin:0 0 10px;line-height:1.25}._docAuthor_1t1dm_250{font-size:15px;color:var(--text-secondary);margin-bottom:8px}._docMeta_1t1dm_251{font-size:12px;color:var(--text-muted)}@media (max-width: 1100px){._body_1t1dm_1{flex-direction:column}._toc_1t1dm_11{width:auto;max-height:180px;border-right:none;border-bottom:1px solid var(--border)}._declPanel_1t1dm_47{width:auto;max-height:240px;border-left:none;border-top:1px solid var(--border)}}._mm_1t1dm_270{display:inline-block;width:12px;height:12px;border-radius:3px;cursor:pointer;flex:none}._mmCells_1t1dm_278{display:flex;flex-wrap:wrap;gap:3px;padding:4px 0 2px 28px}._mmLegend_1t1dm_284{display:inline-flex;gap:14px;align-items:center;font-size:12px;color:var(--text-muted)}._mmLegend_1t1dm_284 span{display:inline-flex;align-items:center;gap:5px}._mmLegend_1t1dm_284 ._mm_1t1dm_270{cursor:default}._segbar_1t1dm_293{display:flex;width:100%;max-width:420px;height:8px;border-radius:4px;overflow:hidden;background:var(--border)}._segbar_1t1dm_293 i{display:block;height:100%}._overviewBar_1t1dm_303{display:flex;align-items:center;gap:18px;flex-wrap:wrap;margin-bottom:14px}:root{--bg-primary: #ffffff;--bg-secondary: #f8fafc;--bg-tertiary: #f1f5f9;--border: #e2e8f0;--border-strong: #cbd5e1;--text-primary: #0f172a;--text-secondary: #475569;--text-muted: #94a3b8;--blue: #2563eb;--green: #10b981;--orange: #ea580c;--red: #dc2626;--purple: #7c3aed;--kind-definition: #c75f93;--kind-theorem: #2563eb;--kind-lemma: #0d9488;--kind-remark: #c2740c;--kind-conjecture: #dc2626;--kind-neutral: var(--border-strong);--accent: #6366f1;--accent-text: #4338ca;--accent-bg: rgba(99, 102, 241, .1);--accent-ring: rgba(99, 102, 241, .28);--tag-slate-fg: #475569;--tag-slate-bg: #f8fafc;--tag-slate-border: #cbd5e1;--tag-blue-fg: #1d4ed8;--tag-blue-bg: #eff6ff;--tag-blue-border: #bfdbfe;--tag-green-fg: #047857;--tag-green-bg: #ecfdf5;--tag-green-border: #a7f3d0;--tag-amber-fg: #b45309;--tag-amber-bg: #fffbeb;--tag-amber-border: #fde68a;--tag-orange-fg: #c2410c;--tag-orange-bg: #fff7ed;--tag-orange-border: #fed7aa;--tag-red-fg: #b91c1c;--tag-red-bg: #fef2f2;--tag-red-border: #fecaca;--tag-purple-fg: #6d28d9;--tag-purple-bg: #f5f3ff;--tag-purple-border: #ddd6fe;--tag-cyan-fg: #0e7490;--tag-cyan-bg: #ecfeff;--tag-cyan-border: #a5f3fc;--terminal-bg: #0b1020;--terminal-bg-soft: #111827;--terminal-bg-raised: #172033;--terminal-border: rgba(148, 163, 184, .28);--terminal-text: #dbeafe;--terminal-muted: #94a3b8;--terminal-cyan: #67e8f9;--terminal-green: #86efac;--terminal-red: #fca5a5;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-mono: "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;color-scheme:light}*{box-sizing:border-box}html,body,#root{width:100%;height:100%;margin:0}body{font-family:var(--font-sans);background:var(--bg-primary);color:var(--text-primary);font-size:13px;line-height:1.5;font-feature-settings:"cv02","cv03","cv04","cv11";-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{color:var(--blue);text-decoration:none}a:hover{text-decoration:underline}code,pre{font-family:var(--font-mono)}button,input,select{font:inherit}.app{display:flex;flex-direction:column;min-height:100%}.connection-banner{background:var(--red);color:#fff;padding:6px 16px;font-size:13px;text-align:center;font-weight:550}.connection-banner code{background:#0003;padding:1px 4px;border-radius:3px}.header{display:flex;align-items:center;gap:12px;padding:10px 20px;background:var(--bg-primary);border-bottom:1px solid var(--border);box-shadow:0 1px #0f172a05;position:sticky;top:0;z-index:10}.header h1{margin:0;font-size:15px;font-weight:650;letter-spacing:0}.version-badge{font-family:var(--font-mono);font-size:10.5px;font-weight:600;padding:2px 7px;border-radius:999px;color:var(--accent-text);background:var(--accent-bg);box-shadow:inset 0 0 0 1px var(--accent-ring);-webkit-user-select:none;user-select:none}.project-badge{max-width:min(420px,34vw);min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:11px;font-weight:500;font-family:var(--font-mono);padding:3px 9px;border-radius:5px;background:var(--bg-tertiary);color:var(--text-secondary)}.project-badge.config-badge{opacity:.72;max-width:min(320px,24vw);direction:rtl;text-align:left}.header-nav{display:flex;gap:2px;flex-wrap:wrap;min-width:0}.nav-link{padding:6px 12px;border-radius:6px;color:var(--text-secondary);font-size:13px;font-weight:500;transition:background .1s ease,color .1s ease}.nav-link:hover{color:var(--text-primary);background:var(--bg-secondary);text-decoration:none}.nav-link.active{color:var(--accent-text);background:var(--accent-bg);font-weight:600}.main-content{flex:1;overflow:auto;padding:16px;background:var(--bg-primary)}.main-content.loading{display:flex;align-items:center;justify-content:center;color:var(--text-secondary)}.page{width:100%;max-width:1360px;margin:0 auto}.page-narrow{max-width:1120px}.full-page{display:flex;flex-direction:column;gap:12px;height:calc(100vh - 86px);max-width:none}.full-page>.panel-heading{flex-shrink:0;margin:0}.full-page-body{flex:1;min-height:0;display:flex;gap:1rem}.lean-layout{flex:1;min-height:0;display:grid;grid-template-columns:280px minmax(0,1fr) 240px;gap:12px}.lean-pane{border:1px solid var(--border);border-radius:8px;background:var(--bg-secondary);display:flex;flex-direction:column;min-height:0;overflow:hidden}.lean-pane-head{flex-shrink:0;padding:8px 10px;border-bottom:1px solid var(--border);font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);display:flex;align-items:center;justify-content:space-between;gap:8px}.lean-pane-scroll{overflow:auto;flex:1;min-height:0;padding:6px}.lean-code-pane{background:var(--bg-primary)}.lean-code-pane .lean-pane-scroll{padding:0}.lean-tree details{margin:0}.lean-tree summary{cursor:pointer;font-size:12px;font-weight:600;color:var(--text-secondary);padding:2px 4px;list-style:revert}.lean-tree summary:hover{color:var(--text-primary)}.lean-tree .lean-tree-children{margin-left:12px;border-left:1px solid var(--border);padding-left:6px}.lean-outline-counts{display:flex;flex-wrap:wrap;gap:6px;padding:8px;border-bottom:1px solid var(--border);flex-shrink:0}.lean-count{font-size:10.5px;padding:2px 6px;border-radius:10px;background:var(--bg-tertiary);color:var(--text-secondary);font-weight:600;white-space:nowrap}.lean-count.sorry{background:#cb24311f;color:#b31d28}.lean-outline-row{display:flex;gap:6px;width:100%;text-align:left;padding:2px 6px;font-size:11.5px;background:none;border:none;border-radius:4px;color:var(--text-secondary);align-items:center;min-width:0}.lean-outline-row:hover{background:var(--bg-tertiary);color:var(--text-primary)}.lean-outline-jump{flex:1 1 auto;min-width:0;display:flex;gap:6px;align-items:baseline;text-align:left;padding:0;background:none;border:none;color:inherit;cursor:pointer}.lean-outline-kind{font-size:9px;text-transform:uppercase;letter-spacing:.03em;color:var(--text-muted);flex-shrink:0;width:58px;font-weight:700}.lean-outline-row.sorry .lean-outline-kind,.lean-outline-row.sorry{color:#b31d28}.lean-outline-label{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-family:var(--font-mono)}.lean-outline-actions{flex:0 0 auto;display:inline-flex;gap:3px}.lean-outline-actions button{border:1px solid var(--border);background:var(--bg-primary);color:var(--text-muted);border-radius:4px;padding:1px 5px;font-family:var(--font-mono);font-size:10px;cursor:pointer}.lean-outline-actions button:hover{border-color:var(--blue);color:var(--blue);background:var(--bg-secondary)}.lean-git-resize{height:7px;flex-shrink:0;cursor:ns-resize;margin:-2px 0 1px;border-radius:3px;background:var(--border);opacity:.6}.lean-git-resize:hover{opacity:1;background:var(--blue)}.lean-git{flex-shrink:0;display:flex;flex-direction:column;min-height:0;border:1px solid var(--border);border-radius:8px;background:var(--bg-secondary);overflow:hidden}.lean-git-head{flex-shrink:0;padding:6px 10px;border-bottom:1px solid var(--border);font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted)}.lean-git-scroll{flex:1;min-height:0;overflow:auto}.hero-strip{display:flex;justify-content:space-between;align-items:flex-end;gap:24px;padding:14px 0 18px;border-bottom:1px solid var(--border);margin-bottom:16px}.eyebrow{margin:0 0 3px;font-size:11px;color:var(--text-muted);text-transform:uppercase;font-weight:700;letter-spacing:.08em}.hero-strip h2{margin:0;font-size:24px;font-weight:700;letter-spacing:0}.hero-meta{display:flex;gap:10px;color:var(--text-secondary);font-family:var(--font-mono);font-size:11px}.overview-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin-bottom:16px}.split-layout{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(320px,.85fr);gap:16px;align-items:start}.panel{border:1px solid var(--border);background:var(--bg-primary);border-radius:8px;margin-bottom:16px;overflow:hidden}.panel-heading{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:12px 14px;border-bottom:1px solid var(--border);background:var(--bg-secondary)}.panel-heading h2{margin:0;font-size:14px;font-weight:650}.panel-heading p{margin:2px 0 0;color:var(--text-secondary);font-size:12px}.panel>:not(.panel-heading){margin:12px 14px}.table-wrap{overflow-x:auto}table{width:100%;border-collapse:collapse;text-align:left}th,td{padding:8px 10px;border-bottom:1px solid var(--border);vertical-align:top}th{color:var(--text-secondary);font-weight:650;font-size:11px;text-transform:uppercase;letter-spacing:.04em;background:var(--bg-secondary)}tr:last-child td{border-bottom:0}tr:hover td{background:#6366f108}.body-cell{min-width:260px;white-space:pre-wrap}.actions-cell{min-width:230px;white-space:nowrap}.project-deps{margin-top:3px;color:var(--text-secondary);font-size:11px}.project-metric-loading{color:var(--text-muted)}.badge{display:inline-flex;align-items:center;max-width:100%;margin:1px 4px 1px 0;padding:2px 6px;border-radius:4px;border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-secondary);font-family:var(--font-mono);font-size:11px;line-height:1.3;white-space:nowrap;flex:none}.status{display:inline-flex;align-items:center;flex:none;white-space:nowrap;padding:2px 7px;border-radius:999px;font-size:11px;font-weight:650;border:1px solid var(--tag-border, var(--border));background:var(--tag-bg, var(--bg-tertiary));color:var(--tag-fg, var(--text-secondary))}.status-running,.status-active,.status-queued{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.status-open{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.status-closed,.status-archived,.status-cancelled,.status-superseded,.status-created,.status-clear{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.status-completed,.status-done,.status-applied,.status-accept{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.status-blocked,.status-pending,.status-draft{--tag-fg: var(--tag-orange-fg);--tag-bg: var(--tag-orange-bg);--tag-border: var(--tag-orange-border)}.status-failed,.status-rejected,.status-reject{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.status-interrupted{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.empty{color:var(--text-muted);font-style:italic}.stack-list,.event-list,.summary-list,.report-list,.session-list{display:flex;flex-direction:column;gap:8px}.stack-row,.event-row,.summary-list div{display:flex;align-items:center;justify-content:space-between;gap:12px;min-height:34px;padding:8px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary)}.stack-row>div{display:flex;align-items:center;gap:6px;min-width:0}.stack-row strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.stack-row>span,.event-row time{color:var(--text-secondary);font-size:12px;white-space:nowrap}.event-list.compact .event-row{min-height:30px;padding:6px 8px}.report-list a{padding:7px 8px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary);font-family:var(--font-mono);font-size:12px}.memory-block{margin:0;padding:12px;border-radius:6px;border:1px solid var(--border);background:var(--bg-secondary);color:var(--text-primary);overflow-x:auto;white-space:pre-wrap}.run-list,.task-list,.roadmap-list,.blueprint-list,.roadmap-mini-list{display:grid;gap:8px}.run-card,.roadmap-card,.blueprint-node,.task-card{border:1px solid var(--border);border-radius:6px;background:var(--bg-primary);overflow:hidden}.run-card{--run-card-bg: var(--bg-secondary);background:var(--run-card-bg)}.run-card summary,.roadmap-card summary,.blueprint-node summary,.task-card summary{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:12px;padding:8px 10px;cursor:pointer;list-style:none}.run-card summary{background:var(--run-card-bg)}.run-card summary::-webkit-details-marker,.roadmap-card summary::-webkit-details-marker,.blueprint-node summary::-webkit-details-marker,.task-card summary::-webkit-details-marker{display:none}.run-card[open] summary,.roadmap-card[open] summary,.blueprint-node[open] summary,.task-card[open] summary{border-bottom:1px solid var(--border);background:var(--bg-secondary)}.run-card[open] summary{background:var(--run-card-bg)}.run-card .run-sessions{background:var(--run-card-bg)}.run-card .badge{background:var(--run-card-bg);border-color:var(--border)}.run-main,.roadmap-title,.task-title{display:flex;align-items:center;gap:7px;min-width:0}.run-main strong,.roadmap-title strong,.task-title strong{flex:0 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.run-meta,.task-meta{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:6px 10px;color:var(--text-secondary);font-size:12px}.run-sessions{display:grid;gap:6px;padding:8px 10px}.session-node .run-sessions{margin-left:18px;padding:6px 0 0 10px;border-left:2px solid var(--border)}.session-line{display:flex;align-items:center;flex-wrap:wrap;gap:7px;min-height:28px;color:var(--text-secondary);font-size:12px}.session-line strong{color:var(--text-primary)}.roadmap-mini{display:grid;gap:6px;border:1px solid var(--border);border-radius:6px;padding:8px;background:var(--bg-secondary)}.task-meta{justify-content:flex-start}.task-files{display:flex;flex-wrap:wrap;gap:5px;color:var(--text-secondary)}.task-files code{padding:2px 5px;border:1px solid var(--border);border-radius:4px;background:var(--bg-primary);font-size:11px}.roadmap-mini{grid-template-columns:minmax(0,1fr) auto;align-items:start}.roadmap-mini-main{display:grid;gap:5px;min-width:0}.roadmap-mini-title,.roadmap-mini-projects{display:flex;align-items:center;flex-wrap:wrap;gap:6px;min-width:0}.roadmap-mini-title strong{min-width:0}.roadmap-mini-projects .badge{background:var(--bg-primary)}.roadmap-mini p{grid-column:1 / -1;margin:0;color:var(--text-secondary)}.roadmap-body,.blueprint-body{display:grid;gap:10px;padding:10px}.roadmap-body p,.blueprint-body p{margin:0;white-space:pre-wrap}.roadmap-fields{display:flex;flex-wrap:wrap;align-items:baseline;gap:6px 18px}.field-chips{display:flex;flex-wrap:wrap;align-items:baseline;gap:4px}.field-chips>span:first-child{color:var(--text-secondary);font-size:11px;font-weight:700;text-transform:uppercase}.item-meta{display:flex;flex-wrap:wrap;align-items:center;gap:4px 10px;color:var(--text-secondary);font-size:12px;margin-bottom:6px}.item-meta>span:first-child{font-family:var(--font-mono);font-weight:700;color:var(--text-primary)}.roadmap-activity-time{margin-left:auto;color:var(--text-secondary);font-size:11px;white-space:nowrap}.comment-tag{font-size:10px;text-transform:uppercase;letter-spacing:.04em;font-weight:700;color:#6d28d9;background:#f5f3ff;border:1px solid #ddd6fe;border-radius:999px;padding:0 6px}.audience-chip{font-weight:600;color:#0e7490;background:#ecfeff;border:1px solid #a5f3fc;border-radius:999px;padding:0 6px}.metadata-block{margin:0;padding:8px;border:1px solid var(--border);border-radius:5px;background:var(--bg-secondary);overflow-x:auto}.page-controls{display:flex;justify-content:space-between;gap:12px;align-items:center}.segmented{display:flex;flex-wrap:wrap;gap:2px;padding:2px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary)}.segmented button{border:0;border-radius:4px;background:transparent;color:var(--text-secondary)}.segmented button.active{background:var(--bg-primary);color:var(--accent-text);box-shadow:inset 0 0 0 1px var(--accent-ring)}.composer{display:grid;gap:8px;padding:10px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary)}.composer-row{display:grid;grid-template-columns:130px minmax(140px,1fr) auto;gap:8px;align-items:center}.local-create{border:1px solid var(--border);border-radius:6px;background:var(--bg-primary)}.local-create summary{cursor:pointer;padding:8px 10px;font-weight:650;color:var(--text-primary)}.local-create .composer{margin:0 10px 10px}.roadmap-add-inline{margin-left:auto}.roadmap-editor-shell{padding:12px;border-block:1px solid var(--border);background:var(--bg-secondary)}.roadmap-editor{display:grid;gap:12px;min-width:0}.roadmap-editor-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;min-width:0}.roadmap-editor label,.roadmap-editor-summary{display:grid;gap:5px;min-width:0;color:var(--text-secondary);font-size:11px;font-weight:650;letter-spacing:0}.roadmap-editor label>input,.roadmap-editor label>select,.roadmap-editor label>textarea{width:100%}.roadmap-editor-wide{grid-column:span 2}.roadmap-project-field{min-width:0;margin:0;padding:8px 0 0;border:0;border-top:1px solid var(--border)}.roadmap-project-field legend{padding:0 8px 0 0;color:var(--text-secondary);font-size:11px;font-weight:650}.roadmap-editor-advanced{border-top:1px solid var(--border);padding-top:8px}.roadmap-editor-advanced>summary{width:fit-content;margin-bottom:10px;color:var(--text-secondary);cursor:pointer;font-size:12px;font-weight:650}.roadmap-editor-actions,.roadmap-row-actions{display:flex;align-items:center;justify-content:flex-end;gap:7px}.roadmap-editor-error{color:var(--red);font-size:11px}.roadmap-row-actions{flex:none}.roadmap-edit-action{padding:3px 5px}.roadmap-item-fields{padding-block:8px;border-block:1px solid var(--border)}.conversation-create{border-color:color-mix(in srgb,#0f766e 36%,var(--border))}.conversation-create summary{color:#0f766e}.team-presence{display:grid;grid-template-columns:150px minmax(0,1fr);margin:10px 0;border-block:1px solid var(--border);background:var(--bg-secondary)}.team-presence-heading{display:flex;align-items:center;gap:7px;padding:9px 10px;color:var(--text-secondary);font-size:12px}.team-presence-heading strong{color:var(--text-primary)}.team-presence-heading span{display:grid;place-items:center;min-width:18px;height:18px;padding:0 5px;border-radius:9px;color:#0f766e;background:color-mix(in srgb,#0f766e 10%,var(--bg-primary));font-size:10px;font-weight:700}.team-presence-list{min-width:0;border-left:1px solid var(--border)}.team-presence-row{display:grid;grid-template-columns:9px auto auto minmax(120px,1fr) minmax(80px,auto) auto;gap:8px;align-items:center;min-width:0;padding:6px 10px;border-bottom:1px solid var(--border);font-size:11px}.team-presence-row:last-child{border-bottom:0}.team-live-dot{width:7px;height:7px;border-radius:50%;background:var(--green);box-shadow:0 0 0 3px color-mix(in srgb,var(--green) 12%,transparent)}.team-run{color:var(--text-secondary);font-family:var(--font-mono);white-space:nowrap}.team-presence-row>strong{min-width:0;overflow:hidden;color:var(--text-primary);text-overflow:ellipsis;white-space:nowrap}.team-projects{min-width:0;overflow:hidden;color:var(--text-muted);text-overflow:ellipsis;white-space:nowrap}.team-presence-row button{padding:3px 8px;color:#0f766e;background:var(--bg-primary)}.conversation-recipients{min-width:0;margin:0;padding:8px;border:1px solid var(--border);border-radius:5px}.conversation-recipients legend{padding:0 5px;color:var(--text-muted);font-size:11px;font-weight:650}.conversation-recipient-options{display:grid;grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:5px}.conversation-recipient-options label{display:grid;grid-template-columns:auto minmax(0,1fr);column-gap:6px;align-items:center;min-width:0;padding:5px 7px;border:1px solid var(--border);border-radius:5px;color:var(--text-secondary);background:var(--bg-primary);cursor:pointer}.conversation-recipient-options label.selected{border-color:color-mix(in srgb,#0f766e 48%,var(--border));background:color-mix(in srgb,#0f766e 6%,var(--bg-primary))}.conversation-recipient-options input{grid-row:1 / span 2;margin:0}.conversation-recipient-options span{min-width:0;overflow:hidden;color:var(--text-primary);font-size:11.5px;text-overflow:ellipsis;white-space:nowrap}.conversation-recipient-options small{min-width:0;overflow:hidden;color:var(--text-muted);font-size:10px;text-overflow:ellipsis;white-space:nowrap}.inbox-topbar{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:10px;align-items:center}.inbox-searchbar{display:flex;min-width:0}.inbox-searchbar input{width:100%}.inbox-filterbar,.filter-stack{display:flex;flex-direction:column;gap:6px;min-width:0}.inbox-filterbar{grid-column:1 / -1}.filter-stack{margin-bottom:10px}.notice{padding:8px 10px;border-radius:6px;border:1px solid var(--border);background:var(--bg-secondary);color:var(--text-secondary)}.notice.info{border-color:#bfdbfe;background:#eff6ff;color:#1d4ed8}.notice.error{border-color:#fecaca;background:#fef2f2;color:#b91c1c}.notice.warning{border-color:#fed7aa;background:#fff7ed;color:#9a3412}.inbox-list{display:flex;flex-direction:column;gap:0;border:1px solid var(--border);border-radius:6px;overflow:hidden;background:var(--bg-primary)}.inbox-empty{padding:12px 14px}.day-group{display:flex;flex-direction:column;gap:6px;min-width:0}.day-heading{display:flex;align-items:baseline;justify-content:space-between;gap:8px;padding:4px 2px;color:var(--text-secondary)}.day-heading h3{margin:0;font-size:11px;font-weight:750;text-transform:uppercase;letter-spacing:.05em}.day-heading span{font-family:var(--font-mono);font-size:10.5px;color:var(--text-muted)}.inbox-day-group{gap:0}.inbox-day-group+.inbox-day-group{border-top:1px solid var(--border)}.inbox-day-group .day-heading{padding:8px 12px;background:var(--bg-secondary);border-bottom:1px solid var(--border)}.inbox-day-group .inbox-item:last-child{border-bottom:0}.inbox-item{padding:10px 12px;border-bottom:1px solid var(--border);border-left:4px solid transparent;background:var(--bg-primary)}.inbox-item:last-child{border-bottom:0}.inbox-item.source-local{border-left-color:var(--accent)}.inbox-item.source-github{border-left-color:#24292f}.inbox-item.source-ground{border-left-color:#93c5fd}.inbox-item.source-horizon{border-left-color:#facc15}.inbox-item:hover{background:var(--bg-secondary)}.inbox-item-content{min-width:0}.issue-title-line{display:flex;align-items:center;justify-content:space-between;gap:7px;min-width:0;cursor:pointer}.issue-title-main{display:flex;align-items:flex-start;gap:7px;min-width:0;flex:1 1 auto}.issue-title-stack{display:flex;flex-direction:column;gap:5px;min-width:0;flex:1 1 auto}.issue-quick-meta{display:flex;align-items:center;flex-wrap:wrap;gap:5px;min-width:0}.owner-shared-chip{color:var(--text-muted);font-size:10px;font-style:italic}.issue-title-actions{display:flex;align-items:center;gap:6px;flex:0 0 auto}.comment-count{font-size:11px;font-weight:700;color:var(--text-secondary);background:var(--bg-tertiary);border:1px solid var(--border);border-radius:999px;padding:0 7px;min-width:18px;text-align:center}.issue-body{display:flex;flex-direction:column;gap:6px;margin-top:8px}.source-mark{width:20px;height:20px;border-radius:50%;display:inline-flex;align-items:center;justify-content:center;flex:0 0 auto;font-size:10px;font-weight:800;line-height:1}.source-mark.github{color:#24292f;background:#fff;box-shadow:inset 0 0 0 1px #d0d7de}.source-mark.local{color:var(--accent-text);background:var(--accent-bg);box-shadow:inset 0 0 0 1px var(--accent-ring)}.source-mark svg{width:12px;height:12px;fill:currentColor;overflow:visible}.issue-title{color:var(--text-primary);font-weight:650;font-size:14px;flex:1 1 auto;min-width:0;max-width:100%;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.issue-title:hover{color:var(--blue);text-decoration:none}.task-card[open] .task-title strong,.roadmap-card[open] .roadmap-title strong,.inbox-item.expanded .issue-title{white-space:normal;overflow:visible;text-overflow:clip;overflow-wrap:anywhere}.button-reset{border:0;padding:0;background:transparent;cursor:pointer;text-align:left}.button-reset:hover{background:transparent}.tree-toggle{display:inline-flex;align-items:center;gap:2px;min-width:20px;flex:none;justify-content:center;margin-top:8px;color:var(--text-secondary, #64748b);font-size:12px;line-height:1}.tree-toggle:hover{color:var(--blue)}.tree-toggle-count{font-size:10px;font-weight:600}.tree-toggle-spacer{width:20px;flex:none}.tag-chip,.type-chip,.source-chip,.chip-select,.priority-chip{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.type-chip,.source-chip,.chip-select{display:inline-flex;align-items:center;padding:1px 6px;border-radius:999px;border:1px solid var(--tag-border);background:var(--tag-bg);color:var(--tag-fg);font-size:11px;font-weight:600;white-space:nowrap;flex:none}.chip-select{-webkit-appearance:none;-moz-appearance:none;appearance:none;min-width:0;height:23px;padding:1px 8px;cursor:pointer;text-align:center;text-align-last:center;line-height:19px}.chip-select.type{width:92px}.chip-select.state{width:72px}.chip-select.gate{width:88px}.chip-select.priority{width:74px;text-transform:uppercase;font-size:10px;letter-spacing:.03em}.chip-select.priority.priority-urgent{color:var(--tag-red-fg);background:var(--tag-red-bg);border-color:var(--tag-red-border)}.chip-select.priority.priority-high{color:var(--tag-orange-fg);background:var(--tag-orange-bg);border-color:var(--tag-orange-border)}.chip-select.priority.priority-normal{color:var(--tag-blue-fg);background:var(--tag-blue-bg);border-color:var(--tag-blue-border)}.chip-select.priority.priority-low{color:var(--tag-slate-fg);background:var(--tag-slate-bg);border-color:var(--tag-slate-border)}.chip-select.state.open{color:var(--tag-green-fg);background:var(--tag-green-bg);border-color:var(--tag-green-border)}.chip-select.state.active,.chip-select.state.running,.chip-select.state.queued{color:var(--tag-blue-fg);background:var(--tag-blue-bg);border-color:var(--tag-blue-border)}.chip-select.state.pending,.chip-select.state.draft,.chip-select.state.interrupted{color:var(--tag-amber-fg);background:var(--tag-amber-bg);border-color:var(--tag-amber-border)}.chip-select.state.blocked{color:var(--tag-orange-fg);background:var(--tag-orange-bg);border-color:var(--tag-orange-border)}.chip-select.state.failed,.chip-select.state.rejected,.chip-select.state.cancelled{color:var(--tag-red-fg);background:var(--tag-red-bg);border-color:var(--tag-red-border)}.chip-select.state.done,.chip-select.state.applied{color:var(--tag-green-fg);background:var(--tag-green-bg);border-color:var(--tag-green-border)}.chip-select.state.completed,.chip-select.state.closed,.chip-select.state.archived{color:var(--tag-slate-fg);background:var(--tag-slate-bg);border-color:var(--tag-slate-border)}.chip-select.gate.accept{color:var(--tag-green-fg);background:var(--tag-green-bg);border-color:var(--tag-green-border)}.chip-select.gate.pending{color:var(--tag-orange-fg);background:var(--tag-orange-bg);border-color:var(--tag-orange-border)}.chip-select.gate.reject{color:var(--tag-red-fg);background:var(--tag-red-bg);border-color:var(--tag-red-border)}.chip-select.gate.clear{color:var(--tag-slate-fg);background:var(--tag-slate-bg);border-color:var(--tag-slate-border)}.chip-select.type{color:var(--tag-fg);background:var(--tag-bg);border-color:var(--tag-border)}.type-chip.type-hint,.chip-select.type.hint{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.type-chip.type-issue,.chip-select.type.issue{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.type-chip.type-protection,.chip-select.type.protection{--tag-fg: var(--tag-purple-fg);--tag-bg: var(--tag-purple-bg);--tag-border: var(--tag-purple-border)}.type-chip.type-conversation,.chip-select.type.conversation{--tag-fg: #0f766e;--tag-bg: #f0fdfa;--tag-border: #99f6e4}.type-chip.type-info,.chip-select.type.info{--tag-fg: var(--tag-cyan-fg);--tag-bg: var(--tag-cyan-bg);--tag-border: var(--tag-cyan-border)}.type-chip.type-memory,.chip-select.type.memory{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.type-chip.type-roadmap{--tag-fg: var(--tag-green-fg, #166534);--tag-bg: var(--tag-green-bg, #f0fdf4);--tag-border: var(--tag-green-border, #bbf7d0)}.chip-select option{background:#fff;color:var(--text-primary);text-align:center}.chip-select option.kind-hint{color:#475569;background:#f8fafc}.chip-select option.kind-issue{color:#1d4ed8;background:#eff6ff}.chip-select option.kind-protection{color:#6d28d9;background:#f5f3ff}.chip-select option.kind-conversation{color:#0f766e;background:#f0fdfa}.chip-select option.kind-memory{color:#b45309;background:#fffbeb}.chip-select option.kind-info{color:#0e7490;background:#ecfeff}.chip-select option.gate-pending{color:#c2410c;background:#fff7ed}.chip-select option.gate-reject{color:#b91c1c;background:#fef2f2}.chip-select option.state-open,.chip-select option.gate-accept{color:#047857;background:#ecfdf5}.chip-select option.state-completed,.chip-select option.state-closed,.chip-select option.state-archived,.chip-select option.gate-clear{color:#475569;background:#f8fafc}.source-chip.local{--tag-fg: var(--accent-text);--tag-bg: var(--accent-bg);--tag-border: var(--accent-ring)}.source-chip.github{--tag-fg: #24292f;--tag-bg: #fff;--tag-border: #d0d7de}.issue-meta-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:1px;margin:2px 0 2px 27px;overflow:hidden;border:1px solid var(--border);border-radius:6px;background:var(--border)}.issue-meta-grid>div{display:grid;grid-template-columns:68px minmax(0,1fr);gap:7px;padding:6px 8px;min-width:0;background:var(--bg-secondary);color:var(--text-secondary);font-size:11px}.issue-meta-grid strong{color:var(--text-muted);font-weight:650}.issue-meta-grid span{min-width:0;overflow-wrap:anywhere}.issue-meta-grid .tag-chip{max-width:100%;overflow:hidden;text-overflow:ellipsis}.issue-meta-grid .issue-meta-source{grid-column:1 / -1}.provenance-text{min-width:0;color:var(--text-secondary);font-family:var(--font-mono);overflow-wrap:anywhere;word-break:break-word}.meta-button{border:0;background:transparent;color:var(--blue);padding:0;font-weight:500}.meta-button:hover{background:transparent;text-decoration:underline}.issue-details{margin:8px 0 0 16px;display:grid;gap:8px}.comment-thread{display:grid;gap:8px}.comment-thread-title{color:var(--text-secondary);font-size:12px;font-weight:700;text-transform:uppercase;letter-spacing:.04em}.comment-item{border:1px solid var(--border);border-radius:6px;background:var(--bg-primary);overflow:hidden}.comment-header{display:flex;align-items:center;flex-wrap:wrap;gap:8px;padding:6px 8px;background:var(--bg-secondary);border-bottom:1px solid var(--border);color:var(--text-secondary);font-size:12px}.comment-header strong{color:var(--text-primary)}.comment-header .text-action{margin-left:auto}.comment-body{padding:8px;white-space:pre-wrap;overflow-wrap:anywhere}.description-comment{margin:8px 0 0 16px}.comment-thread .description-comment{margin:0}.history-row{display:flex;align-items:center;flex-wrap:wrap;gap:8px;padding:2px 8px 2px 4px;font-size:12px;color:var(--text-secondary)}.history-row .history-text{flex:1 1 auto;min-width:0;overflow-wrap:anywhere}.history-row .history-text strong{color:var(--text-primary);font-weight:650}.history-row time{color:var(--text-muted);font-size:11px;white-space:nowrap;flex:none}.history-row .provenance-chip{max-width:100%;overflow:hidden;text-overflow:ellipsis}.history-dot{width:6px;height:6px;border-radius:50%;background:var(--border-strong, #cbd5e1);flex:none}.text-action{border:0;background:transparent;color:var(--blue);padding:0;font-size:12px;font-weight:600}.text-action:hover{background:transparent;text-decoration:underline}.inline-edit{display:grid;gap:8px;padding:8px}.inline-edit-actions{display:flex;gap:6px;justify-content:flex-end}.comment-box{display:grid;gap:6px;margin:8px 0 0 16px;align-items:start}.comment-box.local{grid-template-columns:210px minmax(0,1fr) auto}.comment-box.github{grid-template-columns:minmax(0,1fr) auto}.icon-danger{color:var(--red);border-color:#fecaca;background:#fef2f2;padding:3px 6px;font-size:11px;flex:0 0 auto;justify-self:end;display:inline-flex;align-items:center;justify-content:center}.icon-danger .trash-icon{width:14px;height:14px;fill:currentColor;display:block}input,select,textarea{background:var(--bg-primary);border:1px solid var(--border);border-radius:5px;padding:6px 9px;color:var(--text-primary);min-width:0}textarea{resize:vertical;line-height:1.4}input:focus,select:focus,textarea:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-bg)}.check-label{display:inline-flex;gap:6px;align-items:center;color:var(--text-secondary);white-space:nowrap}button{border:1px solid var(--border-strong);background:var(--bg-primary);color:var(--text-primary);padding:5px 9px;border-radius:5px;cursor:pointer;font-weight:550}button:hover{background:var(--bg-secondary)}button:disabled{cursor:not-allowed;color:var(--text-muted);background:var(--bg-tertiary)}button.primary{background:var(--accent);border-color:var(--accent);color:#fff}button.primary:hover{background:var(--accent-text)}button.danger{color:var(--red)}.comment-box textarea{height:32px;min-height:32px;padding-top:5px;padding-bottom:5px}.comment-box button{align-self:start;height:32px;padding:5px 10px;white-space:nowrap}.dag-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:8px}.dag-card{border:1px solid var(--border);border-radius:6px;padding:9px;background:var(--bg-secondary);min-width:0}.dag-title{display:flex;align-items:center;justify-content:space-between;gap:8px}.dag-kind{color:var(--text-secondary);font-size:12px;margin-top:4px}.dag-deps{color:var(--text-muted);font-size:12px;margin-top:6px;overflow-wrap:anywhere}.transcripts-page{display:grid;grid-template-columns:320px minmax(0,1fr);gap:16px;height:calc(100vh - 86px);max-width:none}.sidebar{border:1px solid var(--border);border-radius:8px;background:var(--bg-secondary);padding:12px;overflow:auto}.sidebar h2{margin:0 0 10px;font-size:14px}.source-mark{flex-shrink:0;font-weight:700;font-size:11px;height:16px;width:16px;display:flex;align-items:center;justify-content:center;border-radius:50%}.source-mark svg{width:12px;height:12px}.source-mark.github{fill:#24292f}.source-mark.local{background:var(--accent-bg);color:var(--accent-text);border:1px solid var(--accent-ring);font-size:10px}.source-mark.ground{background:#93c5fd;color:#1e3a8a;border:none;font-size:10px}.source-mark.horizon{background:#facc15;color:#1e293b;border:none;font-size:10px}.session-list button{width:100%;text-align:left;background:var(--bg-primary);overflow-wrap:anywhere}.session-list button.active{color:var(--accent-text);background:var(--accent-bg);border-color:var(--accent-ring)}.transcript-viewer{border:1px solid var(--border);border-radius:8px;overflow:auto;background:linear-gradient(180deg,#f8fafceb,#fff 34px),var(--bg-primary);overflow-anchor:auto;box-shadow:0 1px 2px #0f172a0a}.log-lines,.log-lines .log-line{overflow-anchor:auto}.transcript-heading{position:sticky;top:0;z-index:2;margin:0}.transcript-headline{display:flex;flex-direction:column;gap:4px}.transcript-title-row{display:flex;align-items:center;gap:8px}.transcript-title-row h2{margin:0}.transcript-meta-row{display:flex;flex-wrap:wrap;gap:6px}.transcript-meta-chip{font-size:11px;padding:2px 8px;border-radius:10px;background:var(--bg-tertiary);color:var(--text-secondary);white-space:nowrap}.transcript-meta-chip strong{color:var(--text-primary);font-weight:700}.transcript-ref{margin:2px 0 0;font-family:var(--font-mono);font-size:10.5px;color:var(--text-muted);word-break:break-all}.subagent-sublog{margin:8px 12px;border:1px solid #a78bfa;border-left-width:4px;border-radius:6px;background:var(--bg-secondary)}.subagent-sublog>summary{display:flex;align-items:center;gap:8px;cursor:pointer;padding:8px 12px;font-size:12px;color:var(--text-secondary);list-style:revert}.subagent-sublog>summary:hover{color:var(--text-primary)}.subagent-name{font-weight:700;color:var(--text-primary)}.subagent-model{font-size:10.5px;font-weight:600;color:#6d28d9;background:#f5f3ff;border:1px solid #ddd6fe;border-radius:999px;padding:0 6px;white-space:nowrap}.subagent-count{margin-left:auto;font-size:10.5px;font-weight:600;color:var(--text-muted)}.subagent-lifecycle-card{display:flex;align-items:center;gap:10px;min-height:38px;padding:7px 10px;border:1px solid color-mix(in srgb,#7c3aed 30%,var(--border));border-radius:6px;background:color-mix(in srgb,#7c3aed 5%,var(--bg-secondary))}.subagent-lifecycle-card.ended{border-color:color-mix(in srgb,#15803d 30%,var(--border));background:color-mix(in srgb,#15803d 5%,var(--bg-secondary))}.subagent-lifecycle-glyph{display:grid;place-items:center;width:22px;height:22px;flex:0 0 22px;border-radius:50%;color:#7c3aed;background:color-mix(in srgb,#7c3aed 12%,transparent);font-weight:800}.subagent-lifecycle-card.ended .subagent-lifecycle-glyph{color:#15803d;background:color-mix(in srgb,#15803d 12%,transparent)}.subagent-lifecycle-main{display:flex;flex-direction:column;min-width:0;gap:1px}.subagent-lifecycle-main strong{color:var(--text-primary);font-size:12px}.subagent-lifecycle-main>span{color:var(--text-secondary);font-size:11px}.subagent-lifecycle-main small{color:var(--text-muted);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:70ch}.subagent-lifecycle-meta{display:flex;align-items:center;gap:5px;margin-left:auto;flex-wrap:wrap;justify-content:flex-end}.subagent-lifecycle-meta span{padding:1px 6px;border:1px solid var(--border);border-radius:999px;color:var(--text-secondary);background:var(--bg-primary);font-size:10.5px;white-space:nowrap}.workflow-progress-card{display:flex;align-items:center;gap:10px;min-width:0;min-height:42px;padding:8px 10px;border:1px solid color-mix(in srgb,#0f766e 34%,var(--border));border-radius:6px;background:color-mix(in srgb,#0f766e 5%,var(--bg-secondary))}.workflow-progress-card.terminal{border-color:color-mix(in srgb,#15803d 32%,var(--border))}.workflow-progress-card.has-errors{border-color:color-mix(in srgb,var(--red) 42%,var(--border))}.workflow-progress-glyph{display:grid;place-items:center;width:22px;height:22px;flex:0 0 22px;border-radius:50%;color:#0f766e;background:color-mix(in srgb,#0f766e 12%,transparent);font-weight:800}.workflow-progress-main{display:flex;flex:1 1 260px;flex-direction:column;gap:3px;min-width:0}.workflow-progress-title{display:flex;align-items:baseline;gap:8px;min-width:0}.workflow-progress-title strong{overflow:hidden;color:var(--text-primary);font-size:12px;text-overflow:ellipsis;white-space:nowrap}.workflow-progress-title>span{flex-shrink:0;color:var(--text-secondary);font-size:11px;font-variant-numeric:tabular-nums}.workflow-progress-main small{overflow:hidden;max-width:90ch;color:var(--text-muted);font-size:10.5px;text-overflow:ellipsis;white-space:nowrap}.workflow-progress-track{width:min(420px,100%);height:3px;overflow:hidden;border-radius:2px;background:color-mix(in srgb,#0f766e 14%,var(--bg-tertiary))}.workflow-progress-track span{display:block;height:100%;border-radius:inherit;background:#0f766e}.workflow-progress-meta{display:flex;align-items:center;justify-content:flex-end;gap:5px;margin-left:auto;flex-wrap:wrap}.workflow-progress-meta span{padding:1px 6px;border:1px solid var(--border);border-radius:999px;color:var(--text-secondary);background:var(--bg-primary);font-size:10.5px;white-space:nowrap}.workflow-progress-meta .workflow-error-count{color:var(--red);border-color:color-mix(in srgb,var(--red) 35%,var(--border))}.sublog-lines{padding-bottom:4px}.transcript-viewer.role-subagent .log-line,.subagent-sublog .log-line{border-left:3px solid #a78bfa;padding-left:9px}.transcript-empty{padding:16px}.ev{border-left:3px solid var(--border-strong);padding:8px 10px;margin:8px 12px;background:var(--bg-secondary);border-radius:0 6px 6px 0}.ev .k{display:block;font-size:10px;text-transform:uppercase;color:var(--text-muted);font-weight:700;margin-bottom:6px}.ev pre{margin:0;padding:8px;border-radius:5px;background:var(--bg-primary);border:1px solid var(--border);overflow-x:auto;white-space:pre-wrap}.ev.thinking{border-color:var(--purple)}.ev.text{border-color:var(--blue)}.ev.tool_call{border-color:var(--orange)}.ev.error{border-color:var(--red)}.ev-head{display:flex;align-items:baseline;gap:6px;width:100%;text-align:left}.ev-head .k{margin-bottom:0}.ev-caret{color:var(--text-muted);font-size:10px;flex-shrink:0}.ev-preview{font-size:11px;color:var(--text-muted);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-family:var(--font-mono)}.project-picker-select{display:inline-flex;align-items:center;gap:8px;font-size:12px;color:var(--text-muted)}.project-picker-select select{padding:4px 8px;border:1px solid var(--border);border-radius:6px;background:var(--bg-primary);color:var(--text-primary);font-size:13px}.project-picker-count{font-size:11px;color:var(--text-muted)}.lean-file-row{display:flex;align-items:center;gap:6px;width:100%;text-align:left;padding:3px 8px;font-size:12px;font-family:var(--font-mono);color:var(--text-secondary);background:none;border:none;cursor:pointer;border-radius:4px}.lean-file-row:hover{background:var(--bg-tertiary)}.lean-file-row.active{background:var(--blue);color:#fff}.lean-file-row.active .lean-file-dot,.lean-file-row.active .lean-file-sorry{color:#fff}.lean-file-name{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;flex:1}.lean-file-dot{flex-shrink:0;font-size:9px}.lean-file-row.has-sorry{color:#b91c1c}.lean-file-row.has-sorry .lean-file-dot{color:#dc2626}.lean-file-row.no-sorry .lean-file-dot{color:#16a34a}.lean-file-sorry{flex-shrink:0;font-size:10px;font-weight:700;color:#dc2626;background:#dc26261a;border-radius:8px;padding:0 5px}.lean-source{margin:0;padding:10px 0;font-family:var(--font-mono);font-size:12.5px;line-height:1.55}.lean-source-line{display:flex;padding:0 8px}.lean-source-line.has-sorry{background:#cb243114}.lean-source-line.flash{background:#2563eb29;transition:background .6s ease}.lean-gutter{flex-shrink:0;width:44px;padding-right:12px;text-align:right;color:var(--text-muted);user-select:none;-webkit-user-select:none}.lean-line-text{white-space:pre}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--border-strong);border-radius:4px;border:2px solid transparent;background-clip:content-box}::-webkit-scrollbar-thumb:hover{background:var(--text-muted);background-clip:content-box}@media (max-width: 900px){.header{align-items:flex-start;gap:10px;flex-wrap:wrap}.header-nav{width:100%}.overview-grid,.split-layout,.transcripts-page,.inbox-topbar,.inbox-searchbar,.inbox-item,.composer-row,.run-card summary,.roadmap-card summary,.blueprint-node summary,.roadmap-fields,.roadmap-mini{grid-template-columns:1fr}.transcripts-page{height:auto}.hero-strip{align-items:flex-start;flex-direction:column}.run-meta{justify-content:flex-start}.page-controls{align-items:flex-start;flex-direction:column}.inbox-actions,.comment-box.local,.comment-box.github,.team-presence{grid-template-columns:1fr}.team-presence-list{border-top:1px solid var(--border);border-left:0}.team-presence-row{display:flex;flex-wrap:wrap}.team-presence-row>strong{flex:1 1 150px}.team-projects{display:none}.team-presence-row button{margin-left:auto}.actions-cell{white-space:normal}}.markdown-body{font-family:inherit;line-height:1.5;color:var(--text-main)}.markdown-body p,.markdown-body ul,.markdown-body ol{margin-top:0;margin-bottom:.75rem}.markdown-body pre{background:var(--bg-hover);padding:.5rem;border-radius:4px;overflow-x:auto}.markdown-body code{background:var(--accent-bg);color:var(--accent-text);box-shadow:inset 0 0 0 1px var(--accent-ring);padding:.1em .35em;border-radius:4px;font-family:var(--font-mono)}.markdown-body pre code{background:none;padding:0}.author-tag{font-size:.8rem;color:var(--text-muted);background:var(--bg-hover);padding:.1rem .4rem;border-radius:4px;white-space:nowrap;flex:0 0 auto}.agent-tag{color:var(--text-secondary);font-weight:600}.conversation-chip{padding:1px 6px;border:1px solid color-mix(in srgb,#0f766e 32%,var(--border));border-radius:4px;color:#0f766e;background:color-mix(in srgb,#0f766e 7%,var(--bg-primary));font-size:10.5px;font-weight:650;white-space:nowrap}.conversation-unread-chip{padding:1px 6px;border:1px solid color-mix(in srgb,#b45309 38%,var(--border));border-radius:4px;color:#92400e;background:color-mix(in srgb,#f59e0b 10%,var(--bg-primary));font-size:10.5px;font-weight:700;white-space:nowrap}.recipient-summary{min-width:0;max-width:42ch;overflow:hidden;color:var(--text-muted);font-size:10.5px;text-overflow:ellipsis;white-space:nowrap}.provenance-chip{font-size:.72rem;color:var(--text-muted);background:var(--bg-tertiary);border:1px solid var(--border);padding:.05rem .4rem;border-radius:999px;white-space:nowrap;flex:none;font-family:var(--font-mono)}.provenance-missing{color:var(--text-muted);font-size:10.5px;font-style:italic;white-space:nowrap}.filters{display:flex;gap:.5rem;margin-bottom:1rem}.run-sessions-tree{margin-top:6px;padding-left:0}.transcript-run-group{margin-bottom:1rem}.run-header{font-size:1rem;margin:0;display:flex;align-items:center;gap:.5rem}.selectable-tree .session-line{padding:.2rem .5rem;border-radius:4px}.selectable-tree .session-line:hover{background:var(--bg-hover)}.selectable-tree .session-line.active{background:var(--blue-bg);color:var(--blue)}.inline-md{display:inline}.inline-md p{display:inline;margin:0}.inline-md code{font-family:var(--font-mono);font-size:.92em;background:var(--accent-bg);color:var(--accent-text);box-shadow:inset 0 0 0 1px var(--accent-ring);padding:1px 5px;border-radius:4px}.status-icon{display:inline-flex;align-items:center;justify-content:center;width:16px;height:16px;font-size:12px;font-weight:700;flex-shrink:0}.status-icon.ok{color:var(--green)}.status-icon.fail{color:var(--red)}.status-icon.run{width:12px;height:12px;border:2px dotted var(--blue);border-radius:50%;animation:spin 1.4s linear infinite;transform-origin:50% 50%}.status-icon.interrupted{color:#64748b}.status-icon.timed-out,.status-icon.throttled{color:var(--orange)}.status-icon.idle{color:var(--text-muted)}@keyframes spin{to{transform:rotate(360deg)}}.session-node{font-size:12px}.selectable-tree .session-line{display:flex;align-items:center;gap:4px;padding:3px 6px;border-radius:5px;background:var(--bg-primary);border-left:3.5px solid transparent;box-shadow:inset 0 0 0 1px var(--border);margin-bottom:3px;transition:background .1s ease,box-shadow .1s ease}.selectable-tree .session-line:hover{background:var(--bg-tertiary);box-shadow:inset 0 0 0 1px var(--border-strong)}.selectable-tree .session-line.active{background:#eff6ff;box-shadow:inset 0 0 0 1px #bfdbfe}.selectable-tree .session-line.active .session-main strong{color:var(--blue)}.selectable-tree .session-main{flex:1;min-width:0}.session-list button.session-main,.selectable-tree button.session-main{width:auto;flex:1;display:flex;flex-direction:column;align-items:stretch;gap:1px;min-width:0;background:none;border:none;padding:3px 2px}.session-list button.session-main:hover{background:none}.session-row1{display:flex;align-items:center;gap:6px;min-width:0}.session-row1 strong{color:var(--text-primary);font-weight:600;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:12px}.session-row2{display:flex;flex-wrap:wrap;gap:4px;color:var(--text-muted);font-size:10px;font-variant-numeric:tabular-nums;padding-left:22px}.session-row2 .model-chip{color:#6d28d9;background:#f5f3ff;box-shadow:inset 0 0 0 1px #ddd6fe;text-transform:lowercase;letter-spacing:.2px}.session-row2 .effort-chip{color:#b45309;background:#fffbeb;box-shadow:inset 0 0 0 1px #fde68a;text-transform:lowercase;letter-spacing:.2px}.session-role{color:var(--text-muted);font-style:italic;font-size:11px}.session-tag{color:var(--text-muted);font-size:10.5px;font-variant-numeric:tabular-nums;white-space:nowrap}.session-children{margin-left:12px;padding-left:6px}.meta-chip{display:inline-flex;align-items:center;width:fit-content;max-width:100%;padding:1px 6px;border-radius:999px;background:var(--bg-tertiary);color:var(--text-secondary);box-shadow:inset 0 0 0 1px var(--border);white-space:nowrap;font-size:10px;line-height:16px;font-variant-numeric:tabular-nums}.meta-chip.muted{color:var(--text-muted)}.meta-chip.cost{color:#047857;background:#ecfdf5;box-shadow:inset 0 0 0 1px #a7f3d0}.meta-chip.task-chip{color:#1d4ed8;background:#eff6ff;box-shadow:inset 0 0 0 1px #bfdbfe;text-decoration:none;font-weight:650}.meta-chip.task-chip:hover{color:#1e40af;background:#dbeafe;text-decoration:none}.selectable-tree .session-line{padding-left:4px}.session-line.role-ground{border-left-color:#93c5fd}.session-line.role-horizon{border-left-color:#facc15}.session-line.role-publish{border-left-color:#94a3b8}.session-line.role-subagent{border-left-color:#c4b5fd}.session-line.role-system{border-left-color:#cbd5e1}.role-badge{flex-shrink:0;width:16px;height:16px;border-radius:4px;display:inline-flex;align-items:center;justify-content:center;font-size:10px;font-weight:700;color:#1e293b;line-height:1}.role-badge.role-ground{background:#93c5fd}.role-badge.role-horizon{background:#facc15}.role-badge.role-publish{background:#94a3b8;color:#fff}.role-badge.role-subagent{background:#c4b5fd}.role-badge.role-system{background:#cbd5e1;color:#1e293b}.transcript-run-group{margin-bottom:4px}.run-header{display:flex;align-items:center;flex-wrap:wrap;gap:6px;width:100%;min-width:0;padding:6px 8px;font-size:13px;border-radius:6px;background:var(--bg-secondary);box-shadow:inset 0 0 0 1px var(--border);color:var(--text-primary);margin-bottom:4px;transition:background .15s ease,box-shadow .15s ease;cursor:pointer}.run-header:hover{background:var(--bg-tertiary);box-shadow:inset 0 0 0 1px var(--border-strong)}.run-header:focus-visible{outline:none;box-shadow:inset 0 0 0 1px var(--border-strong),0 0 0 2px #3b82f638}.run-header strong{font-weight:700;white-space:nowrap;font-variant-numeric:tabular-nums;color:var(--text-primary)}.run-header .session-tag{margin-left:0;color:var(--text-muted)}.run-header .ev-caret{color:var(--text-muted);font-size:10px}.run-header .meta-chip{background:#6366f121;color:#3730a3;box-shadow:inset 0 0 0 1px #4f46e538}.run-header .meta-chip.task-chip{background:#6d28d926;color:#4c1d95;box-shadow:inset 0 0 0 1px #6d28d93d}.run-header .meta-chip.task-chip:hover{background:#6d28d93b;color:#3b0764}.session-params{margin:12px;border:1px solid var(--border);border-radius:8px;background:var(--bg-secondary, var(--bg-primary));overflow:hidden}.session-params table{width:100%;border-collapse:collapse;table-layout:fixed;font-size:12px}.session-params th,.session-params td{padding:6px 9px;border-bottom:1px solid var(--border);vertical-align:top;overflow-wrap:anywhere}.session-params tr:last-child th,.session-params tr:last-child td{border-bottom:none}.session-params th{width:112px;color:var(--text-muted);text-align:left;font-weight:700;text-transform:uppercase;letter-spacing:.03em;font-size:10px;background:color-mix(in srgb,var(--bg-tertiary) 70%,transparent)}.session-params td{color:var(--text-secondary);font-family:var(--font-mono);font-variant-numeric:tabular-nums}.log-panel{margin:12px;padding:0;border:1px solid var(--border);border-radius:8px;background:var(--bg-secondary, var(--bg-primary));font-size:.92rem;overflow:hidden}.log-panel summary{cursor:pointer;padding:8px 12px;border-bottom:1px solid var(--border);font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.03em;color:var(--text-muted);background:color-mix(in srgb,var(--bg-tertiary) 70%,transparent)}.log-panel>.log-md{padding:14px 16px}.prompt-panel>.log-md{max-height:48vh;overflow:auto}.change-panel{min-width:0}.change-panel summary{display:flex;align-items:flex-start;gap:12px;flex-wrap:wrap;min-width:0}.change-scorecard-col{display:flex;flex-direction:column;gap:4px;flex:1 1 260px;min-width:0;max-width:100%}.change-scorecard{display:flex;align-items:center;gap:8px 12px;flex-wrap:wrap;text-transform:none;letter-spacing:0;font-weight:600;min-width:0;max-width:100%}.change-stat{color:var(--text-primary);display:inline-flex;align-items:baseline;gap:3px;max-width:100%;white-space:normal;overflow-wrap:anywhere;line-height:1.35}.change-stat .after-delta{white-space:normal;overflow-wrap:anywhere}.change-stat.muted,.change-file.muted,.change-sorry .muted{color:var(--text-muted);font-weight:500}.decl-delta{display:inline-flex;align-items:center;flex-wrap:wrap;gap:10px;font-size:11px;color:var(--text-muted);font-weight:500}.decl-delta.compact{font-size:10.5px;gap:8px;margin-left:6px}.decl-delta-item{display:inline-flex;align-items:center;gap:3px;white-space:nowrap}.delta{font-variant-numeric:tabular-nums;font-weight:700}.delta.good{color:var(--green)}.delta.bad{color:var(--red)}.delta.zero{color:var(--text-muted)}.change-trend{display:flex;align-items:center;gap:12px;padding:10px 16px;border-bottom:1px solid var(--border)}.change-trend .trend-axis{stroke:var(--border);stroke-width:1}.change-trend .trend-bar.good{fill:var(--green)}.change-trend .trend-bar.bad{fill:var(--red)}.change-trend-label{font-size:12px;color:var(--text-muted)}.after-delta{font-variant-numeric:tabular-nums}.after-delta strong{font-weight:700}.change-table{width:100%;max-width:100%;table-layout:fixed;border-collapse:collapse;font-size:.9rem}.change-table td{padding:6px 16px;border-bottom:1px solid var(--border);vertical-align:top}.change-row.open>td{border-bottom:none}.change-file{font-family:var(--mono, monospace);max-width:0;width:52%}.change-file-btn{display:flex;align-items:center;gap:6px;width:100%;background:none;border:none;padding:0;margin:0;cursor:pointer;font:inherit;color:var(--text-primary);text-align:left;min-width:0}.change-file-btn:hover{color:var(--blue)}.change-caret{color:var(--text-muted);font-size:10px;flex-shrink:0}.change-fname{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.file-tag{flex-shrink:0;font-size:10px;line-height:1.4;padding:0 5px;border-radius:4px;text-transform:uppercase;letter-spacing:.03em;white-space:nowrap}.file-tag.added{color:var(--green);border:1px solid var(--green)}.file-tag.deleted{color:var(--red);border:1px solid var(--red)}.change-sorry{white-space:nowrap;width:18%}.change-loc{width:20%}.change-churn{width:10%}.change-loc,.change-churn{text-align:right;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.change-loc .after-delta{white-space:normal;overflow-wrap:anywhere}.change-churn{white-space:normal;line-height:1.35}.change-initial-note{margin:0;padding:8px 16px;font-size:12px;color:var(--text-muted);border-bottom:1px solid var(--border)}.change-attr-note{margin:0;padding:6px 16px;font-size:11.5px;color:var(--text-muted);border-bottom:1px solid var(--border)}.change-attr-note.warning{color:#92400e;background:#fffbeb;border-bottom-color:#fde68a}.change-attr-note.warning strong{color:#78350f}.change-empty{margin:0;padding:18px 16px;text-align:center;border-bottom:1px solid var(--border)}.change-commits{padding:6px 16px;border-bottom:1px solid var(--border);display:flex;flex-direction:column;gap:3px}.change-commit{display:flex;gap:8px;align-items:baseline;font-size:12.5px}.change-commit-sha{font-family:var(--mono, monospace);color:var(--text-muted);flex-shrink:0}.change-commit-msg{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.commits-panel .commits-count,.session-inbox-panel .commits-count{display:inline-block;margin-left:8px;padding:0 7px;border-radius:10px;font-size:11px;font-weight:600;color:var(--accent-text);background:var(--accent-bg);box-shadow:inset 0 0 0 1px var(--accent-ring)}.session-inbox-totals{margin-left:8px;color:var(--text-muted);font-size:11px;font-weight:500}.session-inbox-list{display:flex;flex-direction:column}.session-inbox-row{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:10px;padding:9px 16px;color:var(--text-primary);text-decoration:none;border-top:1px solid var(--border)}.session-inbox-row:hover{background:var(--bg-secondary)}.session-inbox-copy{min-width:0;display:flex;flex-direction:column;gap:2px}.session-inbox-copy strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:12.5px}.session-inbox-copy>span{color:var(--text-muted);font-size:10.5px}.session-inbox-actions{display:flex;gap:5px;flex-wrap:wrap;justify-content:flex-end}.session-inbox-actions span{padding:1px 5px;border:1px solid var(--border);border-radius:4px;color:var(--text-secondary);background:var(--bg-primary);font-size:10px}.commit-cards{display:flex;flex-direction:column;gap:8px;padding:12px 16px}.commit-card{border:1px solid var(--border);border-left-width:3px;border-radius:8px;background:var(--bg-secondary);overflow:hidden}.commit-card.agent{border-left-color:var(--accent)}.commit-card.system{border-left-color:var(--border);opacity:.8}.commit-card-head{display:flex;align-items:center;gap:10px;width:100%;padding:8px 12px;background:none;border:none;cursor:pointer;text-align:left;font:inherit;color:var(--text-primary);min-width:0}.commit-card-head:hover{background:var(--bg-tertiary)}.commit-kind{flex-shrink:0;font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.03em;padding:1px 6px;border-radius:4px;color:var(--text-muted);background:var(--bg-tertiary)}.commit-card.agent .commit-kind{color:var(--accent-text);background:var(--accent-bg)}.commit-copy{flex:1 1 auto;min-width:0;display:flex;flex-direction:column;gap:2px}.commit-subject{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-weight:500}.commit-time{color:var(--text-muted);font-size:10px;font-variant-numeric:tabular-nums;white-space:nowrap}.commit-stat{flex-shrink:0;font-size:12px;color:var(--text-muted)}.commit-sha{flex-shrink:0;font-family:var(--mono, monospace);font-size:12px;color:var(--text-muted)}.commit-empty{padding:4px 14px 10px}.commit-loading{padding:10px 16px}.commit-card .change-table{margin:0 6px 8px}.commit-summary{padding:0 14px 10px 38px;color:var(--text-secondary);font-size:12px;line-height:1.5;border-top:1px solid color-mix(in srgb,var(--border) 70%,transparent)}.commit-summary>div>:first-child{margin-top:8px}.commit-summary>div>:last-child{margin-bottom:0}.commit-load-more{display:flex;align-items:center;justify-content:space-between;gap:12px;width:100%;padding:8px 10px;border-style:dashed;color:var(--accent-text);background:var(--bg-primary)}.commit-load-more span{color:var(--text-muted);font-size:11px;font-weight:500}.session-inbox-more{border:1px dashed var(--border-strong);border-radius:6px;margin-top:6px;cursor:pointer;font:inherit}.session-inbox-more:hover{background:var(--bg-secondary)}.timeline-load-more{width:100%;margin:0;padding:6px 8px;border:1px dashed var(--border-strong);background:var(--bg-secondary);color:var(--text-secondary);text-align:left;cursor:pointer;font:inherit;font-size:11px;font-weight:650}.timeline-load-more:hover{text-decoration:underline}.change-controls{display:flex;align-items:center;gap:16px;flex-wrap:wrap;padding:8px 16px;border-bottom:1px solid var(--border);font-size:12px}.change-tabs{display:inline-flex;gap:4px}.change-tabs button{padding:3px 10px;border:1px solid var(--border);border-radius:6px;background:none;cursor:pointer;font-size:12px;color:var(--text-secondary)}.change-tabs button.on{background:var(--bg-tertiary);color:var(--text-primary);font-weight:600}.change-toggle{display:inline-flex;align-items:center;gap:5px;cursor:pointer;color:var(--text-secondary)}.change-other{margin-left:auto}.change-diff-row>td{padding:0 16px 10px;max-width:0}.change-diff{margin:0;width:100%;max-width:100%;box-sizing:border-box;max-height:420px;overflow:auto;font-size:12px;line-height:1.45;background:var(--bg-tertiary, var(--bg-primary));border-radius:6px;padding:8px 0}.diff-line{padding:0 12px;white-space:pre-wrap;word-break:break-word}.diff-line.add{background:color-mix(in srgb,var(--green) 16%,transparent)}.diff-line.del{background:color-mix(in srgb,var(--red) 16%,transparent)}.diff-line.hunk{color:var(--blue)}.diff-line.meta{color:var(--text-muted)}.log-stop-note{margin:10px 12px}.log-lines{display:flex;flex-direction:column;background:var(--bg-primary)}.log-expand-more{display:flex;align-items:center;justify-content:center;gap:8px;width:100%;padding:10px 12px;border:0;border-top:1px solid var(--border);background:color-mix(in srgb,var(--accent) 4%,var(--bg-primary));color:var(--accent);font:inherit;font-size:12px;font-weight:600;cursor:pointer;transition:background .12s ease}.log-expand-more:hover{background:color-mix(in srgb,var(--accent) 9%,var(--bg-primary))}.log-expand-rest{font-weight:400;color:var(--text-muted)}.log-line{display:grid;grid-template-columns:58px 108px minmax(0,auto) minmax(0,1fr);column-gap:10px;row-gap:6px;align-items:flex-start;padding:8px 12px 8px 10px;border-bottom:1px solid color-mix(in srgb,var(--border) 82%,transparent);border-left:3px solid transparent;background:var(--bg-primary);transition:background .12s ease,border-color .12s ease}.log-line:nth-child(2n){background:color-mix(in srgb,var(--accent) 2.5%,var(--bg-primary))}.log-line:hover{background:color-mix(in srgb,var(--accent) 5%,var(--bg-primary))}.log-kind-text{border-left-color:color-mix(in srgb,#2563eb 42%,transparent)}.log-kind-thinking{border-left-color:color-mix(in srgb,#7c3aed 42%,transparent)}.log-kind-tool_call{border-left-color:color-mix(in srgb,#d97706 48%,transparent)}.log-kind-tool_result{border-left-color:color-mix(in srgb,#059669 42%,transparent)}.log-kind-workflow_progress{border-left-color:color-mix(in srgb,#0f766e 48%,transparent)}.log-kind-error{border-left-color:color-mix(in srgb,var(--red) 56%,transparent)}.log-ts{width:58px;flex-shrink:0;color:var(--text-muted);font-family:var(--font-mono);font-size:10.5px;font-variant-numeric:tabular-nums;padding-top:3px}.log-pill{width:108px;flex-shrink:0;font-size:10px;font-weight:800;letter-spacing:.04em;text-transform:uppercase;white-space:nowrap;overflow:hidden;display:inline-flex;align-items:center;justify-content:center;padding:2px 8px;border-radius:5px;height:22px;background:color-mix(in srgb,currentColor 10%,#fff);box-shadow:inset 0 0 0 1px color-mix(in srgb,currentColor 24%,transparent),0 1px #0f172a08}.log-pill>span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:100%}.log-tag{flex-shrink:0;align-self:flex-start;margin-top:1px;margin-right:0;font-size:9.5px;font-weight:800;text-transform:uppercase;letter-spacing:.04em;padding:1px 7px;border-radius:5px;min-height:20px;display:inline-flex;align-items:center;background:color-mix(in srgb,currentColor 10%,#fff);box-shadow:inset 0 0 0 1px color-mix(in srgb,currentColor 24%,transparent)}.log-content{min-width:0;font-size:12.5px;line-height:1.55;color:var(--text-secondary)}.log-pill+.log-content{grid-column:3 / -1}.log-tag+.log-content{grid-column:4 / -1}.log-pre{margin:0;white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word;font-family:var(--font-mono);font-size:12px;color:var(--text-secondary)}.log-tool-view,.log-tool-result{display:grid;gap:7px}.log-tool-summary{color:var(--text-secondary);font-weight:650}.log-system-event{display:grid;gap:5px;color:var(--text-primary)}.log-system-event summary{cursor:pointer;color:var(--text-muted);font-size:11px;font-weight:650}.usage-block{display:flex;flex-wrap:wrap;gap:5px}.log-code,.log-output,.log-diff pre{margin:0;padding:10px 12px;border:1px solid var(--terminal-border);border-radius:6px;background:var(--terminal-bg);color:var(--terminal-text);overflow:auto;font-family:var(--font-mono);font-size:12px;line-height:1.6;box-shadow:inset 0 1px #ffffff0a,0 1px 2px #0f172a14}.log-shell{background:linear-gradient(180deg,rgba(103,232,249,.06),transparent 64px),var(--terminal-bg)}.log-shell .shell-line{display:flex;gap:10px;white-space:pre}.shell-prompt{color:var(--terminal-cyan);font-weight:800;-webkit-user-select:none;user-select:none}.log-output{background:var(--terminal-bg-soft);color:#e5e7eb;white-space:pre-wrap;overflow-wrap:anywhere}.exit-code{width:fit-content;font-family:var(--font-mono);font-size:10.5px;font-weight:700;border-radius:999px;padding:1px 7px}.exit-ok{color:#047857;background:#ecfdf5;box-shadow:inset 0 0 0 1px #a7f3d0}.exit-bad{color:#b91c1c;background:#fef2f2;box-shadow:inset 0 0 0 1px #fecaca}.log-file-card{display:flex;align-items:center;gap:8px;min-width:0;padding:8px 10px;border:1px solid color-mix(in srgb,var(--border-strong) 72%,transparent);border-radius:6px;background:color-mix(in srgb,var(--bg-secondary) 72%,#fff);color:var(--text-secondary);box-shadow:0 1px #0f172a08}.log-file-card code{min-width:0;overflow:hidden;text-overflow:ellipsis;background:transparent;padding:0;color:var(--text-primary)}.log-file-action{flex:0 0 auto;font-size:10px;font-weight:800;text-transform:uppercase;color:var(--blue);letter-spacing:.04em}.lean-card{display:grid;gap:6px}.lean-card-head{display:flex;align-items:center;gap:8px;min-width:0;padding:7px 10px;border-radius:6px;border:1px solid color-mix(in srgb,#059669 34%,transparent);background:color-mix(in srgb,#059669 8%,var(--bg-secondary))}.lean-badge{flex:0 0 auto;font-size:9.5px;font-weight:800;text-transform:uppercase;letter-spacing:.05em;color:#047857;background:color-mix(in srgb,#059669 16%,#fff);border-radius:999px;padding:1px 7px;box-shadow:inset 0 0 0 1px color-mix(in srgb,#059669 34%,transparent)}.lean-tool{flex:0 0 auto;font-family:var(--font-mono);font-size:12px;font-weight:700;color:var(--text-primary)}.lean-arg{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;background:transparent;padding:0;color:var(--text-secondary);font-size:12px}.lean-sub{flex:0 0 auto;font-size:11px;color:var(--text-muted)}.lean-snippets{white-space:pre-wrap}.lean-goals{display:grid;gap:8px}.lean-goal,.lean-diags,.lean-results,.lean-attempts{border:1px solid var(--terminal-border);border-radius:6px;background:var(--terminal-bg);color:var(--terminal-text);padding:8px 10px;font-family:var(--font-mono);font-size:12px;line-height:1.6;overflow:auto}.lean-hyp{color:#94a3b8;white-space:pre-wrap;overflow-wrap:anywhere}.lean-turnstile{color:#e5e7eb;white-space:pre-wrap;overflow-wrap:anywhere;margin-top:2px}.lean-turn{color:#34d399;font-weight:800}.lean-ok{width:fit-content;font-family:var(--font-mono);font-size:11.5px;font-weight:700;color:#047857;background:#ecfdf5;border-radius:999px;padding:2px 9px;box-shadow:inset 0 0 0 1px #a7f3d0}.lean-diags{display:grid;gap:4px}.lean-diag{white-space:pre-wrap;overflow-wrap:anywhere;padding-left:10px;border-left:2px solid transparent}.lean-diag-error{border-left-color:#ef4444;color:#fca5a5}.lean-diag-warn{border-left-color:#f59e0b;color:#fcd34d}.lean-diag-info{border-left-color:#64748b;color:#cbd5e1}.lean-results{display:grid;gap:5px}.lean-result{display:flex;align-items:baseline;gap:8px;min-width:0}.lean-result-name{flex:0 0 auto;color:#93c5fd;font-weight:700;background:transparent;padding:0}.lean-result-mod{flex:0 0 auto;font-size:10.5px;color:#64748b}.lean-result-type{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:#cbd5e1;background:transparent;padding:0}.lean-attempts{display:grid;gap:4px}.lean-attempt{display:flex;align-items:baseline;gap:8px;min-width:0}.lean-attempt-mark{flex:0 0 auto;font-weight:800}.lean-attempt-ok .lean-attempt-mark{color:#34d399}.lean-attempt-bad .lean-attempt-mark{color:#f87171}.lean-attempt-snip{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;background:transparent;padding:0;color:#e5e7eb}.lean-attempt-bad .lean-attempt-snip{color:#94a3b8}.lean-premises{display:flex;flex-wrap:wrap;gap:5px}.lean-premise{font-family:var(--font-mono);font-size:11px;color:#93c5fd;background:color-mix(in srgb,#2563eb 10%,var(--bg-secondary));border:1px solid color-mix(in srgb,#2563eb 24%,transparent);border-radius:5px;padding:1px 6px}.lean-more{font-size:11px;color:var(--text-muted)}.log-written-md{max-height:50vh;overflow:auto;padding:12px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary)}.log-diff{border:1px solid var(--terminal-border);border-radius:6px;overflow:hidden;background:var(--terminal-bg);box-shadow:0 1px 2px #0f172a14}.log-diff-file{padding:7px 10px;font-family:var(--font-mono);font-size:11px;color:var(--terminal-muted);background:var(--terminal-bg-raised);border-bottom:1px solid var(--terminal-border);overflow-wrap:anywhere}.log-diff pre{border:0;border-radius:0;background:var(--terminal-bg);color:var(--terminal-text);box-shadow:none}.diff-line{display:flex;min-width:max-content;white-space:pre}.diff-line.old{color:var(--terminal-red);background:#b91c1c2e}.diff-line.new{color:var(--terminal-green);background:#0478572e}.diff-line.same{color:#cbd5e1}.diff-marker{width:18px;flex:0 0 18px;color:currentColor;-webkit-user-select:none;user-select:none}.log-md{overflow-wrap:anywhere}.log-md p:first-child{margin-top:0}.log-md p:last-child{margin-bottom:0}.log-usage{display:block;color:var(--text-muted);font-size:10.5px;margin-top:4px;font-family:var(--font-mono)}.log-empty-body{color:var(--text-muted);font-size:11px}@media (max-width: 900px){.log-line{grid-template-columns:58px minmax(0,1fr);column-gap:8px}.log-pill,.log-tag{grid-column:2;justify-self:start}.log-pill+.log-content,.log-tag+.log-content,.log-content{grid-column:1 / -1}.workflow-progress-card{align-items:flex-start;flex-wrap:wrap}.workflow-progress-meta{width:100%;margin-left:32px;justify-content:flex-start}.roadmap-editor-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width: 600px){.roadmap-editor-grid{grid-template-columns:minmax(0,1fr)}.roadmap-editor-wide{grid-column:auto}.roadmap-card summary{align-items:flex-start}.roadmap-title{flex-wrap:wrap}.roadmap-activity-time{flex-basis:100%;margin-left:0}.session-inbox-totals{display:block;margin:3px 0 0}.session-inbox-row{grid-template-columns:auto minmax(0,1fr);align-items:start}.session-inbox-actions{grid-column:2;justify-content:flex-start}}.composer-label{font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.04em;color:var(--text-muted)}.composer-hint{font-weight:400;text-transform:none;letter-spacing:0;color:var(--text-muted)}.project-multiselect{display:flex;flex-wrap:wrap;gap:6px;align-items:center}.project-chip{display:inline-flex;align-items:center;gap:5px;padding:3px 9px;border:1px solid var(--tag-border, var(--accent-ring));border-radius:999px;font-size:12px;cursor:pointer;background:var(--tag-bg, var(--accent-bg));color:var(--tag-fg, var(--accent-text))}.project-chip.on{font-weight:700;box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--tag-fg, var(--accent-text)) 35%,transparent)}.project-chip input{margin:0}.project-add{width:110px;padding:3px 8px;border:1px dashed var(--border-strong);border-radius:999px;font-size:12px}.task-body{padding:10px}.task-card.focused{border-color:#bfdbfe;box-shadow:0 0 0 2px #dbeafe}.task-card.focused summary{background:#eff6ff}.task-list{display:flex;flex-direction:column;gap:12px}.task-detail{display:flex;flex-direction:column;gap:10px}.task-detail .roadmap-fields{border-top:1px solid var(--border);padding-top:10px}.priority-chip{font-size:10.5px;font-weight:700;text-transform:uppercase;letter-spacing:.03em;padding:1px 7px;border-radius:999px;background:var(--tag-bg);color:var(--tag-fg);border:1px solid var(--tag-border);flex:none;white-space:nowrap}.priority-chip.priority-urgent{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.priority-chip.priority-high{--tag-fg: var(--tag-orange-fg);--tag-bg: var(--tag-orange-bg);--tag-border: var(--tag-orange-border)}.priority-chip.priority-normal{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.priority-chip.priority-low{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.dag-legend{display:flex;flex-direction:column;gap:8px;font-size:12px;color:var(--text-secondary);margin-top:12px;padding-top:12px;border-top:1px solid var(--border)}.dag-legend>div{display:flex;align-items:center;gap:8px}.dag-dot{width:12px;height:12px;border-radius:50%;border:2px solid;flex-shrink:0;display:inline-block}.dag-legend strong{margin-left:auto;font-variant-numeric:tabular-nums}.dag-legend-hint{display:block!important;color:var(--text-muted);font-size:11px;line-height:1.5}.dv-root .dv-sidebar-content{padding:10px;display:flex;flex-direction:column;gap:8px}.dv-root .card{background:var(--bg-primary);border:1px solid var(--border);border-radius:7px;padding:12px}.dv-root .card-title{font-size:10px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin-bottom:10px}.dv-root .node-badges{display:flex;gap:5px;flex-wrap:wrap;margin-bottom:8px}.dv-root .badge{display:inline-block;padding:2px 8px;border-radius:10px;font-size:10px;font-weight:700;letter-spacing:.04em}.dv-root .badge-type{background:var(--accent-bg);color:var(--accent-text);border:1px solid var(--accent-ring)}.dv-root .badge-proved{background:#10b9811f;color:var(--green);border:1px solid rgba(16,185,129,.3)}.dv-root .badge-mathlib{background:#3b82f61f;color:#2563eb;border:1px solid rgba(59,130,246,.3)}.dv-root .badge-sorry{background:#ea580c1a;color:var(--orange);border:1px solid rgba(234,88,12,.28)}.dv-root .badge-unproved{background:#dc262614;color:var(--red);border:1px solid rgba(220,38,38,.25)}.dv-root .node-title{font-size:15px;font-weight:600;color:var(--text-primary, #0f172a);line-height:1.35;margin-bottom:5px;overflow-wrap:anywhere}.dv-root .node-id{font-family:var(--font-mono);font-size:11px;color:var(--text-muted);word-break:break-all}.dv-root .node-chapter{font-size:11px;color:var(--text-muted);margin-top:3px}.dv-root .lean-ref{font-size:11px;color:var(--text-secondary);margin-top:6px;overflow-wrap:anywhere}.dv-root .lean-ref code{font-family:var(--font-mono);color:var(--blue);overflow-wrap:anywhere}.dv-root .degrees{display:flex;gap:20px;margin-bottom:10px}.dv-root .degree{display:flex;flex-direction:column;align-items:center;gap:2px}.dv-root .degree-val{font-size:22px;font-weight:700;color:var(--text-primary, #0f172a);line-height:1}.dv-root .degree-label{font-size:10px;color:var(--text-muted);text-align:center}.dv-root .deps-list{display:flex;flex-wrap:wrap;gap:4px;margin-bottom:8px}.dv-root .deps-sub{font-size:10px;color:var(--text-muted);margin:6px 0 4px;letter-spacing:.03em}.dv-root .dep-chip{font-family:var(--font-mono);font-size:10px;padding:3px 7px;background:var(--bg-tertiary);border:1px solid var(--border);border-radius:4px;color:var(--blue);cursor:pointer;overflow-wrap:anywhere;text-align:left}.dv-root .dep-chip:hover{background:var(--accent-bg);border-color:var(--accent-ring)}.dv-root .dep-more{font-family:var(--font-mono);font-size:10px;padding:3px 7px;background:transparent;border:1px dashed var(--border);border-radius:4px;color:var(--text-muted);cursor:pointer}.dv-root .no-deps{font-size:12px;color:var(--text-muted);font-style:italic}.dv-root .metrics-grid{display:grid;grid-template-columns:auto 1fr 1fr;gap:5px 10px;align-items:center}.dv-root .col-head{font-size:10px;color:var(--text-muted);text-align:right;font-weight:600}.dv-root .m-label{font-size:11px;color:var(--text-muted)}.dv-root .m-val{font-family:var(--font-mono);font-size:12px;color:var(--text-secondary);text-align:right}.dv-root .m-done{color:var(--green);font-weight:700}.dv-root .m-inf{color:var(--red);font-weight:700}.dv-root .m-work{color:var(--orange)}.dv-root .latex-rendered{font-size:13px;line-height:1.7;color:var(--text-secondary);overflow-x:auto}.dv-root .code-block{font-family:var(--font-mono);font-size:11px;line-height:1.6;background:#0d1117;color:#c9d1d9;border:1px solid var(--border-strong);border-radius:5px;padding:10px 12px;white-space:pre;overflow:auto;max-height:240px;margin:0}.dv-root .dv-help-card p{margin:0 0 9px;font-size:12.5px;line-height:1.55;color:var(--text-secondary)}.dv-root .dv-help-card p:last-child{margin-bottom:0}.dv-root .node-actions{display:flex;flex-wrap:wrap;gap:6px;margin-top:10px}.dv-root .btn-focus{border:1px solid var(--border);background:var(--bg-tertiary);color:var(--text-secondary);border-radius:5px;padding:5px 8px;font-size:11px;font-weight:650;cursor:pointer}.dv-root .btn-focus:hover{border-color:var(--accent);color:var(--accent-text);background:var(--accent-bg)}.dv-root .dv-toolbar{background:var(--bg-secondary);min-height:40px;padding:6px 12px;display:flex;align-items:center;gap:14px;flex-shrink:0;flex-wrap:wrap;border:1px solid var(--border);border-bottom:none;border-radius:8px 8px 0 0}.dv-root .dv-stat{font-size:12px;color:var(--text-muted);white-space:nowrap}.dv-root .dv-legend{display:flex;gap:5px;align-items:center;flex-wrap:wrap}.dv-root .leg-dot{width:10px;height:10px;border-radius:50%;display:inline-block;border:1px solid rgba(0,0,0,.15)}.dv-root .leg-box{width:13px;height:10px;border-radius:3px;display:inline-block;border:2px solid}.dv-root .leg-bar{width:48px;height:8px;border-radius:4px;display:inline-block;background:linear-gradient(90deg,#facc15,#f59e0b,#f97316)}.dv-root .leg-txt{font-size:10px;font-weight:600;color:var(--text-muted);margin-right:6px}.dv-root .dv-controls{background:var(--bg-tertiary);min-height:40px;padding:6px 12px;display:flex;align-items:center;gap:10px;flex-shrink:0;border:1px solid var(--border);flex-wrap:wrap}.dv-root .dv-input,.dv-root .dv-select{background:var(--bg-primary);color:var(--text-primary, #0f172a);border:1px solid var(--border);border-radius:5px;font-size:12px;padding:5px 8px;outline:none}.dv-root .dv-input{width:200px}.dv-root .dv-input:focus,.dv-root .dv-select:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-ring)}.dv-root .dv-select{max-width:220px;cursor:pointer}.dv-root .dv-check{display:flex;align-items:center;gap:5px;font-size:12px;color:var(--text-muted);cursor:pointer;-webkit-user-select:none;user-select:none;white-space:nowrap}.dv-root .dv-check input{cursor:pointer;margin:0}.dv-root .dv-sync{border:1px solid var(--border);background:var(--bg-primary);color:var(--text-secondary);border-radius:5px;padding:4px 8px;font-size:11px;font-weight:650}.dv-root .dv-sync-msg{font-size:11px;color:var(--text-muted)}.dv-root .dv-sync-msg.error{color:var(--red)}.dv-root .dv-range{display:flex;align-items:center;gap:5px;flex:0 0 176px;width:176px;box-sizing:border-box;padding:1px 7px;border:1px solid var(--border);border-radius:5px;background:var(--bg-primary)}.dv-root .dv-range.dv-range-on{border-color:var(--accent)}.dv-root .dv-range-lbl{flex:0 0 34px;font-size:11px;color:var(--text-muted);font-weight:600}.dv-root .dv-range .dv-slider{flex:0 0 39px;width:39px;min-width:0;accent-color:var(--accent);cursor:pointer;height:14px}.dv-root .dv-range-val{flex:0 0 40px;text-align:left;font-family:var(--font-mono);font-size:10px;color:var(--text-secondary);white-space:nowrap}.dv-root .dv-stats{position:absolute;top:58px;left:12px;z-index:5;background:var(--bg-primary);border:1px solid var(--border);border-radius:8px;padding:10px 12px;min-width:188px;font-size:11px;color:var(--text-secondary);box-shadow:0 4px 16px #0f172a1a}.dv-root .dv-stats-head{display:flex;align-items:center;justify-content:space-between;gap:10px}.dv-root .dv-stats h4{font-size:10px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin:0 0 7px}.dv-root .dv-stats-head h4{margin-bottom:0}.dv-root .dv-stats-toggle{width:18px;height:18px;display:flex;align-items:center;justify-content:center;background:var(--bg-tertiary);color:var(--text-secondary);border:1px solid var(--border);border-radius:4px;font-size:14px;cursor:pointer;padding:0}.dv-root .dv-stats-show{position:absolute;top:58px;left:12px;z-index:5;background:var(--bg-primary);color:var(--text-secondary);border:1px solid var(--border);border-radius:8px;font-size:11px;font-weight:600;padding:6px 10px;cursor:pointer;box-shadow:0 2px 8px #0f172a14}.dv-root .dv-stats .row{display:flex;justify-content:space-between;gap:14px;line-height:1.7}.dv-root .dv-stats .row .v{font-family:var(--font-mono);color:var(--text-primary, #0f172a)}.dv-root .dv-stats .v.done{color:var(--green)}.dv-root .dv-stats .v.work{color:var(--orange)}.dv-root .dv-stats .v.inf{color:var(--red)}.dv-root .dv-stats .v.mathlib{color:#3b82f6}.dv-root .dv-stats .bar{height:6px;border-radius:3px;background:var(--bg-tertiary);margin:7px 0 3px;overflow:hidden}.dv-root .dv-stats .bar>span{display:block;height:100%;background:var(--green)}.dv-root .dv-stats .sep{border-top:1px solid var(--border);margin:7px 0}.dv-root .dv-stats .dv-qrow{cursor:pointer;border-radius:4px;padding-left:3px;margin-left:-3px}.dv-root .dv-stats .dv-qrow:hover{background:var(--bg-tertiary)}.dv-root .dv-stats .dv-qrow.dv-qon{background:#3b82f629}.dv-root .dv-select.dv-select-on{border-color:#3b82f6;color:#1d4ed8;font-weight:600}.dv-root .dv-brand{font-weight:700;font-size:13px;color:var(--text-primary, #0f172a);white-space:nowrap}.dv-root .dv-toolbar .project-picker-select{margin:0;display:inline-flex;align-items:center;gap:6px;font-size:12px}.dv-root .dv-toolbar .project-picker-select select{padding:4px 8px;border:1px solid var(--border);border-radius:5px;background:var(--bg-primary);color:var(--text-primary, #0f172a)}.chapter-graph{width:100%;height:100%;min-height:430px;display:flex;flex-direction:column;background:var(--bg-primary);border:1px solid var(--border);overflow:hidden}.chapter-graph-controls{box-sizing:border-box;height:46px;padding:5px 10px;display:flex;align-items:center;gap:7px;flex:0 0 46px;flex-wrap:nowrap;overflow-x:auto;border-bottom:1px solid var(--border);background:var(--bg-secondary);z-index:2}.chapter-graph-controls select,.chapter-graph-controls button{border:1px solid var(--border);border-radius:5px;background:var(--bg-primary);color:var(--text-secondary);padding:4px 8px;font-size:11px}.chapter-graph-controls select{max-width:260px}.chapter-graph-controls button{cursor:pointer;font-weight:650}.chapter-graph-controls button:hover{border-color:var(--accent);color:var(--accent-text)}.chapter-graph-controls span{color:var(--text-muted);font-size:10px;margin-left:3px}.chapter-graph-canvas{position:relative;flex:1;min-height:0;overflow:hidden;cursor:grab;touch-action:none;background:radial-gradient(circle at center,color-mix(in srgb,var(--accent-bg) 20%,transparent),transparent 65%)}.chapter-graph-canvas:active{cursor:grabbing}.chapter-graph-inner{position:absolute;left:50%;top:50%;width:max-content;height:max-content;transform-origin:center;will-change:transform}.chapter-graph-inner svg{display:block;overflow:visible}.chapter-graph-inner g.node,.chapter-graph-inner g.cluster,.chapter-graph-inner g.edge{transition:opacity .12s ease}.chapter-graph-inner g.node,.chapter-graph-inner g.cluster{cursor:pointer}.chapter-graph-inner g.node:hover text{font-weight:700}.chapter-graph-inner g.node.dag-node-dependency polygon,.chapter-graph-inner g.node.dag-node-dependency ellipse,.chapter-graph-inner g.node.dag-node-dependency path{stroke:#2563eb!important;stroke-width:3px!important}.chapter-graph-inner g.node.dag-node-dependent polygon,.chapter-graph-inner g.node.dag-node-dependent ellipse,.chapter-graph-inner g.node.dag-node-dependent path{stroke:#f59e0b!important;stroke-width:3px!important}.chapter-graph-inner g.node.dag-node-selected polygon,.chapter-graph-inner g.node.dag-node-selected ellipse,.chapter-graph-inner g.node.dag-node-selected path{stroke:#0f172a!important;stroke-width:3.2px!important}.chapter-graph-inner g.edge.dag-edge-incoming path{stroke:#2563eb!important;stroke-width:2.8px!important}.chapter-graph-inner g.edge.dag-edge-incoming polygon{stroke:#2563eb!important;fill:#2563eb!important}.chapter-graph-inner g.edge.dag-edge-outgoing path{stroke:#f59e0b!important;stroke-width:2.8px!important}.chapter-graph-inner g.edge.dag-edge-outgoing polygon{stroke:#f59e0b!important;fill:#f59e0b!important}.chapter-graph-loading,.chapter-graph-error,.chapter-graph-empty{position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);padding:8px 12px;border:1px solid var(--border);border-radius:7px;background:color-mix(in srgb,var(--bg-primary) 92%,transparent);color:var(--text-muted);font-size:12px;box-shadow:0 3px 12px #0f172a14}.chapter-graph-error{color:var(--red);max-width:520px}.panel-heading-inline{display:flex;align-items:baseline;gap:.85rem;flex-wrap:wrap}.panel-heading-inline h2{margin:0}.panel-heading-inline .heading-stat{font-size:13px;color:var(--text-muted)}.panel .panel-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:1rem}.panel-link{font-size:12px;font-weight:600;color:var(--blue);white-space:nowrap;flex-shrink:0}.panel-link:hover{text-decoration:underline}.clamp-1{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;display:inline-block;max-width:100%}.mini-list{display:flex;flex-direction:column;gap:4px}.mini-row{display:flex;align-items:center;gap:7px;min-width:0;padding:5px 7px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary)}.mini-row .status,.mini-row .badge,.mini-row .priority-chip,.mini-row .type-chip,.mini-row .source-mark{flex:0 0 auto}.mini-row .priority-chip{margin-left:auto}.mini-title{flex:1 1 auto;min-width:0;font-size:13px;color:var(--text-primary)}.inbox-summary-boxes{display:flex;gap:8px;margin-bottom:8px}.inbox-summary-box{flex:1 1 0;display:flex;align-items:baseline;gap:6px;padding:7px 10px;border:1px solid var(--border);border-radius:6px;background:var(--bg-secondary);font-size:13px;color:var(--text-secondary);min-width:0}.inbox-summary-label{font-weight:650;color:var(--text-primary)}.inbox-summary-box strong{color:var(--text-primary)}.inbox-summary-box em{color:var(--text-muted);font-style:normal}.inbox-mini-list{display:flex;flex-direction:column;gap:0;border:1px solid var(--border);border-radius:6px;overflow:hidden;background:var(--bg-primary)}.inbox-mini-row{display:flex;align-items:center;gap:7px;min-width:0;padding:6px 9px;border-bottom:1px solid var(--border);border-left:4px solid transparent}.inbox-mini-row:last-child{border-bottom:0}.inbox-mini-row.source-local{border-left-color:var(--accent)}.inbox-mini-row.source-github{border-left-color:#24292f}.inbox-mini-row.source-ground{border-left-color:#93c5fd}.inbox-mini-row.source-horizon{border-left-color:#facc15}.inbox-mini-row .source-mark,.inbox-mini-row .type-chip,.inbox-mini-row .status{flex:0 0 auto}.inbox-mini-row .mini-title{font-size:13px}.search-controls{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:10px}.search-input{flex:1 1 320px;min-width:220px;padding:8px 12px;font-size:14px;border:1px solid var(--border);border-radius:8px;background:var(--bg-primary);color:var(--text-primary)}.search-modes{display:inline-flex;border:1px solid var(--border);border-radius:8px;overflow:hidden}.search-mode{border:0;background:var(--bg-secondary);color:var(--text-secondary);padding:7px 12px;font-size:12px;font-weight:600;cursor:pointer;border-right:1px solid var(--border)}.search-mode:last-child{border-right:0}.search-mode.on{background:var(--blue);color:#fff}.search-info{color:var(--text-muted);font-size:12px;margin:0 0 8px}.search-facets{display:flex;flex-direction:column;gap:6px;margin-bottom:10px}.search-facet-group{display:flex;align-items:baseline;gap:8px;flex-wrap:wrap}.search-facet-label{font-size:11px;font-weight:700;text-transform:uppercase;color:var(--text-secondary);min-width:64px}.search-facet{display:flex;flex-wrap:wrap;gap:6px}.search-facet-chip{border:1px solid var(--tag-border);background:var(--tag-bg);color:var(--tag-fg);border-radius:999px;padding:2px 10px;font-size:12px;font-weight:600;cursor:pointer}.search-facet-chip:not(.on){--tag-fg: var(--text-secondary);--tag-bg: var(--bg-secondary);--tag-border: var(--border)}.search-facet-chip.on{font-weight:750;box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--tag-fg) 35%,transparent)}.tag-state-open{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.tag-state-active,.tag-state-running,.tag-state-queued{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.tag-state-pending,.tag-state-draft,.tag-state-interrupted{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.tag-state-blocked{--tag-fg: var(--tag-orange-fg);--tag-bg: var(--tag-orange-bg);--tag-border: var(--tag-orange-border)}.tag-state-failed,.tag-state-rejected,.tag-state-cancelled{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.tag-state-done,.tag-state-completed,.tag-state-applied{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.tag-state-archived,.tag-state-closed,.tag-state-superseded{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.tag-priority-urgent{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.tag-priority-high{--tag-fg: var(--tag-orange-fg);--tag-bg: var(--tag-orange-bg);--tag-border: var(--tag-orange-border)}.tag-priority-normal{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.tag-priority-low,.tag-kind-hint{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.tag-kind-issue{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.tag-kind-protection{--tag-fg: var(--tag-purple-fg);--tag-bg: var(--tag-purple-bg);--tag-border: var(--tag-purple-border)}.tag-kind-conversation{--tag-fg: #0f766e;--tag-bg: #f0fdfa;--tag-border: #99f6e4}.tag-kind-info{--tag-fg: var(--tag-cyan-fg);--tag-bg: var(--tag-cyan-bg);--tag-border: var(--tag-cyan-border)}.tag-kind-memory{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.tag-gate-accept{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.tag-gate-pending{--tag-fg: var(--tag-orange-fg);--tag-bg: var(--tag-orange-bg);--tag-border: var(--tag-orange-border)}.tag-gate-reject{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.tag-gate-clear{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.tag-provider-local,.tag-project{--tag-fg: var(--accent-text);--tag-bg: var(--accent-bg);--tag-border: var(--accent-ring)}.tag-provider-github{--tag-fg: #24292f;--tag-bg: #fff;--tag-border: #d0d7de}.tag-kind-theorem,.tag-kind-thm{--tag-fg: var(--kind-theorem);--tag-bg: #eff6ff;--tag-border: #bfdbfe}.tag-kind-lemma{--tag-fg: var(--kind-lemma);--tag-bg: #ecfdf5;--tag-border: #99f6e4}.tag-kind-definition,.tag-kind-def{--tag-fg: var(--kind-definition);--tag-bg: #fdf2f8;--tag-border: #fbcfe8}.tag-kind-abbrev{--tag-fg: #be185d;--tag-bg: #fdf2f8;--tag-border: #fbcfe8}.tag-kind-structure,.tag-kind-class{--tag-fg: var(--tag-purple-fg);--tag-bg: var(--tag-purple-bg);--tag-border: var(--tag-purple-border)}.tag-kind-inductive{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.tag-kind-instance,.tag-kind-inst{--tag-fg: #7c3aed;--tag-bg: #f5f3ff;--tag-border: #ddd6fe}.tag-kind-axiom{--tag-fg: var(--tag-red-fg);--tag-bg: var(--tag-red-bg);--tag-border: var(--tag-red-border)}.search-results{display:flex;flex-direction:column;gap:6px}.search-row{border:1px solid var(--border);border-left-width:3px;border-radius:8px;background:var(--bg-primary);overflow:hidden}.search-row-head{display:flex;align-items:center;gap:8px;width:100%;padding:8px 12px;background:transparent;border:0;cursor:pointer;text-align:left}.search-row-head:hover{background:var(--bg-secondary)}.search-kind{flex:none;font-size:10.5px;font-weight:700;text-transform:uppercase;letter-spacing:.03em;border:1px solid;border-radius:999px;padding:0 7px}.search-name{font-family:var(--font-mono);font-weight:700;color:var(--text-primary);font-size:13px;flex:1 1 auto;min-width:0}.search-haslatex{flex:none;font-size:10px;font-weight:700;color:#6d28d9;background:#f5f3ff;border:1px solid #ddd6fe;border-radius:999px;padding:0 6px}.search-lib{flex:none;font-size:11px;color:var(--text-muted);font-family:var(--font-mono)}.search-row-head .ev-caret{flex:none;color:var(--text-muted)}.search-row-body{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:12px;padding:10px 12px;border-top:1px solid var(--border)}.search-lean{min-width:0}.search-sig.lean-code{margin:0;padding:8px 10px;background:var(--bg-secondary);border-radius:6px;font-family:var(--font-mono);font-size:12px;white-space:pre-wrap;overflow-wrap:anywhere}.search-sig-line{min-height:1.2em}.search-doc{margin:8px 0 0;font-size:12.5px;color:var(--text-secondary)}.search-doc p{margin:0 0 6px}.search-loc{margin-top:8px;font-size:11px;color:var(--text-muted);font-family:var(--font-mono);overflow-wrap:anywhere}.search-latex{min-width:0;border-left:1px solid var(--border);padding-left:12px}.search-latex .latex-rendered{font-size:13px;line-height:1.6;overflow-wrap:anywhere}.search-bp-title{font-weight:650;font-size:12.5px;color:var(--text-primary);display:flex;align-items:center;gap:6px;margin-bottom:4px}@media (max-width: 760px){.search-row-body{grid-template-columns:1fr}.search-latex{border-left:0;padding-left:0;border-top:1px solid var(--border);padding-top:8px}}.ref-chip,a.ref-chip,.commit-chip{display:inline-flex;align-items:center;gap:4px;padding:1px 7px;border-radius:999px;border:1px solid var(--tag-border);background:var(--tag-bg);color:var(--tag-fg);font-size:11px;font-weight:600;font-family:var(--font-mono);white-space:nowrap;text-decoration:none;cursor:pointer;vertical-align:baseline;max-width:100%}.ref-chip:hover,.commit-chip:hover{box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--tag-fg) 35%,transparent)}.tag-ref-roadmap{--tag-fg: var(--tag-purple-fg);--tag-bg: var(--tag-purple-bg);--tag-border: var(--tag-purple-border)}.tag-ref-task{--tag-fg: var(--tag-blue-fg);--tag-bg: var(--tag-blue-bg);--tag-border: var(--tag-blue-border)}.tag-ref-inbox{--tag-fg: var(--tag-cyan-fg);--tag-bg: var(--tag-cyan-bg);--tag-border: var(--tag-cyan-border)}.tag-ref-node{--tag-fg: var(--tag-green-fg);--tag-bg: var(--tag-green-bg);--tag-border: var(--tag-green-border)}.tag-ref-commit{--tag-fg: var(--tag-amber-fg);--tag-bg: var(--tag-amber-bg);--tag-border: var(--tag-amber-border)}.tag-ref-owner{--tag-fg: var(--accent-text);--tag-bg: var(--accent-bg);--tag-border: var(--accent-ring)}.tag-ref-milestone{--tag-fg: var(--tag-slate-fg);--tag-bg: var(--tag-slate-bg);--tag-border: var(--tag-slate-border)}.commit-chip-sha{font-weight:700;flex:none}.commit-chip-subject{font-weight:500;opacity:.85;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.board-page .tag-chip{display:inline-flex;align-items:center;padding:1px 7px;border-radius:999px;border:1px solid var(--tag-border);background:var(--tag-bg);color:var(--tag-fg);font-size:11px;font-weight:600;white-space:nowrap}.board-filter{display:flex;flex-wrap:wrap;align-items:end;gap:8px 12px;margin-bottom:14px;padding-bottom:12px;border-bottom:1px solid var(--border)}.board-filter label{display:flex;flex-direction:column;gap:3px;color:var(--text-muted);font-size:10px;font-weight:700;text-transform:uppercase}.board-filter select{min-width:170px;max-width:min(280px,70vw);text-transform:none}.board-filter-result{margin-left:auto;padding-bottom:7px;color:var(--text-muted);font-size:11px}.board-add-inline{margin-left:auto}.board-filter-result+.board-add-inline{margin-left:0}.board-editor-shell{margin-bottom:14px}.board-count{display:inline-flex;align-items:center;justify-content:center;min-width:18px;height:16px;padding:0 5px;border-radius:999px;background:var(--bg-tertiary);color:var(--text-secondary);font-size:10px;font-weight:700}.board-milestone{margin-bottom:22px}.board-milestone-head{display:flex;align-items:center;gap:8px;margin-bottom:8px}.board-milestone-head h3{margin:0;font-size:14px}.board-columns{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:start;gap:10px;padding-bottom:6px}.board-column{display:flex;flex-direction:column;min-width:0;overflow:hidden;background:var(--bg-secondary);border:1px solid var(--border);border-radius:8px;padding:8px}.board-column-head{display:flex;align-items:center;gap:6px;margin-bottom:8px}.board-column-cards{display:flex;flex-direction:column;gap:8px;min-height:8px}.board-column-empty{color:var(--text-muted);font-size:12px;text-align:center;padding:6px 0}.board-card{background:var(--bg-primary);border:1px solid var(--border);border-radius:8px;padding:8px 9px;box-shadow:0 1px 2px #0f172a0a}.board-card-head{display:flex;align-items:center;gap:6px;margin-bottom:4px}.board-card-id{max-width:65%;font-family:var(--font-mono);font-size:10px;font-weight:700;overflow:hidden;text-overflow:ellipsis}.board-card-head .priority-chip{margin-left:auto}.board-card-title{font-size:13px;font-weight:600;line-height:1.35;margin-bottom:6px;overflow-wrap:anywhere}.board-card-meta{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.board-owner-empty{color:var(--text-muted);font-size:11px;font-style:italic}.board-task-count{color:var(--text-secondary);font-size:10px}.board-card-time{margin-left:auto;color:var(--text-muted);font-size:10px;white-space:nowrap}.board-source-status{color:var(--tag-orange-fg);background:var(--tag-orange-bg);border:1px solid var(--tag-orange-border);border-radius:999px;padding:0 6px;font-size:10px}.board-running-badge{color:var(--tag-green-fg);font-size:10px;font-weight:800;letter-spacing:.03em;animation:board-pulse 1.6s ease-in-out infinite}.board-card-running{border-color:var(--tag-green-border);box-shadow:0 0 0 1px var(--tag-green-border),0 1px 2px #0f172a0a}@keyframes board-pulse{0%,to{opacity:1}50%{opacity:.35}}.board-card-details{margin-top:6px}.board-card-details summary{cursor:pointer;font-size:11px;color:var(--text-secondary)}.board-card-detail-body{display:flex;flex-direction:column;gap:5px;margin-top:6px}.board-detail-row{display:flex;gap:6px;font-size:11px}.board-detail-row>span{flex:0 0 62px;color:var(--text-muted)}.board-detail-row>div{display:flex;flex-wrap:wrap;gap:4px;min-width:0}.board-detail-row .tag-chip{max-width:100%;overflow:hidden;text-overflow:ellipsis}.board-commits{flex-direction:column;align-items:flex-start}@media (max-width: 1050px){.board-columns{grid-template-columns:1fr}.board-column-cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr))}}