@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: #faf7f5;--surface: #fffefd;--surface-2: #f3ece8;--ink: #2b2320;--muted: #7b6a62;--border: #e4d8d1;--rose: #a83e5b;--rose-dark: #7e2942;--amber: #b56a12;--green: #2f7d4f;--red: #b02a37;--processed: rgba(181, 106, 18, .12);--selection: #f2d3bb;--active-line: rgba(168, 62, 91, .05);--status-warn-bg: #fbefd9;--status-ok-bg: #e4f2e8;--status-error-bg: #f8e2e4;--mono: "Fira Code", "DejaVu Sans Mono", monospace;--sans: "Inter", "Segoe UI", system-ui, sans-serif;--switch-track: #e6dcd6;--switch-knob: #ffffff;--switch-inset: rgb(0 0 0 / 12%);--switch-highlight: rgb(255 255 255 / 70%);--switch-knob-shadow: rgb(60 20 30 / 25%);--switch-icon: #6d2135;--cm-comment: #8a7a72;--cm-keyword: #a83e5b;--cm-type: #205e8a;--cm-variable: #3c332f;--cm-string: #2f7d4f;--cm-number: #b56a12;--cm-operator: #9d1f1f;--cm-punctuation: #6d5d56;--cm-meta: #7e2942}:root[data-theme=dark]{color-scheme:dark;--bg: #151210;--surface: #1e1a17;--surface-2: #2a2420;--ink: #f0e8e2;--muted: #b8a79b;--border: #3b322d;--rose: #e07a97;--rose-dark: #f3a9bc;--amber: #e0a04a;--green: #7bc89a;--red: #ff9090;--processed: rgba(224, 160, 74, .18);--selection: #5a3a45;--active-line: rgba(224, 122, 151, .1);--status-warn-bg: #3a2c15;--status-ok-bg: #18301f;--status-error-bg: #3a1b1f;--switch-track: #3a2f2b;--switch-knob: #bda9a0;--switch-inset: rgb(0 0 0 / 40%);--switch-highlight: rgb(255 255 255 / 18%);--switch-knob-shadow: rgb(0 0 0 / 45%);--switch-icon: #3b1520;--cm-comment: #9b8b82;--cm-keyword: #e07a97;--cm-type: #7fb7e6;--cm-variable: #e8ded7;--cm-string: #7bc89a;--cm-number: #e0a04a;--cm-operator: #ff9f9f;--cm-punctuation: #b8a79b;--cm-meta: #f3a9bc}*{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}}: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)}}.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 #2814192e;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}.entry-file{max-width:12rem;overflow:hidden;color:var(--muted);font-family:var(--mono);font-size:.75rem;text-overflow:ellipsis;white-space:nowrap}.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-tabs{display:flex;align-items:stretch;gap:.1rem;min-width:0}.panel-tab{border:0;border-bottom:2px solid transparent;border-radius:0;background:transparent;padding:.5rem .6rem;color:var(--muted);font-size:.72rem;letter-spacing:.08em;text-transform:uppercase;&:hover:not(:disabled){background:transparent;color:var(--rose-dark)}&[aria-selected=true]{border-bottom-color:var(--rose);color:var(--rose-dark)}&[data-error=true]{color:var(--red)}}.output-count{display:inline-flex;min-width:1.25rem;justify-content:center;margin-left:.35rem;padding:0 .3rem;border-radius:999px;background:var(--surface-2);color:var(--muted);font-size:.68rem;letter-spacing:0}.output-error{margin-left:.3rem;color:var(--red);font-weight:700}.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-panel{flex:1;min-height:0;overflow:auto;padding:.6rem .75rem;font-family:var(--mono);font-size:.78rem}.output-entry{padding:.35rem 0;white-space:pre-wrap;overflow-wrap:anywhere;&[data-severity=error]{color:var(--red)}&.output-jump{cursor:pointer;&:hover{background:var(--active-line)}&:focus-visible{outline:2px solid var(--rose);outline-offset:-2px}}}.output-entry+.output-entry{border-top:1px solid var(--border)}.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 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 #28141940}.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}}