@font-face{font-family:Fira Code;src:url(fonts/FiraCode-VF.woff2?v=408e876a202f15ea) format("woff2");font-weight:300 700;font-style:normal;font-display:swap}:root{color-scheme:light;--bg: #ffffff;--surface: #ffffff;--surface-2: #f6f8fa;--ink: #1f2328;--muted: #57606a;--border: #d0d7de;--rose: #0969da;--rose-dark: #0550ae;--amber: #9a6700;--green: #1a7f37;--red: #cf222e;--processed: rgba(9, 105, 218, .08);--selection: #b6d7ff;--status-warn-bg: #fff8c5;--status-ok-bg: #dafbe1;--status-error-bg: #ffebe9;--mono: "Fira Code", "DejaVu Sans Mono", monospace;--sans: "Inter", "Segoe UI", system-ui, sans-serif;--switch-track: #d0d7de;--switch-knob: #ffffff;--switch-inset: rgb(31 35 40 / 12%);--switch-highlight: rgb(255 255 255 / 70%);--switch-knob-shadow: rgb(31 35 40 / 25%);--switch-icon: #0550ae;--cm-comment: #6e7781;--cm-keyword: #cf222e;--cm-proof: #762c00;--cm-type: #8250df;--cm-variable: #1f2328;--cm-string: #0a3069;--cm-number: #0550ae;--cm-operator: #cf222e;--cm-punctuation: #57606a;--cm-meta: #8250df}:root[data-theme=dark]{color-scheme:dark;--bg: #1d2021;--surface: #282828;--surface-2: #32302f;--ink: #ebdbb2;--muted: #a89984;--border: #504945;--rose: #fe8019;--rose-dark: #fabd2f;--amber: #fabd2f;--green: #b8bb26;--red: #ff6b5b;--processed: rgba(254, 128, 25, .09);--selection: #504945;--status-warn-bg: #3c3220;--status-ok-bg: #2f3b22;--status-error-bg: #3a1b1f;--switch-track: #3c3836;--switch-knob: #a89984;--switch-inset: rgb(0 0 0 / 40%);--switch-highlight: rgb(255 255 255 / 18%);--switch-knob-shadow: rgb(0 0 0 / 45%);--switch-icon: #1d2021;--cm-comment: #a89984;--cm-keyword: #fb4934;--cm-proof: #fabd2f;--cm-type: #83a598;--cm-variable: #ebdbb2;--cm-string: #b8bb26;--cm-number: #d3869b;--cm-operator: #fe8019;--cm-punctuation: #a89984;--cm-meta: #d3869b}*{box-sizing:border-box}[hidden]{display:none!important}html,body{margin:0;height:100%}body{display:flex;flex-direction:column;background:var(--bg);color:var(--ink);font-family:var(--sans);font-size:15px}button,select{font:inherit;color:inherit}button{border:1px solid var(--border);border-radius:7px;background:var(--surface);padding:.4rem .75rem;cursor:pointer;&:hover:not(:disabled){border-color:var(--rose);color:var(--rose-dark)}&:disabled{opacity:.55;cursor:default}}.icon-button{width:2rem;height:2rem;padding:0;font-size:1rem;line-height:1;color:var(--muted)}button:focus-visible,select:focus-visible,summary:focus-visible,.splitter:focus-visible{outline:2px solid var(--rose);outline-offset:1px}.theme-toggle{flex:0 0 auto;display:inline-flex;align-items:center;margin-left:auto;cursor:pointer}.theme-switch{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.theme-toggle-track{display:block;position:relative;width:3.5rem;height:1.75rem;border-radius:999px;background:var(--switch-track);box-shadow:inset 0 .125rem .25rem var(--switch-inset);transition:background-color .25s ease,box-shadow .25s ease}.theme-toggle-knob{position:absolute;top:.1875rem;left:.1875rem;display:grid;place-items:center;width:1.375rem;height:1.375rem;border-radius:50%;background:var(--switch-knob);box-shadow:0 .125rem .3rem var(--switch-knob-shadow),inset 0 1px 0 var(--switch-highlight);transition:left .25s ease,background-color .25s ease,box-shadow .25s ease}.theme-icon{grid-area:1 / 1;width:.75rem;height:.75rem;color:var(--switch-icon);pointer-events:none}.theme-icon-moon{display:none}.theme-switch:checked+.theme-toggle-track .theme-toggle-knob{left:calc(100% - 1.5625rem)}.theme-switch:checked+.theme-toggle-track .theme-icon-sun{display:none}.theme-switch:checked+.theme-toggle-track .theme-icon-moon{display:block}.theme-switch:focus-visible+.theme-toggle-track{outline:2px solid var(--rose);outline-offset:3px}.topbar{display:flex;align-items:center;gap:1rem;padding:.55rem 1rem;background:var(--surface);border-bottom:1px solid var(--border);flex-wrap:wrap;.brand{display:flex;align-items:center;gap:.7rem;flex:none;img{display:block;height:2.5rem;width:auto}}h1{margin:0;font-size:1.15rem;letter-spacing:.01em}.brand-version{color:var(--muted);font-family:var(--mono);font-size:.8rem;white-space:nowrap}.brand-version:empty{display:none}}:root[data-theme=dark] .brand img{content:url(https://abella-prover.org/images/logo-dark-small.png)}.topbar-controls{display:flex;align-items:center;gap:.5rem;flex:1;min-width:0;flex-wrap:wrap;.example-picker{flex:0 1 22rem;min-width:12rem}}.topbar-actions{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;min-width:0;margin-left:auto}.workspace-control{display:flex;flex:0 1 auto;align-items:center;gap:.35rem;min-width:0;padding:.2rem .25rem .2rem .55rem;border:1px solid var(--border);border-radius:7px;background:var(--surface-2)}.workspace-name{flex:0 1 auto;min-width:0;overflow:hidden;color:var(--muted);font-size:.8rem;text-overflow:ellipsis;white-space:nowrap}.workspace-control button{padding:.2rem .45rem;font-size:.75rem}.menus{display:flex;flex:none;align-items:center;gap:.5rem}.menu{position:relative;>summary{list-style:none;cursor:pointer;user-select:none;border:1px solid var(--border);border-radius:7px;background:var(--surface);padding:.4rem .75rem;&::-webkit-details-marker{display:none}&:after{content:"\25be";margin-left:.45rem;color:var(--muted);font-size:.8em}&:hover{border-color:var(--rose);color:var(--rose-dark)}}&[open]>summary{border-color:var(--rose);color:var(--rose-dark)}}.menu-list{position:absolute;top:calc(100% + .3rem);right:0;z-index:20;display:flex;flex-direction:column;min-width:12rem;padding:.3rem;border:1px solid var(--border);border-radius:8px;background:var(--surface);box-shadow:0 10px 30px #0000002e;button{border:0;border-radius:5px;background:transparent;padding:.4rem .6rem;text-align:left;white-space:nowrap;&:hover:not(:disabled){background:var(--surface-2);color:var(--rose-dark)}}}.status{border-radius:999px;padding:.2rem .7rem;font-size:.85rem;background:var(--surface-2);color:var(--muted);white-space:nowrap;&[data-status=processing],&[data-status=compiling],&[data-status=pausing],&[data-status=paused]{background:var(--status-warn-bg);color:var(--amber)}&[data-status=ok],&[data-status=ready]{background:var(--status-ok-bg);color:var(--green)}&[data-status=error]{background:var(--status-error-bg);color:var(--red)}}.status-waiting:before{content:"";display:inline-block;width:.7em;height:.7em;margin-right:.4em;border:2px solid currentColor;border-right-color:transparent;border-radius:50%;vertical-align:-.05em;animation:status-spin .8s linear infinite}@keyframes status-spin{to{transform:rotate(360deg)}}.example-picker select{max-width:22rem;border:1px solid var(--border);border-radius:7px;background:var(--surface);padding:.4rem .5rem}.status-detail{overflow:hidden;max-width:18rem;color:var(--muted);font-size:.85rem;text-overflow:ellipsis;white-space:nowrap}.layout{flex:1;min-height:0;display:grid;grid-template-columns:var(--sidebar-width, 14rem) 6px minmax(0,1fr);grid-template-rows:minmax(0,1fr) 6px var(--panel-height, 28vh);gap:0;transition:grid-template-columns .16s ease}.layout.resizing{transition:none}.layout.sidebar-collapsed{grid-template-columns:0 6px minmax(0,1fr);.sidebar{opacity:0;visibility:hidden;overflow:hidden}}.sidebar{grid-column:1;grid-row:1 / -1;border-right:0;background:var(--surface);min-height:0;overflow:auto;padding-bottom:1rem;opacity:1;visibility:visible;transition:opacity .12s ease}.splitter{grid-column:2;grid-row:1 / -1;position:relative;z-index:2;cursor:col-resize;touch-action:none;&:before{content:"";position:absolute;inset:0 2px;border-left:1px solid var(--border);background:var(--surface)}&:hover:before,&:focus-visible:before,&.dragging:before{border-left:2px solid var(--rose)}&:focus-visible{outline:none}}.splitter.horizontal{grid-column:3;grid-row:2;cursor:row-resize;&:before{inset:2px 0;border-left:0;border-top:1px solid var(--border)}&:hover:before,&:focus-visible:before,&.dragging:before{border-left:0;border-top:2px solid var(--rose)}}body.resizing{cursor:col-resize;user-select:none}body.resizing-row{cursor:row-resize;user-select:none}.explorer-head{position:sticky;top:0;z-index:1;display:flex;align-items:center;gap:.5rem;padding:.5rem .5rem .35rem .9rem;border-bottom:1px solid var(--border);background:var(--surface)}.explorer-name{flex:1 1 auto;overflow:hidden;color:var(--muted);font-size:.75rem;font-weight:600;letter-spacing:.06em;text-overflow:ellipsis;text-transform:uppercase;white-space:nowrap}.explorer-actions{display:flex;flex:0 0 auto;gap:.15rem}.explorer-button{width:1.6rem;height:1.6rem;padding:0;font-size:.9rem;line-height:1}.file-list{display:flex;flex-direction:column;padding:.25rem 0;overflow-x:hidden}.tree-row{display:flex;align-items:center;gap:.3rem;min-width:0;border:0;border-radius:0;background:transparent;padding-top:.24rem;padding-right:.35rem;padding-bottom:.24rem;color:var(--ink);cursor:pointer;font-family:var(--mono);font-size:.8rem;text-align:left;white-space:nowrap;&:focus-visible{outline:2px solid var(--rose);outline-offset:-2px}&.active{background:var(--surface-2);color:var(--rose-dark)}&.inert{color:var(--muted);cursor:default;opacity:.6}&.expanded .tree-chevron{color:var(--ink)}}.tree-chevron{flex:0 0 .8rem;color:var(--muted);font-size:.7rem;text-align:center}.tree-icon{flex:0 0 auto;color:var(--muted);font-size:1em;line-height:1}.tree-entry{flex:0 0 auto;color:var(--amber);font-size:.9rem;font-weight:700;line-height:1}.tree-label{flex:0 1 auto;overflow:hidden;text-overflow:ellipsis}.tree-dirty{flex:0 0 auto;color:var(--amber);font-size:.72rem;line-height:1}.tree-row-menu{flex:0 0 auto;margin-left:auto;border:0;border-radius:3px;background:transparent;color:var(--muted);padding:0 .3rem;font-size:.85rem;line-height:1.2;opacity:0;.tree-row:hover &,.tree-row:focus-within &,.tree-row:focus &{opacity:1}&:hover,&:focus-visible{background:var(--border);color:var(--ink)}}.tree-row.creating{padding-right:.5rem}.tree-edit{flex:1 1 auto;min-width:4rem;border:1px solid var(--rose);border-radius:3px;background:var(--surface);color:var(--ink);font-family:var(--mono);font-size:.8rem;padding:.05rem .3rem}.context-menu{position:fixed;z-index:50;display:flex;flex-direction:column;min-width:9rem;border:1px solid var(--border);border-radius:6px;background:var(--surface);box-shadow:0 6px 24px #1f23282e;padding:.25rem;button{border:0;border-radius:4px;background:transparent;color:var(--ink);padding:.35rem .6rem;font-size:.82rem;text-align:left;&:hover:not([disabled]),&:focus-visible:not([disabled]){background:var(--surface-2)}&:disabled{color:var(--muted);opacity:.6}}}.sidebar-backdrop{display:none}.editor-pane{grid-column:3;grid-row:1;display:flex;flex-direction:column;min-height:0;position:relative;background:var(--surface)}.tab-strip{display:flex;flex:0 0 auto;min-height:2.1rem;overflow-x:auto;overflow-y:hidden;border-bottom:1px solid var(--border);background:var(--surface-2);scrollbar-width:thin;&:empty{display:none}}.tab{display:flex;flex:0 0 auto;align-items:center;border-right:1px solid var(--border);color:var(--muted);font-family:var(--mono);font-size:.8rem;white-space:nowrap;&.active{background:var(--surface);color:var(--ink)}}.tab-button{display:flex;align-items:center;gap:.35rem;max-width:14rem;border:0;background:transparent;color:inherit;padding:.4rem .25rem .4rem .6rem;font:inherit;text-align:left;&:focus-visible{outline:2px solid var(--rose);outline-offset:-2px}}.tab-label{overflow:hidden;text-overflow:ellipsis}.tab.entry .tab-label{font-weight:700}.tab-dirty{color:var(--amber);font-size:.75rem;line-height:1}.tab-close{border:0;border-radius:3px;background:transparent;color:var(--muted);padding:.15rem .35rem;font:inherit;line-height:1;&:hover,&:focus-visible{background:var(--border);color:var(--ink)}}.empty-editor{position:absolute;inset:0;display:grid;place-content:center;gap:.25rem;padding:1rem;color:var(--muted);text-align:center;&[hidden]{display:none}}.empty-editor-hint{font-size:.85rem}.editor{flex:1 1 auto;min-height:0}.editor .cm-editor{height:100%}.editor .cm-editor.cm-focused{outline:none}.panels{grid-column:3;grid-row:3;display:grid;grid-template-columns:minmax(0,1fr);min-height:0}.panel{display:flex;flex-direction:column;min-height:0;overflow:hidden}.panel-head{display:flex;align-items:center;gap:.75rem;min-height:2.1rem;padding:0 .5rem;border-bottom:1px solid var(--border);background:var(--bg)}.run-controls{display:flex;align-items:center;gap:.25rem;padding-right:.5rem;border-right:1px solid var(--border);flex:none;.icon-button{width:2rem;height:2rem;display:inline-grid;place-items:center}}.run-icon{width:1rem;height:1rem;pointer-events:none}.run-icon-pause{display:none}#run-toggle[data-mode=pause]{.run-icon-play{display:none}.run-icon-pause{display:block}}.panel-title{padding:0 .6rem;color:var(--rose-dark);font-size:.72rem;font-weight:600;letter-spacing:.08em;text-transform:uppercase}.panel-status{display:flex;align-items:center;gap:.5rem;min-width:0;margin-left:auto;padding-right:.25rem}.goal-panel{flex:1;min-height:0;overflow:auto;padding:.6rem .75rem;font-family:var(--mono);font-size:.82rem}.goal-empty{color:var(--muted);font-family:var(--sans)}.goal-outcome{margin-top:.75rem;padding-top:.5rem;border-top:1px dashed var(--border);.goal-outcome-theorem{color:var(--muted);font-family:var(--sans);font-size:.78rem;margin-bottom:.15rem}.goal-outcome-message{white-space:pre-wrap;overflow-wrap:anywhere}&[data-status=aborted],&[data-status=not-completed]{color:var(--red)}&[data-status=completed],&[data-status=completed-skip]{color:var(--green)}}.output-entry{padding:.35rem 0;white-space:pre-wrap;overflow-wrap:anywhere;&[data-severity=error]{color:var(--red)}}.output-entry+.output-entry{border-top:1px solid var(--border)}.cm-editor .cm-tooltip{border:1px solid var(--border)!important;background:var(--surface)!important;color:var(--ink)!important}.cm-editor .cm-tooltip-above .cm-tooltip-arrow:before{border-top-color:var(--border)!important}.cm-editor .cm-tooltip-above .cm-tooltip-arrow:after{border-top-color:var(--surface)!important}.cm-editor .cm-tooltip-below .cm-tooltip-arrow:before{border-bottom-color:var(--border)!important}.cm-editor .cm-tooltip-below .cm-tooltip-arrow:after{border-bottom-color:var(--surface)!important}.settings-dialog.output-dialog{width:min(44rem,calc(100vw - 2rem))}.output-dialog-list{max-height:min(28rem,60vh);overflow:auto;padding:.2rem 0;font-family:var(--mono);font-size:.8rem;line-height:1.45}.notification-button{margin-right:1rem}.notification-count[hidden]{display:none}.notification-count{display:inline-flex;min-width:1.25rem;justify-content:center;margin-left:.3rem;padding:0 .3rem;border-radius:999px;background:var(--surface-2);color:var(--muted);font-size:.68rem;letter-spacing:0}.toasts{position:fixed;right:1rem;bottom:2.5rem;z-index:30;display:flex;flex-direction:column;gap:.4rem;width:min(24rem,calc(100vw - 2rem));pointer-events:none}.toast{display:flex;align-items:flex-start;gap:.5rem;padding:.5rem .65rem;border:1px solid var(--border);border-left:3px solid var(--rose);border-radius:6px;background:var(--surface);color:var(--ink);box-shadow:0 8px 24px #00000038;font-size:.8rem;pointer-events:auto;&[data-severity=error]{border-left-color:var(--red)}.toast-message{flex:1;white-space:pre-wrap;overflow-wrap:anywhere}.toast-close{flex:none;padding:0 .2rem;border:0;background:transparent;color:var(--muted);font:inherit;line-height:1}}.settings-dialog{width:min(28rem,calc(100vw - 2rem));padding:0;border:1px solid var(--border);border-radius:10px;background:var(--surface);color:var(--ink);box-shadow:0 18px 60px #00000059;&::backdrop{background:#00000073}}.settings-form{padding:.4rem 1rem 1rem}.help-dialog{width:min(32rem,calc(100vw - 2rem))}.keymap{display:grid;grid-template-columns:auto minmax(0,1fr);gap:.45rem 1rem;margin:.6rem 0 1rem;font-size:.88rem;div{display:contents}dt{white-space:nowrap}dd{margin:0;color:var(--muted)}}.primary-button{background:var(--rose);border-color:var(--rose);color:var(--surface);&:hover:not(:disabled){background:var(--rose-dark);border-color:var(--rose-dark);color:var(--surface)}}.wide-button{width:100%;margin-top:.8rem}.token-disclosure{margin-top:.9rem;summary{cursor:pointer;color:var(--muted);font-size:.8rem;user-select:none}}.setting-link{color:var(--rose-dark);font-size:.8rem}.settings-head{display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--border);padding:.5rem 0 .6rem;h2{margin:0;font-size:1rem}}.setting{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.9rem 0 .2rem;input[type=checkbox]{width:1.1rem;height:1.1rem;accent-color:var(--rose)}}.setting-note{margin:.8rem 0 0;color:var(--muted);font-size:.8rem}.setting select{border:1px solid var(--border);border-radius:7px;background:var(--surface);padding:.4rem .5rem}.setting code,.setting-note code{font-family:var(--mono);font-size:.75rem}.field{display:flex;flex-direction:column;gap:.3rem;margin-top:.9rem;label{color:var(--muted);font-size:.8rem}input,textarea{width:100%;border:1px solid var(--border);border-radius:7px;background:var(--surface);color:var(--ink);font:inherit;padding:.45rem .55rem}textarea{font-family:var(--mono);resize:vertical}}.dialog-actions{display:flex;justify-content:flex-end;gap:.5rem;margin-top:1rem}.dialog-error{color:var(--red)}.sequent{.sequent-name{color:var(--rose-dark);font-weight:600;margin-bottom:.25rem}.sequent-row{white-space:pre-wrap;overflow-wrap:anywhere}.sequent-hyp{color:var(--cm-type)}.sequent-line{border-top:1px solid var(--ink);margin:.35rem 0;width:18rem;max-width:100%}.sequent-more{color:var(--muted);margin-top:.3rem}}.footer{display:flex;flex-wrap:wrap;gap:1rem;justify-content:space-between;padding:.35rem 1rem;border-top:1px solid var(--border);background:var(--surface);color:var(--muted);font-size:.75rem;a{color:var(--rose);text-decoration:none}}.footer-links{display:flex;flex-wrap:wrap;gap:1rem}.link-button{border:0;border-radius:0;background:transparent;padding:0;color:var(--rose);font:inherit;&:hover:not(:disabled){border-color:transparent;color:var(--rose-dark);text-decoration:underline}}body.privacy-body{display:block;height:auto}.privacy-page{max-width:52rem;margin:0 auto;padding:2.5rem 1.25rem 4rem;line-height:1.55;h1{margin-top:0}h2{margin-top:2rem;font-size:1.15rem}h3{margin-top:1.4rem;font-size:1rem}ul{padding-left:1.25rem}li{margin:.25rem 0}a{color:var(--rose)}code{font-family:var(--mono);font-size:.85em}}.privacy-back{margin:0 0 1.5rem;font-size:.85rem}.privacy-meta{color:var(--muted)}kbd{font-family:var(--mono);font-size:.72rem;border:1px solid var(--border);border-bottom-width:2px;border-radius:4px;padding:0 .25rem;background:var(--surface-2)}.visually-hidden{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.mobile-only{display:none}@media(max-width:900px){.layout{display:flex;flex-direction:column}.splitter{display:none}.mobile-only{display:inline-flex}.layout.sidebar-collapsed .sidebar{display:none}.sidebar{position:fixed;top:0;bottom:0;left:0;z-index:30;width:min(20rem,85vw);max-height:none;border-right:1px solid var(--border);border-bottom:0;box-shadow:0 8px 32px #1f232840}.sidebar-backdrop:not([hidden]){display:block;position:fixed;inset:0;z-index:20;background:#0000004d}.tree-row-menu{opacity:1}.editor-pane{min-height:45vh}.panels{flex:0 0 32vh;grid-template-columns:1fr;min-height:10rem;border-top:1px solid var(--border)}.panel-status .status-detail{display:none}}