:root{--bg-0:#0f1220;--bg-1:#14172a;--bg-2:#191d34;--card:#1f2442;--accent:#7c4dff;--accent-2:#22d3ee;--accent-3:#f472b6;--text:#e6e9f5;--text-dim:#a9b0c7;--ok:#22c55e;--warn:#f59e0b;--danger:#ef4444;--shadow:0 10px 30px rgba(0,0,0,.35),0 2px 8px rgba(0,0,0,.4);--drawer-w:20vw;--emerald-500:#10b981;--emerald-600:#059669;--btn-stroke:#86efac;--btn-stroke-hover:#a7f3d0;--scroll-track:linear-gradient(180deg,hsla(0,0%,100%,.02),rgba(0,0,0,.02));--scroll-thumb-start:rgba(124,77,255,.28);--scroll-thumb-end:rgba(0,229,255,.1);--scroll-thumb-glow:rgba(124,77,255,.12)}body,html{height:100%}body{background:radial-gradient(1200px 800px at 80% -10%,#2b2f55 0,var(--bg-0) 40%),radial-gradient(1000px 600px at -20% 120%,#2b2f55 0,var(--bg-0) 50%);color:var(--text);font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,Apple Color Emoji,Segoe UI Emoji;margin:0;overflow:hidden}#app{display:grid;grid-template-rows:auto 1fr auto;height:100%}#stage{overflow:hidden;position:relative}#svg{background:radial-gradient(1000px 600px at 50% -30%,rgba(124,77,255,.08),transparent 60%),radial-gradient(1000px 600px at 50% 130%,rgba(34,211,238,.06),transparent 60%);display:block}#svg,._ccs{height:100%;width:100%}._ccs{left:0;pointer-events:none;position:absolute;top:0;transform-origin:0 0;z-index:2}._ccs ._cas{pointer-events:auto;position:absolute}._cct{stroke:#ffffff0d;stroke-width:1}#measure{left:-9999px;position:absolute;top:-9999px;visibility:hidden}#measure ._cas{display:block;position:relative;width:auto}#measure ._cbP{display:none}._cbZ{fill:#7c4dff1f;pointer-events:none;shape-rendering:crispEdges;stroke:#7c4dffe6;stroke-width:1.5}header{background:linear-gradient(180deg,var(--bg-2),var(--bg-1));border-bottom:1px solid hsla(0,0%,100%,.06);gap:.5rem;padding:.5rem .75rem;position:relative;z-index:3}._ccd,header{align-items:center;display:flex}._ccd{background:linear-gradient(135deg,#7c4dff26,#22d3ee1f);border-radius:14px;gap:.6rem;padding:.25rem .5rem}._ccd h1{font-size:1.05rem;letter-spacing:.3px;margin:0}._cce{align-items:center;display:flex;flex-wrap:wrap;gap:.4rem;margin-left:auto}footer{background:linear-gradient(180deg,var(--bg-1),var(--bg-2));border-top:1px solid hsla(0,0%,100%,.06);gap:.5rem;justify-content:space-between;padding:.3rem .6rem;position:relative;z-index:3}._cca,footer{align-items:center;display:flex}._cca{gap:.4rem;margin-left:auto}._ccb,._ccc{color:var(--text-dim);font-size:.8rem}._ccc{cursor:pointer;text-decoration:underline}._caK{align-items:center;background:linear-gradient(180deg,#2a3058,#22274a);border:1px solid hsla(0,0%,100%,.08);border-radius:12px;box-shadow:var(--shadow);color:var(--text);cursor:pointer;display:inline-flex;font-size:.9rem;gap:.4rem;padding:.45rem .7rem;transition:transform .08s ease,background .2s ease,border-color .2s ease,box-shadow .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none}._caK:hover{border-color:#7c4dff59;transform:translateY(-1px)}._caK:active{transform:translateY(0)}._caK[disabled]{cursor:not-allowed;filter:grayscale(.3);opacity:.45}._caK._caO{background:linear-gradient(180deg,#ef4444e6,#ef4444a6);border-color:#ef444499}._caK._ccf{background:linear-gradient(180deg,#ffffff0f,#ffffff0a)}._caL{background:#ffffff0d;border:1px solid hsla(0,0%,100%,.1);color:#e5e5e5}._caL:hover{background:#ffffff1a}._caM{background:var(--emerald-600);border:1px solid hsla(0,0%,100%,.08);box-shadow:0 0 0 2px var(--btn-stroke);color:#fff;position:relative}._caM:hover{background:var(--emerald-500);box-shadow:0 0 0 2px var(--btn-stroke-hover)}._caK._car{background:linear-gradient(180deg,#22c55ee6,#22c55ea6);border-color:#22c55e99}._caK._caZ{display:flex;justify-content:flex-start;width:100%}._caX{background:transparent;border:none;color:var(--text);cursor:pointer;font-size:18px}._ccg{flex:1}._cch{display:inline-flex;position:relative}._cci{background:linear-gradient(180deg,#161b34f5,#0f1328f5);border:1px solid hsla(0,0%,100%,.1);border-radius:12px;box-shadow:0 16px 36px #080b1880;display:flex;flex-direction:column;gap:.35rem;min-width:240px;padding:.6rem;position:absolute;right:0;top:calc(100% + .4rem);z-index:5}._cci[hidden]{display:none}._ccj{align-items:flex-start;background:transparent;border:1px solid transparent;border-radius:10px;color:inherit;cursor:pointer;display:flex;flex-direction:column;font:inherit;gap:.15rem;padding:.55rem .6rem;text-align:left;transition:background .18s ease,border-color .18s ease,transform .12s ease;width:100%}._ccj:focus-visible{outline:2px solid rgba(124,77,255,.6);outline-offset:2px}._ccj:hover{background:#7c4dff1f;border-color:#7c4dff59;transform:translateY(-1px)}._cck{color:var(--text);font-size:.92rem;font-weight:600}._ccl{color:#e9f1ffb3;font-size:.8rem}._ccm{align-items:center;display:flex;gap:.6rem;margin-top:.85rem}._ccn{background:#0f1328b3;border:1px solid hsla(0,0%,100%,.15);border-radius:12px;color:var(--text);flex:1;font-size:.9rem;line-height:1.3;min-width:0;padding:.55rem .75rem}._ccn:focus{outline:2px solid rgba(124,77,255,.6);outline-offset:2px}._cco{align-items:center;background:var(--emerald-600);border:1px solid hsla(0,0%,100%,.12);border-radius:12px;box-shadow:0 0 0 2px var(--btn-stroke);color:#fff;cursor:pointer;display:inline-flex;height:42px;justify-content:center;line-height:0;transition:transform .08s ease,background .2s ease,border-color .2s ease,box-shadow .2s ease;width:42px}._cco:hover{background:var(--emerald-500);border-color:#ffffff29;box-shadow:0 0 0 2px var(--btn-stroke-hover);transform:translateY(-1px)}._cco:focus-visible{outline:2px solid rgba(124,77,255,.6);outline-offset:2px}._cco img,._cco svg{display:block;fill:currentColor;height:18px;width:18px}._ccp{color:#e9f1ffbf;font-size:.85rem;margin-top:.7rem;min-height:1.1rem}._ccp._cbr{color:var(--emerald-500)}._ccp._cbs{color:#f87171}._ccq{align-items:center;background:linear-gradient(180deg,#7c4dffd9,#22d3eea6);border-color:#7c4dff73;box-shadow:0 10px 24px #7c4dff2e,0 2px 10px #00000059;display:inline-flex;font-weight:400;justify-content:center;left:50%;letter-spacing:.2px;max-width:72vw;min-width:520px;overflow:hidden;padding:.5rem 56px .5rem 1.2rem;position:absolute;text-overflow:ellipsis;top:50%;transform:translate(-50%,-50%);white-space:nowrap}._ccq:hover{transform:translate(-50%,-50%) translateY(-1px)}._ccq:active{transform:translate(-50%,-50%) translateY(0)}._ccq._caw{animation:guidePulse 1.8s ease-in-out infinite}@keyframes guidePulse{0%,to{box-shadow:0 10px 24px #7c4dff2e,0 0 #7c4dff33}50%{box-shadow:0 10px 28px #7c4dff42,0 0 0 6px #7c4dff1a}}@media (max-width:1650px){._ccq{flex:1 1 370px;left:auto;margin:0 .25rem;max-width:100%;min-width:0;position:relative;top:auto;transform:none}._ccq:hover{transform:translateY(-1px)}._ccq:active{transform:translateY(0)}}._cau{display:block;font-weight:400;overflow:hidden;text-align:center;text-overflow:ellipsis;white-space:nowrap;width:100%}._cav{display:inline-block;font-size:18px;line-height:1;position:absolute;right:12px}._cao{align-items:stretch;flex-direction:column}._cao ._cap{display:flex;gap:8px;justify-content:center;margin-top:8px;width:100%}._ccr{overflow:visible}._cas{box-sizing:border-box;flex-direction:column;transition:transform .16s ease}._cas,._cbJ{display:flex;gap:0;height:100%;width:100%}._cbJ{background:linear-gradient(180deg,#ffffff0f,#ffffff08);border:1px solid hsla(0,0%,100%,.08);border-radius:16px;box-shadow:var(--shadow);flex:1 1 auto;flex-direction:column;outline:none;overflow:hidden;position:relative;transition:background .2s ease,border-color .2s ease,box-shadow .2s ease}._cas:hover{transform:translateY(-1px)}._cas._cam ._cbJ{box-shadow:0 0 0 3px #7c4dff40,var(--shadow);outline:2px solid var(--accent)}._cbf{color:var(--text);font-size:1rem;line-height:1.35;word-wrap:break-word;font-weight:600;outline:none;white-space:pre-wrap}._cbf._cbl{background:#ffffff0f;border-radius:8px;padding:2px 4px}._cbf._cbn{border:2px dashed hsla(0,0%,100%,.35);border-radius:10px;padding:4px 6px}._cbf._cbk,._cbf._cbm:before{font-style:italic;opacity:.95}._cbf._cbm:before{color:var(--text-dim);content:"Enter the affirmed proposition here..."}._cbh{align-items:center;background:linear-gradient(135deg,#7c4dff59,#22d3ee59);border-bottom:1px solid hsla(0,0%,100%,.08);display:flex;font-size:.95rem;font-weight:800;gap:.5rem;justify-content:space-between;letter-spacing:.2px;padding:.65rem 1.05rem}._cas._cbu ._cbh{background:linear-gradient(135deg,#10b98159,#05966959)}._cbi,._cbj{font-weight:800}._cbj{background:#22c55e26;border:1px solid rgba(34,197,94,.7);border-radius:999px;color:var(--text);font-size:.72rem;letter-spacing:.06rem;margin-left:.5rem;padding:2px 8px;text-transform:uppercase}._cbK{display:flex;gap:.4rem}._cbK,._cbL{align-items:center}._cbL{background:linear-gradient(180deg,#ffffff0f,#ffffff0a);border:1px solid hsla(0,0%,100%,.12);border-radius:8px;box-shadow:var(--shadow);color:var(--text);cursor:pointer;display:inline-flex;height:26px;justify-content:center;padding:0;transition:transform .08s ease,background .2s ease,border-color .2s ease,box-shadow .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none;width:26px}._cbL:hover{border-color:#7c4dff59;transform:translateY(-1px)}._cbL:active{transform:translateY(0)}._cbM{display:flex;flex-direction:column;gap:.6rem;padding:.9rem 1.1rem 1rem}._cbN{display:grid;gap:.35rem}._caR{align-items:center;background:#ffffff0f;border:1px solid hsla(0,0%,100%,.1);border-radius:999px;cursor:pointer;display:inline-flex;font-size:.78rem;font-weight:700;gap:.35rem;letter-spacing:.2px;padding:.32rem .6rem;-webkit-user-select:none;-moz-user-select:none;user-select:none;width:-moz-max-content;width:max-content}._caR[data-on=true]{background:#22c55e26;border-color:#22c55e66;color:var(--text)}._caR._caO{background:#ef44442e;border-color:#ef444473;color:var(--text)}._cbO{align-items:center;border-top:1px solid hsla(0,0%,100%,.08);display:flex;justify-content:space-between;padding:.74rem 1.1rem .96rem}._cbO ._cbe,._cbO ._cbg{color:var(--accent-2);font-size:.86rem;font-weight:800;line-height:1.15;opacity:.85}._cbO ._cbg{flex:1 1 auto;max-width:85%;min-width:0;overflow-wrap:anywhere;white-space:normal;word-break:break-word}._cbO ._cbe{flex:0 0 auto}._cbI{background:transparent;border:2px dashed var(--accent-2);border-radius:10px;box-sizing:border-box;caret-color:var(--accent-2);color:var(--accent-2);display:block;font-size:.86rem;line-height:1.15;max-width:100%;min-width:40px;outline:none;overflow-wrap:anywhere;padding:4px 6px;white-space:normal;width:100%;word-break:break-word}._cbI._cbl{background:#22d3ee1f}._cbI._cbm:before{color:var(--accent-2);content:"Enter logical formula";font-style:italic;opacity:.9}._cbO ._cbg._cbo{border:2px dashed var(--accent-2);border-radius:10px;min-height:1.4em;padding:4px 6px}._cbH{align-items:center;color:#ffffff8c;cursor:grab;display:inline-flex;font-size:16px;line-height:1;pointer-events:auto;-moz-user-select:none;user-select:none;-webkit-user-select:none}._cbH._cbR{color:#ffffffd9;cursor:grabbing}._cbS ._cas ._cbJ{outline:2px dashed hsla(0,0%,100%,.35)}._cbP{background:transparent;bottom:0;cursor:ew-resize;position:absolute;right:-8px;top:0;touch-action:none;-moz-user-select:none;user-select:none;-webkit-user-select:none;width:16px;z-index:1}._cbU{cursor:pointer;opacity:0;transition:opacity .15s ease,transform .15s ease}#stage._cbY ._cbU{transition:opacity .15s ease}._cbU{pointer-events:none}._cbq._cbX ._cbU[data-enabled=true]{opacity:1;pointer-events:auto}._cbU circle{fill:#262935d9;stroke:#ffffff47;stroke-width:1.4}._cbU:hover circle{fill:#7c4dff8c;stroke:#7c4dffa6}._cbU ._cbV{stroke:var(--accent-2);stroke-width:2.8}._cbU:hover ._cbV{stroke:#fff}._caT{background:linear-gradient(180deg,#23284b,#1b2144);border:1px solid hsla(0,0%,100%,.16);border-radius:14px;box-shadow:var(--shadow);display:flex;flex-direction:column;position:absolute;width:min(280px,92vw);z-index:7}._caT ._caU{border-bottom:1px solid hsla(0,0%,100%,.08);justify-content:space-between;padding:10px 12px}._caT ._caU,._caT ._caV{align-items:center;display:flex}._caT ._caV{font-weight:700;gap:.5rem;letter-spacing:.2px}._caT ._caY{display:flex;flex-direction:column;gap:.5rem;padding:10px}._caW{background:#0f1220;border:1px solid hsla(0,0%,100%,.15);border-radius:999px;color:var(--accent-2);font-size:.82rem;padding:2px 8px}._cbv{fill:none;stroke:#ffffff21;stroke-width:3.2}._cbx{fill:none;stroke:#55575f;stroke-width:3.2}._cby{stroke-linecap:round}._cbz{stroke-linecap:butt}._cbC{stroke-dasharray:0;stroke-linecap:round}._cbv[data-validity=valid]{stroke:var(--ok)}._cbv[data-validity=invalid]{stroke:var(--danger)}._cbw[data-validity=valid] ._cbx{stroke:var(--ok)}._cbw[data-validity=invalid] ._cbx{stroke:var(--danger)}._cbF[data-validity=valid] ._cby{stroke:var(--ok)}._cbF[data-validity=invalid] ._cby{stroke:var(--danger)}._cbB{pointer-events:auto}._cbE{fill:#262935;rx:15;ry:15;stroke:#ffffff2e;stroke-width:1.25}._cbB[data-state=valid] ._cbE{fill:#203431;stroke:#2f6c42}._cbB[data-state=invalid] ._cbE{fill:#3d232e;stroke:#883239}._cbD{dominant-baseline:middle;fill:#e6e9f5f2;font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial;font-size:.83rem;font-weight:700;letter-spacing:.2px}._cbB[data-state=valid] ._cbD{fill:#dff7e8}._cbB[data-state=invalid] ._cbD{fill:#ffe1e1}._can{align-items:center;background:linear-gradient(180deg,#23284b,#1b2144);border:1px solid hsla(0,0%,100%,.16);border-radius:12px;box-shadow:var(--shadow);display:flex;gap:8px;padding:8px;position:absolute;z-index:6}._caq{background:linear-gradient(180deg,#ffffff14,#ffffff0f);border:1px solid hsla(0,0%,100%,.12);border-radius:10px;color:var(--text);cursor:pointer;font-size:.82rem;font-weight:700;letter-spacing:.2px;padding:.35rem .7rem}._caq._car{background:linear-gradient(180deg,#22c55e33,#22c55e1f);border-color:#22c55e73}._caq._caO{background:linear-gradient(180deg,#ef444433,#ef44441f);border-color:#ef444473}._caq[disabled]{cursor:not-allowed;filter:grayscale(.35);opacity:.45}._caN{align-items:center;display:flex;font-weight:700;gap:.5rem}._caN,._caP{letter-spacing:.2px;margin-bottom:6px}._caP{font-size:.75rem;opacity:.85}._caQ{display:flex;gap:8px}#stage._cbG ._ccs ._cas{transition:filter .5s ease,opacity .5s ease}#stage._cbG ._ccs ._cas:not(._cbQ){filter:blur(.6px) saturate(.65);opacity:.15}#stage._cbG ._cba ._cbv,#stage._cbG ._cbb path{opacity:.15;transition:opacity .5s ease}#stage._cbG ._cbb ._cbB{filter:blur(.6px) saturate(.65);opacity:.15;transition:opacity .5s ease,filter .5s ease}#stage._cbG ._cbd *,#stage._cbG ._cdn line{opacity:.15;transition:opacity .5s ease}._cdo{background:radial-gradient(circle at var(--spot-x,50%) var(--spot-y,50%),transparent 0,transparent var(--spot-r0,140px),rgba(0,0,0,.45) var(--spot-r1,260px),rgba(0,0,0,.6) 100%);inset:0;opacity:0;pointer-events:none;position:absolute;transition:opacity .5s ease;z-index:4}#stage._cbG ._cdo{opacity:1}._cdp{align-items:center;background:linear-gradient(180deg,#ffffff1a,#ffffff0f);border:1px solid hsla(0,0%,100%,.18);border-radius:12px;bottom:18px;box-shadow:var(--shadow);color:var(--text);display:flex;flex-direction:column;gap:6px;justify-content:center;left:50%;max-width:84vw;min-width:280px;opacity:0;padding:10px 16px;pointer-events:none;position:absolute;text-align:center;transform:translate(-50%);transition:opacity .3s ease,transform .3s ease;z-index:6}._cdp ._cdq{font-size:1.06rem;font-weight:800}._cdp ._cdr{color:var(--text-dim);font-size:.92rem;font-style:italic;font-weight:400}#stage._cbG ._cdp{opacity:1}dialog{background:linear-gradient(180deg,#23284b,#1b2144);border:none;border-radius:16px;box-shadow:var(--shadow);color:var(--text);position:relative;width:min(640px,92vw)}dialog::backdrop{-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);background:#0006}dialog ._caK:focus,dialog ._caK:focus-visible,dialog ._caq:focus,dialog ._caq:focus-visible{box-shadow:none;outline:none}dialog ._caK._cay,dialog ._caq._cay{box-shadow:0 0 0 2px var(--btn-stroke)!important}._ccA{background:linear-gradient(90deg,#34d399,#818cf8,#22d3ee);border-radius:2px;height:2px;left:6px;position:absolute;right:6px;top:0}._ccB{align-items:center;border-bottom:1px solid hsla(0,0%,100%,.08);display:flex;justify-content:space-between;padding:14px 16px}._ccB ._caV,._ccB ._cax,._ccB ._ccC,._ccB strong{color:var(--text);font-size:1.12rem;font-weight:700;letter-spacing:.2px}._ccu{padding:14px 16px}._ccu,._ccu ._ccD,._ccu ._ccE,._ccu ._ccF{color:var(--text-dim);font-size:.95rem}._caJ{align-items:center;border-top:1px solid hsla(0,0%,100%,.08);display:flex;gap:.5rem;justify-content:flex-end;padding:10px 16px 14px}._caJ ._ccg{flex:1}._ccF{margin:0;opacity:.95;white-space:pre-wrap}._ccF,._ccG{color:var(--text)}._ccG{text-decoration:underline}#help ._ccB{gap:.75rem}#help ._cdg{gap:.65rem}#help ._cdg,#help ._cdh{align-items:center;display:flex}#help ._cdh{background:linear-gradient(180deg,#ffffff0f,#ffffff0a);border:1px solid hsla(0,0%,100%,.12);border-radius:999px;box-shadow:var(--shadow);color:var(--text);font-size:16px;font-weight:900;height:26px;justify-content:center;line-height:1;width:26px}#help ._ccC{font-size:1.05rem;font-weight:800;letter-spacing:.2px}#help ._ccu{padding:16px}#help ._ccD{color:var(--text-dim);margin:0 0 12px;opacity:.95}#help ._cdi{--keys-col-w:220px;background:linear-gradient(180deg,#1f2448,#171c39);border:1px solid hsla(0,0%,100%,.1);border-radius:14px;display:grid;gap:10px;grid-template-columns:1fr;overflow:hidden;padding:10px}#help ._cdj{align-items:center;border-radius:10px;display:grid;gap:12px;grid-template-columns:var(--keys-col-w) 1fr;padding:8px 10px;transition:background .2s ease}#help ._cdj:hover{background:#ffffff0d}#help ._cdk{align-items:center;display:flex;flex-wrap:wrap;gap:6px;width:var(--keys-col-w)}#help ._ccE{color:var(--text-dim);font-weight:600;line-height:1.35}#help ._cdl{background:#0f1220;border:1px solid hsla(0,0%,100%,.18);border-radius:8px;font-weight:800;padding:4px 8px}#help ._cdm{color:#ffffff73;font-weight:700}#help,#help ._ccu{scrollbar-color:rgba(124,77,255,.6) var(--bg-2);scrollbar-width:thin}#help ._ccu::-webkit-scrollbar,#help::-webkit-scrollbar{height:12px;width:12px}#help ._ccu::-webkit-scrollbar-track,#help::-webkit-scrollbar-track{background:var(--bg-2);background-image:var(--scroll-track);border:1px solid hsla(0,0%,100%,.03);border-radius:999px;box-shadow:inset 0 0 0 1px #ffffff04}#help ._ccu::-webkit-scrollbar-thumb,#help::-webkit-scrollbar-thumb{background:linear-gradient(180deg,var(--scroll-thumb-start),var(--scroll-thumb-end));background-clip:padding-box;border:3px solid transparent;border-radius:999px;box-shadow:0 6px 18px #0009,0 0 18px var(--scroll-thumb-glow);min-height:32px;-webkit-transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease;transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease}#help ._ccu::-webkit-scrollbar-thumb:hover,#help::-webkit-scrollbar-thumb:hover{box-shadow:0 10px 28px #000000a6,0 0 30px #7c4dff24;transform:translateY(-1px) scale(1.02)}#help ._ccu::-webkit-scrollbar-thumb:active,#help::-webkit-scrollbar-thumb:active{box-shadow:0 4px 10px #0009,0 0 18px #7c4dff14;transform:scale(.98)}#help ._ccu::-webkit-scrollbar-corner,#help::-webkit-scrollbar-corner{background:transparent}._cdl{background:#0f1220;border:1px solid hsla(0,0%,100%,.15);border-radius:6px;font-size:.9em;padding:2px 6px}#terms,#terms ._ccu{scrollbar-color:rgba(124,77,255,.6) var(--bg-2);scrollbar-width:thin}#terms ._ccu::-webkit-scrollbar,#terms::-webkit-scrollbar{height:12px;width:12px}#terms ._ccu::-webkit-scrollbar-track,#terms::-webkit-scrollbar-track{background:var(--bg-2);background-image:var(--scroll-track);border:1px solid hsla(0,0%,100%,.03);border-radius:999px;box-shadow:inset 0 0 0 1px #ffffff04}#terms ._ccu::-webkit-scrollbar-thumb,#terms::-webkit-scrollbar-thumb{background:linear-gradient(180deg,var(--scroll-thumb-start),var(--scroll-thumb-end));background-clip:padding-box;border:3px solid transparent;border-radius:999px;box-shadow:0 6px 18px #0009,0 0 18px var(--scroll-thumb-glow);min-height:32px;-webkit-transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease;transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease}#terms ._ccu::-webkit-scrollbar-thumb:hover,#terms::-webkit-scrollbar-thumb:hover{box-shadow:0 10px 28px #000000a6,0 0 30px #7c4dff24;transform:translateY(-1px) scale(1.02)}#terms ._ccu::-webkit-scrollbar-thumb:active,#terms::-webkit-scrollbar-thumb:active{box-shadow:0 4px 10px #0009,0 0 18px #7c4dff14;transform:scale(.98)}#terms ._ccu::-webkit-scrollbar-corner,#terms::-webkit-scrollbar-corner{background:transparent}#goalModal ._ccu{padding:16px}#goalModal ._ccv{display:grid;gap:10px;grid-template-columns:repeat(4,1fr);margin-bottom:12px}@media (max-width:1000px){#goalModal ._ccv{grid-template-columns:repeat(2,1fr)}}@media (max-width:560px){#goalModal ._ccv{grid-template-columns:1fr}}#goalModal ._cal{align-items:center;background:linear-gradient(180deg,#ffffff0f,#ffffff0a);border:1px solid hsla(0,0%,100%,.12);border-radius:16px;box-shadow:var(--shadow);color:var(--text);cursor:pointer;display:flex;flex-direction:column;justify-content:center;min-height:130px;padding:14px;text-align:center;transition:transform .08s ease,background .2s ease,border-color .2s ease,box-shadow .2s ease}#goalModal ._cal:hover{border-color:#7c4dff59;transform:translateY(-1px)}#goalModal ._cal._cam{background:linear-gradient(135deg,#7c4dff29,#22d3ee1f);border-color:var(--btn-stroke);box-shadow:0 0 0 2px var(--btn-stroke)}#goalModal ._cal ._caI{font-weight:800;letter-spacing:.2px}#goalModal ._cal ._ccw{font-size:26px;margin:10px 0 0}#goalModal ._ccx{color:var(--text-dim);font-size:.9rem;margin:2px 0 8px}#goalModal ._ccy{background:#ffffff0a;border:1px dashed rgba(124,77,255,.45);border-radius:14px;box-sizing:border-box;color:var(--text);min-height:120px;padding:10px 12px;resize:vertical;width:100%}#goalCard{background:linear-gradient(180deg,#ffffff14,#ffffff0f);border:1px solid hsla(0,0%,100%,.16);border-radius:14px;box-shadow:var(--shadow);color:var(--text);cursor:pointer;display:none;left:18px;max-width:min(460px,46vw);padding:12px 14px;position:absolute;top:18px;transition:transform .12s ease,background .2s ease,border-color .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none;z-index:6}#goalCard:hover{border-color:#7c4dff59;transform:translateY(-1px)}#goalCard:active{transform:translateY(0)}#goalCard ._ccz{align-items:center;display:flex;font-weight:800;gap:.55rem;margin-bottom:6px}#goalCard ._cai{align-items:center;background:linear-gradient(180deg,#ffffff0f,#ffffff0a);border:1px solid hsla(0,0%,100%,.12);border-radius:999px;box-shadow:var(--shadow);display:flex;font-size:16px;height:26px;justify-content:center;line-height:1;width:26px}#goalCard ._caj{font-weight:800}#goalCard ._cak{color:var(--text-dim);font-size:.95rem;line-height:1.35}._ccH{background:transparent;border-left:none;box-shadow:-8px 0 24px #00000059;display:flex;flex-direction:column;height:100%;max-width:96vw;min-width:505px;position:absolute;right:0;top:0;transform:translate(100%);transition:transform .25s ease,width .05s linear;width:var(--drawer-w);z-index:20}._ccH._caz{transform:translate(0)}._ccH._caA{pointer-events:none;transition:none}._ccI{background:transparent;cursor:ew-resize;left:-14px;touch-action:none;-moz-user-select:none;user-select:none;-webkit-user-select:none;width:28px;z-index:8}._ccI,._ccI:before{height:100%;position:absolute;top:0}._ccI:before{background:linear-gradient(180deg,#ffffff1a,#fff0);border-left:1px solid hsla(0,0%,100%,.12);border-right:1px solid hsla(0,0%,100%,.06);content:"";pointer-events:none;right:8px;width:4px}._ccI:hover:before{background:linear-gradient(180deg,#ffffff2e,#fff0)}._ccJ{background:var(--bg-1);display:flex;flex:1;flex-direction:column;min-height:0;overflow:hidden;padding:0}#semanticClarifier{--bg:#0f1220;--panel:#1f2442;--panel-2:#171c39;--text:#e6e9f5;--muted:#a9b0c7;--grid:hsla(0,0%,100%,.04);--edge:hsla(0,0%,100%,.08);--shadow:0 10px 30px rgba(0,0,0,.5);--footer-h:120px;--header-h:72px;--unmarked:#2a3441;--understood:#22c55e;--understood-neon:#86e6a8;--not-understood:#ef4444;--not-understood-neon:#ff8a8a;--defined:#7c4dff;--defined-neon:#b295ff;--tree-line:hsla(0,0%,100%,.22);--accent:#7c4dff;--ring:0 0 0 2px rgba(124,77,255,.35),0 0 0 6px rgba(124,77,255,.15)}#semanticClarifier *{box-sizing:border-box}#semanticClarifier body,#semanticClarifier html{height:100%}#semanticClarifier body{background:radial-gradient(1000px 600px at 50% -30%,rgba(124,77,255,.08),transparent 60%),radial-gradient(1000px 600px at 50% 130%,rgba(34,211,238,.06),transparent 60%),var(--bg);background-attachment:fixed;color:var(--text);display:flex;flex-direction:column;font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,Apple Color Emoji,Segoe UI Emoji;line-height:1.45;margin:0;min-height:100%;overflow:hidden}#semanticClarifier header{-webkit-backdrop-filter:saturate(150%) blur(8px);backdrop-filter:saturate(150%) blur(8px);background:linear-gradient(180deg,#1f2442d9,#171c39b3);border-bottom:1px solid var(--edge);box-shadow:var(--shadow);position:sticky;top:0;z-index:10}#semanticClarifier ._ccK{margin:0;max-width:100%;padding:14px 18px}#semanticClarifier ._ccL{align-items:center;display:grid;gap:12px;grid-template-columns:1fr auto;width:100%}#semanticClarifier ._ccM{align-items:center;background:none;border-radius:0;display:flex;gap:10px;padding:0}#semanticClarifier ._ccN{font-weight:650;letter-spacing:.2px}#semanticClarifier ._ccO{color:var(--muted);font-weight:500}#semanticClarifier ._ccP{display:flex;flex-wrap:wrap;gap:8px;justify-content:flex-end;justify-self:end}#semanticClarifier ._ccQ{--padx:14px;--pady:10px;background:linear-gradient(180deg,#2a3058,#22274a);border:1px solid var(--edge);border-radius:12px;color:var(--text);cursor:pointer;font-weight:600;letter-spacing:.2px;padding:var(--pady) var(--padx);transition:transform .06s ease,box-shadow .2s ease,border-color .2s ease}#semanticClarifier ._ccQ:hover{border-color:#ffffff24;box-shadow:0 8px 20px #00000059,inset 0 0 0 1px #ffffff0a}#semanticClarifier ._ccQ:active{transform:translateY(1px)}#semanticClarifier ._ccQ._ccR{background:linear-gradient(180deg,#2a3058,#22274a);border-color:#7c4dff59;box-shadow:0 10px 24px #7c4dff29}#semanticClarifier ._ccQ._ccS{background:transparent}#semanticClarifier ._ccQ[disabled]{cursor:not-allowed;filter:grayscale(.2);opacity:.6}#semanticClarifier ._ccT{align-items:center;background:linear-gradient(180deg,#ffffff08,#ffffff05);border:1px solid hsla(0,0%,100%,.06);border-radius:8px;color:var(--text);cursor:pointer;display:inline-flex;font-size:16px;font-weight:800;height:34px;justify-content:center;margin-right:12px;transition:transform .08s ease,box-shadow .12s ease,background .12s ease;width:34px}#semanticClarifier ._ccT:hover{background:linear-gradient(180deg,#ffffff0f,#ffffff08);box-shadow:var(--ring);transform:translateY(-2px)}#semanticClarifier ._ccT:active{transform:translateY(0)}#semanticClarifier main{bottom:var(--footer-h);display:grid;gap:10px;left:0;margin:10px auto 0;max-width:1100px;overflow:auto;padding:0 18px;position:fixed;right:0;top:calc(var(--header-h));-webkit-overflow-scrolling:touch;align-content:start;align-items:start;grid-auto-rows:max-content}#semanticClarifier ._ccU{background:linear-gradient(180deg,#1f2442b3,#171c39d1);border:1px solid var(--edge);border-radius:16px;box-shadow:var(--shadow);overflow:clip}#semanticClarifier ._ccU ._ccV{align-items:center;background:linear-gradient(180deg,#7c4dff1a,#22d3ee0f);border-bottom:1px solid var(--edge);display:flex;gap:8px;justify-content:space-between;padding:14px 14px 10px}#semanticClarifier ._ccU ._caF{padding:14px}#semanticClarifier #workspace{overflow:visible;padding-bottom:40px;position:relative}#semanticClarifier ._ccW{color:var(--muted);display:flex;flex-wrap:wrap;font-size:13px;gap:10px}#semanticClarifier ._ccW ._ccX{align-items:center;background:var(--panel);border:0 solid var(--edge);border-radius:999px;display:inline-flex;gap:6px;padding:6px 10px}#semanticClarifier ._ccY{border-radius:99px;box-shadow:0 0 14px currentColor;height:10px;width:10px}#semanticClarifier ._ccY._ccZ{background:var(--unmarked);color:var(--unmarked)}#semanticClarifier ._ccY._cda{background:var(--understood);color:var(--understood-neon)}#semanticClarifier ._ccY._cdb{background:var(--not-understood);color:var(--not-understood-neon)}#semanticClarifier ._ccY._cdc{background:var(--defined);color:var(--defined-neon)}#semanticClarifier ._cdd{--indent:18px}#semanticClarifier ._cdd ul{border-left:1px dashed var(--tree-line);list-style:none;margin:8px 0 0;padding-left:var(--indent)}#semanticClarifier ._cdd>ul{border-left:0;padding-left:0}#semanticClarifier ._cdd li{margin:6px 0;padding-left:10px;position:relative}#semanticClarifier ._cdd li:before{background:var(--tree-line);content:"";height:1px;left:-1px;position:absolute;top:.9em;width:12px}#semanticClarifier ._caB{align-items:center;background:var(--panel-2);border:1px solid var(--edge);border-radius:10px;cursor:pointer;display:inline-flex;gap:6px;padding:6px 10px;touch-action:none;transition:box-shadow .25s ease,transform .06s ease,border-color .2s ease,background .2s ease,color .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none}#semanticClarifier ._caB:active{transform:translateY(1px)}#semanticClarifier ._caB[data-status=unmarked]{background:linear-gradient(180deg,#1b2144,#161c39);color:var(--muted)}#semanticClarifier ._caB[data-status=understood]{background:linear-gradient(180deg,#22c55e2e,#22c55e1a);border-color:#22c55e59;box-shadow:0 0 30px #22c55e2e,inset 0 0 0 1px #22c55e40}#semanticClarifier ._caB[data-status=not-understood]{background:linear-gradient(180deg,#ef444429,#ef44441a);border-color:#ef444461;box-shadow:0 0 30px #ef444438,inset 0 0 0 1px #ef44443d}#semanticClarifier ._caB[data-status=defined]{background:linear-gradient(180deg,#7c4dff2e,#7c4dff1a);border-color:#7c4dff66;box-shadow:0 0 30px #7c4dff3d,inset 0 0 0 1px #7c4dff3d}#semanticClarifier ._caB._caC{box-shadow:0 0 0 6px #00e5ff14,0 10px 20px #00000059;outline:2px solid rgba(0,229,255,.7)}#semanticClarifier ._caD{display:inline-flex;gap:6px;margin-left:8px;opacity:0;transform:translateY(-2px);transition:opacity .2s ease,transform .2s ease}#semanticClarifier ._caB._caH+._caD,#semanticClarifier ._caB:focus+._caD,#semanticClarifier ._caB:hover+._caD,#semanticClarifier ._caD:hover{opacity:1;transform:translateY(0)}#semanticClarifier #workspace:not(._caG):has(._caB:hover) ._caB._caH:not(:hover)+._caD:not(:hover),#semanticClarifier #workspace:not(._caG):has(._caB:hover) ._caB:focus:not(:hover)+._caD:not(:hover),#semanticClarifier #workspace:not(._caG):has(._caD:hover) ._caB._caH:not(:hover)+._caD:not(:hover),#semanticClarifier #workspace:not(._caG):has(._caD:hover) ._caB:focus:not(:hover)+._caD:not(:hover){opacity:0;pointer-events:none;transform:translateY(-2px)}#semanticClarifier ._caD [data-t=g]{display:none}#semanticClarifier #workspace._caG ._caB._caH+._caD [data-t=g]{display:inline-flex}#semanticClarifier #workspace._caG ._caB+._caD{opacity:0;pointer-events:none;transform:translateY(-2px)}#semanticClarifier #workspace._caG ._caB._caH+._caD{opacity:1;pointer-events:auto;transform:translateY(0)}#semanticClarifier #workspace._caG ._caB:not(._caH):focus+._caD,#semanticClarifier #workspace._caG ._caB:not(._caH):hover+._caD{opacity:0;pointer-events:none;transform:translateY(-2px)}#semanticClarifier ._caB:hover~._caD{opacity:1;transform:translateY(0)}#semanticClarifier #workspace._caG ._caD [data-t=minus],#semanticClarifier #workspace._caG ._caD [data-t=plus]{display:none}#semanticClarifier ._caE{background:var(--panel);border:1px solid var(--edge);border-radius:8px;color:var(--muted);cursor:pointer;font-size:12px;padding:4px 8px}#semanticClarifier ._caE:hover{border-color:#ffffff29;color:var(--text)}#semanticClarifier #expandedText{background:transparent;border:0;color:var(--text);font-family:inherit;font-size:1rem;letter-spacing:.2px;line-height:1.75;min-height:96px;padding:4px 2px;text-rendering:optimizeLegibility;-webkit-user-select:text;-moz-user-select:text;user-select:text;white-space:pre-wrap;width:100%}#semanticClarifier dialog textarea{background:var(--panel-2);border:1px solid var(--edge);border-radius:12px;color:var(--text);min-height:76px;padding:10px;resize:vertical;width:100%}#semanticClarifier footer{background:linear-gradient(0deg,#080d12eb,#080d12cc);border-top:1px solid var(--edge);bottom:0;box-shadow:var(--shadow);height:var(--footer-h);left:0;position:fixed;right:0;z-index:100}#semanticClarifier ._cde{align-items:center;display:flex;flex-wrap:wrap;gap:10px;justify-content:space-between;margin:0 auto;max-width:1100px;padding:10px 18px}#semanticClarifier #unifiedStatus{align-items:center;background:#0f1220d9;border:2px solid hsla(0,0%,100%,.08);border-radius:20px;box-shadow:inset 0 2px 8px #0006,inset 0 -1px 2px #ffffff05,0 4px 16px #00000040;color:var(--muted);cursor:default;display:inline-flex;font-weight:600;letter-spacing:.2px;overflow:hidden;padding:3px 16px;position:relative;-webkit-user-select:none;-moz-user-select:none;user-select:none;--progress:0;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);flex:1 0 100%;min-width:320px;width:100%}#semanticClarifier #unifiedStatus ._cdf{background:linear-gradient(90deg,#22c55e2e,#22c55e40,#22c55e2e);border-radius:16px;box-shadow:0 0 30px #22c55e2e,inset 0 0 0 1px #22c55e40;height:calc(100% - 4px);inset:2px;pointer-events:none;position:absolute;transition:width .3s ease;width:calc(var(--progress)*100% - 4px)}#semanticClarifier #unifiedStatus._car ._cdf{background:linear-gradient(90deg,#22c55e40,#22c55e59,#22c55e40);box-shadow:0 0 30px #22c55e40,inset 0 0 0 1px #22c55e59}#semanticClarifier #unifiedStatus ._caI{color:var(--muted);font-weight:600;position:relative;text-shadow:0 1px 2px rgba(0,0,0,.5);z-index:1}#semanticClarifier #unifiedStatus ._caI strong{font-weight:700;margin-right:8px}#semanticClarifier #unifiedStatus._car{border-color:#22c55e4d;box-shadow:inset 0 2px 8px #0006,inset 0 -1px 2px #ffffff05,0 4px 16px #00000040,0 0 24px #22c55e26}#semanticClarifier{--scroll-track:linear-gradient(180deg,hsla(0,0%,100%,.02),rgba(0,0,0,.02));--scroll-thumb-start:rgba(124,77,255,.28);--scroll-thumb-end:rgba(0,229,255,.1);--scroll-thumb-glow:rgba(124,77,255,.12)}#semanticClarifier ::-webkit-scrollbar{height:12px;width:12px}#semanticClarifier ::-webkit-scrollbar-track{background:var(--panel-2);background-image:var(--scroll-track);border:1px solid hsla(0,0%,100%,.03);border-radius:999px;box-shadow:inset 0 0 0 1px #ffffff04}#semanticClarifier ::-webkit-scrollbar-thumb{background:linear-gradient(180deg,var(--scroll-thumb-start),var(--scroll-thumb-end));background-clip:padding-box;border:3px solid transparent;border-radius:999px;box-shadow:0 6px 18px #0009,0 0 18px var(--scroll-thumb-glow);min-height:32px;-webkit-transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease;transition:transform .12s ease,box-shadow .12s ease,opacity .12s ease}#semanticClarifier ::-webkit-scrollbar-thumb:hover{box-shadow:0 10px 28px #000000a6,0 0 30px #7c4dff24;transform:translateY(-1px) scale(1.02)}#semanticClarifier ::-webkit-scrollbar-thumb:active{box-shadow:0 4px 10px #0009,0 0 18px #7c4dff14;transform:scale(.98)}#semanticClarifier ::-webkit-scrollbar-corner{background:transparent}#semanticClarifier ._caF:hover::-webkit-scrollbar-thumb,#semanticClarifier ._cdd:hover::-webkit-scrollbar-thumb,#semanticClarifier main:hover::-webkit-scrollbar-thumb{opacity:1}#semanticClarifier *{scrollbar-color:rgba(124,77,255,.6) var(--panel-2);scrollbar-width:thin}@media (prefers-reduced-motion:reduce){#semanticClarifier ::-webkit-scrollbar-thumb,#semanticClarifier ::-webkit-scrollbar-track{-webkit-transition:none;transition:none}}