/* Part of the Grace17 proof assistant for mathematics based on set theory.
   Copyright (c) 2026 Grant Passmore.
   Released under the Apache License 2.0. See LICENSE in the repository root.
   Authors: Grant Passmore */

:root {
  color-scheme: dark;
  /* Empathy: ANSI blue/cyan/gray, tuned for a modern high-contrast display. */
  --ink: #070b0e;
  --ink-deep: #000000;
  --panel: #0c1217;
  --panel-raised: #131c22;
  --line: #26343d;
  --line-strong: #40515c;
  --muted: #7d8d96;
  --paper: #d8e2e7;
  --paper-dim: #aab8c0;
  --signal: #00c8d7;
  --cyan-bright: #57f4ff;
  --blue: #2c77c7;
  --blue-bright: #65aef2;
  --warning: #e3b65b;
  --red: #ff6565;
  --success: #2e8a76;
  --proven: #57f4ff;
  --admission: #d9a441;
  --qed-cream: #f2ecdd;
  --qed-cream-dim: #cfc8b8;
  --sans: Inter, "Helvetica Neue", Helvetica, Arial, sans-serif;
  --serif: Charter, "Iowan Old Style", "Palatino Linotype", Georgia, serif;
  --mono: "SFMono-Regular", "Roboto Mono", Consolas, "Liberation Mono", monospace;
  font-family: var(--serif);
}

* { box-sizing: border-box; }
html, body { width: 100%; height: 100%; }
body { margin: 0; min-height: 100dvh; background: var(--ink-deep); color: var(--paper); overflow: hidden; }
button, select, input, textarea { font-family: var(--serif); }
button, select, input { color: var(--paper); border: 1px solid var(--line-strong); background: var(--panel-raised); }
button { cursor: pointer; border-radius: 2px; padding: .52rem .78rem; font-weight: 650; transition: color .12s ease, border-color .12s ease, background .12s ease, transform .08s ease; }
button:hover { color: #ffffff; border-color: var(--paper-dim); background: #17232b; }
button:active { transform: translateY(1px); }
button:focus-visible, select:focus-visible, input:focus-visible, summary:focus-visible { outline: 2px solid var(--signal); outline-offset: 2px; }

.topbar { height: 42px; display: grid; grid-template-columns: minmax(210px, .9fr) minmax(200px, 1fr) auto; align-items: stretch; padding: 0 10px 0 14px; border-bottom: 1px solid var(--line-strong); background: var(--ink-deep); }
.brand { display: inline-flex; align-items: center; gap: 13px; width: max-content; color: inherit; text-decoration: none; }
.brand img { display: block; width: 88px; height: 27px; object-fit: contain; object-position: left center; }
.brand small { max-width: 90px; color: var(--muted); font: 10px/1.35 var(--serif); }
.status { min-width: 0; justify-self: start; align-self: stretch; padding: 0 16px; border-left: 1px solid var(--line); color: var(--paper-dim); font: 11px var(--serif); display: flex; align-items: center; gap: 8px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.status-dot { width: 6px; height: 6px; border: 1px solid var(--success); border-radius: 1px; background: var(--success); }
.status-dot.busy { border-color: var(--blue-bright); background: var(--blue-bright); }
.status-dot.error { border-color: var(--red); background: var(--red); }
.status-dot.warning { border-color: var(--warning); background: var(--warning); }
.status.proven { color: var(--proven); font-family: var(--mono); }
.status.warning { color: var(--admission); font-family: var(--mono); }
.status-dot.proven { border-color: var(--proven); background: var(--proven); }
.status.warning .status-dot { border-color: var(--admission); background: var(--admission); }
.toolbar { display: flex; justify-content: flex-end; align-items: center; gap: 5px; }
.toolbar button { min-height: 27px; padding: 4px 9px; font-size: 11px; }
.toolbar-divider { width: 1px; height: 18px; margin: 0 3px; background: var(--line); }
.toolbar .quiet { border-color: transparent; background: transparent; color: var(--muted); }
.toolbar .quiet:hover { border-color: var(--line-strong); color: var(--paper); background: var(--panel-raised); }
.toolbar a.toolbar-link { display: inline-flex; align-items: center; min-height: 27px; padding: 4px 9px; border: 1px solid transparent; border-radius: 2px; font: 650 11px var(--serif); text-decoration: none; }
select { margin-left: 7px; padding: .45rem .62rem; border-radius: 2px; }
.primary { background: var(--signal); color: #001014; border-color: var(--signal); }
.primary:hover { background: var(--cyan-bright); border-color: var(--cyan-bright); color: #001014; }
kbd { margin-left: 7px; color: #075e67; font: 9px var(--mono); opacity: .9; }

.workspace { --editor-width: 54%; height: calc(100dvh - 42px); min-height: 0; overflow: hidden; display: grid; grid-template-columns: minmax(330px, var(--editor-width)) 5px minmax(330px, 1fr) 0; transition: grid-template-columns .14s ease; }
.workspace.proof-collapsed { grid-template-columns: minmax(330px, 1fr) 0 0 34px; }
.editor-pane, .proof-pane { width: 100%; height: 100%; min-width: 0; min-height: 0; overflow: hidden; display: flex; flex-direction: column; background: var(--panel); }
.proof-pane { position: relative; border-left: 1px solid var(--line-strong); }
.proof-pane-rail { display: none; width: 34px; min-width: 34px; height: 100%; overflow: hidden; background: #080e12; border-left: 3px solid var(--signal); }
.proof-pane-rail button { width: 31px; height: 31px; padding: 0; border: 0; background: transparent; color: var(--muted); font: 18px/1 var(--mono); }
.proof-pane-rail button:hover, .proof-pane-rail button:focus-visible { color: var(--paper); background: var(--panel-raised); }
.workspace.proof-collapsed .proof-pane-rail { display: block; }
.workspace.proof-collapsed .workspace-divider { display: none; }
.workspace.proof-collapsed .proof-pane { overflow: hidden; }
.workspace.proof-collapsed .proof-heading-content, .workspace.proof-collapsed .proof-view, .workspace.proof-collapsed .error-view { display: none !important; }
.proof-pane.workspace-empty .proof-view, .proof-pane.workspace-empty .error-view { display: none !important; }
.workspace-divider { position: relative; z-index: 5; width: 5px; cursor: col-resize; background: var(--ink-deep); border: 0; outline: none; touch-action: none; }
.workspace-divider::after { content: ""; position: absolute; inset: 0 -4px; }
.workspace-divider:hover, .workspace-divider:focus, .workspace-divider.dragging { background: var(--signal); }

.pane-heading { height: 45px; flex: 0 0 45px; padding: 7px 14px; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid var(--line-strong); background: #0f171d; }
.pane-heading h1 { margin: 0; color: var(--paper); font: 600 14px/1.2 var(--mono); letter-spacing: -.025em; }
#cursor { color: var(--muted); font: 10px var(--mono); }
.editor-meta { position: relative; display: flex; align-items: center; gap: 14px; }
.unicode-help summary { color: var(--muted); cursor: pointer; list-style: none; font: 10px var(--mono); }
.unicode-help summary:hover { color: var(--paper); }
.unicode-help summary::-webkit-details-marker { display: none; }
.unicode-help > div { position: absolute; z-index: 20; top: 27px; right: 0; width: 315px; padding: 12px 14px; border: 1px solid var(--line-strong); border-radius: 2px; background: #14212a; box-shadow: 8px 8px 0 #000000; color: var(--paper); font: 11px/1.8 var(--mono); }
.unicode-help code { color: var(--cyan-bright); }

.file-tabs { min-height: 32px; flex: 0 0 32px; display: flex; overflow: hidden; border-bottom: 1px solid var(--line-strong); background: var(--ink-deep); }
#fileTabs { min-width: 0; display: flex; overflow-x: auto; scrollbar-width: thin; }
.file-tab { flex: 0 0 auto; max-width: 200px; display: flex; align-items: center; gap: 7px; padding: 0 9px 0 12px; border: 0; border-right: 1px solid var(--line); border-radius: 0; background: transparent; color: #71818a; font: 10px var(--mono); }
.file-tab.active { color: var(--paper); background: var(--panel); box-shadow: inset 0 2px var(--signal); }
.file-tab.error::before { content: ""; width: 6px; height: 6px; flex: 0 0 auto; border-radius: 0; background: var(--red); }
.file-tab .tab-name { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.file-tab.dirty .tab-name::after { content: "●"; margin-left: 7px; color: var(--cyan-bright); font-size: 8px; }
.rollup-mark { width: 13px; height: 13px; flex: 0 0 13px; margin-left: auto; overflow: visible; fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.rollup-mark.proven { color: var(--proven); }
.rollup-mark.sorry { color: var(--admission); }
.file-tab .tab-close { color: #53646e; font-size: 14px; line-height: 1; }
.file-tab .tab-close:hover { color: var(--red); }
#newFile { flex: 0 0 32px; padding: 0; border: 0; border-left: 1px solid var(--line); border-radius: 0; color: var(--muted); background: transparent; font: 16px var(--mono); }
#closeAllFiles { flex: 0 0 auto; padding: 0 11px; border: 0; border-left: 1px solid var(--line); border-radius: 0; background: transparent; color: #60727c; font: 10px var(--serif); }
#closeAllFiles:hover { color: var(--paper); background: var(--panel-raised); }
#closeAllFiles[hidden] { display: none; }

.editor-shell { container-type: inline-size; flex: 1 1 auto; width: 100%; height: 0; min-height: 0; display: flex; overflow: hidden; background: var(--ink-deep); }
.monaco-editor-host { flex: 1 1 auto; width: 0; height: 100%; min-width: 0; min-height: 0; }
.empty-workspace { position: relative; flex: 1 1 auto; min-width: 0; overflow: auto; display: grid; grid-template-columns: minmax(320px, 1fr) minmax(260px, .85fr); align-items: center; gap: clamp(30px, 6vw, 80px); padding: clamp(34px, 7vh, 76px) clamp(28px, 6vw, 76px); background: linear-gradient(135deg, #05090c 0 58%, #071116 100%); }
.empty-workspace[hidden] { display: none; }
.empty-workspace::before { content: ""; position: absolute; top: 0; left: 0; width: 3px; height: 100%; background: var(--signal); }
.empty-copy { position: relative; z-index: 1; min-width: 0; }
.empty-identity { display: flex; align-items: center; gap: 11px; margin-bottom: 24px; }
.empty-identity img { display: block; width: 108px; height: auto; }
.empty-identity code { padding: 2px 5px; border: 1px solid var(--line-strong); border-radius: 2px; color: var(--paper-dim); font: 9px var(--mono); }
.empty-workspace h2 { max-width: 560px; margin: 0 0 15px; color: var(--qed-cream); font: 600 clamp(34px, 5vw, 58px)/.98 var(--serif); letter-spacing: -.045em; }
.empty-workspace p { max-width: 475px; color: var(--paper-dim); font: 14px/1.55 var(--serif); }
.empty-workspace .empty-principle { margin: 0 0 8px; color: var(--paper); font-size: 18px; }
.empty-principle code { color: var(--cyan-bright); font: 17px var(--mono); }
.saved-session { display: grid; grid-template-columns: minmax(0, 1fr) auto auto; align-items: center; gap: 8px; width: min(470px, 100%); margin: 18px 0 0; padding: 9px 10px 9px 13px; border-left: 3px solid var(--signal); background: #08151a; }
.saved-session[hidden] { display: none; }
.saved-session div { min-width: 0; display: flex; flex-direction: column; gap: 2px; }
.saved-session strong { color: var(--paper); font: 500 11px/1.35 var(--serif); }
.saved-session span { color: var(--muted); font: 9px/1.4 var(--mono); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.saved-session button { min-width: 58px; padding: 5px 8px; font-size: 10px; }
.saved-session .quiet { border-color: transparent; background: transparent; color: var(--muted); }
.saved-session .quiet:hover { border-color: var(--line-strong); color: var(--paper); }
.empty-actions { display: grid; grid-template-columns: repeat(2, 134px); gap: 7px; margin: 23px 0 28px; }
.empty-actions button { width: 134px; min-width: 0; padding: 7px 9px; font-size: 11px; }
.empty-actions .cumulus-action { border-color: var(--signal); color: var(--cyan-bright); background: #07171c; }
.empty-actions .cumulus-action:hover { border-color: var(--cyan-bright); color: #001014; background: var(--cyan-bright); }
.cumulus-action span { margin-left: 6px; font-family: var(--mono); }
.empty-workspace pre { width: min(470px, 100%); margin: 0 0 13px; padding: 14px 16px; overflow-x: auto; border: 0; border-left: 3px solid var(--blue-bright); border-radius: 0 2px 2px 0; background: #091219; color: var(--paper-dim); font: 10px/1.65 var(--mono); }
.empty-workspace pre span { color: var(--cyan-bright); }
.cumulative-universe { position: relative; width: min(100%, 420px); margin: 0; justify-self: center; color: var(--muted); }
.cumulative-universe svg { display: block; width: 100%; height: auto; overflow: visible; }
.universe-v-outline { fill: none; stroke: var(--blue); stroke-width: 2.4; stroke-linecap: square; }
.universe-level path { fill: none; stroke: var(--signal); stroke-width: 1.35; stroke-linecap: round; }
.universe-level text { fill: #7d8d96; font: 11px var(--mono); }
.universe-level.level-limit path, .universe-level.level-transfinite path { stroke: var(--cyan-bright); stroke-width: 1.8; }
.universe-level.level-limit text, .universe-level.level-transfinite text { fill: var(--cyan-bright); }
.universe-level.level-successor path { stroke: var(--blue-bright); }
.universe-ellipsis { fill: var(--cyan-bright); }
.universe-ellipsis.middle { fill: var(--signal); }
.universe-origin { fill: var(--cyan-bright); }
.universe-empty { fill: var(--qed-cream); font: 12px var(--mono); }
.universe-v { fill: var(--qed-cream); font: italic 600 42px var(--serif); }
.cumulative-universe path { animation: universe-arrive .7s ease-out both; }
.cumulative-universe .universe-ellipsis { animation: universe-members .55s .35s ease-out both; }
@keyframes universe-arrive { from { opacity: 0; transform: translateY(8px); } to { opacity: 1; transform: translateY(0); } }
@keyframes universe-members { from { opacity: 0; } to { opacity: 1; } }
@container (max-width: 680px) {
  .empty-workspace { grid-template-columns: 1fr; align-items: start; }
  .cumulative-universe { width: min(92%, 360px); margin-top: 8px; }
}
.project-explorer { flex: 0 0 210px; width: 210px; min-width: 0; overflow: auto; border-right: 1px solid var(--line-strong); background: #080e12; transition: flex-basis .14s ease, width .14s ease; }
.project-explorer[hidden] { display: none; }
.project-explorer.collapsed { flex-basis: 34px; width: 34px; overflow: hidden; border-right: 3px solid var(--signal); }
.explorer-heading { position: sticky; z-index: 2; top: 0; min-height: 31px; display: flex; align-items: center; justify-content: space-between; padding: 0 5px 0 11px; border-bottom: 1px solid var(--line); background: #080e12; color: var(--muted); font: 11px var(--serif); }
.explorer-heading span { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.explorer-heading button { flex: 0 0 24px; padding: 2px; border: 0; background: transparent; color: var(--muted); font-size: 18px; }
.project-explorer.collapsed .explorer-heading { min-height: 31px; padding: 0; border-bottom: 0; }
.project-explorer.collapsed .explorer-heading button { flex: 0 0 31px; width: 31px; height: 31px; padding: 0; }
.project-explorer.collapsed .explorer-heading span, .project-explorer.collapsed .project-files { display: none; }
.project-files { padding: 5px 0 12px; font: 10px/1.45 var(--mono); }
.project-files details > summary { min-height: 25px; display: flex; align-items: center; gap: 5px; padding: 3px 7px; color: #788993; cursor: pointer; list-style: none; user-select: none; }
.project-files details > summary::before { content: "›"; width: 10px; color: #536773; font-size: 14px; }
.project-files details[open] > summary::before { transform: rotate(90deg); }
.project-files details > summary::-webkit-details-marker { display: none; }
.project-tree-children { padding-left: 10px; }
.project-internals { margin-top: 8px; padding-top: 5px; border-top: 1px solid var(--line-strong); }
.project-files .project-internals > summary { min-height: 30px; color: #637985; font: 10px var(--serif); }
.project-files .project-internals > summary::before { color: var(--signal); }
.project-file { width: 100%; min-height: 25px; display: flex; align-items: center; gap: 6px; padding: 3px 9px 3px 18px; border: 0; border-radius: 0; background: transparent; color: #8999a2; text-align: left; font: inherit; font-weight: 450; }
.project-file::before { content: "g17"; color: var(--signal); font-size: 8px; letter-spacing: -.04em; }
.project-file > span { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.project-file:hover { background: #111c23; color: var(--paper); }
.project-file.active { color: #ffffff; background: #10283a; box-shadow: inset 2px 0 var(--signal); }
.project-file.error::after { content: ""; width: 5px; height: 5px; margin-left: auto; border-radius: 0; background: var(--red); }
.monaco-editor .margin { border-right: 1px solid var(--line); }

.editor-error { flex: 0 0 auto; display: grid; grid-template-columns: 7px auto minmax(0, 1fr) auto; gap: 9px; align-items: center; width: 100%; padding: 6px 13px; border: 0; border-top: 1px solid var(--line-strong); border-radius: 0; background: #090f13; text-align: left; }
.editor-error[hidden] { display: none; }
.diagnostic-square { width: 6px; height: 6px; background: var(--red); }
.diagnostic-location { color: var(--muted); font: 10px var(--mono); white-space: nowrap; }
.diagnostic-message { overflow: hidden; color: var(--paper-dim); font: 11px/1.4 var(--serif); white-space: nowrap; text-overflow: ellipsis; }
.diagnostic-chip { padding: 1px 3px; border-radius: 1px; background: var(--panel-raised); color: var(--paper); font: 10px var(--mono); }
.diagnostic-show { color: var(--paper-dim); font: 11px var(--serif); white-space: nowrap; }
.editor-error:hover .diagnostic-show { color: var(--cyan-bright); }
.monaco-editor .diagnostic-line { background: #24101266; }
.monaco-editor .diagnostic-span { border-bottom: 2px solid var(--red); }
.monaco-editor .squiggly-error { background-image: none !important; text-decoration: none !important; }
.monaco-editor .diagnostic-gutter-dot { background: var(--red); width: 6px !important; height: 6px !important; margin: 9px 0 0 7px; border-radius: 1px; }
.monaco-editor .sorry-span { text-decoration-line: underline; text-decoration-style: dashed; text-decoration-color: var(--admission); text-decoration-thickness: 2px; text-underline-offset: 3px; }
.monaco-editor .sorry-gutter-dot { width: 6px !important; height: 6px !important; margin: 9px 0 0 7px; border-radius: 1px; background: var(--admission); }
.result-heading { height: 58px; flex-basis: 58px; gap: 5px; padding: 6px 34px 7px 14px; align-items: stretch; }
.proof-heading-content { min-width: 0; width: 100%; display: flex; flex-direction: column; justify-content: center; }
.proof-pane-toggle { position: absolute; z-index: 8; top: 15px; right: 4px; width: 25px; height: 28px; padding: 0; border: 0; background: transparent; color: var(--muted); font: 18px/1 var(--mono); }
.proof-pane-toggle:hover { color: var(--paper); background: var(--panel-raised); }
.workspace.proof-collapsed .result-heading { height: 100%; flex-basis: 100%; padding: 0; border-bottom: 0; }
.proof-jump { position: relative; display: inline-flex; align-items: center; align-self: flex-start; max-width: 100%; }
.proof-jump select { appearance: none; max-width: 100%; margin: 0; padding: 0 23px 0 0; border: 0; border-radius: 0; outline: 0; background: transparent; color: var(--paper); font: 600 18px/1.25 var(--mono); letter-spacing: -.035em; text-overflow: ellipsis; cursor: pointer; }
.proof-jump select:focus-visible { outline: 0; color: #ffffff; }
.proof-chevron { position: absolute; right: 2px; top: 1px; color: var(--cyan-bright); font: 16px/1 var(--mono); pointer-events: none; }

.proof-view { display: flex; flex-direction: column; min-height: 0; height: 100%; }
.proof-view[hidden] { display: none; }
.summary { min-width: 0; margin-top: 2px; overflow: hidden; color: var(--muted); font: 10px/1.35 var(--mono); white-space: nowrap; text-overflow: ellipsis; }
.goal-view { padding: 15px; overflow: auto; flex: 1 1 auto; min-height: 72px; }
.goal-card { border: 0; border-left: 3px solid var(--signal); background: #080d11; border-radius: 0 2px 2px 0; overflow: hidden; margin-bottom: 10px; }
.goal-meta { display: flex; justify-content: space-between; gap: 12px; padding: 9px 13px 7px; color: var(--muted); font: 11px/1.35 var(--serif); }
.goal-meta code { color: var(--muted); font: 9px/1.35 var(--mono); white-space: nowrap; }
.context { margin: 0 13px; padding: 6px 0 10px; border-bottom: 1px solid var(--line); color: var(--paper-dim); font: 11px/1.58 var(--mono); }
.context-sorts { opacity: .7; margin-bottom: 2px; }
.context div + div { margin-top: 3px; }
.empty-context { color: var(--muted); }
.goal-change { color: #ffffff; background: #10304a; border-radius: 1px; box-shadow: 0 0 0 2px #10304a; }
.context .goal-change-line { margin-left: -7px; padding-left: 7px; border-left: 2px solid var(--signal); background: #0d1b24; }
.local-name { color: var(--blue-bright); }
.semantic-symbol { border-bottom: 1px dotted var(--blue); cursor: help; }
.semantic-symbol:hover { color: var(--cyan-bright); border-bottom-color: var(--cyan-bright); }
.semantic-symbol.navigable { cursor: alias; }
.goal-change .semantic-symbol { border-bottom-color: var(--blue-bright); }
.turnstile { padding: 11px 13px 13px; color: var(--paper); font: 13px/1.55 var(--mono); }
.turnstile::before { content: "⊢"; color: var(--paper-dim); margin-right: 10px; }
.no-goals { padding: 8px 2px; color: var(--muted); font: 12px/1.5 var(--serif); }
.qed-state { display: grid; grid-template-columns: 48px minmax(0, 1fr) auto; align-items: center; gap: 10px; min-height: 29px; margin: 2px 0 10px; }
.qed-mark { display: block; width: 48px; height: 24px; overflow: visible; }
.qed-letter { fill: var(--qed-cream); }
.qed-membership { fill: none; stroke: var(--proven); stroke-width: 9.2; stroke-linecap: round; }
.qed-mark.sorry .qed-letter { fill: var(--qed-cream-dim); }
.qed-mark.sorry .qed-membership { stroke: var(--admission); }
.qed-copy { min-width: 0; color: var(--muted); font: 12px/1.45 var(--serif); }
.qed-show { justify-self: end; padding: 2px 0; border: 0; border-radius: 0; background: transparent; color: var(--muted); font: 11px var(--serif); white-space: nowrap; }
.qed-show:hover { border: 0; background: transparent; color: var(--cyan-bright); }
.sorry-sites { grid-column: 1 / -1; width: calc(100% - 24px); margin: 5px 0 2px 24px; padding: 0 0 0 25px; border-left: 1px solid #725b28; list-style: none; }
.sorry-sites li { position: relative; }
.sorry-sites li::before { content: ""; position: absolute; left: -29px; top: 15px; width: 7px; height: 7px; background: var(--admission); }
.sorry-sites button { width: 100%; display: grid; grid-template-columns: minmax(95px, .45fr) minmax(0, 1fr) auto; align-items: baseline; gap: 13px; padding: 8px 4px 8px 0; border: 0; border-top: 1px solid var(--line); border-radius: 0; background: transparent; text-align: left; }
.sorry-sites button:hover { border-color: var(--line-strong); background: #16150e; }
.sorry-sites code { overflow: hidden; color: var(--admission); font: 9px/1.4 var(--mono); text-overflow: ellipsis; white-space: nowrap; }
.sorry-sites button > span { min-width: 0; }
.sorry-sites strong, .sorry-sites small { display: block; overflow: hidden; font-family: var(--mono); text-overflow: ellipsis; white-space: nowrap; }
.sorry-sites strong { color: var(--qed-cream-dim); font-size: 10px; font-weight: 500; }
.sorry-sites small { margin-top: 2px; color: var(--muted); font-size: 9px; }
.sorry-sites i { color: var(--muted); font: normal 10px var(--serif); white-space: nowrap; }
.sorry-sites button:hover i { color: var(--cyan-bright); }
.qed-new .qed-letter { opacity: 0; animation: qed-letter-in 140ms ease-out forwards; }
.qed-new .qed-d { animation-delay: 40ms; }
.qed-new .qed-e-arc { stroke-dasharray: 100; stroke-dashoffset: 100; animation: qed-draw 250ms ease-out 90ms forwards; }
.qed-new .qed-e-bar { stroke-dasharray: 100; stroke-dashoffset: 100; animation: qed-draw 120ms ease-out 300ms forwards; }
.qed-new .qed-copy { opacity: 0; animation: qed-letter-in 150ms ease-out 410ms forwards; }
.qed-upgrade .qed-letter { animation: qed-letter-upgrade 300ms ease-out; }
.qed-upgrade .qed-e-arc { animation: qed-arc-upgrade 300ms ease-out; }
.qed-upgrade .qed-e-bar { animation: qed-bar-upgrade 300ms ease-out; }
.qed-upgrade .qed-copy { animation: qed-copy-upgrade 300ms ease-out; }
@keyframes qed-letter-in { to { opacity: 1; } }
@keyframes qed-draw { to { stroke-dashoffset: 0; } }
@keyframes qed-letter-upgrade { from { fill: var(--qed-cream-dim); } to { fill: var(--qed-cream); } }
@keyframes qed-arc-upgrade { from { stroke: var(--admission); } to { stroke: var(--proven); } }
@keyframes qed-bar-upgrade { from { stroke: var(--admission); stroke-dasharray: var(--qed-upgrade-dash); } to { stroke: var(--proven); stroke-dasharray: 100 0; } }
@keyframes qed-copy-upgrade { 0% { opacity: .35; } 100% { opacity: 1; } }
.evaluation-caption { margin: 0 0 8px; color: var(--muted); font: 11px var(--serif); }
.evaluation-caption code { font: 10px var(--mono); }
.evaluation-card { display: grid; grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr); align-items: center; gap: 18px; padding: 18px 19px; border: 0; border-left: 3px solid var(--signal); border-radius: 0 2px 2px 0; background: #080d11; font: 14px/1.55 var(--mono); }
.evaluation-card code { min-width: 0; overflow-wrap: anywhere; color: var(--paper); }
.evaluation-card span { color: var(--signal); font-size: 20px; }
.evaluation-card strong { min-width: 0; overflow-wrap: anywhere; color: var(--cyan-bright); }
.proof-position { position: relative; display: grid; grid-template-columns: 25px minmax(0, 1fr); gap: 10px; align-items: stretch; margin: 0 0 12px; }
.proof-position::before { content: ""; position: absolute; left: 11px; top: 24px; bottom: -12px; width: 1px; background: var(--signal); opacity: .55; }
.position-mark { z-index: 1; display: grid; place-items: center; align-self: start; width: 23px; height: 23px; border: 1px solid var(--signal); border-radius: 1px; background: var(--panel); color: var(--cyan-bright); font: 12px/1 var(--mono); }
.position-copy { display: flex; min-width: 0; align-items: baseline; gap: 10px; padding: 2px 0 8px; border-bottom: 1px solid var(--line-strong); }
.position-copy code { flex: 0 0 auto; color: var(--cyan-bright); font: 10px var(--mono); }
.position-copy > span { min-width: 0; color: var(--paper-dim); font: 12px/1.4 var(--serif); }
.proof-notice { display: flex; flex-direction: column; gap: 4px; margin-bottom: 10px; padding: 9px 12px; border: 0; border-left: 3px solid var(--signal); border-radius: 0 2px 2px 0; background: #08171d; color: var(--paper-dim); }
.proof-notice > span { color: var(--paper); font: 12px/1.4 var(--serif); }
.proof-notice small { color: var(--muted); font: 11px/1.45 var(--serif); }

.proof-map-drawer, .info-drawer { flex: 0 1 auto; border-top: 1px solid var(--line-strong); max-height: 42%; overflow: auto; background: #090f13; }
.kernel-drawer { position: relative; flex: 0 0 auto; min-height: 0; border-top: 1px solid var(--line-strong); overflow: hidden; background: #090f13; }
.kernel-drawer[open] { flex: 0 0 var(--kernel-height, 42%); height: var(--kernel-height, 42%); }
.kernel-drawer > summary, .proof-map-drawer > summary, .info-drawer > summary { flex: 0 0 auto; padding: 8px 17px; cursor: pointer; display: flex; justify-content: space-between; color: var(--paper-dim); font: 11px var(--serif); }
.kernel-drawer > summary::marker, .proof-map-drawer > summary::marker, .info-drawer > summary::marker { color: var(--signal); }
.kernel-drawer > summary small, .proof-map-drawer > summary small, .info-drawer > summary small { color: var(--muted); font: 500 9px var(--mono); letter-spacing: 0; text-transform: none; }
.kernel-resize-handle { position: relative; z-index: 4; flex: 0 0 6px; height: 6px; margin-bottom: -6px; cursor: row-resize; touch-action: none; background: transparent; outline: 0; }
.kernel-resize-handle[hidden] { display: none; }
.kernel-resize-handle span { position: absolute; left: 50%; top: 1px; width: 34px; height: 2px; transform: translateX(-50%); background: var(--line-strong); }
.kernel-resize-handle:hover span, .kernel-resize-handle:focus span, .kernel-resize-handle.dragging span { background: var(--cyan-bright); }
.proof-map { padding: 0 12px 12px; }
.proof-map-section { margin-top: 4px; border-left: 2px solid var(--line); }
.proof-map-section > summary { display: grid; grid-template-columns: minmax(0, 1fr) auto auto; align-items: center; gap: 9px; padding: 7px 8px; cursor: pointer; list-style-position: outside; }
.proof-map-section > summary:hover { background: #111c23; }
.proof-map-section > summary strong { color: var(--paper); font: 550 11px/1.4 var(--mono); }
.proof-map-section > summary span { color: #677983; font: 9px var(--mono); }
.proof-map-section.active { border-left-color: var(--signal); }
.proof-map-section.active > summary { background: #10283a; }
.proof-map-section.active > summary strong { color: var(--cyan-bright); }
.proof-map-body { padding: 0 0 4px 13px; }
.proof-map-note { padding: 5px 8px; color: var(--muted); font: italic 10px/1.5 var(--serif); }
.proof-map-note.root { margin-top: 4px; }
.proof-map-jump { padding: 2px 0; border: 0; background: transparent; color: #657782; font: 9px var(--mono); }
.proof-map-jump:hover { color: var(--signal); background: transparent; }
.proof-map-tactic { width: 100%; display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 10px; padding: 6px 8px; border: 0; border-top: 1px solid var(--line); border-radius: 0; background: transparent; text-align: left; }
.proof-map-tactic:hover, .proof-map-tactic.active { background: #111d25; }
.proof-map-tactic.active { box-shadow: inset 2px 0 var(--signal); }
.proof-map-tactic code { color: var(--paper-dim); white-space: normal; overflow-wrap: anywhere; font: 10px/1.4 var(--mono); }
.proof-map-tactic.active code { color: var(--paper); }
.proof-map-tactic span { color: #677983; font: 9px var(--mono); white-space: nowrap; }
.info-view { padding: 0 14px 14px; }
.info-empty { color: var(--muted); font: 11px/1.55 var(--serif); }
.info-empty code { color: var(--cyan-bright); }
.info-title { color: var(--muted); font: 11px var(--serif); margin: 2px 0 8px; }
.suggestion { width: 100%; display: flex; justify-content: space-between; gap: 12px; padding: 8px 10px; border: 0; border-top: 1px solid var(--line); border-radius: 0; background: #080d11; text-align: left; font-weight: 450; }
.suggestion code { color: var(--paper); white-space: normal; overflow-wrap: anywhere; }
.suggestion span { color: var(--muted); font: 10px var(--serif); }
.kernel-scroller { display: none; }
.kernel-drawer[open] > .kernel-scroller { position: absolute; inset: 32px 0 0; display: block; min-width: 0; min-height: 0; overflow-x: auto; overflow-y: scroll; overscroll-behavior: contain; scrollbar-gutter: stable; }
.kernel-view { min-height: 100%; padding: 0 13px 14px; }
.fitch-guide { position: sticky; z-index: 2; top: 0; margin: 0 -13px 6px; padding: 6px 17px; border-bottom: 1px solid var(--line); background: #090f13ee; color: var(--muted); font: 10px/1.4 var(--serif); }
.fitch-proof { min-width: 430px; border-top: 1px solid var(--line-strong); }
.fitch-line { scroll-margin-top: 32px; }
.fitch-line:target { background: #0b1a21; }
.fitch-line > summary { display: grid; grid-template-columns: 35px minmax(0, 1fr) minmax(105px, .32fr); align-items: stretch; min-height: 29px; cursor: pointer; list-style: none; border-bottom: 1px solid #18242b; }
.fitch-line > summary::-webkit-details-marker { display: none; }
.fitch-line > summary:hover { background: #0e181e; }
.fitch-number { padding: 7px 7px 6px 0; color: #53656f; text-align: right; font: 9px/1.45 var(--mono); user-select: none; }
.fitch-formula { min-width: 0; display: flex; align-items: stretch; }
.fitch-rails { flex: 0 0 auto; display: flex; align-self: stretch; }
.fitch-rail { display: block; width: 13px; border-left: 1px solid #41616f; }
.fitch-formula > code { min-width: 0; padding: 6px 8px 5px 5px; color: var(--paper); font: 10px/1.55 var(--mono); overflow-wrap: anywhere; }
.fitch-line.scope-start .fitch-formula > code { border-top: 1px solid var(--blue-bright); }
.fitch-line.assumption .fitch-formula > code { color: #ffffff; }
.fitch-justification { min-width: 0; display: flex; justify-content: flex-end; align-items: baseline; gap: 8px; padding: 6px 3px 5px 8px; text-align: right; }
.fitch-justification strong { color: var(--cyan-bright); font: 10px/1.5 var(--mono); white-space: nowrap; }
.fitch-justification strong a { color: var(--blue-bright); text-decoration: none; }
.fitch-justification strong a:hover { color: var(--cyan-bright); text-decoration: underline; }
.fitch-justification small { overflow: hidden; color: #667983; font: 9px/1.4 var(--serif); text-overflow: ellipsis; white-space: nowrap; }
.fitch-detail { margin-left: calc(35px + var(--fitch-depth) * 13px); padding: 7px 9px 9px; border-bottom: 1px solid var(--line-strong); border-left: 2px solid var(--blue); background: #09131a; }
.nd-inference { display: grid; grid-template-columns: minmax(0, 1fr) minmax(120px, .3fr); gap: 16px; align-items: center; padding: 8px 8px 10px; background: #071017; }
.nd-rule { min-width: 0; display: flex; flex-direction: column; align-items: stretch; }
.nd-premises { min-height: 7px; display: flex; justify-content: space-around; align-items: flex-end; gap: 14px; }
.nd-premise { min-width: 0; flex: 1 1 0; display: flex; flex-direction: column; align-items: center; gap: 3px; text-align: center; }
.nd-premise > code { color: var(--paper); font: 10px/1.5 var(--mono); overflow-wrap: anywhere; }
.nd-premise > span { color: var(--muted); font: 8px/1.35 var(--serif); }
.nd-premise a { color: var(--blue-bright); text-decoration: none; font-family: var(--mono); }
.nd-premise a:hover { color: var(--cyan-bright); text-decoration: underline; }
.nd-discharged { display: flex; flex-wrap: wrap; justify-content: center; gap: 4px; }
.nd-discharged code { padding: 1px 3px; color: var(--blue-bright); font: 8px/1.35 var(--mono); }
.nd-rule-bar { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 8px; align-items: end; margin-top: 5px; }
.nd-rule-bar span { height: 1px; background: var(--paper-dim); }
.nd-rule-bar strong { color: var(--cyan-bright); font: 10px/1 var(--mono); }
.nd-conclusion { align-self: center; padding: 6px 8px 0; color: #ffffff; text-align: center; font: 10px/1.5 var(--mono); overflow-wrap: anywhere; }
.nd-rule-aside { min-width: 0; align-self: stretch; padding: 5px 0 4px 12px; border-left: 1px solid var(--line-strong); }
.nd-rule-aside > strong { display: block; color: var(--paper-dim); font: 10px/1.4 var(--serif); font-weight: 500; }
.nd-side-conditions { margin-top: 8px; }
.nd-side-conditions span { display: block; margin-bottom: 3px; color: var(--muted); font: 8px/1.35 var(--serif); }
.nd-side-conditions code { display: block; color: var(--warning); font: 8px/1.45 var(--mono); overflow-wrap: anywhere; }
.nd-side-conditions code + code { margin-top: 3px; }
.fitch-arguments { margin: 0; }
.nd-inference + .fitch-arguments { margin-top: 8px; }
.fitch-arguments div { display: grid; grid-template-columns: minmax(94px, .28fr) minmax(0, 1fr); gap: 9px; }
.fitch-arguments div + div { margin-top: 3px; }
.fitch-arguments dt { color: var(--muted); font: 9px/1.45 var(--serif); }
.fitch-arguments dd { margin: 0; color: var(--paper-dim); font: 9px/1.45 var(--mono); overflow-wrap: anywhere; }
.error-view { margin: 20px; border: 0; border-left: 3px solid var(--red); border-radius: 0 2px 2px 0; background: #221013; padding: 13px 15px; font: 12px/1.6 var(--serif); }
.error-view strong { color: var(--paper); display: block; margin-bottom: 6px; font-weight: 500; }
.symbol-tooltip { position: fixed; z-index: 20; max-width: min(480px, 70vw); padding: 9px 11px; border: 1px solid var(--line-strong); border-radius: 2px; background: #14212a; box-shadow: 6px 6px 0 #000000; color: var(--paper); pointer-events: none; font: 10px/1.5 var(--mono); }
.symbol-tooltip strong { color: var(--cyan-bright); display: block; }
.symbol-tooltip code { color: var(--paper-dim); white-space: normal; }
.symbol-tooltip small { color: var(--muted); display: block; margin-top: 4px; }
.symbol-tooltip strong em { font-style: normal; font-weight: 400; color: var(--muted); margin-left: 8px; }
.symbol-tooltip code.map { display: block; color: var(--paper); margin: 2px 0 4px; }
.symbol-tooltip code.map .arrow { color: var(--cyan-bright); margin: 0 8px; }
.symbol-tooltip code + code { display: block; }

.unsaved-dialog { width: min(470px, calc(100vw - 32px)); padding: 0; border: 1px solid var(--paper-dim); border-radius: 2px; background: #0d151a; color: var(--paper); box-shadow: 14px 14px 0 rgba(0,0,0,.72); }
.unsaved-dialog::backdrop { background: rgba(0,0,0,.82); }
.unsaved-dialog form { display: grid; grid-template-columns: 22px minmax(0, 1fr); gap: 13px; padding: 24px 25px 20px; }
.unsaved-mark { padding-top: 4px; color: var(--admission); font-size: 13px; }
.unsaved-copy h2 { margin: 0 0 8px; color: var(--paper); font: 600 16px/1.3 var(--mono); }
.unsaved-copy p { margin: 0 0 4px; color: var(--paper-dim); font: 13px/1.5 var(--serif); }
.unsaved-copy strong { color: var(--paper); font-weight: 600; }
.unsaved-copy small { color: var(--muted); font: 11px/1.45 var(--serif); }
.unsaved-actions { grid-column: 1 / -1; display: flex; justify-content: flex-end; gap: 7px; margin-top: 12px; }
.unsaved-actions button { min-width: 82px; }
.unsaved-actions .danger { border-color: #75454a; color: #ffc1c5; }
.unsaved-actions .danger:hover { border-color: var(--red); background: #281316; color: #ffffff; }

.tactics-dialog { width: min(940px, calc(100vw - 32px)); height: min(760px, calc(100dvh - 32px)); padding: 0; overflow: hidden; border: 1px solid var(--paper-dim); border-radius: 2px; background: #0d151a; color: var(--paper); box-shadow: 14px 14px 0 rgba(0,0,0,.72); }
.tactics-dialog::backdrop { background: rgba(0,0,0,.86); }
.tactics-head { display: flex; align-items: flex-start; justify-content: space-between; min-height: 66px; padding: 20px 22px 14px; border-bottom: 1px solid var(--line); }
.tactics-head h2 { margin: 0; color: var(--paper); font: 500 25px/1.1 var(--serif); letter-spacing: -.015em; }
.tactics-head p { margin: 5px 0 0; color: var(--muted); font: 10px/1.5 var(--serif); }
.tactics-close { width: 30px; height: 30px; padding: 0; border: 1px solid var(--line); border-radius: 0; background: transparent; color: var(--muted); font: 18px/1 var(--mono); }
.tactics-close:hover { color: var(--paper); border-color: var(--paper-dim); }
.tactics-search { display: grid; grid-template-columns: auto minmax(160px, 1fr) auto; align-items: center; gap: 12px; padding: 10px 22px; border-bottom: 1px solid var(--line); background: #091116; }
.tactics-search > span { color: var(--paper-dim); font: 11px var(--serif); }
.tactics-search input { min-width: 0; padding: 7px 9px; border: 1px solid var(--line-strong); border-radius: 2px; outline: 0; background: #050a0d; color: var(--paper); font: 11px var(--mono); }
.tactics-search input:focus { border-color: var(--signal); box-shadow: inset 3px 0 0 var(--signal); }
.tactics-search small { color: var(--muted); font: 9px var(--mono); }
.tactics-layout { display: grid; grid-template-columns: 178px minmax(0, 1fr); height: calc(100% - 119px); min-height: 0; }
.tactics-index { overflow-y: auto; padding: 12px 10px; border-right: 1px solid var(--line); background: #091116; }
.tactics-index button { display: flex; width: 100%; align-items: baseline; justify-content: space-between; gap: 8px; padding: 8px 9px; border: 0; border-left: 2px solid transparent; border-radius: 0; background: transparent; color: var(--muted); text-align: left; font: 10px/1.35 var(--serif); }
.tactics-index button:hover, .tactics-index button:focus-visible { border-left-color: var(--signal); background: #0e1b22; color: var(--paper); }
.tactics-index small { color: #61737d; font: 8px var(--mono); }
.tactics-guide { overflow-y: auto; scroll-behavior: smooth; padding: 0 24px 34px; }
.tactic-section { scroll-margin-top: 16px; padding-top: 22px; }
.tactic-section + .tactic-section { margin-top: 10px; border-top: 1px solid var(--line); }
.tactic-section > header { margin-bottom: 13px; }
.tactic-section h3 { margin: 0; color: var(--paper); font: 500 19px/1.2 var(--serif); }
.tactic-section > header p { margin: 5px 0 0; color: var(--muted); font: 10px/1.55 var(--serif); }
.tactic-entry { display: grid; grid-template-columns: minmax(175px, .62fr) minmax(0, 1fr); gap: 18px; padding: 12px 14px; border-left: 3px solid #29434f; background: #091217; }
.tactic-entry + .tactic-entry { margin-top: 7px; }
.tactic-entry:hover { border-left-color: var(--signal); }
.tactic-syntax { align-self: start; color: var(--cyan-bright); font: 10px/1.5 var(--mono); overflow-wrap: anywhere; }
.tactic-entry h4 { margin: 0; color: var(--paper-dim); font: 500 11px/1.4 var(--serif); }
.tactic-entry p { margin: 4px 0 0; color: var(--muted); font: 9px/1.55 var(--serif); }
.help-inference { display: grid; justify-items: stretch; margin: 10px 0 0; padding: 8px 10px 7px; background: #071015; }
.help-inference + .help-inference { margin-top: 5px; }
.help-premises { display: flex; align-items: end; justify-content: center; flex-wrap: wrap; gap: 5px 18px; min-height: 14px; }
.help-premises code, .help-conclusion { color: var(--paper-dim); font: 9px/1.45 var(--mono); text-align: center; overflow-wrap: anywhere; }
.help-no-premises { color: #61737d; font: italic 8px/1.45 var(--serif); }
.help-rule-line { position: relative; height: 7px; margin: 1px 0 2px; border-bottom: 1px solid #8aa0aa; }
.help-rule-line span { position: absolute; right: 0; bottom: -6px; padding-left: 6px; background: #071015; color: var(--cyan-bright); font: 8px/1 var(--mono); }
.help-conclusion { display: block; justify-self: center; padding: 3px 34px 0; }
.help-inference small { display: block; justify-self: end; margin-top: 5px; color: #72858e; font: italic 8px/1.4 var(--serif); text-align: right; }
.tactic-entry pre { margin: 9px 0 0; padding: 8px 10px; overflow-x: auto; border-left: 2px solid var(--signal); background: #03090c; color: var(--paper-dim); font: 9px/1.55 var(--mono); }
.tactic-entry pre code { font: inherit; }
.help-more { margin: 6px 0 0; }
.help-more summary { cursor: pointer; color: var(--cyan-bright); font: 9px/1.5 var(--mono); }
.help-more p { margin: 5px 0 0; }
.help-more p code { color: var(--paper-dim); font: 9px/1.5 var(--mono); }
.g17-keyword { color: #57f4ff; }
.g17-tactic { color: #65aef2; }
.g17-type { color: #00c8d7; }
.g17-number { color: #8bbef0; }
.g17-operator { color: #aab8c0; }
.g17-connective { color: #65aef2; }
.g17-comment { color: #61737d; font-style: italic; }
.g17-string { color: #d9a441; }
.tactics-empty { margin: 28px 0; padding: 13px 15px; border-left: 3px solid var(--warning); background: #18150a; color: var(--paper-dim); font: 11px/1.5 var(--serif); }
.tactics-empty code { color: var(--warning); font-family: var(--mono); }

.about-dialog { width: min(520px, calc(100vw - 32px)); padding: 0; overflow: hidden; border: 1px solid var(--paper-dim); border-radius: 2px; background: #0d151a; color: var(--paper); box-shadow: 14px 14px 0 rgba(0,0,0,.72); }
.about-dialog::backdrop { background: rgba(0,0,0,.86); }
.about-close { position: absolute; z-index: 2; top: 11px; right: 11px; width: 30px; height: 30px; padding: 0; border: 1px solid var(--line); border-radius: 0; background: transparent; color: var(--muted); font: 18px/1 var(--mono); }
.about-close:hover { color: var(--paper); border-color: var(--paper-dim); }
.about-watermark { position: absolute; top: -75px; right: -18px; color: #111e26; font: 300px/1 var(--serif); transform: rotate(-8deg); pointer-events: none; }
.about-lockup { position: relative; display: flex; align-items: center; gap: 18px; padding: 36px 37px 23px; border-bottom: 1px solid var(--line); }
.about-lockup img { width: 170px; height: auto; }
.about-version { padding: 4px 7px; border: 1px solid var(--line-strong); border-radius: 2px; color: var(--muted); background: transparent; font: 10px var(--serif); white-space: nowrap; }
.about-version code { color: var(--paper-dim); font: 10px var(--mono); }
.about-title { position: relative; margin: 0; padding: 24px 37px 12px; max-width: 455px; color: var(--paper); font: 500 20px/1.42 var(--serif); letter-spacing: -.015em; }
.about-universe { position: relative; margin: 4px 37px 19px; padding: 13px 16px; border-left: 3px solid var(--signal); background: #071217; color: var(--cyan-bright); font: 600 14px/1.45 var(--mono); }
.about-creator { position: relative; margin: -9px 0 19px; padding: 0 37px; color: var(--paper-dim); font: 12px/1.5 var(--serif); }
.about-creator strong { color: var(--paper); font-weight: 500; }
.about-copyright { position: relative; margin: 0; padding: 0 37px 21px; color: var(--muted); font: 10px/1.7 var(--serif); }
.about-support { display: block; margin-bottom: 5px; }
.about-support a { color: var(--paper-dim); text-decoration-color: #40545f; text-underline-offset: 2px; }
.about-support a:hover { color: var(--cyan-bright); text-decoration-color: var(--signal); }
.about-links { position: relative; display: flex; gap: 9px; padding: 0 37px 28px; }
.about-links a { display: inline-flex; align-items: center; gap: 8px; padding: 7px 9px; border: 1px solid var(--line-strong); border-radius: 2px; color: var(--paper-dim); text-decoration: none; font: 11px var(--serif); }
.about-links a:hover { color: var(--paper); border-color: var(--signal); background: #10202a; }
.about-links span { color: var(--signal); }

@media (prefers-reduced-motion: reduce) {
  .qed-state *, .qed-state *::before, .qed-state *::after { animation: none !important; }
  .qed-new .qed-letter, .qed-new .qed-copy { opacity: 1; }
  .qed-new .qed-e-arc, .qed-new .qed-e-bar { stroke-dashoffset: 0; }
  .cumulative-universe path, .cumulative-universe .universe-ellipsis { animation: none !important; }
}

@media (max-width: 1050px) {
  .brand small { display: none; }
  .topbar { grid-template-columns: 150px 1fr auto; }
  .toolbar { gap: 2px; }
  .toolbar button { padding-inline: 8px; }
}

@media (max-width: 900px) {
  body { overflow: auto; }
  .topbar { grid-template-columns: 1fr auto; }
  .status { display: none; }
  .toolbar #about { display: none; }
  .workspace { height: auto; min-height: calc(100dvh - 42px); overflow: visible; grid-template-columns: 1fr; }
  .workspace.proof-collapsed { grid-template-columns: 1fr; }
  .workspace-divider { display: none; }
  .editor-pane { height: 68vh; border-right: 0; border-bottom: 1px solid var(--line-strong); }
  .proof-pane { min-height: 70vh; border-left: 0; }
  .workspace.proof-collapsed .proof-pane { display: none; }
  .workspace.proof-collapsed .proof-pane-rail { display: block; height: 34px; }
}

@media (max-width: 620px) {
  .topbar { padding-left: 12px; }
  .brand img { width: 88px; }
  .toolbar #openFolder, .toolbar #openFile, .toolbar #saveFile { display: none; }
  .toolbar .file-help-divider { display: none; }
  .pane-heading { padding-inline: 13px; }
  .empty-workspace { grid-template-columns: 1fr; padding: 32px 24px 44px; }
  .cumulative-universe { width: min(92%, 360px); }
  .tactics-dialog { width: calc(100vw - 16px); height: calc(100dvh - 16px); }
  .tactics-layout { grid-template-columns: 1fr; grid-template-rows: auto minmax(0, 1fr); }
  .tactics-index { display: flex; overflow-x: auto; padding: 7px 8px; border-right: 0; border-bottom: 1px solid var(--line); }
  .tactics-index button { flex: 0 0 auto; width: auto; }
  .tactics-guide { padding-inline: 14px; }
  .tactic-entry { grid-template-columns: 1fr; gap: 6px; }
}

.axiom-audit-dialog { width: min(820px, 90vw); max-height: 85vh; overflow: auto; padding: 24px; background: var(--panel); color: var(--paper); border: 1px solid var(--line-strong); border-radius: 10px; }
.axiom-audit-dialog::backdrop { background: #0009; }
.axiom-audit-dialog header { display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.audit-theorem { color: var(--cyan-bright); overflow-wrap: anywhere; }
.audit-status { color: var(--proven); font-weight: 600; }
.audit-attention { color: var(--warning); }
.audit-note { color: var(--paper-dim); line-height: 1.5; }
.audit-item { border: 1px solid var(--line); border-radius: 6px; padding: 12px; margin: 10px 0; }
.audit-item summary { cursor: pointer; overflow-wrap: anywhere; }
.audit-item summary span { float: right; color: var(--paper-dim); margin-left: 16px; }
.audit-item pre { white-space: pre-wrap; overflow-wrap: anywhere; }
.audit-item li { margin: 8px 0; overflow-wrap: anywhere; }
.qed-actions { display: flex; align-items: center; justify-content: flex-end; gap: 12px; }
.qed-audit:focus-visible { outline: 1px solid var(--cyan-bright); outline-offset: 4px; }

.library-search-dialog { display: none; flex-direction: column; }
.library-search-dialog[open] { display: flex; }
.library-search-help { padding: 10px 22px; font: 12px/1.5 var(--serif); color: var(--muted); max-height: 28vh; overflow: auto; flex-shrink: 0; }
#librarySearchStatus { margin: 0; padding: 8px 22px; color: var(--muted); font: 11px/1.5 var(--mono); }
.library-search-results { overflow: auto; min-height: 0; padding: 0 22px 22px; }
.library-search-result { padding: 14px 0; border-top: 1px solid var(--line); }
.library-search-result .search-declaration { background: transparent; border: 0; padding: 0; color: var(--cyan-bright); text-align: left; overflow-wrap: anywhere; font: 13px/1.6 var(--mono); }
.library-search-result > .quiet { float: right; }
.library-search-result small { display: block; color: var(--muted); font: 10px/1.8 var(--mono); overflow-wrap: anywhere; }
.library-search-result pre { white-space: pre-wrap; overflow-wrap: anywhere; color: var(--paper); font: 12px/1.6 var(--mono); }
.library-search-result p, .library-search-result details { color: var(--muted); font: 12px/1.5 var(--serif); }

/* The offer to reload onto a new build: a quiet bar at the bottom. */
.update-notice { position: fixed; left: 50%; bottom: 18px; transform: translateX(-50%); z-index: 25; display: flex; align-items: center; gap: 10px; padding: 8px 12px; border: 1px solid var(--line-strong); background: #14212a; color: var(--paper); box-shadow: 6px 6px 0 #000000; font: 12px var(--serif); max-width: min(560px, 90vw); }
.update-notice .update-text { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.update-notice button { font: 11px var(--mono); padding: 3px 8px; border: 1px solid var(--line-strong); background: transparent; color: var(--paper); cursor: pointer; }
.update-notice .update-reload { border-color: var(--cyan-bright); color: var(--cyan-bright); }
.update-notice button:hover { background: var(--line-strong); }