: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;--scrollbar-thumb: #b8b4aa;--scrollbar-track: #eceae4;--splitter-size: 8px;--stacked-splitter-size: 24px;--stacked-editor-size: 52%;--editor-font-size: clamp(.92rem, 1rem, 1rem);--proof-header-font-size: clamp(.94rem, 1.02rem, 1rem);--proof-render-font-size: clamp(.92rem, 1rem, 1rem);--proof-status-font-size: clamp(.86rem, .92rem, .92rem);--diagnostic-font-size: .92rem;--diagnostic-location-font-size: .86rem;--diagnostic-kind-font-size: .78rem;--diagnostic-meta-font-size: .77rem;--code-font-size: .86rem;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;--scrollbar-thumb: #4a514e;--scrollbar-track: #202322}.app-shell[data-theme=paper]{--bg: #f1eee6;--surface: #fffdf7;--surface-strong: #e8e2d5;--text: #2a2924;--muted: #706b5d;--border: #d6cdbb;--accent: #5f7568;--accent-strong: #3f584d;--ok: #3f7455;--open: #9a6c28;--failed: #b44a48;--focus: #5078b8;--scrollbar-thumb: #b7ad99;--scrollbar-track: #e9e3d6}.app-shell[data-theme=midnight]{--bg: #151817;--surface: #1f2422;--surface-strong: #29302d;--text: #ece9df;--muted: #a8b0aa;--border: #3b4641;--accent: #72b99c;--accent-strong: #a0d9c1;--ok: #94d6ad;--open: #d6b06f;--failed: #ee8a83;--focus: #94bdf4;--scrollbar-thumb: #4f5b55;--scrollbar-track: #1f2422}*{box-sizing:border-box;scrollbar-color:var(--scrollbar-thumb) var(--scrollbar-track);scrollbar-width:thin}*::-webkit-scrollbar{width:10px;height:10px}*::-webkit-scrollbar-track{background:var(--scrollbar-track)}*::-webkit-scrollbar-thumb{border:2px solid var(--scrollbar-track);border-radius:999px;background:var(--scrollbar-thumb)}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 minmax(0,1fr);gap:8px;padding:0 8px 8px;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{position:fixed;right:20px;bottom:20px;z-index:8;display:flex;align-items:center;min-width:min(360px,calc(100vw - 40px));max-width:min(520px,calc(100vw - 40px));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;animation:app-notice-life 10s ease both}@keyframes app-notice-life{0%{opacity:0;transform:translateY(8px)}8%,88%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(8px)}}.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:2;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)}.workspace-splitter--stacked{display:none;cursor:row-resize}.workspace-splitter--stacked:before{top:50%;right:10px;left:10px;height:2px;transform:translateY(-50%)}.workspace-splitter--stacked:hover:before,.workspace-splitter--stacked: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:58px;gap:12px;padding:8px 20px;margin:0 -8px;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{display:inline-flex;align-items:center;gap:5px;flex:0 0 auto;min-width:116px;color:var(--text);font-size:1rem;font-weight:780}.command-bar__logo{width:26px;height:26px;flex:0 0 auto;border-radius:7px}.command-bar__commands{flex:0 0 auto;gap:8px}.command-bar__commands button,.command-bar__help,.proof-panel__tab{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:88px;min-height:34px;gap:6px;padding:7px 11px;font-size:.92rem;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{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__commands button[aria-busy=true]{border-color:color-mix(in srgb,var(--muted) 42%,var(--border));background:color-mix(in srgb,var(--surface) 54%,var(--surface-strong));color:var(--muted)}.command-bar__summary{flex:1 1 auto;justify-content:flex-end;min-width:240px;gap:6px;color:var(--muted);font-size:.84rem;white-space:nowrap}.command-bar__summary span{display:inline-flex;align-items:center;min-height:26px;padding:3px 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:.86rem;font-weight:650;white-space:nowrap}.command-bar__theme select{width:116px;min-height:34px;border:1px solid var(--border);border-radius:8px;padding:7px 30px 7px 10px;background:var(--surface);cursor:pointer}.command-bar__editor{position:relative;flex:0 0 auto}.command-bar__editor-toggle-button{display:inline-flex;align-items:center;min-height:34px;gap:6px;border:1px solid var(--border);border-radius:8px;padding:7px 10px;background:var(--surface);color:var(--text);font-size:.86rem;font-weight:680;cursor:pointer}.command-bar__editor-toggle-button:hover,.command-bar__editor-toggle-button:focus-visible{border-color:color-mix(in srgb,var(--accent) 45%,var(--border));box-shadow:0 7px 18px #1c201f14}.command-bar__editor-panel{position:absolute;top:calc(100% + 8px);right:0;z-index:10;display:grid;gap:10px;min-width:260px;border:1px solid var(--border);border-radius:10px;padding:10px;background:color-mix(in srgb,var(--surface) 96%,transparent);box-shadow:0 16px 36px #1c201f2e}.command-bar__editor-row{display:flex;align-items:center;justify-content:space-between;gap:12px;color:var(--muted);font-size:.84rem;font-weight:680}.command-bar__editor-row>span{white-space:nowrap}.command-bar__editor-size{display:inline-flex;align-items:center;gap:6px}.command-bar__editor-size button{min-width:34px;min-height:30px;border:1px solid var(--border);border-radius:7px;background:var(--surface);color:var(--text);font-size:.8rem;font-weight:700;cursor:pointer}.command-bar__editor-size button:disabled{cursor:not-allowed;opacity:.42}.command-bar__editor-size output{min-width:48px;color:var(--text);font-size:.82rem;text-align:center}.command-bar__editor-toggle{display:flex;align-items:center;justify-content:space-between;gap:10px;color:var(--muted);font-size:.84rem;font-weight:680}.command-bar__editor-toggle input{width:16px;height:16px}.command-bar__overflow{position:relative;display:none}.command-bar__overflow-toggle{display:inline-flex;align-items:center;justify-content:center;width:36px;height:36px;border:1px solid var(--border);border-radius:8px;background:var(--surface);color:var(--text);cursor:pointer}.command-bar__overflow-toggle:disabled{cursor:not-allowed;opacity:.62}.command-bar__overflow-menu{position:absolute;top:calc(100% + 8px);right:0;z-index:10;display:grid;min-width:220px;gap:6px;border:1px solid var(--border);border-radius:10px;padding:8px;background:color-mix(in srgb,var(--surface) 96%,transparent);box-shadow:0 16px 36px #1c201f2e}.command-bar__overflow-menu button,.command-bar__overflow-link{display:flex;align-items:center;min-height:40px;gap:9px;border:0;border-radius:7px;padding:8px 10px;background:transparent;color:var(--text);font-weight:680;text-align:left;text-decoration:none;cursor:pointer}.command-bar__overflow-menu button:hover,.command-bar__overflow-link:hover,.command-bar__overflow-menu button:focus-visible,.command-bar__overflow-link:focus-visible{background:color-mix(in srgb,var(--accent) 10%,var(--surface))}.command-bar__overflow-theme{display:grid;gap:5px;border-top:1px solid var(--border);margin-top:4px;padding:10px 2px 2px;color:var(--muted);font-size:.84rem;font-weight:680}.command-bar__overflow-theme select{width:100%;min-height:36px;border:1px solid var(--border);border-radius:8px;padding:7px 30px 7px 10px;background:var(--surface);color:var(--text)}.command-bar__overflow-editor{display:grid;gap:8px;border-top:1px solid var(--border);margin-top:4px;padding:10px 2px 2px;color:var(--muted);font-size:.84rem;font-weight:680}.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;outline:0 solid transparent;transition:border-color .14s ease,box-shadow .14s ease,outline-color .14s ease}.editor-pane:focus-within,.proof-panel:focus,.proof-panel:focus-within,.diagnostics-panel:focus-within{border-color:color-mix(in srgb,var(--focus) 58%,var(--border));box-shadow:0 0 0 2px color-mix(in srgb,var(--focus) 20%,transparent),0 12px 28px #1c201f0f;outline-color:transparent}.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__card{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{display:flex;flex-direction:column;min-width:0;min-height:0;padding:14px;overflow:auto}.proof-panel__header{display:flex;align-items:flex-start;min-width:0;gap:16px;margin:0 0 14px}.proof-panel__type{display:inline;flex:1 1 auto;max-width:100%;min-height:0;margin:0;align-self:flex-start;width:fit-content;border:0;padding:0;background:transparent;color:var(--accent-strong);font-size:var(--proof-header-font-size);font-weight:500;text-align:left;overflow-wrap:anywhere;cursor:pointer;text-decoration:none;transition:color .14s ease}.proof-panel__status{flex:0 0 auto;margin:3px 0 0 auto;color:var(--muted);font-size:var(--proof-status-font-size);font-weight:720;line-height:1.2;text-align:right;white-space:nowrap}.proof-panel__status--aok{color:var(--ok)}.proof-panel__status--notclosed{color:var(--open)}.proof-panel__status--failed{color:var(--failed)}.proof-panel__type:hover:not(:disabled){color:var(--ok);text-decoration:none}.proof-panel__type:disabled{cursor:default;opacity:.72}.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 .sequent-fresh{color:var(--muted)}.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{min-width:0;width:100%;overflow:auto;color:var(--text);font-size:var(--proof-render-font-size)}.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 table.boxproof{max-width:none;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:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline{cursor:pointer}.proof-panel__html table.boxproof tr.proofline,.proof-panel__html table.boxproof tr.proofline td{transition:background-color .15s ease,background .15s ease}.proof-panel--stale .proof-panel__html table.boxproof tr.proofline{cursor:default}.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline:hover,.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline:hover td{background:color-mix(in srgb,var(--accent) 8%,transparent)}.proof-panel__html table.boxproof tr.proofline--warning,.proof-panel__html table.boxproof tr.proofline--warning td{background:color-mix(in srgb,var(--open) 11%,transparent)}.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline--warning:hover,.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline--warning:hover td{background:color-mix(in srgb,var(--accent) 8%,color-mix(in srgb,var(--open) 12%,transparent))}.proof-panel__html table.boxproof tr.proofline--error,.proof-panel__html table.boxproof tr.proofline--error td{background:color-mix(in srgb,var(--failed) 12%,transparent)}.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline--error:hover,.proof-panel:not(.proof-panel--stale) .proof-panel__html table.boxproof tr.proofline--error:hover td{background:color-mix(in srgb,var(--accent) 8%,color-mix(in srgb,var(--failed) 14%,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 .term-introduction{color:var(--muted)}.proof-panel__html .hole,.proof-panel__html .error{border-radius:3px}.proof-panel__html .hole{background:color-mix(in srgb,var(--open) 18%,var(--surface))}.proof-panel__html .error{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{color:var(--accent-strong);cursor:pointer;text-decoration-thickness:1px;text-underline-offset:3px}.proof-panel__html code,.proof-panel__html pre,.diagnostics-panel__error{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:var(--code-font-size)}.proof-panel__html pre,.diagnostics-panel__error{max-width:100%;margin:0;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere}.diagnostics-panel__list,.diagnostics-panel__card{min-width:0;min-height:0;margin:0;padding:14px;overflow:auto}.diagnostics-panel__header{display:flex;align-items:center;gap:10px;min-width:0;min-height:44px;padding:10px 14px;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--surface) 76%,var(--surface-strong));color:var(--text);font-size:.9rem;font-weight:760}.diagnostics-panel__card{display:grid;gap:10px}.diagnostics-panel__card--error{align-content:start;justify-items:start;border-left:4px solid var(--failed);background:color-mix(in srgb,var(--failed) 9%,var(--surface))}.diagnostics-panel__heading{display:flex;align-items:baseline;justify-content:flex-start;gap:10px;color:color-mix(in srgb,var(--failed) 76%,var(--text));font-size:var(--diagnostic-font-size);font-weight:760}.diagnostics-panel__parse-location{color:var(--muted);font-size:var(--diagnostic-location-font-size);font-weight:650}.diagnostics-panel__list{display:grid;align-content:start;gap:6px;list-style:none}.diagnostics-panel__line{display:grid;grid-template-columns:auto minmax(0,auto) minmax(0,auto) minmax(0,1fr);align-items:baseline;min-width:0;column-gap:6px;row-gap:6px;border:1px solid var(--border);border-left:3px solid color-mix(in srgb,var(--accent) 60%,var(--border));border-radius:7px;padding:8px 10px;background:color-mix(in srgb,var(--surface) 82%,var(--surface-strong));color:var(--text);font-size:var(--diagnostic-font-size);line-height:1.45}.diagnostics-panel__line--warning{border-left-color:color-mix(in srgb,var(--open) 72%,var(--border))}.diagnostics-panel__line--error{border-left-color:color-mix(in srgb,var(--failed) 72%,var(--border))}.diagnostics-panel__kind{width:68px;color:var(--muted);font-size:var(--diagnostic-kind-font-size);font-weight:760;text-transform:uppercase}.diagnostics-panel__line--error .diagnostics-panel__kind{color:var(--failed)}.diagnostics-panel__line--warning .diagnostics-panel__kind{color:var(--open)}.diagnostics-panel__context,.diagnostics-panel__location{display:inline-flex;align-items:center;gap:5px;min-width:0}.diagnostics-panel__context{flex-wrap:wrap}.diagnostics-panel__context-part{display:inline-flex;align-items:baseline;gap:4px}.diagnostics-panel__context-part:after{content:"/";color:var(--muted)}.diagnostics-panel__context-part:last-child:after{content:""}.diagnostics-panel__context-label{color:var(--muted);font-size:var(--diagnostic-meta-font-size);font-weight:740}.diagnostics-panel__range-link{border:0;border-radius:4px;padding:0 3px;background:color-mix(in srgb,var(--accent) 9%,transparent);color:var(--accent-strong);cursor:pointer;font:inherit;font-weight:680;text-align:left}.diagnostics-panel__range-link:hover:not(:disabled),.diagnostics-panel__range-link:focus-visible:not(:disabled){background:color-mix(in srgb,var(--accent) 16%,transparent);color:var(--ok)}.diagnostics-panel__range-link:disabled{background:color-mix(in srgb,var(--surface-strong) 65%,transparent);color:var(--muted);cursor:default}.diagnostics-panel__location:before{content:"@";color:var(--muted)}.diagnostics-panel__message{grid-column:2 / -1;min-width:10ch;color:var(--text);overflow-wrap:anywhere;white-space:pre-wrap}.diagnostics-panel__list--stale .diagnostics-panel__line{background:color-mix(in srgb,var(--surface) 88%,var(--surface-strong))}.diagnostics-panel__list ul,.diagnostics-panel__list ol{margin:0;padding:0}.diagnostics-panel__error{width:100%;padding:0;color:color-mix(in srgb,var(--failed) 72%,var(--text));text-align:left}.app-workspace__diagnostics{min-width:0;min-height:0;overflow:hidden}.app-workspace__diagnostics>.diagnostics-panel{height:100%}.app-workspace__diagnostics-toggle{display:none}.source-error-marker{position:absolute;border-bottom:2px solid var(--failed);background:color-mix(in srgb,var(--failed) 16%,transparent)}@media (max-width: 1200px),(hover: none) and (pointer: coarse){.app-shell{min-height:0;grid-template-rows:auto minmax(0,1fr);gap:6px;padding:0 6px 6px;overflow:hidden}.command-bar{min-height:52px;gap:8px;padding:8px 10px;margin:0 -6px;-webkit-backdrop-filter:none;backdrop-filter:none}.command-bar__brand{order:1;min-width:0}.command-bar__brand span{display:none}.command-bar__commands{order:4;margin-left:0}.command-bar__commands button:not(:first-child),.command-bar__help,.command-bar__theme,.command-bar__editor{display:none}.command-bar__commands button:first-child{position:fixed;right:14px;bottom:calc(14px + env(safe-area-inset-bottom));z-index:12;min-width:92px;min-height:38px;gap:6px;padding:6px 12px;border-radius:999px;font-size:.86rem;box-shadow:0 10px 24px #1c201f33}.command-bar__commands button:first-child svg{width:16px;height:16px}.command-bar__commands button:first-child:hover:not(:disabled){transform:translateY(-1px)}.command-bar__summary{order:2;flex:1 1 auto;justify-content:flex-start;min-width:0;overflow-x:auto;padding-bottom:2px}.command-bar__summary span{min-height:26px;padding:3px 7px;font-size:.78rem}.command-bar__overflow{order:3;display:block;flex:0 0 auto}.app-workspace{grid-template-columns:minmax(0,1fr) 0 0!important;grid-template-rows:minmax(190px,var(--stacked-editor-size)) var(--stacked-splitter-size) minmax(0,1fr);row-gap:0}.workspace-splitter{display:none}.workspace-splitter--stacked{display:block;grid-column:1;grid-row:2;min-height:var(--stacked-splitter-size)}.app-workspace__editor{grid-column:1;grid-row:1}.app-workspace__results{grid-column:1;grid-row:3;grid-template-rows:minmax(0,1fr) 0 0!important}.app-workspace__results--has-diagnostics{grid-template-rows:minmax(0,1fr) 0 auto!important}.app-workspace__results--blocking-error{grid-template-rows:minmax(0,1fr)!important}.app-workspace__results--blocking-error>.proof-panel{display:none}.app-workspace__results--blocking-error>.app-workspace__diagnostics{grid-row:1;height:100%;max-height:none}.app-workspace__results--blocking-error .app-workspace__diagnostics-toggle{display:none}.editor-pane{height:100%;min-height:0;border-radius:8px}.proof-panel,.diagnostics-panel{min-height:0;border-radius:8px}.proof-panel__tabs{min-height:36px;gap:5px;padding:5px}.proof-panel__tab{max-width:180px;min-height:28px;gap:5px;padding:4px 7px;font-size:.78rem}.proof-panel__badge{padding:1px 5px;font-size:.65rem}.proof-panel__body{padding:10px}.proof-panel__html{overflow-x:auto;font-size:var(--proof-render-font-size)}.proof-panel__html table.boxproof td{padding:2px 4px}.app-workspace__diagnostics{display:grid;grid-template-rows:auto minmax(0,1fr);max-height:44px;border:1px solid var(--border);border-radius:8px;background:var(--surface);box-shadow:0 10px 24px #1c201f14;transition:max-height .18s ease}.app-workspace__results:not(.app-workspace__results--has-diagnostics)>.app-workspace__diagnostics{display:none}.app-workspace__diagnostics--open{max-height:min(36dvh,260px)}.app-workspace__diagnostics-toggle{display:flex;align-items:center;justify-content:space-between;min-height:42px;border:0;border-bottom:1px solid var(--border);padding:8px 12px;background:color-mix(in srgb,var(--surface) 80%,var(--surface-strong));color:var(--text);font-weight:760;text-align:left;cursor:pointer}.app-workspace__diagnostics-toggle:after{content:"^";color:var(--muted);font-size:.8rem}.app-workspace__diagnostics:not(.app-workspace__diagnostics--open) .app-workspace__diagnostics-toggle{border-bottom-color:transparent}.app-workspace__diagnostics:not(.app-workspace__diagnostics--open) .app-workspace__diagnostics-toggle:after{content:"v"}.app-workspace__diagnostics .diagnostics-panel{border:0;border-radius:0;box-shadow:none}.app-workspace__diagnostics:not(.app-workspace__diagnostics--open) .diagnostics-panel{display:none}.diagnostics-panel__header{display:none}.diagnostics-panel__list,.diagnostics-panel__card{padding:10px}.diagnostics-panel__line{grid-template-columns:minmax(0,1fr)}.diagnostics-panel__message{grid-column:1}.app-notice{right:12px;bottom:78px;min-width:0;max-width:calc(100vw - 24px)}}@media (max-width: 720px),(hover: none) and (pointer: coarse){.app-shell{--editor-font-size: 13px;--proof-header-font-size: .88rem;--proof-render-font-size: .84rem;--proof-status-font-size: .8rem;--diagnostic-font-size: .84rem;--diagnostic-location-font-size: .8rem;--diagnostic-kind-font-size: .72rem;--diagnostic-meta-font-size: .7rem;--code-font-size: .8rem}}