@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-cyrillic-ext-400-normal-g30qAdWV.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-400-normal-Dsrv2Tcn.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-cyrillic-400-normal-DZqxrq2p.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-400-normal-BTotfTJu.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-greek-400-normal-_efipK4i.woff2) format("woff2"),url(./ibm-plex-sans-greek-400-normal-D9ESIMu3.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-vietnamese-400-normal-DG4YqDda.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-400-normal-fK1oJ5dG.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-latin-ext-400-normal-C5H60-Va.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-400-normal-RBey6euL.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-latin-400-normal-CDDApCn2.woff2) format("woff2"),url(./ibm-plex-sans-latin-400-normal-CYLoc0-x.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-cyrillic-ext-500-normal-Cs5J6C77.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-500-normal-DB5PtV2g.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-cyrillic-500-normal-CocWQlwt.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-500-normal-ByOcLdNv.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-greek-500-normal-JMMifIXV.woff2) format("woff2"),url(./ibm-plex-sans-greek-500-normal-CuWXN6rf.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-vietnamese-500-normal-e4dixQRQ.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-500-normal-BEb3_waV.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-latin-ext-500-normal-DakdToA3.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-500-normal-D0aIdm-b.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-latin-500-normal-6ng42L7E.woff2) format("woff2"),url(./ibm-plex-sans-latin-500-normal-BgVn5rGT.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-cyrillic-ext-600-normal-DUMzJB7m.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-600-normal-Bz0x94Yp.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-cyrillic-600-normal-71GNu3SW.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-600-normal-BGq0mW3O.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-greek-600-normal-DzTrcv_p.woff2) format("woff2"),url(./ibm-plex-sans-greek-600-normal-D-CqTdkO.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-vietnamese-600-normal-DpPYBSTl.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-600-normal-DgdngZtN.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-latin-ext-600-normal-DOrvGEcy.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-600-normal-DIrixKbi.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-sans-latin-600-normal-CuJfVYMP.woff2) format("woff2"),url(./ibm-plex-sans-latin-600-normal-Cu4Hd6ag.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-cyrillic-ext-700-normal-BmRLXWpJ.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-700-normal-DCQwxkRk.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-cyrillic-700-normal-D_uavGvn.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-700-normal-RFb1v-CK.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-greek-700-normal-wyJ6jzdA.woff2) format("woff2"),url(./ibm-plex-sans-greek-700-normal-CkZN0sRy.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-vietnamese-700-normal-CkEo6LDy.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-700-normal-BV5B8Are.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-latin-ext-700-normal-aMgXseD4.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-700-normal-DZH6Xh-4.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:700;src:url(./ibm-plex-sans-latin-700-normal-Bxkt5Cjx.woff2) format("woff2"),url(./ibm-plex-sans-latin-700-normal-Bth3BMcD.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-cyrillic-ext-400-normal-xuaO2J-f.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-ext-400-normal-DMdlQ8Kv.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-cyrillic-400-normal-BSMlKf0J.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-400-normal-CEL4l2ZJ.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-vietnamese-400-normal-BulugwFq.woff2) format("woff2"),url(./ibm-plex-mono-vietnamese-400-normal-DDuiU_S-.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-latin-ext-400-normal-BmRBH3aV.woff2) format("woff2"),url(./ibm-plex-mono-latin-ext-400-normal-D3D2R8hC.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-latin-400-normal-DMJ8VG8y.woff2) format("woff2"),url(./ibm-plex-mono-latin-400-normal-CvHOgSBP.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-cyrillic-ext-500-normal-BqneJy0T.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-ext-500-normal-BIfNGwUT.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-cyrillic-500-normal-Bq9vWWag.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-500-normal-Ael50iVv.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-vietnamese-500-normal-DZ4AoWbu.woff2) format("woff2"),url(./ibm-plex-mono-vietnamese-500-normal-C8zxqsMH.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-latin-ext-500-normal-CAhNIIs5.woff2) format("woff2"),url(./ibm-plex-mono-latin-ext-500-normal-CZ70TYgx.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-latin-500-normal-DSY6xOcd.woff2) format("woff2"),url(./ibm-plex-mono-latin-500-normal-CB9ihrfo.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-mono-cyrillic-ext-600-normal-V-xxqcpd.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-ext-600-normal-9HEixskS.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-mono-cyrillic-600-normal-CTOM6hUh.woff2) format("woff2"),url(./ibm-plex-mono-cyrillic-600-normal-fLZuRloM.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-mono-vietnamese-600-normal-D2EvbN8M.woff2) format("woff2"),url(./ibm-plex-mono-vietnamese-600-normal-iLQfcSjf.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-mono-latin-ext-600-normal-D38SheWl.woff2) format("woff2"),url(./ibm-plex-mono-latin-ext-600-normal-DmB0ttJJ.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(./ibm-plex-mono-latin-600-normal-BgSNZQsw.woff2) format("woff2"),url(./ibm-plex-mono-latin-600-normal-DWFSQ4vo.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--bg: #dde2ea;--surface: #ffffff;--surface-2: #eaeef4;--border: #d2d8e1;--border-strong: #97a2b1;--rule: #d2d8e1;--bench-grid: #c7cedb;--text: #161b24;--text-dim: #636d7b;--accent: #3559c7;--accent-soft: #e3e9fb;--slate: #5b6472;--evidence: #0e7490;--neg: #c2410c;--neg-soft: #fde4d3;--ok: #15803d;--warn: #b45309;--info: #2563a8;--headline: #1b2a52;--premise: #2f7d6b;--lemma: #6b5bb0;--conclusion: #1b3a8a;--xprem: #188038;--xprem-soft: #def0e2;--xconc: #a21caf;--xconc-soft: #f6e3f9;--xback: #9a6700;--xback-soft: #fdf2c7;--accent-line: #b6c8f5;--mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;--sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--radius: 5px;--radius-lg: 9px;--eyebrow-h: 26px}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{font-family:var(--sans);color:var(--text);background:var(--bg);font-size:13px}.app{display:flex;flex-direction:column;height:100%}.app__body{flex:1;min-height:0;background-color:var(--bg)}.toolbar{display:flex;align-items:center;flex-wrap:wrap;gap:8px 12px;padding:7px 12px;background:var(--surface);border-bottom:1px solid var(--rule)}.toolbar__brand{display:inline-flex;align-items:center;font-weight:700;font-size:15px;letter-spacing:.01em;color:var(--headline);-webkit-user-select:none;user-select:none}.toolbar__brand .brand__bar{width:2px;height:14px;margin:0 3px;border-radius:1px;background:var(--evidence)}.toolbar__picker{font-family:var(--mono);font-size:12px;padding:3px 6px;border:1px solid var(--border);border-radius:5px;background:var(--surface)}.toolbar__title{font-weight:600;max-width:30ch;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.toolbar__dot{color:var(--accent);margin-left:6px;font-size:10px;vertical-align:middle}.toolbar__stats{font-family:var(--mono);font-size:11px;color:var(--text-dim);font-variant-numeric:tabular-nums}.toolbar__spacer{flex:1}.btn{font:inherit;font-size:12px;padding:4px 10px;border:1px solid var(--border);border-radius:5px;background:var(--surface);color:var(--text);cursor:pointer}.btn:hover:not(:disabled){background:var(--surface-2)}.btn:disabled{opacity:.5;cursor:default}.btn--sm{padding:2px 8px;font-size:11px}.btn__icon{display:none}.btn--toggle-on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.btn--toggle-on:hover:not(:disabled){background:var(--accent-soft)}.toolbar__panes{display:flex;gap:2px}.pane{min-height:0;overflow:hidden;background:var(--surface)}.pane-frame{display:flex;flex-direction:column;height:100%}.pane-eyebrow{position:relative;display:flex;align-items:center;gap:7px;height:var(--eyebrow-h);flex-shrink:0;padding:0 10px;border-bottom:1px solid var(--rule);font-size:10.5px;font-weight:600;letter-spacing:.13em;text-transform:uppercase;color:var(--text-dim);-webkit-user-select:none;user-select:none}.pane-eyebrow:before{content:"";width:2px;height:12px;border-radius:1px;background:var(--accent)}.pane-eyebrow__meta{margin-left:auto;font-weight:500;letter-spacing:.02em;text-transform:none;color:var(--text-dim)}.pane-body{flex:1;min-height:0;overflow:hidden}.resize-handle{position:relative;width:1px;background:var(--rule)}.resize-handle:before{content:"";position:absolute;top:0;right:-3px;bottom:0;left:-3px;cursor:col-resize}.resize-handle:hover,.resize-handle[data-resize-handle-active]{background:var(--accent)}.editor-pane{height:100%;overflow:hidden}.editor-pane .cm-editor{height:100%;font-family:var(--mono);font-size:12.5px}.editor-pane .cm-scroller{overflow:auto}.editor-pane .cm-line.cm-selected-node{background:var(--accent-line);box-shadow:inset 3px 0 0 var(--accent)}.editor-pane .cm-gutterElement.cm-gutter-selected{background:var(--accent);color:#fff}.editor-pane .cm-foldGutter{display:none!important}.editor-pane .cm-fold-gutter{width:1.6em}.editor-pane .cm-fold-gutter .cm-gutterElement{display:flex;align-items:flex-start;justify-content:center;cursor:pointer}.editor-pane .cm-fold-chevron{line-height:1.4;transform:scale(1.85);color:var(--accent);transition:opacity .18s ease}.editor-pane .cm-fold-chevron--folded{opacity:.85}.editor-pane .cm-fold-chevron--expanded{opacity:0}.editor-pane .cm-gutters:hover .cm-fold-chevron--expanded{opacity:.7}.editor-pane .cm-gutters:hover .cm-fold-chevron--folded{opacity:1}.editor-pane .cm-fold-gutter .cm-gutterElement.cm-gutter-selected .cm-fold-chevron{color:#fff;opacity:1}.editor-pane .cm-selectionLayer{z-index:1!important;pointer-events:none}.editor-pane .cm-selectionLayer .cm-selectionBackground{background:#283a604d!important}.kbd-help__btn{border:none;background:none;cursor:pointer;padding:0 3px;font-size:16px;line-height:1;color:var(--text-dim);border-radius:3px}.kbd-help__btn:hover{color:var(--accent);background:var(--accent-soft)}.kbd-help__backdrop{position:fixed;top:0;right:0;bottom:0;left:0;z-index:40}.kbd-help{position:absolute;top:calc(var(--eyebrow-h) + 2px);right:6px;z-index:41;width:max-content;max-width:320px;padding:10px 12px;background:var(--surface);border:1px solid var(--border-strong);border-radius:6px;box-shadow:0 6px 24px #141b242e;text-transform:none;letter-spacing:normal;font-weight:400;cursor:default}.kbd-help__title{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim);margin-bottom:8px}.kbd-help__list{display:grid;grid-template-columns:auto 1fr;gap:5px 14px;margin:0}.kbd-help__row{display:contents}.kbd-help__row dt{margin:0}.kbd-help__row dd{margin:0;font-size:12px;color:var(--text);align-self:center}.kbd-help kbd{display:inline-block;white-space:nowrap;font-family:var(--mono);font-size:11px;color:var(--text);background:var(--surface-2);border:1px solid var(--border);border-radius:4px;padding:1px 6px}.cm-xline--prem{background:var(--xprem-soft)}.cm-xline--conc{background:var(--xconc-soft)}.cm-xline--back{background:var(--xback-soft)}.cm-xline--cut{background:var(--neg-soft)}.cm-xline--prem.cm-xline--strong{box-shadow:inset 3px 0 0 var(--xprem)}.cm-xline--conc.cm-xline--strong{box-shadow:inset 3px 0 0 var(--xconc)}.cm-xline--cut.cm-xline--strong{box-shadow:inset 3px 0 0 var(--neg)}.cm-xtok--prem{background:var(--xprem-soft);outline:1px solid var(--xprem);border-radius:2px}.cm-xtok--conc{background:var(--xconc-soft);outline:1px solid var(--xconc);border-radius:2px}.cm-xtok--back{background:var(--xback-soft);outline:1px solid var(--xback);border-radius:2px}.cm-xtok--cut{background:var(--neg-soft);outline:1px solid var(--neg);border-radius:2px}.outline{height:100%;overflow:auto;padding:6px 4px}.outline__content{position:relative;padding-right:26px}.outline__arrows{position:absolute;top:0;right:0;bottom:0;left:0;width:100%;height:100%;pointer-events:none;overflow:visible}.outline-arrow{fill:none;stroke-width:1.5;opacity:.85}.outline-arrow--prem{stroke:var(--xprem)}.outline-arrow--conc{stroke:var(--xconc)}.outline-arrow--back{stroke:var(--xback)}.outline-arrow--cut{stroke:var(--neg)}.outline-arrow--meta{stroke-dasharray:4 3}.outline-arrow-head--conc{fill:var(--xconc)}.outline-arrow-head--back{fill:var(--xback)}.outline-arrow-head--cut{fill:none;stroke:var(--neg);stroke-width:2}.outline__list{list-style:none;margin:0;padding:0}.outline__row{display:flex;align-items:center;gap:6px;padding:3px 6px;border-radius:4px;cursor:pointer;white-space:nowrap;overflow:hidden}.outline__row:hover{background:var(--surface-2)}.outline__row--selected{background:var(--accent-soft);outline:1px solid var(--accent);white-space:normal;flex-wrap:wrap;align-items:baseline}.outline__row--selected .outline__text{overflow:visible}.outline__desc{flex-basis:100%;color:var(--text-dim);font-size:11.5px;line-height:1.35}.outline__row--prem{background:var(--xprem-soft);box-shadow:inset 2px 0 0 var(--xprem)}.outline__row--conc{background:var(--xconc-soft);box-shadow:inset 2px 0 0 var(--xconc)}.outline__row--back{background:var(--xback-soft);box-shadow:inset 4px 0 0 var(--xback)}.outline__row--cut{background:var(--neg-soft);box-shadow:inset 4px 0 0 var(--neg)}.outline__row--has-selection{outline:1px dashed var(--accent);outline-offset:-1px}.outline__row--preview{background:var(--accent-soft);outline:1px dashed var(--accent);outline-offset:-1px}.outline__icon{display:inline-block;width:14px;text-align:center;flex-shrink:0}button.outline__icon{font:inherit;border:none;background:none;padding:0;cursor:pointer;border-radius:4px}button.outline__icon:hover{background:var(--accent-soft)}.outline__count{font:inherit;font-size:10px;font-weight:700;line-height:15px;padding:0 6px;border:none;border-radius:8px;background:#c5d3f4;color:var(--accent);cursor:pointer;flex-shrink:0}.outline__count:hover{background:#b3c6f0}.outline__icon--statement{color:var(--accent)}.outline__icon--evidence{color:var(--evidence)}.outline__id{font-family:var(--mono);font-size:11px;color:var(--accent);flex-shrink:0}.outline__id--evidence{color:var(--evidence)}.outline__cite{color:var(--info);font-weight:700;flex-shrink:0}.outline__text{color:var(--text);overflow:hidden;text-overflow:ellipsis}.outline__spacer{flex:1 1 0}.chip{font-size:10px;padding:0 5px;border-radius:8px;flex-shrink:0;line-height:15px}.chip--marginal{font-family:var(--mono);background:var(--surface-2);color:var(--text-dim)}.chip--role{color:#fff;text-transform:lowercase}.chip--premise{background:var(--premise)}.chip--lemma{background:var(--lemma)}.chip--conclusion{background:var(--conclusion)}.chip--isolated{background:var(--warn)}.chip--undercut{background:var(--neg);color:#fff}.diagnostics{border-top:1px solid var(--border);background:var(--surface);flex-shrink:0}.diagnostics--open{max-height:30vh;display:flex;flex-direction:column}.diagnostics__header{display:flex;align-items:center;gap:10px;width:100%;border:none;background:var(--surface);padding:5px 12px;cursor:pointer;font:inherit;text-align:left}.diagnostics__title{font-weight:600}.diagnostics__counts{display:flex;gap:10px;margin-left:auto;font-size:12px}.count--error{color:var(--neg)}.count--warning{color:var(--warn)}.count--info{color:var(--info)}.diagnostics__list{overflow:auto;border-top:1px solid var(--border)}.diagnostics__empty{padding:10px 12px;color:var(--text-dim)}.diagnostics__row{display:flex;align-items:baseline;gap:10px;padding:3px 12px;cursor:pointer;font-size:12px}.diagnostics__row:hover{background:var(--surface-2)}.diagnostics__sev{width:12px}.diagnostics__row--error .diagnostics__sev{color:var(--neg)}.diagnostics__row--warning .diagnostics__sev{color:var(--warn)}.diagnostics__row--info .diagnostics__sev{color:var(--info)}.diagnostics__code{font-family:var(--mono);font-weight:600;width:5ch}.diagnostics__line{color:var(--text-dim);width:7ch}.diagnostics__msg{color:var(--text)}.detail{border-top:1px solid var(--border);background:var(--surface);flex-shrink:0}.detail--open{max-height:30vh;display:flex;flex-direction:column}.detail__header{display:flex;align-items:center;gap:10px;width:100%;border:none;background:var(--surface);padding:5px 12px;cursor:pointer;font:inherit;text-align:left}.detail__title{font-weight:600}.detail__subject{font-family:var(--mono);font-size:12px;color:var(--text-dim);margin-left:auto}.detail__body{overflow:auto;border-top:1px solid var(--border);padding:8px 12px;display:flex;flex-direction:column;gap:8px}.detail__empty{color:var(--text-dim)}.detail__edges{display:flex;flex-wrap:wrap;gap:6px}.detail__edge{display:inline-flex;align-items:baseline;gap:5px;border:1px solid var(--border);border-radius:6px;background:var(--surface-2);padding:2px 7px;cursor:pointer;font:inherit;font-size:11px;text-align:left;max-width:240px}.detail__edge:hover{border-color:var(--accent)}.detail__edge-rel{color:var(--text-dim);white-space:nowrap}.detail__edge--neg .detail__edge-rel{color:var(--neg)}.detail__edge-target{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.graph{height:100%;display:flex;flex-direction:column}.graph__controls{display:flex;align-items:center;gap:6px;padding:6px 8px;border-bottom:1px solid var(--rule);background:var(--surface)}.graph__eyebrow{display:inline-flex;align-items:center;gap:7px;margin-right:4px;font-size:10.5px;font-weight:600;letter-spacing:.13em;text-transform:uppercase;color:var(--text-dim);-webkit-user-select:none;user-select:none}.graph__eyebrow:before{content:"";width:2px;height:12px;border-radius:1px;background:var(--accent)}.graph__controls-spacer{flex:1}.layout-controls{display:flex;align-items:center;gap:10px}.layout-controls__field,.layout-controls__check{display:flex;align-items:center;gap:4px;font-size:11px;color:var(--text-dim);white-space:nowrap}.layout-controls__check{cursor:pointer}.layout-controls__check input{margin:0}.layout-controls__check[data-disabled]{opacity:.45;cursor:default}.layout-controls select{font:inherit;font-size:11px;padding:1px 4px;border:1px solid var(--border);border-radius:4px;background:var(--surface);color:var(--text);cursor:pointer}.layout-controls select:hover{background:var(--surface-2)}.graph__canvas{position:relative;flex:1;overflow:hidden;background:radial-gradient(circle,#e7eaef 1px,transparent 1px) 0 0 / 22px 22px;cursor:grab}.graph__canvas:active{cursor:grabbing}.graph__hint{position:absolute;top:12px;left:12px;z-index:2;padding:4px 10px;border:1px solid var(--border);border-radius:5px;background:var(--surface);color:var(--text-dim);font-size:12px;pointer-events:none}.graph__loading,.graph__error{position:absolute;top:12px;left:12px;color:var(--text-dim)}.graph__error{color:var(--neg)}.graph__viewport{position:absolute;top:0;left:0;transform-origin:0 0}.graph__viewport--anim{transition:transform calc(.28s * var(--flip-scale, 1)) cubic-bezier(.2,.7,.2,1)}.graph__viewport--busy>.gcard,.graph__viewport--busy>.gjunction-wrap,.graph__viewport--busy>.ggroup{pointer-events:none}.graph__edges{position:absolute;top:0;left:0;overflow:visible;pointer-events:none;transition:opacity calc(.16s * var(--flip-scale, 1)) ease}.graph__edges--settling{opacity:.12}.gcard.is-leaving,.gjunction-wrap.is-leaving,.ggroup.is-leaving{opacity:0;pointer-events:none;transition:opacity calc(.24s * var(--flip-scale, 1)) ease}.edge{stroke:var(--slate);stroke-width:1.5;transition:opacity .15s}.edge--premise{stroke:var(--border-strong);stroke-width:1.25}.edge--conclusion{stroke:var(--slate)}.edge--negated.edge--conclusion{stroke:var(--neg)}.edge--undercut{stroke:var(--neg);stroke-width:1.5;stroke-dasharray:5 3}.edge--contested{stroke-opacity:.4}.edge--meta{stroke-dasharray:4 3}.edge--selected{stroke:var(--accent);stroke-opacity:1;stroke-width:2}.ghost-stub{position:absolute;transform:translate(-50%,-50%);z-index:5;width:max-content;min-width:3em;max-width:132px;padding:3px 7px;font-size:10px;line-height:1.3;color:var(--text-dim);background:var(--surface);border:1px dashed var(--border);border-radius:7px;cursor:pointer;white-space:normal;overflow-wrap:break-word;box-shadow:0 1px 4px #0000002e}.ghost-stub:hover{color:var(--text);border-color:var(--accent)}.ghost-stub--offscreen{border-style:solid;border-color:var(--accent-line);display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:3;line-clamp:3;overflow:hidden}.ghost-stub--offscreen:hover{border-color:var(--accent);background:var(--accent-soft)}.ghost-stub__caret{color:var(--accent);font-size:9px;margin:0 2px}.edge--dim{opacity:.12}.edge--xprem{stroke:var(--xprem);stroke-width:2}.edge--xconc{stroke:var(--xconc);stroke-width:2}.edge--xback{stroke:var(--xback);stroke-width:2}.edge--xcut{stroke:var(--neg);stroke-width:2.25}.edge-marker--arrow{fill:var(--slate)}.edge-marker--tee{stroke:var(--neg);stroke-width:2;fill:none}.edge-marker--bubble{fill:var(--surface);stroke:var(--border-strong)}.gcard{position:absolute;background:var(--surface);border:1px solid var(--border);border-radius:8px;padding:7px 9px 9px;box-shadow:0 1px 2px #141e320f;display:flex;flex-direction:column;gap:4px;cursor:pointer;transition:opacity .15s,box-shadow .15s;border-top:3px solid var(--border)}.gcard[data-role=premise]{border-top-color:var(--premise)}.gcard[data-role=lemma]{border-top-color:var(--lemma)}.gcard[data-role=conclusion]{border-top-color:var(--conclusion)}.gcard--headline{border-width:2px;border-top-width:4px;box-shadow:0 2px 8px #141e3224}.gcard--headline .gcard__label{font-size:14px}.gcard--selected{outline:2px solid var(--accent);outline-offset:1px;z-index:2}.gcard--dim{opacity:.22}.gcard--spine,.gjunction--spine{box-shadow:0 0 0 2px var(--accent),0 0 12px 3px #3559c766;z-index:4}.edge--spine{stroke:var(--accent);stroke-width:2.5;stroke-opacity:1}.edge-hit{pointer-events:stroke;cursor:pointer}.graph__viewport--busy .edge-hit{pointer-events:none}.edge--tunnel{stroke-dasharray:6 4;stroke-opacity:.6}.edge--tunnel.edge--dim{opacity:0}.edge--behind{opacity:.12}.gcard--prem{outline:2px solid var(--xprem);outline-offset:1px}.gcard--conc{outline:2px solid var(--xconc);outline-offset:1px}.gcard--back{outline:2px solid var(--xback);outline-offset:1px}.gcard--cut{outline:2px solid var(--neg);outline-offset:1px}.gcard--conc-ghost{outline:2px dashed var(--xconc);outline-offset:1px}.gcard__head{display:block}.gcard__head:after{content:"";display:block;clear:both}.gcard__head .gcard__cite{float:right;margin-left:6px}.gcard__head .badge--refine{position:absolute;top:-8px;right:10px;z-index:1;box-shadow:0 1px 2px #141e321f}.gcard__label{font-weight:600;line-height:1.25}.gcard__id{font-family:var(--mono);font-size:11px;color:var(--accent)}.gcard__cite{color:var(--info);font-weight:700}.gcard__detail-badge{position:absolute;right:10px;bottom:-8px;display:flex;align-items:center;justify-content:center;height:15px;min-width:20px;padding:0 4px;font-size:12px;line-height:1;color:var(--text-dim);background:var(--surface);border:1px solid var(--border-strong);border-radius:6px;box-shadow:0 1px 2px #141e321f;z-index:1}.gcard__stripe{position:absolute;left:0;top:0;bottom:0;width:5px;background:var(--surface-2);border-radius:8px 0 0 8px;overflow:hidden}.gcard__stripe-fill{position:absolute;left:0;right:0;bottom:0;background:var(--accent)}.gcard__stripe-fill--est{background:repeating-linear-gradient(45deg,var(--accent),var(--accent) 3px,var(--accent-soft) 3px,var(--accent-soft) 6px)}.graph__popup{position:absolute;z-index:20;max-width:280px;pointer-events:none;background:var(--surface);border:1px solid var(--border);border-radius:8px;box-shadow:0 4px 16px #141e322e;padding:8px 10px}.ndetail{display:flex;flex-direction:column;gap:5px}.ndetail__head{display:flex;align-items:baseline;gap:8px}.ndetail__id{font-family:var(--mono);font-size:11px}.ndetail--statement .ndetail__id{color:var(--accent)}.ndetail--evidence .ndetail__id{color:var(--evidence)}.ndetail__role{font-size:10px;text-transform:uppercase;letter-spacing:.04em;color:var(--text-dim)}.ndetail__label{font-weight:600;font-size:13px;line-height:1.25}.ndetail__gloss{font-size:12px;line-height:1.4;color:var(--text-dim)}.ndetail__marginal{display:flex;align-items:center;gap:8px}.ndetail__p{font-family:var(--mono);font-size:11px;color:var(--text)}.ndetail__gauge{position:relative;flex:1;height:5px;border-radius:3px;background:var(--surface-2);overflow:hidden}.ndetail__gauge-fill{position:absolute;inset:0 auto 0 0;height:100%;background:var(--accent)}.ndetail__gauge-fill--est{background:repeating-linear-gradient(45deg,var(--accent),var(--accent) 3px,var(--accent-soft) 3px,var(--accent-soft) 6px)}.badge{font:inherit;font-size:10px;line-height:15px;padding:0 5px;border-radius:8px;border:1px solid var(--border);background:var(--surface-2);color:var(--text-dim);cursor:pointer;flex-shrink:0}.badge--marginal{font-family:var(--mono);cursor:default}.badge--est{border-style:dashed}.badge--refine{border-color:var(--accent);color:var(--accent)}.badge--collapse,.badge--refine:hover{background:var(--accent-soft)}.gjunction-wrap{position:absolute;display:flex;align-items:center;justify-content:center}.gjunction{width:13px;height:13px;background:var(--slate);transform:rotate(45deg);cursor:pointer;transition:opacity .15s;border:1.5px solid var(--slate)}.gjunction--or{background:var(--surface)}.gjunction--undercut{border-width:2.5px;border-color:var(--neg)}.gjunction--trivial{width:6px;height:6px;border-width:1px;border-radius:50%;transform:none}.gjunction--selected{outline:2px solid var(--accent);outline-offset:2px}.gjunction--dim{opacity:.22}.gjunction--prem{outline:2px solid var(--xprem);outline-offset:2px}.gjunction--conc{outline:2px solid var(--xconc);outline-offset:2px}.gjunction--back{outline:2px solid var(--xback);outline-offset:2px}.gjunction--cut{outline:2px solid var(--neg);outline-offset:2px}.gjunction__badge{position:absolute;top:-8px;left:16px}.gjunction__cite{position:absolute;top:-9px;right:14px;font-size:12px;font-weight:700;color:var(--info)}.gjunction__label{position:absolute;font-size:10px;line-height:13px;color:var(--text-dim);text-align:center;background:#f6f7f9d9;padding:0 3px;border-radius:3px;overflow:hidden;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical}.ggroup{position:absolute;border:1px solid var(--border-strong);border-radius:10px;background:#788caf0f;cursor:pointer}.ggroup--depth1{background:#788caf12}.ggroup--depth2{background:#788caf1c}.ggroup--depth3{background:#788caf26}.ggroup--depth4{background:#788caf30}.ggroup--selected{border-color:var(--accent)}.ggroup__bar{position:absolute;bottom:0;left:0;right:0;display:flex;align-items:center;gap:6px;padding:4px 8px;font-size:11px;color:var(--text-dim)}.ggroup__kind--evidence{color:var(--slate)}.ggroup__title{font-weight:600;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;flex:1}@keyframes argmap-flash{0%{box-shadow:0 0 0 6px var(--accent),0 0 36px 13px #3559c7a6}to{box-shadow:0 0 0 2px #3559c700,0 0 14px 5px #3559c700}}.ggroup--flash,.gcard--flash,.gjunction--flash,.gjunction__label--flash{animation:argmap-flash 1.56s ease-out;z-index:5}body.compact .toolbar{flex-wrap:nowrap;padding:2px 8px;gap:3px}body.compact .toolbar__brand{font-size:13px}body.compact .toolbar__brand .brand__bar{height:12px}body.compact .toolbar__stats,body.compact .toolbar__title{display:none}body.compact .toolbar__picker{max-width:22ch}body.compact .toolbar__panes{gap:3px}body.compact .btn{padding:3px 7px}body.compact .btn__icon{display:inline-block;width:1em;text-align:center;font-size:13px;line-height:1}body.compact .btn__label{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}body.compact .pane-eyebrow{height:16px;font-size:9px;letter-spacing:.1em}body.compact .pane-eyebrow:before{height:9px}body.compact .graph__eyebrow{font-size:9px}body.compact .graph__eyebrow:before{height:9px}body.compact .graph__controls{padding:3px 6px}body.compact .diagnostics__header{padding:2px 12px}:where(.btn,.toolbar__picker,.layout-controls select,button.outline__icon,.outline__count):focus-visible{outline:2px solid var(--accent);outline-offset:1px}@media (prefers-reduced-motion: reduce){*,*:before,*:after{transition-duration:.01ms!important}.ggroup--flash,.gcard--flash,.gjunction--flash,.gjunction__label--flash{animation:none;box-shadow:0 0 0 5px var(--accent),0 0 0 9px var(--accent-soft)}}@media (pointer: coarse){.btn{min-height:32px}.toolbar__picker{min-height:30px}}