/* State Space — Daphne's browser-local formal verification workspace.
   Visual language: a dark violet instrument panel. Layered translucent
   surfaces over one deep base, Inter for interface copy, DM Mono only where
   the content is genuinely technical (code, ids, counters, key hints). */
:root {
  color-scheme: dark;
  --ss-bg: #0b0a14;
  --ss-bg-deep: #070610;
  --ss-surface: #121022;
  --ss-surface-2: #17142a;
  --ss-surface-3: #1e1a33;
  --ss-line: rgba(167, 139, 250, .13);
  --ss-line-soft: rgba(167, 139, 250, .08);
  --ss-line-strong: rgba(196, 181, 253, .3);
  --ss-text: #f4f1fb;
  --ss-code: #e2ddf0;
  --ss-muted: #b3abc7;
  --ss-faint: #8e86a4;
  --ss-violet: #a78bfa;
  --ss-violet-soft: #c4b5fd;
  --ss-violet-deep: #7c3aed;
  --ss-violet-dim: rgba(167, 139, 250, .12);
  --ss-blue: #60a5fa;
  --ss-cyan: #67e8f9;
  --ss-mint: #34d399;
  --ss-amber: #fbbf24;
  --ss-coral: #fb7185;
  --ss-magenta: #e879f9;
  --ss-accent-gradient: linear-gradient(135deg, #a78bfa, #8b5cf6 45%, #d946ef 130%);
  --ss-sans: Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --ss-mono: "DM Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  --ss-shadow: 0 28px 90px rgba(2, 0, 12, .6);
  --ss-editor-line: 22px; /* keep in sync with focusLine() in statespace.js */
}

* { box-sizing: border-box; }
html { height: 100%; background: var(--ss-bg); }
body { margin: 0; }
button, input, select, textarea { font: inherit; color: inherit; }
button, a, select { touch-action: manipulation; }
button { border: 0; }
a { color: inherit; text-decoration: none; }
::selection { color: #fff; background: rgba(139, 92, 246, .38); }

::-webkit-scrollbar { width: 10px; height: 10px; }
::-webkit-scrollbar-thumb { border: 3px solid transparent; border-radius: 8px; background: rgba(167, 139, 250, .22) padding-box; }
::-webkit-scrollbar-thumb:hover { background: rgba(167, 139, 250, .38) padding-box; }
::-webkit-scrollbar-track, ::-webkit-scrollbar-corner { background: transparent; }

button:focus-visible,
a:focus-visible,
input:focus-visible,
select:focus-visible,
textarea:focus-visible,
[tabindex]:focus-visible {
  outline: 2px solid var(--ss-violet-soft);
  outline-offset: 2px;
}

.ss-screen-reader-only {
  position: absolute !important;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.ss-app {
  position: relative;
  display: grid;
  grid-template-rows: 60px 38px minmax(290px, 1fr) 228px 28px;
  width: 100%;
  height: 100dvh;
  min-height: 580px;
  overflow: hidden;
  color: var(--ss-text);
  background:
    radial-gradient(60rem 38rem at 52% -20%, rgba(124, 58, 237, .22), transparent 66%),
    radial-gradient(42rem 30rem at 108% 8%, rgba(217, 70, 239, .09), transparent 70%),
    radial-gradient(36rem 30rem at -8% 88%, rgba(96, 165, 250, .07), transparent 72%),
    var(--ss-bg);
  font: 450 13px/1.5 var(--ss-sans);
  letter-spacing: .005em;
  -webkit-font-smoothing: antialiased;
}

.ss-atmosphere { position: fixed; inset: 0; z-index: 0; pointer-events: none; overflow: hidden; }
.ss-atmosphere::before {
  content: "";
  position: absolute;
  inset: 98px 0 0 56px;
  opacity: .5;
  background-image:
    linear-gradient(rgba(167, 139, 250, .03) 1px, transparent 1px),
    linear-gradient(90deg, rgba(167, 139, 250, .03) 1px, transparent 1px);
  background-size: 34px 34px;
  mask-image: radial-gradient(circle at 58% 30%, #000 4%, transparent 72%);
}
.ss-atmosphere i { position: absolute; border: 1px solid rgba(167, 139, 250, .09); border-radius: 50%; transform: rotate(-14deg); }
.ss-atmosphere i:nth-child(1) { width: 620px; height: 260px; right: -180px; top: 110px; }
.ss-atmosphere i:nth-child(2) { width: 430px; height: 180px; right: -90px; top: 170px; }
.ss-atmosphere i:nth-child(3) { width: 250px; height: 100px; right: -20px; top: 230px; }

.ss-skip {
  position: fixed;
  left: 16px;
  top: -80px;
  z-index: 100;
  padding: 10px 14px;
  border-radius: 10px;
  color: #160f24;
  background: var(--ss-violet-soft);
  font-weight: 700;
}
.ss-skip:focus { top: 12px; }

.ss-topbar,
.ss-truthbar,
.ss-shell,
.ss-bottom,
.ss-statusbar { position: relative; z-index: 2; }

/* ── Top bar ─────────────────────────────────────────────────────────── */

.ss-topbar {
  display: grid;
  grid-template-columns: 264px minmax(0, 1fr) auto;
  align-items: center;
  gap: 18px;
  min-width: 0;
  padding: 0 14px 0 16px;
  border-bottom: 1px solid var(--ss-line);
  background: linear-gradient(180deg, rgba(20, 16, 34, .92), rgba(12, 10, 21, .88));
  backdrop-filter: blur(18px);
}

.ss-brand { display: inline-flex; align-items: center; gap: 11px; width: max-content; }
.ss-facility-mark { width: 36px; height: 36px; flex: 0 0 36px; filter: drop-shadow(0 0 14px rgba(167, 139, 250, .35)); }
.ss-brand-lockup { display: flex; flex-direction: column; line-height: 1; }
.ss-brand-lockup b {
  font-size: 17px;
  font-weight: 800;
  letter-spacing: -.03em;
  background: linear-gradient(105deg, #fff, #ddd3ff 70%, #c4b5fd);
  -webkit-background-clip: text;
  background-clip: text;
  -webkit-text-fill-color: transparent;
}
.ss-brand-lockup small { margin-top: 5px; color: var(--ss-faint); font: 500 9.5px/1 var(--ss-mono); letter-spacing: .08em; }

.ss-project-crumb { display: flex; align-items: center; gap: 8px; min-width: 0; color: var(--ss-faint); font: 450 12px/1 var(--ss-sans); }
.ss-project-crumb span:not(.ss-live-dot), .ss-project-crumb b { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.ss-project-crumb i { color: #544a68; font-style: normal; }
.ss-project-crumb b { color: var(--ss-muted); font-weight: 600; }
.ss-live-dot { display: inline-block; width: 6px; height: 6px; flex: 0 0 6px; border-radius: 50%; background: var(--ss-mint); box-shadow: 0 0 12px rgba(52, 211, 153, .8); }

.ss-top-actions { display: flex; align-items: center; gap: 8px; }
.ss-button,
.ss-command-button,
.ss-icon-control {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  min-height: 36px;
  padding: 0 13px;
  border: 1px solid var(--ss-line);
  border-radius: 10px;
  color: var(--ss-muted);
  background: rgba(255, 255, 255, .03);
  font-size: 12px;
  font-weight: 600;
  cursor: pointer;
  transition: border-color .16s ease, color .16s ease, background .16s ease, transform .16s ease, box-shadow .16s ease;
}
.ss-button:hover, .ss-command-button:hover, .ss-icon-control:hover { color: var(--ss-text); border-color: var(--ss-line-strong); background: var(--ss-surface-3); }
.ss-button:active, .ss-command-button:active { transform: translateY(1px); }
.ss-button-save { border-color: rgba(167, 139, 250, .32); color: var(--ss-violet-soft); background: rgba(139, 92, 246, .1); }
.ss-button-save:hover { color: #fff; border-color: rgba(196, 181, 253, .5); background: rgba(139, 92, 246, .2); box-shadow: 0 6px 20px rgba(124, 58, 237, .18); }
.ss-button-primary {
  border-color: rgba(221, 214, 254, .5);
  color: #17102a;
  background: linear-gradient(140deg, #e4dcff, var(--ss-violet-soft) 42%, var(--ss-violet) 90%);
  box-shadow: 0 10px 30px rgba(124, 58, 237, .3), inset 0 1px 0 rgba(255, 255, 255, .35);
}
.ss-button-primary:hover { color: #0f0a1d; border-color: #ede9fe; background: linear-gradient(140deg, #f1ecff, #d5c8ff 45%, var(--ss-violet-soft)); box-shadow: 0 12px 34px rgba(124, 58, 237, .42), inset 0 1px 0 rgba(255, 255, 255, .45); }
.ss-button-primary.is-running .ss-run-dot { animation: ss-pulse .75s ease-in-out infinite alternate; }
.ss-run-dot { width: 6px; height: 6px; border-radius: 50%; background: currentColor; box-shadow: 0 0 8px currentColor; }
.ss-command-button { min-width: 118px; justify-content: space-between; gap: 15px; color: var(--ss-faint); font-weight: 500; }
kbd { padding: 3px 6px; border: 1px solid rgba(255, 255, 255, .12); border-radius: 6px; color: var(--ss-faint); background: rgba(0, 0, 0, .22); font: 500 9px/1 var(--ss-mono); }
.ss-button-primary kbd { color: rgba(23, 16, 37, .7); border-color: rgba(23, 16, 37, .2); background: rgba(255, 255, 255, .22); }
.ss-mobile-only { display: none; }

.ss-account-chip {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-height: 36px;
  margin-left: 2px;
  padding: 0 13px 0 11px;
  border: 1px solid var(--ss-line);
  border-radius: 999px;
  color: var(--ss-muted);
  background: rgba(255, 255, 255, .03);
  font-size: 12px;
  font-weight: 600;
  cursor: pointer;
  transition: border-color .16s ease, color .16s ease, background .16s ease;
}
.ss-account-chip:hover { color: var(--ss-text); border-color: var(--ss-line-strong); background: var(--ss-surface-3); }
.ss-account-chip i { width: 7px; height: 7px; border-radius: 50%; background: #5c5372; transition: background .2s ease, box-shadow .2s ease; }
.ss-account-chip i.is-on { background: var(--ss-mint); box-shadow: 0 0 10px rgba(52, 211, 153, .7); }
#ss-account-label { max-width: 110px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

/* ── Truth bar ───────────────────────────────────────────────────────── */

.ss-truthbar {
  display: flex;
  align-items: center;
  gap: 14px;
  min-width: 0;
  padding: 0 16px;
  border-bottom: 1px solid var(--ss-line);
  color: var(--ss-faint);
  background: linear-gradient(90deg, rgba(124, 58, 237, .16), rgba(15, 12, 26, .85) 42%, rgba(15, 12, 26, .85));
  font-size: 11.5px;
}
.ss-truth-label {
  flex: 0 0 auto;
  padding: 4px 9px;
  border: 1px solid rgba(196, 181, 253, .28);
  border-radius: 999px;
  color: var(--ss-violet-soft);
  background: rgba(139, 92, 246, .12);
  font: 600 9.5px/1 var(--ss-mono);
  letter-spacing: .08em;
  text-transform: uppercase;
}
.ss-truthbar p { min-width: 0; margin: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.ss-truthbar p b { color: #cfc8de; font-weight: 600; }
.ss-truthbar button { margin-left: auto; padding: 0; color: var(--ss-violet-soft); background: none; font-size: 11.5px; font-weight: 600; cursor: pointer; white-space: nowrap; }
.ss-truthbar button:hover { color: #ddd3ff; }

/* ── Shell ───────────────────────────────────────────────────────────── */

.ss-shell {
  display: grid;
  grid-template-columns: 56px 238px minmax(420px, 1fr) 324px;
  min-width: 0;
  min-height: 0;
  border-bottom: 1px solid var(--ss-line);
  background: rgba(9, 7, 16, .72);
}

.ss-activity-rail { display: flex; align-items: center; min-height: 0; padding: 10px 7px; border-right: 1px solid var(--ss-line); flex-direction: column; gap: 6px; background: rgba(13, 11, 22, .9); }
.ss-activity-rail button, .ss-activity-rail a { position: relative; display: grid; place-items: center; width: 42px; min-height: 44px; padding: 5px 0 4px; border-radius: 11px; color: var(--ss-faint); background: transparent; cursor: pointer; transition: color .15s ease, background .15s ease; }
.ss-activity-rail button:hover, .ss-activity-rail a:hover, .ss-activity-rail .is-active { color: var(--ss-violet-soft); background: var(--ss-violet-dim); }
.ss-activity-rail .is-active::before { content: ""; position: absolute; left: -7px; top: 9px; bottom: 9px; width: 2.5px; border-radius: 3px; background: var(--ss-accent-gradient); box-shadow: 0 0 12px var(--ss-violet); }
.ss-activity-rail button span, .ss-activity-rail a span { font: 500 17px/1 var(--ss-mono); }
.ss-activity-rail small { margin-top: 4px; font: 600 8.5px/1 var(--ss-sans); letter-spacing: .06em; text-transform: uppercase; }
.ss-activity-rail a:last-child { margin-top: auto; }

/* ── Explorer ────────────────────────────────────────────────────────── */

.ss-explorer,
.ss-lens { min-width: 0; min-height: 0; background: rgba(17, 14, 29, .92); }
.ss-explorer { display: flex; border-right: 1px solid var(--ss-line); flex-direction: column; overflow: hidden; }
.ss-pane-head { display: flex; align-items: center; justify-content: space-between; flex: 0 0 auto; min-height: 54px; padding: 0 14px; border-bottom: 1px solid var(--ss-line); }
.ss-pane-head span { display: flex; min-width: 0; flex-direction: column; gap: 4px; }
.ss-pane-head small, .ss-card-kicker, .ss-section-label, .ss-select-label { color: var(--ss-faint); font: 600 9.5px/1 var(--ss-mono); letter-spacing: .1em; text-transform: uppercase; }
.ss-pane-head b { overflow: hidden; font-size: 13px; font-weight: 700; letter-spacing: -.01em; text-overflow: ellipsis; white-space: nowrap; }
.ss-pane-close { display: none; width: 30px; height: 30px; border-radius: 8px; color: var(--ss-muted); background: transparent; font-size: 18px; cursor: pointer; }
.ss-pane-close:hover { color: var(--ss-text); background: var(--ss-surface-3); }

.ss-search { position: relative; display: block; flex: 0 0 auto; margin: 11px 11px 5px; }
.ss-search span { position: absolute; left: 10px; top: 8px; color: var(--ss-faint); font: 500 14px/1 var(--ss-mono); }
.ss-search input { width: 100%; height: 32px; padding: 0 10px 0 30px; border: 1px solid var(--ss-line); border-radius: 9px; outline: 0; color: var(--ss-text); background: rgba(7, 6, 13, .8); font: 450 11.5px/1 var(--ss-sans); transition: border-color .15s ease, box-shadow .15s ease; }
.ss-search input:focus { border-color: rgba(167, 139, 250, .5); box-shadow: 0 0 0 3px rgba(139, 92, 246, .12); }
.ss-search input::placeholder { color: var(--ss-faint); }

.ss-explorer-section { flex: 0 0 auto; padding: 9px 11px 4px; }
.ss-section-label { display: flex; align-items: center; justify-content: space-between; min-height: 24px; padding: 0 4px; }
.ss-section-label b { color: var(--ss-faint); font-weight: 500; }
.ss-section-label button { padding: 2px 4px; color: var(--ss-faint); background: none; font: inherit; cursor: pointer; }
.ss-select-label { display: block; margin: 6px 4px 6px; letter-spacing: .02em; text-transform: none; font-family: var(--ss-sans); font-size: 10.5px; }
.ss-explorer select { width: 100%; height: 34px; padding: 0 30px 0 10px; border: 1px solid var(--ss-line); border-radius: 9px; outline: 0; color: var(--ss-muted); background: rgba(7, 6, 13, .8); font: 500 12px/1 var(--ss-sans); appearance: none; background-image: linear-gradient(45deg, transparent 50%, var(--ss-faint) 50%), linear-gradient(135deg, var(--ss-faint) 50%, transparent 50%); background-position: calc(100% - 16px) 15px, calc(100% - 11px) 15px; background-size: 5px 5px; background-repeat: no-repeat; }
.ss-explorer select:focus { border-color: var(--ss-violet); }

.ss-files-section { display: flex; min-height: 96px; flex: 1 1 140px; flex-direction: column; }
.ss-file-tree { display: grid; min-height: 0; gap: 2px; overflow: auto; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .25) transparent; }
.ss-file {
  position: relative;
  display: grid;
  grid-template-columns: 26px minmax(0, 1fr) auto;
  align-items: center;
  gap: 9px;
  width: 100%;
  min-height: 38px;
  padding: 0 8px 0 6px;
  border-radius: 9px;
  color: var(--ss-muted);
  background: transparent;
  text-align: left;
  cursor: pointer;
  transition: background .13s ease, color .13s ease;
}
.ss-file:hover { color: var(--ss-text); background: rgba(255, 255, 255, .035); }
.ss-file.is-active { color: var(--ss-text); background: linear-gradient(90deg, rgba(139, 92, 246, .18), rgba(139, 92, 246, .07)); }
.ss-file.is-active::before { content: ""; position: absolute; left: -11px; top: 8px; bottom: 8px; width: 2.5px; border-radius: 3px; background: var(--ss-accent-gradient); box-shadow: 0 0 10px var(--ss-violet); }
.ss-file-icon { display: grid; place-items: center; width: 25px; height: 25px; border: 1px solid color-mix(in srgb, var(--file-color, var(--ss-violet-soft)) 34%, transparent); border-radius: 7px; color: var(--file-color, var(--ss-violet-soft)); background: color-mix(in srgb, var(--file-color, var(--ss-violet-soft)) 10%, transparent); font: 600 8px/1 var(--ss-mono); }
.ss-file-copy { display: flex; min-width: 0; flex-direction: column; gap: 3px; }
.ss-file-copy b { overflow: hidden; font: 600 12px/1.15 var(--ss-sans); letter-spacing: -.005em; text-overflow: ellipsis; white-space: nowrap; }
.ss-file-copy small { color: var(--ss-faint); font: 500 9px/1 var(--ss-mono); letter-spacing: .05em; text-transform: uppercase; }
.ss-file-state { width: 6px; height: 6px; border: 1px solid currentColor; border-radius: 50%; color: var(--ss-faint); }
.ss-file-state.clear { color: var(--ss-mint); background: var(--ss-mint); box-shadow: 0 0 7px rgba(52, 211, 153, .55); }
.ss-file-state.block { color: var(--ss-coral); background: var(--ss-coral); box-shadow: 0 0 7px rgba(251, 113, 133, .55); }
.ss-file-state.contain { color: var(--ss-amber); background: var(--ss-amber); box-shadow: 0 0 7px rgba(251, 191, 36, .4); }
.ss-file-state.unknown { color: var(--ss-faint); }

/* ── Your proofs (account shelf) ─────────────────────────────────────── */

.ss-proofs-section { display: flex; min-height: 152px; max-height: 36%; flex: 0 1 auto; flex-direction: column; border-top: 1px solid var(--ss-line-soft); }
.ss-proofs { display: grid; min-height: 0; gap: 2px; overflow: auto; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .25) transparent; }
.ss-proof-row { position: relative; display: grid; grid-template-columns: minmax(0, 1fr) auto; align-items: center; border-radius: 9px; }
.ss-proof-row.is-active { background: linear-gradient(90deg, rgba(139, 92, 246, .18), rgba(139, 92, 246, .07)); }
.ss-proof-row.is-active::before { content: ""; position: absolute; left: -11px; top: 8px; bottom: 8px; width: 2.5px; border-radius: 3px; background: var(--ss-accent-gradient); box-shadow: 0 0 10px var(--ss-violet); }
.ss-proof-open { display: grid; grid-template-columns: 26px minmax(0, 1fr); align-items: center; gap: 9px; min-width: 0; min-height: 38px; padding: 0 4px 0 6px; border-radius: 9px; color: var(--ss-muted); background: transparent; text-align: left; cursor: pointer; transition: color .13s ease; }
.ss-proof-row:hover { background: rgba(255, 255, 255, .035); }
.ss-proof-row.is-active .ss-proof-open, .ss-proof-row:hover .ss-proof-open { color: var(--ss-text); }
.ss-proof-open .ss-file-copy small { text-transform: none; letter-spacing: .02em; font-family: var(--ss-sans); font-size: 10px; }
.ss-proof-delete { width: 26px; height: 26px; margin-right: 5px; border-radius: 7px; color: transparent; background: transparent; font-size: 15px; line-height: 1; cursor: pointer; transition: color .13s ease, background .13s ease; }
.ss-proof-row:hover .ss-proof-delete, .ss-proof-delete:focus-visible { color: var(--ss-faint); }
.ss-proof-delete:hover { color: var(--ss-coral); background: rgba(251, 113, 133, .12); }

.ss-proofs-note { margin: 4px 4px 8px; color: var(--ss-faint); font-size: 11px; line-height: 1.55; }
.ss-proofs-hint { margin-top: 0; opacity: .85; }
.ss-account-card { display: flex; flex-direction: column; gap: 2px; margin: 4px 2px 8px; padding: 11px 12px 12px; border: 1px solid rgba(167, 139, 250, .2); border-radius: 12px; background: linear-gradient(150deg, rgba(139, 92, 246, .12), rgba(10, 8, 18, .5) 62%); }
.ss-account-card .ss-proofs-note { margin: 0 0 8px; }
.ss-signin-button { justify-content: center; border-color: rgba(196, 181, 253, .4); color: #17102a; background: linear-gradient(140deg, #e4dcff, var(--ss-violet-soft) 45%, var(--ss-violet)); font-size: 12px; }
.ss-signin-button:hover { color: #0f0a1d; border-color: #ede9fe; background: linear-gradient(140deg, #f1ecff, #d5c8ff 45%, var(--ss-violet-soft)); }

.ss-outline-section { min-height: 0; flex: 0 1 auto; overflow: hidden; border-top: 1px solid var(--ss-line-soft); }
.ss-outline { max-height: 108px; margin: 0; padding: 0 3px 6px; overflow: auto; list-style: none; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .25) transparent; }
.ss-outline button { display: flex; align-items: center; gap: 8px; width: 100%; min-height: 28px; padding: 0 6px; border-radius: 7px; color: var(--ss-faint); background: none; font: 450 10.5px/1.2 var(--ss-mono); text-align: left; cursor: pointer; }
.ss-outline button:hover { color: var(--ss-violet-soft); background: rgba(167, 139, 250, .07); }
.ss-outline i { width: 5px; height: 5px; flex: 0 0 5px; border-radius: 2px; background: var(--ss-violet); }
.ss-explorer-foot { display: flex; align-items: center; gap: 10px; flex: 0 0 auto; margin-top: auto; padding: 11px 13px; border-top: 1px solid var(--ss-line); color: var(--ss-faint); background: rgba(10, 8, 18, .55); }
.ss-explorer-foot > span:last-child { display: flex; flex-direction: column; gap: 3px; }
.ss-explorer-foot b { color: var(--ss-muted); font-size: 10.5px; font-weight: 600; }
.ss-explorer-foot small { font-size: 10px; line-height: 1.4; }
.ss-local-icon { color: var(--ss-mint); font: 500 18px/1 var(--ss-mono); }

/* ── Workspace / editor ──────────────────────────────────────────────── */

.ss-workspace { display: grid; grid-template-rows: 40px 40px minmax(0, 1fr) 28px; min-width: 0; min-height: 0; background: rgba(9, 7, 15, .9); }
.ss-tabs { display: flex; align-items: end; min-width: 0; overflow: hidden; border-bottom: 1px solid var(--ss-line); background: rgba(7, 6, 13, .8); }
.ss-tab { position: relative; display: inline-flex; align-items: center; gap: 9px; min-width: 128px; height: 39px; padding: 0 14px; border-right: 1px solid var(--ss-line-soft); color: var(--ss-faint); background: transparent; font: 500 12px/1 var(--ss-sans); cursor: pointer; transition: color .13s ease, background .13s ease; }
.ss-tab:hover { color: var(--ss-muted); background: rgba(255, 255, 255, .02); }
.ss-tab.is-active { color: var(--ss-text); background: linear-gradient(180deg, rgba(139, 92, 246, .1), rgba(18, 15, 30, .9) 55%); }
.ss-tab.is-active::after { content: ""; position: absolute; left: 0; right: 0; top: 0; height: 2px; background: var(--ss-accent-gradient); box-shadow: 0 0 12px rgba(167, 139, 250, .6); }
.ss-tab .ss-tab-dot { width: 6px; height: 6px; border-radius: 50%; background: var(--tab-color, var(--ss-violet)); box-shadow: 0 0 8px color-mix(in srgb, var(--tab-color, var(--ss-violet)) 60%, transparent); }
.ss-tab .ss-dirty-dot { width: 6px; height: 6px; margin-left: auto; border-radius: 50%; background: var(--ss-amber); box-shadow: 0 0 8px rgba(251, 191, 36, .55); }

.ss-editor-toolbar { display: flex; align-items: center; gap: 10px; min-width: 0; padding: 0 12px 0 16px; border-bottom: 1px solid var(--ss-line-soft); background: rgba(13, 11, 22, .75); }
.ss-breadcrumbs { display: flex; align-items: center; gap: 8px; min-width: 0; overflow: hidden; color: var(--ss-faint); font: 450 11px/1 var(--ss-sans); }
.ss-breadcrumbs span, .ss-breadcrumbs b { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.ss-breadcrumbs i { color: #544a68; font-style: normal; }
.ss-breadcrumbs b { color: var(--ss-muted); font-weight: 600; }
.ss-highlight-switch { display: flex; gap: 2px; margin-left: auto; padding: 3px; border: 1px solid var(--ss-line); border-radius: 9px; background: rgba(7, 6, 13, .8); }
.ss-highlight-switch button { height: 25px; padding: 0 11px; border-radius: 6px; color: var(--ss-faint); background: transparent; font: 600 10.5px/1 var(--ss-sans); cursor: pointer; transition: color .13s ease, background .13s ease; }
.ss-highlight-switch button[aria-pressed="true"] { color: #fff; background: linear-gradient(140deg, rgba(139, 92, 246, .5), rgba(139, 92, 246, .28)); box-shadow: inset 0 0 0 1px rgba(196, 181, 253, .35); }
.ss-text-button { padding: 5px 6px; border-radius: 6px; color: var(--ss-faint); background: none; font: 600 10.5px/1 var(--ss-sans); cursor: pointer; }
.ss-text-button:hover { color: var(--ss-violet-soft); background: rgba(167, 139, 250, .08); }

.ss-editor { position: relative; display: grid; grid-template-columns: 62px minmax(0, 1fr) 56px; min-height: 0; overflow: hidden; background: #0a0813; }
.ss-editor::before { content: ""; position: absolute; inset: 0; pointer-events: none; background: radial-gradient(34rem 22rem at 70% 14%, rgba(124, 58, 237, .05), transparent 70%); }
.ss-gutter { z-index: 3; min-height: 0; padding: 17px 0 22px; overflow: hidden; border-right: 1px solid rgba(167, 139, 250, .09); color: #6f6685; background: rgba(11, 9, 18, .95); font: 400 10.5px/var(--ss-editor-line) var(--ss-mono); text-align: right; user-select: none; }
.ss-gutter-line { position: relative; display: block; height: var(--ss-editor-line); padding-right: 14px; }
.ss-gutter-line.is-claim::before, .ss-gutter-line.is-context::before, .ss-gutter-line.is-transition::before, .ss-gutter-line.is-check::before { content: ""; position: absolute; left: 10px; top: 8px; width: 5px; height: 5px; border: 1px solid var(--ss-violet); transform: rotate(45deg); }
.ss-gutter-line.is-context::before { border-color: var(--ss-amber); border-radius: 50%; transform: none; }
.ss-gutter-line.is-transition::before { border-color: var(--ss-cyan); transform: rotate(45deg); }
.ss-gutter-line.is-check::before { border-color: var(--ss-mint); background: rgba(52, 211, 153, .18); }
.ss-gutter-line.has-error { color: var(--ss-coral); background: linear-gradient(90deg, transparent, rgba(251, 113, 133, .09)); }

.ss-code-stage { position: relative; min-width: 0; min-height: 0; overflow: hidden; }
#ss-highlight,
#ss-source {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 17px 28px 40px 20px;
  border: 0;
  border-radius: 0;
  tab-size: 2;
  white-space: pre;
  font: 400 12.5px/var(--ss-editor-line) var(--ss-mono);
  letter-spacing: -.01em;
}
#ss-highlight { z-index: 1; overflow: hidden; color: var(--ss-code); background: transparent; pointer-events: none; }
#ss-highlight code { font: inherit; }
#ss-source { z-index: 2; resize: none; outline: 0; overflow: auto; color: transparent; caret-color: #fff; background: transparent; -webkit-text-fill-color: transparent; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .3) transparent; }
#ss-source::selection { background: rgba(124, 58, 237, .32); }
#ss-source:focus { box-shadow: inset 0 0 0 1px rgba(167, 139, 250, .1); }

.tok-comment { color: #837a96; font-style: italic; }
.tok-string { color: #9fdcba; }
.tok-number { color: #dbb8ff; }
.tok-keyword { color: #b79cff; font-weight: 500; }
.tok-type { color: #8cc8ff; }
.tok-declaration { color: #e4d9ff; font-weight: 600; }
.tok-function { color: #f2d4ff; }
.tok-operator { color: #b6afc0; }
.tok-claim { color: #f0dcff; background: rgba(167, 139, 250, .1); border-radius: 3px; box-shadow: 0 0 0 1px rgba(167, 139, 250, .08); }
.tok-context { color: #ffd88a; text-decoration: underline dotted rgba(251, 191, 36, .45); text-underline-offset: 3px; }
.tok-quantifier { color: var(--ss-magenta); font-weight: 500; }
.tok-state { color: #7ddff0; }
.tok-check { color: #73dda9; font-weight: 500; }
.tok-bound { color: #83b6ef; }
.tok-punctuation { color: #8d8499; }
.ss-editor.is-logic-mode .tok-comment,
.ss-editor.is-logic-mode .tok-string,
.ss-editor.is-logic-mode .tok-number,
.ss-editor.is-logic-mode .tok-type,
.ss-editor.is-logic-mode .tok-function { opacity: .4; }
.ss-editor.is-logic-mode .tok-keyword { color: #7c7290; }
.ss-editor.is-logic-mode .tok-claim { color: #fff; background: rgba(167, 139, 250, .22); box-shadow: 0 0 14px rgba(124, 58, 237, .12); }
.ss-editor.is-logic-mode .tok-context { color: #ffe1a3; background: rgba(251, 191, 36, .07); }
.ss-editor.is-logic-mode .tok-state { color: #a5f3fc; background: rgba(103, 232, 249, .07); }
.ss-editor.is-logic-mode .tok-check { color: #9af0c6; background: rgba(52, 211, 153, .08); }

.ss-minimap { z-index: 3; padding: 12px 9px; overflow: hidden; border-left: 1px solid rgba(167, 139, 250, .09); background: rgba(9, 7, 15, .9); opacity: .8; }
.ss-minimap-line { display: block; width: var(--mini-width, 65%); height: 2px; margin: 2px 0; border-radius: 1px; background: var(--mini-color, #3b3350); }
.ss-minimap-line.claim { background: rgba(167, 139, 250, .75); }
.ss-minimap-line.state { background: rgba(103, 232, 249, .6); }
.ss-minimap-line.check { background: rgba(52, 211, 153, .6); }
.ss-minimap-line.comment { background: #2a2438; }

.ss-editor-status { display: flex; align-items: center; gap: 14px; min-width: 0; padding: 0 12px; border-top: 1px solid var(--ss-line-soft); color: var(--ss-faint); background: rgba(11, 9, 18, .85); font: 500 10px/1 var(--ss-mono); }
.ss-editor-status span { display: inline-flex; align-items: center; gap: 6px; white-space: nowrap; }
.ss-editor-status span:nth-last-child(3) { margin-left: auto; }
.ss-reference-pill { color: var(--ss-mint); }
.ss-reference-pill i, .ss-status-ok { width: 5px; height: 5px; border-radius: 50%; background: currentColor; box-shadow: 0 0 7px currentColor; }
.ss-reference-pill.is-modified { color: var(--ss-amber); }
.ss-reference-pill.is-invalid { color: var(--ss-coral); }

/* ── Proof Lens ──────────────────────────────────────────────────────── */

.ss-lens { display: flex; border-left: 1px solid var(--ss-line); flex-direction: column; }
.ss-lens-scroll { min-height: 0; padding: 12px; overflow: auto; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .25) transparent; }
.ss-verdict-card, .ss-lens-section { border: 1px solid var(--ss-line); border-radius: 14px; background: rgba(12, 10, 20, .72); overflow: hidden; }
.ss-verdict-card { position: relative; padding: 16px; border-color: rgba(167, 139, 250, .26); background: linear-gradient(150deg, rgba(139, 92, 246, .14), rgba(12, 10, 20, .88) 58%); box-shadow: 0 18px 50px rgba(76, 29, 149, .16), inset 0 1px 0 rgba(255, 255, 255, .05); }
.ss-verdict-card::after { content: ""; position: absolute; width: 130px; height: 130px; right: -62px; top: -72px; border: 1px solid rgba(167, 139, 250, .16); border-radius: 50%; box-shadow: 0 0 0 20px rgba(167, 139, 250, .035), 0 0 0 44px rgba(167, 139, 250, .02); }
.ss-card-kicker { position: relative; z-index: 1; display: flex; align-items: center; justify-content: space-between; color: var(--ss-violet-soft); }
.ss-result-badge { display: inline-flex; align-items: center; gap: 6px; padding: 5px 9px; border: 1px solid currentColor; border-radius: 999px; font: 600 9.5px/1 var(--ss-mono); letter-spacing: .08em; text-transform: uppercase; }
.ss-result-badge::before { content: ""; width: 5px; height: 5px; border-radius: 50%; background: currentColor; box-shadow: 0 0 8px currentColor; }
.ss-result-badge.clear { color: var(--ss-mint); background: rgba(52, 211, 153, .09); }
.ss-result-badge.block { color: var(--ss-coral); background: rgba(251, 113, 133, .09); }
.ss-result-badge.contain { color: var(--ss-amber); background: rgba(251, 191, 36, .09); }
.ss-result-badge.saved { color: var(--ss-violet-soft); background: rgba(167, 139, 250, .12); }
.ss-result-badge.unknown { color: var(--ss-muted); background: rgba(148, 163, 184, .07); }
.ss-verdict-card h2 { position: relative; z-index: 1; margin: 16px 0 7px; font-size: 17px; font-weight: 750; line-height: 1.2; letter-spacing: -.02em; }
.ss-verdict-card > p { position: relative; z-index: 1; margin: 0; color: var(--ss-muted); font-size: 11.5px; line-height: 1.6; }
.ss-run-facts { position: relative; z-index: 1; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 6px; margin: 15px 0 0; }
.ss-run-facts div { min-width: 0; padding: 8px 9px; border: 1px solid rgba(255, 255, 255, .06); border-radius: 9px; background: rgba(0, 0, 0, .18); }
.ss-run-facts dt { color: var(--ss-faint); font: 600 8.5px/1 var(--ss-mono); letter-spacing: .07em; text-transform: uppercase; }
.ss-run-facts dd { margin: 5px 0 0; overflow: hidden; color: var(--ss-muted); font: 500 10px/1.3 var(--ss-mono); text-overflow: ellipsis; white-space: nowrap; }

.ss-lens-section { margin-top: 10px; }
.ss-lens-section > header { display: flex; align-items: center; justify-content: space-between; min-height: 36px; padding: 0 12px; border-bottom: 1px solid var(--ss-line-soft); color: var(--ss-muted); font: 600 9.5px/1 var(--ss-mono); letter-spacing: .08em; text-transform: uppercase; }
.ss-lens-section > header b { color: var(--ss-faint); font-size: 9.5px; font-weight: 500; }
.ss-obligations { padding: 5px 11px 8px; }
.ss-obligation { display: grid; grid-template-columns: 10px minmax(0, 1fr) auto; gap: 9px; align-items: start; padding: 9px 1px; border-bottom: 1px solid rgba(167, 139, 250, .07); }
.ss-obligation:last-child { border-bottom: 0; }
.ss-obligation > i { width: 7px; height: 7px; margin-top: 3px; border: 1.5px solid var(--obligation-color, var(--ss-violet)); transform: rotate(45deg); box-shadow: 0 0 8px color-mix(in srgb, var(--obligation-color, var(--ss-violet)) 40%, transparent); }
.ss-obligation > span { display: flex; min-width: 0; flex-direction: column; gap: 3px; }
.ss-obligation b { overflow: hidden; font: 600 11.5px/1.3 var(--ss-sans); letter-spacing: -.005em; text-overflow: ellipsis; white-space: nowrap; }
.ss-obligation small { color: var(--ss-faint); font: 450 10.5px/1.45 var(--ss-sans); }
.ss-obligation em { color: var(--ss-faint); font: 500 9.5px/1 var(--ss-mono); font-style: normal; }
.ss-boundary-card { border-color: rgba(251, 191, 36, .22); background: linear-gradient(150deg, rgba(251, 191, 36, .06), rgba(12, 10, 20, .72)); }
.ss-boundary-card > header { color: #eac36a; }
.ss-boundary-card p { margin: 0; padding: 11px 12px; color: var(--ss-muted); font-size: 11.5px; line-height: 1.6; }
.ss-token-legend { display: grid; gap: 0; margin: 0; padding: 5px 11px 8px; list-style: none; }
.ss-token-legend li { display: grid; grid-template-columns: 9px minmax(0, 1fr); gap: 9px; align-items: start; padding: 8px 1px; }
.ss-token-legend li > i { width: 7px; height: 7px; margin-top: 3px; border: 1.5px solid; transform: rotate(45deg); }
.ss-token-legend .legend-claim { color: var(--ss-violet); }
.ss-token-legend .legend-context { color: var(--ss-amber); border-radius: 50%; transform: none; }
.ss-token-legend .legend-state { color: var(--ss-cyan); }
.ss-token-legend .legend-check { color: var(--ss-mint); background: rgba(52, 211, 153, .16); }
.ss-token-legend li > span { display: flex; flex-direction: column; gap: 2px; }
.ss-token-legend b { color: var(--ss-muted); font-size: 11px; font-weight: 600; }
.ss-token-legend small { color: var(--ss-faint); font-size: 10.5px; }

/* ── Bottom panel ────────────────────────────────────────────────────── */

.ss-bottom { min-width: 0; min-height: 0; border-bottom: 1px solid var(--ss-line); background: rgba(13, 11, 22, .94); }
.ss-bottom-head { display: flex; align-items: center; justify-content: space-between; height: 36px; padding: 0 9px 0 13px; border-bottom: 1px solid var(--ss-line-soft); }
.ss-bottom-head > div { display: flex; align-self: stretch; gap: 6px; }
.ss-bottom-head [role="tab"] { position: relative; height: 100%; padding: 0 11px; color: var(--ss-faint); background: none; font: 600 11px/1 var(--ss-sans); cursor: pointer; transition: color .13s ease; }
.ss-bottom-head [role="tab"]:hover { color: var(--ss-muted); }
.ss-bottom-head [aria-selected="true"] { color: var(--ss-violet-soft); }
.ss-bottom-head [aria-selected="true"]::after { content: ""; position: absolute; left: 9px; right: 9px; bottom: 0; height: 2px; border-radius: 2px 2px 0 0; background: var(--ss-accent-gradient); }
.ss-bottom-head [role="tab"] b { display: inline-grid; place-items: center; min-width: 16px; height: 16px; margin-left: 5px; padding: 0 5px; border-radius: 6px; color: var(--ss-muted); background: rgba(167, 139, 250, .14); font-size: 8.5px; font-family: var(--ss-mono); }
#ss-toggle-bottom { width: 28px; height: 28px; border-radius: 7px; color: var(--ss-faint); background: none; cursor: pointer; }
#ss-toggle-bottom:hover { color: var(--ss-text); background: var(--ss-surface-3); }
.ss-bottom-content { height: calc(100% - 36px); min-height: 0; overflow: auto; scrollbar-width: thin; scrollbar-color: rgba(167, 139, 250, .25) transparent; }
.ss-result-grid { display: grid; grid-template-columns: minmax(220px, 1.25fr) minmax(220px, .75fr); gap: 11px; padding: 12px; }
.ss-result-panel, .ss-output, .ss-problem-list, .ss-trace-view { border: 1px solid var(--ss-line); border-radius: 12px; background: rgba(10, 8, 17, .62); }
.ss-result-panel { display: grid; grid-template-columns: 36px minmax(0, 1fr); gap: 12px; padding: 14px; }
.ss-result-glyph { display: grid; place-items: center; width: 34px; height: 34px; border: 1px solid currentColor; border-radius: 10px; color: var(--ss-mint); background: rgba(52, 211, 153, .08); font: 600 14px/1 var(--ss-mono); box-shadow: 0 0 18px color-mix(in srgb, currentColor 18%, transparent); }
.ss-result-glyph.block { color: var(--ss-coral); background: rgba(251, 113, 133, .08); }
.ss-result-glyph.contain { color: var(--ss-amber); background: rgba(251, 191, 36, .08); }
.ss-result-glyph.saved { color: var(--ss-violet-soft); background: rgba(167, 139, 250, .1); }
.ss-result-glyph.unknown { color: var(--ss-muted); background: rgba(148, 163, 184, .06); }
.ss-result-copy h3 { margin: 2px 0 5px; font-size: 13px; font-weight: 700; letter-spacing: -.01em; }
.ss-result-copy p { margin: 0; color: var(--ss-muted); font-size: 11.5px; line-height: 1.55; }
.ss-result-copy footer { display: flex; flex-wrap: wrap; gap: 6px 14px; margin-top: 10px; color: var(--ss-faint); font: 500 9.5px/1 var(--ss-mono); }
.ss-boundary-inline { padding: 14px; }
.ss-boundary-inline small { color: var(--ss-amber); font: 600 9.5px/1 var(--ss-mono); letter-spacing: .08em; text-transform: uppercase; }
.ss-boundary-inline p { margin: 6px 0 0; color: var(--ss-muted); font-size: 11.5px; line-height: 1.55; }
.ss-output { margin: 12px; padding: 13px; color: #978ea9; font: 400 10.5px/1.7 var(--ss-mono); white-space: pre-wrap; }
.ss-output .out-ok { color: var(--ss-mint); }
.ss-output .out-warn { color: var(--ss-amber); }
.ss-output .out-error { color: var(--ss-coral); }
.ss-problem-list { margin: 12px; overflow: hidden; }
.ss-problem-row { display: grid; grid-template-columns: 22px minmax(0, 1fr) 100px; gap: 9px; align-items: center; min-height: 42px; padding: 0 12px; border-bottom: 1px solid rgba(167, 139, 250, .07); color: var(--ss-muted); font-size: 11.5px; }
.ss-problem-row:last-child { border-bottom: 0; }
.ss-problem-row i { color: var(--ss-coral); font: 600 12px/1 var(--ss-mono); font-style: normal; }
.ss-problem-row.is-clear i { color: var(--ss-mint); }
.ss-problem-row span:last-child { color: var(--ss-faint); font: 500 9.5px/1 var(--ss-mono); text-align: right; }
.ss-trace-view { display: flex; align-items: stretch; gap: 0; margin: 12px; min-height: 108px; padding: 14px; overflow-x: auto; }
.ss-trace-step { position: relative; display: flex; min-width: 138px; padding: 7px 20px 7px 9px; flex-direction: column; }
.ss-trace-step:not(:last-child)::after { content: "→"; position: absolute; right: 3px; top: 28px; color: #5b5170; }
.ss-trace-step i { width: 9px; height: 9px; margin-bottom: 9px; border: 2px solid var(--ss-violet); border-radius: 50%; background: #0d0b16; box-shadow: 0 0 0 4px rgba(167, 139, 250, .08); }
.ss-trace-step.is-final i { border-color: var(--ss-coral); box-shadow: 0 0 0 4px rgba(251, 113, 133, .08); }
.ss-trace-step b { font: 600 11.5px/1.25 var(--ss-sans); }
.ss-trace-step small { margin-top: 4px; color: var(--ss-faint); font-size: 10.5px; line-height: 1.45; }

/* ── Status bar ──────────────────────────────────────────────────────── */

.ss-statusbar { display: flex; align-items: center; gap: 15px; min-width: 0; padding: 0 11px; color: var(--ss-faint); background: linear-gradient(90deg, rgba(124, 58, 237, .14), rgba(9, 7, 15, .95) 30%); font: 500 10px/1 var(--ss-mono); }
.ss-statusbar > span { display: inline-flex; align-items: center; gap: 6px; white-space: nowrap; }
.ss-statusbar b { color: var(--ss-muted); font-weight: 500; }
.ss-status-spacer { flex: 1; }
.ss-statusbar button { padding: 2px 0; color: var(--ss-faint); background: none; font: inherit; cursor: pointer; }
.ss-statusbar button:hover { color: var(--ss-violet-soft); }

/* ── Palette ─────────────────────────────────────────────────────────── */

.ss-palette { width: min(640px, calc(100vw - 28px)); max-height: min(560px, calc(100dvh - 60px)); padding: 0; border: 1px solid rgba(167, 139, 250, .35); border-radius: 16px; color: var(--ss-text); background: rgba(18, 14, 28, .98); box-shadow: var(--ss-shadow), 0 0 0 1px rgba(167, 139, 250, .1), 0 0 80px rgba(124, 58, 237, .18); overflow: hidden; }
.ss-palette::backdrop { background: rgba(5, 3, 10, .74); backdrop-filter: blur(6px); }
.ss-palette-head { display: grid; grid-template-columns: 24px minmax(0, 1fr) auto; align-items: center; gap: 8px; min-height: 54px; padding: 0 14px; border-bottom: 1px solid var(--ss-line); }
.ss-palette-head > span { color: var(--ss-violet-soft); font: 500 18px/1 var(--ss-mono); }
.ss-palette-head input { width: 100%; height: 46px; border: 0; outline: 0; color: var(--ss-text); background: transparent; font-size: 14px; }
.ss-palette-head input::placeholder { color: var(--ss-faint); }
.ss-palette-head button { padding: 6px 8px; border: 1px solid var(--ss-line); border-radius: 7px; color: var(--ss-muted); background: rgba(7, 6, 13, .7); font: 500 9.5px/1 var(--ss-mono); cursor: pointer; }
.ss-palette-list { max-height: 430px; padding: 8px; overflow: auto; }
.ss-palette-item { display: grid; grid-template-columns: 32px minmax(0, 1fr) auto; gap: 10px; align-items: center; width: 100%; min-height: 48px; padding: 0 10px; border-radius: 10px; color: var(--ss-muted); background: transparent; text-align: left; cursor: pointer; }
.ss-palette-item:hover, .ss-palette-item.is-selected { color: var(--ss-text); background: linear-gradient(90deg, rgba(139, 92, 246, .2), rgba(139, 92, 246, .08)); }
.ss-palette-item > i { display: grid; place-items: center; width: 30px; height: 30px; border: 1px solid rgba(167, 139, 250, .22); border-radius: 8px; color: var(--ss-violet-soft); background: rgba(167, 139, 250, .07); font: 500 8.5px/1 var(--ss-mono); font-style: normal; }
.ss-palette-item > span { display: flex; min-width: 0; flex-direction: column; gap: 3px; }
.ss-palette-item b { font-size: 12px; font-weight: 600; }
.ss-palette-item small, .ss-palette-item em { color: var(--ss-faint); font: 450 10.5px/1.3 var(--ss-sans); font-style: normal; }
.ss-palette-item em { font: 500 9.5px/1 var(--ss-mono); }
.ss-palette > footer { display: flex; gap: 16px; padding: 10px 14px; border-top: 1px solid var(--ss-line); color: var(--ss-faint); font: 500 9.5px/1 var(--ss-mono); }

/* ── Toasts & noscript ───────────────────────────────────────────────── */

.ss-toast-region { position: fixed; right: 16px; bottom: 42px; z-index: 90; display: grid; gap: 8px; pointer-events: none; }
.ss-toast { max-width: 340px; padding: 11px 14px; border: 1px solid rgba(167, 139, 250, .3); border-radius: 12px; color: #d3ccdf; background: rgba(24, 19, 36, .97); box-shadow: 0 18px 48px rgba(2, 0, 12, .5), 0 0 30px rgba(124, 58, 237, .12); font-size: 11.5px; line-height: 1.5; animation: ss-toast-in .22s ease both; }
.ss-toast b { color: var(--ss-violet-soft); }
.ss-noscript { position: fixed; inset: 60px 15px auto; z-index: 99; padding: 12px; border: 1px solid rgba(251, 191, 36, .3); border-radius: 10px; color: #ffe4a8; background: #1c170d; text-align: center; }

.ss-app.is-bottom-collapsed { grid-template-rows: 60px 38px minmax(290px, 1fr) 36px 28px; }
.ss-app.is-bottom-collapsed .ss-bottom-content { display: none; }
.ss-app.is-bottom-collapsed #ss-toggle-bottom { transform: rotate(180deg); }

@keyframes ss-pulse { to { opacity: .35; transform: scale(.65); } }
@keyframes ss-toast-in { from { opacity: 0; transform: translateY(6px); } }

/* ── Responsive ──────────────────────────────────────────────────────── */

@media (max-width: 1180px) {
  .ss-shell { grid-template-columns: 52px 220px minmax(390px, 1fr); }
  .ss-lens { position: fixed; z-index: 30; top: 98px; right: 0; bottom: 256px; width: min(344px, 90vw); border: 1px solid var(--ss-line-strong); border-right: 0; visibility: hidden; pointer-events: none; box-shadow: -24px 0 70px rgba(2, 0, 12, .5); transform: translateX(104%); transition: transform .22s ease, visibility 0s linear .22s; }
  .ss-app.is-lens-open .ss-lens { visibility: visible; pointer-events: auto; transform: translateX(0); transition-delay: 0s; }
  .ss-mobile-only#ss-toggle-lens { display: inline-flex; }
  .ss-pane-close { display: grid; place-items: center; }
  .ss-app.is-bottom-collapsed .ss-lens { bottom: 64px; }
}

@media (max-width: 880px) {
  .ss-topbar { grid-template-columns: minmax(160px, 1fr) auto; }
  .ss-project-crumb { display: none; }
  .ss-command-button { min-width: auto; }
  .ss-command-button span { display: none; }
  .ss-mobile-only#ss-toggle-explorer { display: inline-flex; }
  .ss-shell { grid-template-columns: 52px minmax(0, 1fr); }
  .ss-explorer { position: fixed; z-index: 31; top: 98px; left: 52px; bottom: 256px; width: min(258px, calc(100vw - 52px)); border: 1px solid var(--ss-line-strong); border-left: 0; visibility: hidden; pointer-events: none; box-shadow: 24px 0 70px rgba(2, 0, 12, .5); transform: translateX(-110%); transition: transform .22s ease, visibility 0s linear .22s; }
  .ss-app.is-explorer-open .ss-explorer { visibility: visible; pointer-events: auto; transform: translateX(0); transition-delay: 0s; }
  .ss-app.is-bottom-collapsed .ss-explorer { bottom: 64px; }
  .ss-run-facts { grid-template-columns: 1fr; }
  #ss-account-label { max-width: 64px; }
}

@media (max-width: 640px) {
  .ss-app { grid-template-rows: 54px 42px minmax(250px, 1fr) 192px 28px; min-height: 520px; }
  .ss-topbar { padding-inline: 10px 8px; gap: 7px; }
  .ss-facility-mark { width: 30px; height: 30px; flex-basis: 30px; }
  .ss-brand { gap: 8px; }
  .ss-brand-lockup b { font-size: 15px; }
  .ss-brand-lockup small { font-size: 9px; }
  .ss-top-actions { gap: 4px; }
  .ss-button, .ss-command-button, .ss-icon-control, .ss-account-chip { min-height: 32px; padding-inline: 9px; font-size: 11px; }
  .ss-button-quiet { display: none; }
  .ss-button-save kbd, .ss-button-primary kbd { display: none; }
  .ss-account-chip { padding-inline: 9px; }
  #ss-account-label { display: none; }
  .ss-truthbar { padding: 0 11px; }
  .ss-truthbar p { display: none; }
  .ss-truthbar button { margin-left: auto; }
  .ss-shell { grid-template-columns: minmax(0, 1fr); }
  .ss-activity-rail { display: none; }
  .ss-explorer { top: 96px; left: 0; bottom: 220px; width: min(280px, 92vw); }
  .ss-lens { top: 96px; bottom: 220px; width: 100vw; }
  .ss-app.is-bottom-collapsed { grid-template-rows: 54px 42px minmax(250px, 1fr) 36px 28px; }
  .ss-app.is-bottom-collapsed .ss-explorer, .ss-app.is-bottom-collapsed .ss-lens { bottom: 64px; }
  .ss-workspace { grid-template-rows: 38px 38px minmax(0, 1fr) 26px; }
  .ss-tab { min-width: 112px; height: 37px; padding-inline: 11px; }
  .ss-editor-toolbar { padding-inline: 9px; }
  .ss-breadcrumbs span:first-child, .ss-breadcrumbs i:first-of-type { display: none; }
  .ss-text-button { display: none; }
  .ss-editor { grid-template-columns: 46px minmax(0, 1fr); }
  .ss-minimap { display: none; }
  .ss-gutter { padding-top: 14px; }
  .ss-gutter-line { padding-right: 10px; }
  .ss-gutter-line.is-claim::before, .ss-gutter-line.is-context::before, .ss-gutter-line.is-transition::before, .ss-gutter-line.is-check::before { left: 5px; }
  #ss-highlight, #ss-source { padding: 14px 18px 32px 13px; font-size: 11.5px; }
  .ss-editor-status { gap: 8px; }
  .ss-editor-status span:nth-last-child(-n+2) { display: none; }
  .ss-result-grid { grid-template-columns: 1fr; }
  .ss-bottom-head [role="tab"] { padding-inline: 6px; }
  .ss-bottom-head [role="tab"] b { display: none; }
  .ss-statusbar { gap: 8px; }
  .ss-statusbar > span:last-child, #ss-status-engine { display: none; }
}

@media (max-width: 520px) {
  .ss-command-button { display: none; }
}

@media (max-width: 400px) {
  .ss-topbar { grid-template-columns: minmax(0, 1fr) auto; }
  .ss-brand-lockup small, .ss-button-primary span:nth-of-type(2) { display: none; }
  .ss-brand-lockup b { font-size: 13px; }
  .ss-icon-control, .ss-button-primary { padding-inline: 7px; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; animation-duration: .001ms !important; animation-iteration-count: 1 !important; transition-duration: .001ms !important; }
}