:root{--bg: #f4f3ef;--surface: #ffffff;--surface-strong: #ebe9e2;--text: #202426;--muted: #69706f;--border: #d8d5cb;--accent: #24706d;--accent-strong: #164d4b;--ok: #21764f;--open: #a66a12;--failed: #bd3737;--focus: #2f7de1;--splitter-size: 8px;color:var(--text);background:var(--bg);font-family:Geist,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-synthesis:none;line-height:1.45}.app-shell[data-theme=dark]{--bg: #171918;--surface: #202322;--surface-strong: #2b2f2d;--text: #ebe7dc;--muted: #a9ada8;--border: #3b403d;--accent: #58b8a9;--accent-strong: #8cd4c9;--ok: #7fd0a1;--open: #d9aa5f;--failed: #ee7d7d;--focus: #82b7ff}*{box-sizing:border-box}html,body,#root{height:100%;min-height:100%}body{margin:0;background:var(--bg)}button,input,select{font:inherit}button:focus-visible,select:focus-visible,a:focus-visible{outline:2px solid var(--focus);outline-offset:2px}button,select{color:inherit}.app-shell{height:100vh;height:100dvh;min-height:620px;display:grid;grid-template-rows:auto auto minmax(0,1fr);gap:14px;padding:0 20px 20px;overflow:hidden;background:linear-gradient(180deg,color-mix(in srgb,var(--surface) 72%,var(--bg)) 0,var(--bg) 260px),var(--bg)}.command-bar{grid-row:1}.app-notice{grid-row:2;display:flex;align-items:center;min-width:0;gap:10px;border:1px solid color-mix(in srgb,var(--accent) 28%,var(--border));border-left:4px solid var(--accent);border-radius:8px;padding:10px 12px;background:color-mix(in srgb,var(--accent) 7%,var(--surface));color:var(--text);box-shadow:0 1px 2px #1c201f0d}.app-notice span{min-width:0}.app-notice a{min-width:0;overflow-wrap:anywhere;color:var(--accent-strong);font-weight:650;text-decoration-thickness:1px;text-underline-offset:3px}.app-notice__dismiss{width:28px;height:28px;margin-left:auto;flex:0 0 auto;justify-content:center;border:1px solid transparent;border-radius:6px;padding:0;background:transparent;color:var(--muted)}.app-notice__dismiss:hover,.app-notice__dismiss:focus-visible{border-color:color-mix(in srgb,var(--accent) 24%,var(--border));background:color-mix(in srgb,var(--accent) 10%,transparent);color:var(--text)}.app-workspace{grid-row:3;min-height:0;height:100%;overflow:hidden;display:grid;grid-template-columns:minmax(300px,1fr) var(--splitter-size) minmax(360px,1fr);grid-template-rows:minmax(0,1fr);gap:0}.app-workspace__editor,.app-workspace__results{min-width:0;min-height:0}.app-workspace__results{display:grid;grid-template-rows:minmax(160px,.62fr) var(--splitter-size) minmax(140px,.38fr);gap:0}.workspace-splitter{position:relative;z-index:3;min-width:var(--splitter-size);min-height:var(--splitter-size);border:0;background:transparent;touch-action:none}.workspace-splitter:before{position:absolute;content:"";border-radius:999px;background:color-mix(in srgb,var(--border) 75%,transparent);transition:background .12s ease,transform .12s ease}.workspace-splitter:hover:before,.workspace-splitter:focus-visible:before{background:var(--accent)}.workspace-splitter--vertical{cursor:col-resize}.workspace-splitter--vertical:before{top:10px;bottom:10px;left:50%;width:2px;transform:translate(-50%)}.workspace-splitter--vertical:hover:before,.workspace-splitter--vertical:focus-visible:before{transform:translate(-50%) scaleX(2)}.workspace-splitter--horizontal{cursor:row-resize}.workspace-splitter--horizontal:before{top:50%;right:10px;left:10px;height:2px;transform:translateY(-50%)}.workspace-splitter--horizontal:hover:before,.workspace-splitter--horizontal:focus-visible:before{transform:translateY(-50%) scaleY(2)}.command-bar,.command-bar__commands,.command-bar__summary,.command-bar__theme,.proof-panel__tabs,.proof-panel__tab{display:flex;align-items:center}.command-bar{position:sticky;top:0;z-index:5;min-height:64px;gap:14px;padding:10px 20px;margin:0 -20px;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--surface) 94%,transparent);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);box-shadow:0 1px #1c201f0a}.command-bar__brand{flex:0 0 auto;min-width:92px;color:var(--text);font-size:1.04rem;font-weight:780}.command-bar__commands{flex:0 0 auto;gap:8px}.command-bar__commands button,.command-bar__help,.proof-panel__tab,.proof-panel__type{border:1px solid var(--border);border-radius:8px;background:var(--surface);color:inherit;cursor:pointer;text-decoration:none;transition:border-color .14s ease,background .14s ease,color .14s ease,box-shadow .14s ease,transform .14s ease}.command-bar__commands button,.command-bar__help{display:inline-flex;align-items:center;justify-content:center;min-width:96px;min-height:38px;gap:7px;padding:8px 12px;font-weight:680;white-space:nowrap;color:var(--text)}.command-bar__commands button:first-child{border-color:var(--accent-strong);background:var(--accent);color:color-mix(in srgb,var(--surface) 8%,#ffffff)}.command-bar__commands button:hover:not(:disabled),.command-bar__help:hover,.proof-panel__tab:hover,.proof-panel__type:hover{border-color:color-mix(in srgb,var(--accent) 45%,var(--border));box-shadow:0 7px 18px #1c201f14;transform:translateY(-1px)}.command-bar__commands button:first-child:hover:not(:disabled){background:var(--accent-strong);border-color:var(--accent-strong)}.app-shell[data-theme=dark] .command-bar__commands button:first-child{border-color:color-mix(in srgb,var(--accent) 50%,var(--surface-strong));background:color-mix(in srgb,var(--accent) 30%,var(--surface-strong));color:var(--text)}.app-shell[data-theme=dark] .command-bar__commands button:first-child:hover:not(:disabled){border-color:color-mix(in srgb,var(--accent) 65%,var(--surface-strong));background:color-mix(in srgb,var(--accent) 42%,var(--surface-strong));color:#fff}.app-shell[data-theme=dark] .command-bar__commands button:not(:first-child),.app-shell[data-theme=dark] .command-bar__help{border-color:color-mix(in srgb,var(--border) 70%,var(--surface-strong));background:var(--surface-strong);color:var(--text)}.app-shell[data-theme=dark] .command-bar__commands button:not(:first-child):hover:not(:disabled),.app-shell[data-theme=dark] .command-bar__help:hover{border-color:color-mix(in srgb,var(--accent) 55%,var(--border));background:color-mix(in srgb,var(--accent) 14%,var(--surface-strong));color:#fff}.command-bar__commands button:disabled{cursor:not-allowed;opacity:.62;transform:none;box-shadow:none}.command-bar__summary{flex:1 1 auto;justify-content:flex-end;min-width:240px;gap:6px;color:var(--muted);font-size:.88rem;white-space:nowrap}.command-bar__summary span{display:inline-flex;align-items:center;min-height:28px;padding:4px 8px;border:1px solid var(--border);border-radius:999px;background:color-mix(in srgb,var(--surface) 75%,var(--surface-strong))}.command-bar__summary span:nth-child(2){color:var(--ok)}.command-bar__summary span:nth-child(3){color:var(--open)}.command-bar__summary span:nth-child(4){color:var(--failed)}.command-bar__theme{flex:0 0 auto;gap:8px;color:var(--muted);font-size:.9rem;font-weight:650;white-space:nowrap}.command-bar__theme select{width:116px;min-height:36px;border:1px solid var(--border);border-radius:8px;padding:7px 30px 7px 10px;background:var(--surface);cursor:pointer}.editor-pane,.proof-panel,.diagnostics-panel{min-width:0;min-height:0;border:1px solid var(--border);border-radius:10px;background:var(--surface);box-shadow:0 12px 28px #1c201f0f}.editor-pane{width:100%;height:100%;min-height:420px;overflow:hidden}.proof-panel,.diagnostics-panel{display:grid;grid-template-rows:auto minmax(0,1fr);gap:0;overflow:hidden}.panel-empty,.diagnostics-panel__success{display:grid;place-items:center;min-height:100%;padding:22px;color:var(--muted);font-size:.95rem;text-align:center}.proof-panel>.panel-empty,.diagnostics-panel>.panel-empty,.diagnostics-panel>.diagnostics-panel__success,.diagnostics-panel>.diagnostics-panel__html,.diagnostics-panel>.diagnostics-panel__error{grid-row:1 / -1}.proof-panel__tabs{min-height:56px;gap:8px;padding:10px;overflow-x:auto;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--surface) 72%,var(--surface-strong))}.proof-panel__tab{flex:0 0 auto;max-width:260px;min-height:36px;gap:8px;padding:7px 10px;color:var(--muted);font-size:.9rem;font-weight:700}.proof-panel__tab>span:first-child{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.proof-panel__tab--active{border-color:var(--accent);background:color-mix(in srgb,var(--accent) 7%,var(--surface));color:var(--text);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--accent) 20%,transparent)}.proof-panel__badge{flex:0 0 auto;border-radius:999px;padding:2px 7px;background:var(--surface-strong);color:var(--muted);font-size:.73rem;font-weight:760;line-height:1.25}.proof-panel__badge--aok{background:color-mix(in srgb,var(--ok) 14%,var(--surface));color:var(--ok)}.proof-panel__badge--notclosed{background:color-mix(in srgb,var(--open) 15%,var(--surface));color:var(--open)}.proof-panel__badge--failed{background:color-mix(in srgb,var(--failed) 15%,var(--surface));color:var(--failed)}.app-shell[data-theme=dark] .proof-panel__badge{border:1px solid color-mix(in srgb,currentColor 34%,transparent)}.app-shell[data-theme=dark] .proof-panel__badge--aok{background:color-mix(in srgb,var(--ok) 18%,var(--surface-strong));color:color-mix(in srgb,var(--ok) 82%,#ffffff)}.app-shell[data-theme=dark] .proof-panel__badge--notclosed{background:color-mix(in srgb,var(--open) 18%,var(--surface-strong));color:color-mix(in srgb,var(--open) 82%,#ffffff)}.app-shell[data-theme=dark] .proof-panel__badge--failed{background:color-mix(in srgb,var(--failed) 18%,var(--surface-strong));color:color-mix(in srgb,var(--failed) 82%,#ffffff)}.proof-panel__body{min-width:0;min-height:0;padding:14px;overflow:auto}.proof-panel__type{display:inline-block;max-width:100%;min-height:34px;margin:0 0 14px;padding:7px 10px;color:var(--accent-strong);font-weight:760;text-align:left;overflow-wrap:anywhere}.proof-panel__type .pred,.proof-panel__type .var,.proof-panel__type .metaquantifier{font-style:italic}.proof-panel__type .metakind{font-weight:780}.proof-panel__type .termIntro{color:var(--muted);font-style:italic}.proof-panel__type .op{color:color-mix(in srgb,var(--accent-strong) 82%,var(--text))}.proof-panel__type .par{color:var(--muted)}.proof-panel__html,.diagnostics-panel__html{min-width:0;color:var(--text);font-size:.95rem}.proof-panel__html table{width:max-content;max-width:100%;border-collapse:collapse;margin:0 0 10px;color:var(--text)}.proof-panel__html td,.proof-panel__html th{border:1px solid var(--border);padding:7px 9px;vertical-align:top}.proof-panel__html th{background:var(--surface-strong);color:var(--muted);font-weight:750}.proof-panel__html tr:first-child td,.proof-panel__html tr:first-child th{border-top-color:color-mix(in srgb,var(--accent) 35%,var(--border))}.proof-panel__html p.open-indicator,.proof-panel__html p.closed-indicator{clear:both;margin:0 0 10px;color:var(--muted);font-size:.85rem;font-weight:720}.proof-panel__html p.closed-indicator{color:var(--ok)}.proof-panel__html p.open-indicator{color:var(--open)}.proof-panel__html table.boxproof{border-collapse:collapse;font-variant-numeric:tabular-nums}.proof-panel__html table.boxproof td{white-space:nowrap;border:0;padding:2px 5px}.proof-panel__html table.boxproof td.line{width:34px;padding-right:18px;color:var(--muted);text-align:right}.proof-panel__html table.boxproof td.rule{padding-left:18px;color:var(--muted)}.proof-panel__html table.boxproof td.box{width:10px;min-width:10px}.proof-panel__html table.boxproof td.box.active{border-left:1px solid color-mix(in srgb,var(--text) 72%,var(--border))}.proof-panel__html table.boxproof td.open{border-top:1px solid color-mix(in srgb,var(--text) 72%,var(--border))}.proof-panel__html table.boxproof td.close{border-bottom:1px solid color-mix(in srgb,var(--text) 72%,var(--border))}.proof-panel__html table.boxproof tr.proofline{cursor:default}.proof-panel__html table.boxproof tr.proofline:hover,.proof-panel__html table.boxproof tr.proofline:hover td{background:color-mix(in srgb,var(--accent) 8%,transparent)}.proof-panel__html table.boxproof tr.empty td{padding-top:0;padding-bottom:0;line-height:.85}.proof-panel__html table.boxproof tr.proofline:has(td.close)+tr.empty:has(+tr.proofline td.open) td{height:4px;font-size:0;line-height:4px}.proof-panel__html .assumption,.proof-panel__html .step{background:color-mix(in srgb,var(--surface) 88%,var(--surface-strong))}.proof-panel__html .selected,.proof-panel__html a:hover{background:color-mix(in srgb,var(--accent) 12%,transparent)}.proof-panel__html .pred,.proof-panel__html .var,.proof-panel__html .metaquantifier{font-style:italic}.proof-panel__html .metakind{font-family:inherit;font-weight:780}.proof-panel__html .termIntro{color:var(--muted);font-style:italic}.proof-panel__html .hole,.proof-panel__html .error{border-radius:3px;background:color-mix(in srgb,var(--failed) 16%,var(--surface))}.proof-panel__html .highlight{background:color-mix(in srgb,var(--accent) 9%,transparent)}.proof-panel__html .context-separator{cursor:pointer;color:var(--accent-strong);border-bottom:1px solid color-mix(in srgb,var(--accent) 55%,transparent)}.proof-panel__html .context-separator .el{float:right;font-size:75%}.proof-panel__html .hide{display:none}.proof-panel__html div.sequent{float:right}.proof-panel__html a,.diagnostics-panel__html a{color:var(--accent-strong);cursor:pointer;text-decoration-thickness:1px;text-underline-offset:3px}.proof-panel__html code,.proof-panel__html pre,.diagnostics-panel__html code,.diagnostics-panel__html pre,.diagnostics-panel__error{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.88rem}.proof-panel__html pre,.diagnostics-panel__html pre,.diagnostics-panel__error{max-width:100%;margin:0;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere}.diagnostics-panel__html,.diagnostics-panel__error{min-width:0;min-height:0;margin:0;padding:14px;overflow:auto}.diagnostics-panel__html{line-height:1.5}.diagnostics-panel__html p{margin:0 0 10px}.diagnostics-panel__html div{margin:0 0 8px}.diagnostics-panel__html samp{color:color-mix(in srgb,var(--failed) 78%,var(--text));font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;white-space:pre-wrap;overflow-wrap:anywhere}.diagnostics-panel__html .in-proof{color:var(--accent-strong);font-weight:680;cursor:pointer}.diagnostics-panel__html .on-line{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.diagnostics-panel__html ul,.diagnostics-panel__html ol{margin:0 0 10px 20px;padding:0}.diagnostics-panel__error{border-left:4px solid var(--failed);background:color-mix(in srgb,var(--failed) 9%,var(--surface));color:color-mix(in srgb,var(--failed) 72%,var(--text))}.source-error-marker{position:absolute;border-bottom:2px solid var(--failed);background:color-mix(in srgb,var(--failed) 16%,transparent)}@media (max-width: 1180px){.command-bar{grid-template-columns:1fr;flex-wrap:wrap}.command-bar__summary{order:4;flex-basis:100%;justify-content:flex-start;min-width:0;overflow-x:auto}}@media (max-width: 900px){.app-shell{height:auto;min-height:auto;padding:0 12px 12px;overflow:visible}.command-bar{position:static;align-items:stretch;margin:0 -12px;padding:10px 12px}.command-bar__brand,.command-bar__commands,.command-bar__theme,.command-bar__summary{width:100%}.command-bar__commands{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.command-bar__commands button,.command-bar__help{width:100%;min-width:0}.command-bar__theme{justify-content:space-between}.command-bar__theme select{flex:0 0 150px}.app-workspace{grid-template-columns:minmax(0,1fr);grid-template-rows:auto auto auto;height:auto;overflow:visible;gap:12px}.app-workspace__results{grid-template-rows:minmax(260px,auto) auto minmax(180px,auto);gap:12px}.workspace-splitter{display:none}.editor-pane{height:62vh;min-height:360px}.proof-panel,.diagnostics-panel{min-height:260px}}