/* kavach bench console */
/* IBM Plex, vendored so the console has its type offline too (SIL OFL 1.1). */
@font-face {
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 100 700;
  font-display: swap;
  src: url(fonts/ibm-plex-sans.woff2) format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(fonts/ibm-plex-mono-400.woff2) format("woff2");
}
@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(fonts/ibm-plex-mono-600.woff2) format("woff2");
}

/* Colours after PostHog's: warm off-white and charcoal surfaces, orange as
   the accent, blue for links. Light by default; dark follows the system
   unless data-theme on <html> picks one. */
:root {
  --font-ui: "IBM Plex Sans", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --font-code: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --ease-out: cubic-bezier(0.16, 1, 0.3, 1);
  --dur-fast: 140ms;
  --dur-med: 220ms;

  --app: #eeefe9;
  --bar: #e5e7e0;
  --panel: #fdfdf8;
  --panel2: #f4f4ee;
  --panel3: #e9eae3;
  --pop: #ffffff;
  --sunken: #f4f4ee;
  --edge: #d6d7cf;
  --edge-strong: #bfc1b7;
  --edge-hover: #a5a79d;
  --hover: #e3e4dc;
  --text: #151515;
  --text-2: #33342f;
  --dim: #5b5d55;
  --faint: #8a8c82;
  --ok: #2d8a35;
  --ok-soft: #2d8a35;
  --bad: #d23401;
  --bad-soft: #c22f00;
  --peach: #e04600;
  --warn: #b37400;
  --blue: #1d4aff;
  --teal: #00866b;
  --violet: #7a3fd1;
  --violet-soft: #6a33bd;
  --held-dim: #b9dcbc;
  --on-accent: #ffffff;
  --scrim: #2b2c27;
  --add-text: #1d6b24;
  --del-text: #a82700;
  --shadow-pop: 0 18px 44px -12px rgba(30, 31, 26, 0.22), 0 0 0 1px rgba(30, 31, 26, 0.04);
  --shadow-card: 0 3px 12px -4px rgba(30, 31, 26, 0.14);
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --app: #191917;
    --bar: #141412;
    --panel: #21211e;
    --panel2: #282825;
    --panel3: #30302c;
    --pop: #252522;
    --sunken: #161614;
    --edge: #33332e;
    --edge-strong: #45453f;
    --edge-hover: #5c5c55;
    --hover: #2a2a26;
    --text: #eeefe9;
    --text-2: #d4d5cd;
    --dim: #a7a89e;
    --faint: #787970;
    --ok: #6abf6f;
    --ok-soft: #8fd193;
    --bad: #f26b4a;
    --bad-soft: #ff9479;
    --peach: #f7773a;
    --warn: #f2b23a;
    --blue: #8199ff;
    --teal: #4ccbab;
    --violet: #b79cff;
    --violet-soft: #cfbdff;
    --held-dim: #2f5233;
    --on-accent: #1a0f08;
    --scrim: #0a0a09;
    --add-text: #b2e5b5;
    --del-text: #ffb6a3;
    --shadow-pop: 0 18px 44px -10px rgba(0, 0, 0, 0.6), 0 0 0 1px rgba(255, 255, 255, 0.04);
    --shadow-card: 0 4px 16px -4px rgba(0, 0, 0, 0.4);
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --app: #191917;
  --bar: #141412;
  --panel: #21211e;
  --panel2: #282825;
  --panel3: #30302c;
  --pop: #252522;
  --sunken: #161614;
  --edge: #33332e;
  --edge-strong: #45453f;
  --edge-hover: #5c5c55;
  --hover: #2a2a26;
  --text: #eeefe9;
  --text-2: #d4d5cd;
  --dim: #a7a89e;
  --faint: #787970;
  --ok: #6abf6f;
  --ok-soft: #8fd193;
  --bad: #f26b4a;
  --bad-soft: #ff9479;
  --peach: #f7773a;
  --warn: #f2b23a;
  --blue: #8199ff;
  --teal: #4ccbab;
  --violet: #b79cff;
  --violet-soft: #cfbdff;
  --held-dim: #2f5233;
  --on-accent: #1a0f08;
  --scrim: #0a0a09;
  --add-text: #b2e5b5;
  --del-text: #ffb6a3;
  --shadow-pop: 0 18px 44px -10px rgba(0, 0, 0, 0.6), 0 0 0 1px rgba(255, 255, 255, 0.04);
  --shadow-card: 0 4px 16px -4px rgba(0, 0, 0, 0.4);
  color-scheme: dark;
}
:root {
  --ok-bg: color-mix(in srgb, var(--ok) 13%, transparent);
  --bad-bg: color-mix(in srgb, var(--bad) 13%, transparent);
  --peach-bg: color-mix(in srgb, var(--peach) 12%, transparent);
  --warn-bg: color-mix(in srgb, var(--warn) 12%, transparent);
  --blue-bg: color-mix(in srgb, var(--blue) 12%, transparent);
  --teal-bg: color-mix(in srgb, var(--teal) 12%, transparent);
  --add: color-mix(in srgb, var(--ok) 14%, transparent);
  --del: color-mix(in srgb, var(--bad) 15%, transparent);
}

* { box-sizing: border-box; }
html, body { margin: 0; height: 100%; background: var(--app); color: var(--text); }
body {
  font: 13.5px/1.5 var(--font-ui);
  letter-spacing: -0.008em;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}
button, input, select, textarea { font: inherit; color: inherit; }
a { color: var(--blue); text-decoration: none; transition: color var(--dur-fast) var(--ease-out); }
a:hover { color: color-mix(in srgb, var(--blue) 80%, var(--text)); }
code, pre, .m { font-family: var(--font-code); font-size: 12.5px; letter-spacing: -0.01em; }
:focus-visible { outline: 2px solid var(--peach); outline-offset: 2px; }
[hidden] { display: none !important; }

.dim { color: var(--dim); }
.faint { color: var(--faint); }
.b { font-weight: 600; }
.peach { color: var(--peach); }
.blue { color: var(--blue); }
.teal { color: var(--teal); }
.ok { color: var(--ok); }
.bad { color: var(--bad); }

/* Theme switch (setTheme in app.js): the new theme grows in a circle over
   the old one. */
::view-transition-old(root),
::view-transition-new(root) {
  animation: none;
  mix-blend-mode: normal;
}
.theme-switching,
.theme-switching * {
  transition: none !important;
}

@keyframes fadeIn {
  from { opacity: 0; transform: translateY(4px); }
  to { opacity: 1; transform: translateY(0); }
}
@keyframes popIn {
  from { opacity: 0; transform: translateY(-4px) scale(0.985); }
  to { opacity: 1; transform: translateY(0) scale(1); }
}
@keyframes popUp {
  from { opacity: 0; transform: translateY(4px) scale(0.985); }
  to { opacity: 1; transform: translateY(0) scale(1); }
}
@keyframes modalIn {
  from { opacity: 0; transform: translateY(8px) scale(0.98); }
  to { opacity: 1; transform: translateY(0) scale(1); }
}

.app {
  height: 100%;
  display: grid;
  grid-template-rows: 50px minmax(0, 1fr);
}

/* Top navigation bar — overflow: visible so dropdown menus are never clipped */
.top {
  display: flex;
  align-items: center;
  gap: 14px;
  background: var(--bar);
  border-bottom: 1px solid var(--edge);
  padding: 0 18px 0 0;
  min-width: 0;
  position: relative;
  z-index: 40;
}
.top:has(.aux-toggle) {
  padding-right: 0;
}
.menu,
.aux-toggle {
  background: none;
  border: 0;
  color: var(--dim);
  height: 100%;
  padding: 0 16px;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  transition: color var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out);
}
.menu { border-right: 1px solid var(--edge); }
.aux-toggle {
  border-left: 1px solid var(--edge);
  height: 50px;
  margin-left: 2px;
}
.theme-toggle {
  background: none;
  border: 1px solid transparent;
  border-radius: 7px;
  color: var(--dim);
  width: 30px;
  height: 30px;
  padding: 0;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  transition: color var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out);
}
.theme-toggle:hover {
  color: var(--text);
  background: var(--hover);
  border-color: var(--edge);
}
.menu:hover,
.aux-toggle:hover {
  color: var(--text);
  background: var(--hover);
}
.menu.open,
.aux-toggle.open {
  color: var(--text);
}
.pane-ic {
  display: block;
}
.pane-ic .pane-fill {
  opacity: 0.14;
  transition: opacity var(--dur-fast) var(--ease-out), fill var(--dur-fast) var(--ease-out);
}
.menu.open .pane-ic .pane-fill,
.aux-toggle.open .pane-ic .pane-fill {
  opacity: 0.88;
  fill: var(--peach);
}

body.resizing,
body.resizing * {
  cursor: col-resize !important;
  user-select: none !important;
}

.titlewrap { position: relative; min-width: 0; flex: 0 1 auto; }
.title {
  background: transparent;
  border: 1px solid transparent;
  border-radius: 7px;
  font-weight: 500;
  font-size: 13.5px;
  padding: 5px 10px;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 7px;
  max-width: min(56vw, 680px);
  transition: background-color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out);
}
.title:hover, .title[aria-expanded="true"] {
  background: var(--panel2);
  border-color: var(--edge);
}
.title span:first-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.chev {
  color: var(--dim);
  font-size: 11px;
  line-height: 1;
  transition: transform var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);
  display: inline-block;
}
.title[aria-expanded="true"] .chev { transform: rotate(180deg); color: var(--text); }

.pop {
  position: absolute;
  top: calc(100% + 6px);
  left: 0;
  z-index: 60;
  background: var(--pop);
  border: 1px solid var(--edge-strong);
  border-radius: 10px;
  padding: 6px;
  min-width: 300px;
  max-width: min(460px, 92vw);
  display: grid;
  gap: 2px;
  box-shadow: var(--shadow-pop);
  animation: popIn var(--dur-fast) var(--ease-out);
}
.pop a {
  color: var(--text);
  text-decoration: none;
  padding: 7px 10px;
  border-radius: 6px;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  font-size: 13px;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.pop a:hover, .pop a:focus-visible { background: var(--hover); }
.pop .lbl {
  color: var(--faint);
  font-size: 11.5px;
  font-weight: 500;
  padding: 8px 10px 3px;
  border-top: 1px solid var(--edge);
  margin-top: 3px;
}

.right {
  flex: none;
  margin-left: auto;
  display: flex;
  gap: 12px;
  color: var(--dim);
  font-size: 12.5px;
  align-items: center;
  white-space: nowrap;
  min-width: 0;
  font-variant-numeric: tabular-nums;
}
.status-pill {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 3px 9px;
  border-radius: 6px;
  background: var(--panel);
  border: 1px solid var(--edge);
  font-size: 12px;
  color: var(--dim);
}
.dot {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--ok);
  display: inline-block;
  margin-right: 6px;
  vertical-align: 1px;
  box-shadow: 0 0 8px color-mix(in srgb, var(--ok) 40%, transparent);
}
.status-pill .dot { margin-right: 0; }
.dot.run { background: var(--peach); box-shadow: 0 0 8px color-mix(in srgb, var(--peach) 45%, transparent); }
.dot.bad { background: var(--bad); box-shadow: 0 0 8px color-mix(in srgb, var(--bad) 45%, transparent); }
.dot.off { background: var(--faint); box-shadow: none; }

/* Interactive Drag-to-Resize Sashes (.sash-left, .sash-right) */
.sash {
  position: absolute;
  top: 0;
  bottom: 0;
  width: 5px;
  z-index: 30;
  cursor: col-resize;
  background: transparent;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.sash:hover,
.sash:active {
  background: color-mix(in srgb, var(--peach) 45%, transparent);
}
.sash-left { right: 0; }
.sash-right { left: 0; }

/* Main layout & smooth left sidebar transition */
.main {
  display: grid;
  grid-template-columns: var(--left-w, 256px) minmax(0, 1fr);
  min-height: 0;
  transition: grid-template-columns var(--dur-med) var(--ease-out);
}
body.resizing .main,
body.resizing .new-layout,
body.resizing .body {
  transition: none;
}
.main.noside, .boot-noside .main { grid-template-columns: 0px minmax(0, 1fr); }
.main.noside .side, .boot-noside .main .side {
  opacity: 0;
  pointer-events: none;
  transform: translateX(-12px);
  border-right-color: transparent;
}
.view {
  min-width: 0;
  min-height: 0;
  overflow: auto;
  scroll-behavior: smooth;
}
/* Only on navigation: a redraw for new data must not fade the page out and
   back in. */
.view.entering > * {
  animation: fadeIn var(--dur-med) var(--ease-out);
}

/* Left Sidebar with sticky Antigravity-style bottom Settings bar & in-place Settings view */
.side {
  position: relative;
  background: var(--bar);
  border-right: 1px solid var(--edge);
  display: flex;
  flex-direction: column;
  font-size: 13px;
  min-height: 0;
  overflow: hidden;
  transition: opacity var(--dur-med) var(--ease-out), transform var(--dur-med) var(--ease-out), border-color var(--dur-med) var(--ease-out);
}
.side-scroll {
  flex: 1 1 auto;
  overflow-y: auto;
  overflow-x: hidden;
  padding: 12px 10px 16px;
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.side .lbl {
  color: var(--faint);
  font-size: 11.5px;
  font-weight: 600;
  padding: 14px 10px 5px;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.side .lbl:first-child { padding-top: 2px; }
.side a {
  padding: 7px 10px;
  border-radius: 7px;
  color: var(--dim);
  text-decoration: none;
  display: flex;
  justify-content: space-between;
  gap: 8px;
  align-items: center;
  border: 1px solid transparent;
  transition: background-color var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out);
}
.side a:hover { background: var(--hover); color: var(--text); }
.side a.on {
  background: var(--panel2);
  color: var(--text);
  border-color: var(--edge);
  font-weight: 500;
}
.side a.new-run-link {
  color: var(--text);
  background: color-mix(in srgb, var(--peach) 7%, transparent);
  border-color: color-mix(in srgb, var(--peach) 20%, transparent);
  margin-bottom: 4px;
}
.side a.new-run-link:hover, .side a.new-run-link.on {
  background: color-mix(in srgb, var(--peach) 14%, transparent);
  border-color: color-mix(in srgb, var(--peach) 45%, transparent);
  color: var(--peach);
}
.side a .sub {
  display: block;
  color: var(--faint);
  font-size: 11.5px;
  font-family: var(--font-code);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  margin-top: 1px;
}
.side a > span:first-child {
  min-width: 0;
  flex: 1 1 auto;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.side a > span:last-child:not(:first-child) {
  flex: 0 0 auto;
  white-space: nowrap;
  font-size: 11.5px;
  font-variant-numeric: tabular-nums;
}
.side .none { color: var(--faint); padding: 4px 10px; font-size: 12.5px; }

/* Antigravity-style Sidebar Footer */
.side-foot {
  flex: 0 0 auto;
  border-top: 1px solid var(--edge);
  padding: 10px;
  background: color-mix(in srgb, var(--app) 75%, transparent);
  display: flex;
  flex-direction: column;
  gap: 8px;
}
.side-static {
  font-size: 12px;
  line-height: 1.45;
  color: var(--dim);
}
.side .side-static a {
  display: inline;
  padding: 0;
  border: 0;
  background: none;
  color: inherit;
  text-decoration: underline;
  text-underline-offset: 2px;
}
.side .side-static a:hover {
  background: none;
  border-color: transparent;
}
.side-env-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 6px;
  padding: 0 4px;
  font-size: 11.5px;
  color: var(--faint);
}
.side-env-items {
  display: flex;
  align-items: center;
  gap: 10px;
  min-width: 0;
  overflow: hidden;
}
.side-settings-btn {
  width: 100%;
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 8px;
  padding: 8px 10px;
  color: var(--text);
  cursor: pointer;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  font-size: 12.5px;
  font-weight: 500;
  transition: background-color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out), transform var(--dur-fast) var(--ease-out);
}
.side-settings-btn:hover {
  background: var(--panel2);
  border-color: var(--edge-strong);
}
.side-settings-btn.active {
  background: var(--panel2);
  border-color: var(--peach);
}
.side-settings-left {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.side-settings-btn .key-badge { flex-shrink: 0; }
.side-settings-ic {
  color: var(--dim);
  font-size: 14px;
  line-height: 1;
}
.key-badge {
  font-size: 11px;
  font-weight: 500;
  padding: 1px 7px;
  border-radius: 99px;
  white-space: nowrap;
}
.key-badge.ok {
  background: var(--ok-bg);
  color: var(--ok);
}
.key-badge.warn {
  background: var(--peach-bg);
  color: var(--peach);
}
.key-badge.bad {
  background: var(--bad-bg);
  color: var(--bad);
}
.key-badge:not(.ok):not(.warn):not(.bad) {
  background: var(--panel3);
  color: var(--dim);
}

/* Split body for Matrix + Attempt inspector with smooth right-pane collapse */
.body {
  display: grid;
  /* A length, not minmax(), so it transitions to and from 0px; it gives up
     width before the matrix drops below 420px, down to 300px of its own. */
  grid-template-columns: minmax(0, 1fr) min(max(360px, var(--right-w, 460px)), max(300px, 100% - 420px));
  height: 100%;
  transition: grid-template-columns var(--dur-med) var(--ease-out);
}
.body.noright {
  grid-template-columns: minmax(0, 1fr) 0px;
}
.body > .pane { overflow: auto; }
.pane {
  padding: 24px 28px;
  display: flex;
  flex-direction: column;
  gap: 16px;
  min-width: 0;
}
.pane.right-pane {
  position: relative;
  border-left: 1px solid var(--edge);
  background: color-mix(in srgb, var(--app) 55%, transparent);
  transition: opacity var(--dur-med) var(--ease-out), transform var(--dur-med) var(--ease-out), border-color var(--dur-med) var(--ease-out);
}
.body.noright > .pane.right-pane {
  opacity: 0;
  pointer-events: none;
  transform: translateX(12px);
  border-left-color: transparent;
  overflow: hidden;
  padding-left: 0;
  padding-right: 0;
}
.attempt-head-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
}
.h { font-size: 16px; font-weight: 600; letter-spacing: -0.015em; margin: 0; }
.row { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }

/* Home / New Run layout with Antigravity Right Auxiliary Pane */
/* The right pane gives up width before the middle drops below 420px, down to
   280px of its own. */
.new-layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr) min(var(--right-w, 400px), max(280px, 100% - 420px));
  height: 100%;
  min-height: 0;
  transition: grid-template-columns var(--dur-med) var(--ease-out);
}
.new-layout.noright {
  grid-template-columns: minmax(0, 1fr) 0px;
}
.new-main {
  overflow-y: auto;
  min-width: 0;
  container-type: inline-size;
}
.center {
  max-width: 720px;
  width: 100%;
  margin: 0 auto;
  display: flex;
  flex-direction: column;
  gap: 18px;
  padding: 44px 32px 48px;
}
.hero-head {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
  margin-bottom: 2px;
}
.logo {
  display: flex;
  align-items: center;
  gap: 14px;
  margin: 0;
  font-size: inherit;
}
/* The Kavach banner as a mask, so it takes the theme's text colour. */
.logo-mark {
  display: block;
  height: 34px;
  aspect-ratio: 628 / 160;
  background: var(--text);
  -webkit-mask: url(kavach.png) center / contain no-repeat;
  mask: url(kavach.png) center / contain no-repeat;
}
.logo-sub {
  font-family: var(--font-code);
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--peach);
  line-height: 1;
  padding: 5px 7px 4px;
  border: 1px solid color-mix(in srgb, var(--peach) 40%, transparent);
  border-radius: 5px;
  background: var(--peach-bg);
}
.hero-sub {
  color: var(--dim);
  font-size: 13px;
  margin: 0;
}

/* Antigravity Right Auxiliary Pane (.right-side) */
.right-side {
  position: relative;
  border-left: 1px solid var(--edge);
  background: var(--bar);
  display: flex;
  flex-direction: column;
  min-width: 0;
  min-height: 0;
  overflow: hidden;
  transition: opacity var(--dur-med) var(--ease-out), transform var(--dur-med) var(--ease-out), border-color var(--dur-med) var(--ease-out);
}
.new-layout.noright .right-side {
  opacity: 0;
  pointer-events: none;
  transform: translateX(12px);
  border-left-color: transparent;
}
.aux-bar {
  flex: 0 0 auto;
  height: 40px;
  padding: 0 10px 0 8px;
  border-bottom: 1px solid var(--edge);
  background: color-mix(in srgb, var(--panel) 70%, transparent);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
}
.aux-tabs {
  display: flex;
  align-items: center;
  gap: 2px;
  height: 100%;
  min-width: 0;
}
.aux-tab {
  background: none;
  border: 0;
  border-bottom: 2px solid transparent;
  height: 100%;
  padding: 0 10px;
  color: var(--dim);
  font-size: 12px;
  font-weight: 500;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  white-space: nowrap;
  transition: color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out);
}
.aux-tab:hover {
  color: var(--text);
  background: color-mix(in srgb, var(--text) 2.5%, transparent);
}
.aux-tab.on {
  color: var(--text);
  border-bottom-color: var(--peach);
  font-weight: 600;
}
.aux-tab-badge {
  font-family: var(--font-code);
  font-size: 10.5px;
  font-weight: 500;
  padding: 0.5px 5px;
  border-radius: 99px;
  background: var(--panel2);
  border: 1px solid var(--edge);
  color: var(--dim);
}
.aux-tab.on .aux-tab-badge {
  background: var(--peach-bg);
  border-color: color-mix(in srgb, var(--peach) 30%, transparent);
  color: var(--peach);
}
.aux-close {
  background: transparent;
  border: 1px solid transparent;
  border-radius: 6px;
  width: 26px;
  height: 26px;
  display: grid;
  place-items: center;
  color: var(--dim);
  cursor: pointer;
  font-size: 13px;
  line-height: 1;
  flex-shrink: 0;
  transition: all var(--dur-fast) var(--ease-out);
}
.aux-close:hover {
  background: var(--panel2);
  border-color: var(--edge-strong);
  color: var(--text);
}
.aux-body {
  flex: 1 1 auto;
  overflow-y: auto;
  overflow-x: hidden;
  padding: 16px 16px 28px;
  display: flex;
  flex-direction: column;
  gap: 14px;
  min-width: 0;
}
.aux-task-pane,
.aux-arms-pane {
  display: flex;
  flex-direction: column;
  gap: 14px;
}
.aux-pane-intro {
  display: flex;
  flex-direction: column;
  gap: 3px;
  font-size: 12px;
  color: var(--dim);
  padding: 0 2px;
}
.aux-spec-section {
  display: flex;
  flex-direction: column;
  gap: 8px;
}
.aux-section-hdr {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  padding: 0 2px;
}
.aux-spec-card {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 10px;
  padding: 13px 14px;
  font-size: 12.5px;
  color: var(--dim);
  line-height: 1.55;
  display: flex;
  flex-direction: column;
  gap: 8px;
}
.rside-title {
  font-size: 11.5px;
  font-weight: 600;
  color: var(--faint);
  letter-spacing: 0.02em;
}
.rside-sub {
  font-size: 11px;
  color: var(--faint);
}
.rside-empty {
  background: var(--panel);
  border: 1px dashed var(--edge-strong);
  border-radius: 9px;
  padding: 14px;
  font-size: 12px;
  color: var(--dim);
  line-height: 1.45;
}

/* Config panel on New Run */
.config-card {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 12px;
  padding: 18px 20px;
  display: flex;
  flex-direction: column;
  gap: 14px;
  box-shadow: var(--shadow-card);
}
.meta { display: grid; gap: 14px; color: var(--dim); }
.meta > div {
  display: grid;
  grid-template-columns: 20px 68px minmax(0, 1fr);
  gap: 12px;
  align-items: start;
}
.meta .ic {
  display: flex;
  align-items: center;
  justify-content: center;
  height: 30px;
  color: var(--faint);
}
.meta .ic svg { display: block; }
.meta .row-lbl {
  line-height: 30px;
  font-weight: 500;
  color: var(--dim);
}
.meta .v { color: var(--text); }
.meta .val {
  display: flex;
  gap: 10px;
  align-items: center;
  flex-wrap: wrap;
  min-width: 0;
  min-height: 30px;
}
/* The middle of the new-run page when both sidebars leave it little room. */
@container (max-width: 560px) {
  .center { padding: 32px 18px 40px; }
  .config-card { padding: 16px; }
  .meta > div { grid-template-columns: 64px minmax(0, 1fr); gap: 10px; }
  .meta .ic { display: none; }
}

/* Custom Select Item Menu (.cselect) */
.cselect {
  position: relative;
  display: inline-flex;
  vertical-align: middle;
  max-width: 100%;
}
.cselect-btn {
  background: var(--panel2);
  border: 1px solid var(--edge-strong);
  border-radius: 8px;
  padding: 5px 11px 5px 12px;
  color: var(--text);
  font-size: 13px;
  font-weight: 500;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  white-space: nowrap;
  max-width: 100%;
  transition: background-color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out), box-shadow var(--dur-fast) var(--ease-out);
}
.cselect-btn:hover {
  background: var(--panel3);
  border-color: var(--edge-hover);
}
.cselect.open .cselect-btn {
  background: var(--panel3);
  border-color: var(--peach);
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--peach) 12%, transparent);
}
.cselect-btn .cselect-text {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.cselect-btn .cselect-sub {
  color: var(--dim);
  font-weight: 400;
  font-size: 12px;
}
.cselect-btn .cselect-arrow {
  color: var(--dim);
  font-size: 10px;
  line-height: 1;
  transition: transform var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);
  flex-shrink: 0;
}
.cselect.open .cselect-btn .cselect-arrow {
  transform: rotate(180deg);
  color: var(--peach);
}
.cselect.compact .cselect-btn {
  background: color-mix(in srgb, var(--text) 3%, transparent);
  border-color: var(--edge);
  padding: 4px 10px;
  font-size: 12.5px;
  border-radius: 7px;
}
.cselect.compact .cselect-btn:hover {
  background: var(--panel2);
  border-color: var(--edge-strong);
}

.cselect-menu {
  position: absolute;
  top: calc(100% + 6px);
  left: 0;
  z-index: 70;
  background: var(--pop);
  border: 1px solid var(--edge-strong);
  border-radius: 10px;
  padding: 6px;
  min-width: 240px;
  max-width: min(520px, 90vw);
  max-height: 320px;
  overflow-y: auto;
  display: flex;
  flex-direction: column;
  gap: 2px;
  box-shadow: var(--shadow-pop);
  animation: popIn var(--dur-fast) var(--ease-out);
}
#cselect-task .cselect-menu {
  min-width: min(460px, 88vw);
}
/* The model picker clips what overflows it: open the sort menu leftwards. */
#cselect-pick-sort .cselect-menu {
  left: auto;
  right: 0;
  min-width: 230px;
}
.cselect.up .cselect-menu {
  top: auto;
  bottom: calc(100% + 6px);
  animation: popUp var(--dur-fast) var(--ease-out);
}
.cselect-search {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 6px 10px;
  margin-bottom: 4px;
  color: var(--text);
  font-size: 12.5px;
  outline: none;
  width: 100%;
}
.cselect-search:focus { border-color: var(--peach); }
.cselect-opt {
  background: none;
  border: 0;
  border-radius: 7px;
  padding: 7px 10px;
  color: var(--text);
  text-align: left;
  cursor: pointer;
  display: grid;
  grid-template-columns: 16px minmax(0, 1fr) auto;
  gap: 8px;
  align-items: center;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.cselect-opt:hover, .cselect-opt:focus-visible {
  background: var(--hover);
  outline: none;
}
.cselect-opt.sel {
  background: color-mix(in srgb, var(--peach) 10%, transparent);
}
.cselect-check {
  color: var(--peach);
  font-size: 12px;
  font-weight: 600;
  text-align: center;
}
.cselect-main {
  display: flex;
  flex-direction: column;
  gap: 1px;
  min-width: 0;
}
.cselect-lbl {
  font-weight: 500;
  font-size: 13px;
  color: var(--text);
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.cselect-opt.sel .cselect-lbl { color: var(--peach); }
.cselect-desc {
  font-size: 11.5px;
  color: var(--dim);
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.cselect-badge {
  font-size: 11px;
  color: var(--faint);
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 99px;
  padding: 1px 7px;
  white-space: nowrap;
}

/* Fallback native select styling */
select {
  appearance: none;
  -webkit-appearance: none;
  field-sizing: content;
  background: var(--panel2) url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M1 1l4 4 4-4' fill='none' stroke='%23949ca9' stroke-width='1.4' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") no-repeat right 9px center;
  border: 1px solid var(--edge-strong);
  color: var(--text);
  padding: 4px 26px 4px 10px;
  cursor: pointer;
  max-width: 100%;
  border-radius: 7px;
  font-size: 13px;
  transition: border-color var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out);
}
select:hover { border-color: var(--edge-hover); background-color: var(--panel3); }
select option { background: var(--pop); color: var(--text); }

/* Chips & Arm Controls */
.chips { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; min-width: 0; }
/* A long model id ends in an ellipsis rather than leaving the card. */
.meta .val .chip { max-width: 100%; min-width: 0; }
.meta .val .chip .m { min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.chip {
  border: 1px solid var(--edge-strong);
  border-radius: 8px;
  padding: 4px 12px;
  font-size: 12.5px;
  font-weight: 500;
  color: var(--dim);
  background: var(--panel2);
  cursor: pointer;
  text-decoration: none;
  display: inline-flex;
  gap: 6px;
  align-items: center;
  white-space: nowrap;
  transition: all var(--dur-fast) var(--ease-out);
}
.chip:hover { border-color: var(--edge-hover); color: var(--text); background: var(--panel3); }
.chip.on {
  border-color: var(--peach);
  color: var(--peach);
  background: var(--peach-bg);
}
.chip.on.blue {
  border-color: var(--blue);
  color: var(--blue);
  background: var(--blue-bg);
}
.chip.dim {
  color: var(--dim);
  background: transparent;
  border-style: dashed;
}
.chip.dim:hover {
  color: var(--text);
  border-style: solid;
  border-color: var(--edge-strong);
  background: var(--panel2);
}
.chip .x {
  color: var(--dim);
  background: none;
  border: 0;
  padding: 0 0 0 3px;
  cursor: pointer;
  font-size: 14px;
  line-height: 1;
}
.chip .x:hover { color: var(--bad); }
.chip:disabled, .chip[aria-disabled="true"] { opacity: 0.5; cursor: default; }

.arm-chip-dot {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: currentColor;
  opacity: 0.45;
  transition: opacity var(--dur-fast) var(--ease-out);
}
.chip.on .arm-chip-dot { opacity: 1; }

input.num {
  width: 62px;
  background: var(--panel2);
  border: 1px solid var(--edge-strong);
  border-radius: 7px;
  padding: 4px 8px;
  color: var(--text);
  font-weight: 500;
  font-variant-numeric: tabular-nums;
  transition: border-color var(--dur-fast) var(--ease-out);
}
input.num:hover { border-color: var(--edge-hover); }
input.num:focus { border-color: var(--peach); outline: none; }

/* Task Card (.task-card) in Right Sidebar */
.task-card {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 10px;
  padding: 13px 14px;
  display: flex;
  flex-direction: column;
  gap: 10px;
}
.task-card-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 6px;
  flex-wrap: nowrap;
}
.task-card-badges {
  display: flex;
  align-items: center;
  gap: 5px;
  min-width: 0;
}
.track-badge {
  font-size: 11px;
  font-weight: 600;
  padding: 2px 7px;
  border-radius: 5px;
  background: var(--peach-bg);
  color: var(--peach);
  border: 1px solid color-mix(in srgb, var(--peach) 25%, transparent);
  white-space: nowrap;
}
.track-badge.feature {
  background: var(--blue-bg);
  color: var(--blue);
  border-color: color-mix(in srgb, var(--blue) 25%, transparent);
}
.task-meta-pill {
  font-size: 11px;
  color: var(--dim);
  background: var(--panel2);
  border: 1px solid var(--edge);
  border-radius: 5px;
  padding: 1.5px 6px;
  font-family: var(--font-code);
  white-space: nowrap;
}
.task-card-title-block {
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.task-card-title {
  font-size: 14px;
  font-weight: 600;
  color: var(--text);
  margin: 0;
  line-height: 1.35;
}
.task-card-slug {
  font-family: var(--font-code);
  font-size: 11.5px;
  color: var(--faint);
}
.task-card-desc {
  color: var(--dim);
  font-size: 12.5px;
  line-height: 1.5;
  display: flex;
  flex-direction: column;
  gap: 6px;
  padding-top: 8px;
  border-top: 1px solid var(--edge);
}
.task-card-desc p { margin: 0; }
details.task-spec {
  border-top: 1px solid var(--edge);
  padding-top: 8px;
}
details.task-spec > summary {
  cursor: pointer;
  list-style: none;
  color: var(--blue);
  font-size: 12px;
  font-weight: 500;
  display: inline-flex;
  align-items: center;
  gap: 5px;
  user-select: none;
}
details.task-spec > summary::-webkit-details-marker { display: none; }
details.task-spec > summary::before { content: "▸"; font-size: 11px; transition: transform var(--dur-fast) var(--ease-out); }
details.task-spec[open] > summary::before { transform: rotate(90deg); }
.task-spec-body {
  margin-top: 8px;
  padding: 10px 12px;
  background: var(--bar);
  border: 1px solid var(--edge);
  border-radius: 8px;
  max-height: 300px;
  overflow-y: auto;
  font-size: 12px;
  color: var(--dim);
  display: flex;
  flex-direction: column;
  gap: 8px;
}

/* Experiment Arms List in Right Sidebar (.rside-arm-list) */
.rside-arm-list {
  display: flex;
  flex-direction: column;
  gap: 6px;
}
.rside-arm-row {
  width: 100%;
  text-align: left;
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 8px;
  padding: 8px 11px;
  cursor: pointer;
  display: flex;
  flex-direction: column;
  gap: 3px;
  transition: border-color var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out), opacity var(--dur-fast) var(--ease-out);
}
.rside-arm-row:hover {
  background: var(--panel2);
  border-color: var(--edge-strong);
}
.rside-arm-row.off {
  opacity: 0.55;
}
.rside-arm-row.on.peach {
  border-color: color-mix(in srgb, var(--peach) 35%, transparent);
}
.rside-arm-row.on.blue {
  border-color: color-mix(in srgb, var(--blue) 35%, transparent);
}
.rside-arm-top {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
}
.rside-arm-left {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}
.rside-arm-dot {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--faint);
}
.rside-arm-row.on .rside-arm-dot.peach { background: var(--peach); }
.rside-arm-row.on .rside-arm-dot.blue { background: var(--blue); }
.rside-arm-name {
  font-family: var(--font-code);
  font-size: 12.5px;
  font-weight: 600;
}
.rside-arm-name.peach { color: var(--peach); }
.rside-arm-name.blue { color: var(--blue); }
.rside-arm-tag {
  font-size: 11px;
  color: var(--faint);
  background: var(--panel2);
  border: 1px solid var(--edge);
  border-radius: 5px;
  padding: 1px 6px;
}
.rside-arm-desc {
  font-size: 12px;
  font-weight: 500;
  color: var(--text);
  line-height: 1.4;
  padding-left: 14px;
}
.rside-arm-detail {
  font-size: 11.5px;
  color: var(--dim);
  line-height: 1.45;
  padding-left: 14px;
  margin-top: 2px;
}

/* Model Cards in Right Sidebar (.rside-model-stack, .model-card) */
.rside-model-stack {
  display: flex;
  flex-direction: column;
  gap: 8px;
}
.model-card {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 9px;
  padding: 10px 12px;
  display: flex;
  flex-direction: column;
  gap: 7px;
  position: relative;
  transition: border-color var(--dur-fast) var(--ease-out);
}
.model-card:hover { border-color: var(--edge-strong); }
.model-card.preview {
  border-color: color-mix(in srgb, var(--peach) 45%, transparent);
  background: color-mix(in srgb, var(--peach) 4%, transparent);
}
.model-preview-pill {
  font-size: 10px;
  font-weight: 600;
  color: var(--peach);
  background: color-mix(in srgb, var(--peach) 16%, transparent);
  border: 1px solid color-mix(in srgb, var(--peach) 35%, transparent);
  border-radius: 4px;
  padding: 0.5px 5px;
}
.model-card-top {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 8px;
}
.model-card-idwrap {
  min-width: 0;
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.model-provider-row {
  display: flex;
  align-items: center;
  gap: 6px;
  flex-wrap: wrap;
}
.model-provider {
  font-size: 10.5px;
  font-weight: 600;
  color: var(--peach);
  background: var(--peach-bg);
  border-radius: 4px;
  padding: 1px 6px;
  font-family: var(--font-code);
}
.model-tool-badge {
  font-size: 10.5px;
  font-weight: 500;
  padding: 1px 6px;
  border-radius: 4px;
}
.model-tool-badge.ok {
  background: var(--ok-bg);
  color: var(--ok);
}
.model-tool-badge.bad {
  background: var(--bad-bg);
  color: var(--bad);
}
.model-card-name {
  font-size: 13px;
  font-weight: 600;
  color: var(--text);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.model-card-slug {
  font-family: var(--font-code);
  font-size: 11.5px;
  color: var(--dim);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.model-card-rm {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 6px;
  width: 22px;
  height: 22px;
  display: grid;
  place-items: center;
  color: var(--dim);
  cursor: pointer;
  flex-shrink: 0;
  font-size: 13px;
  line-height: 1;
  transition: all var(--dur-fast) var(--ease-out);
}
.model-card-rm:hover {
  color: var(--bad);
  border-color: var(--bad);
  background: var(--bad-bg);
}
.model-card-specs {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 6px;
  padding-top: 6px;
  border-top: 1px solid var(--edge);
  font-variant-numeric: tabular-nums;
}
.model-spec {
  display: flex;
  flex-direction: column;
  gap: 1px;
}
.model-spec-lbl {
  font-size: 10.5px;
  color: var(--faint);
}
.model-spec-val {
  font-size: 12px;
  font-weight: 500;
  color: var(--text);
  font-family: var(--font-code);
}
.model-card-desc {
  font-size: 11.5px;
  color: var(--dim);
  line-height: 1.4;
  display: -webkit-box;
  -webkit-line-clamp: 2;
  -webkit-box-orient: vertical;
  overflow: hidden;
}

/* Command bar / Prompt */
.prompt {
  border: 1px solid var(--edge-strong);
  background: var(--panel);
  border-radius: 12px;
  padding: 13px 16px 11px;
  display: grid;
  gap: 12px;
  position: relative;
  box-shadow: var(--shadow-card);
  transition: border-color var(--dur-fast) var(--ease-out), box-shadow var(--dur-fast) var(--ease-out);
}
.prompt:focus-within {
  border-color: color-mix(in srgb, var(--peach) 55%, transparent);
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--peach) 8%, transparent), var(--shadow-card);
}
.prompt input.ask {
  background: none;
  border: 0;
  outline: none;
  width: 100%;
  padding: 0;
  color: var(--text);
  font-size: 13.5px;
}
.prompt input.ask::placeholder { color: var(--faint); }
.prompt .bar {
  display: flex;
  gap: 10px;
  align-items: center;
  flex-wrap: wrap;
  padding-top: 8px;
  border-top: 1px solid var(--edge);
}
.prompt .bar .sel {
  background: color-mix(in srgb, var(--text) 3%, transparent);
  border: 1px solid var(--edge);
  border-radius: 7px;
  color: var(--text);
  padding: 4px 10px;
  font-size: 12.5px;
  font-weight: 500;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  transition: background-color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out);
}
.prompt .bar .sel:hover {
  background: var(--panel2);
  border-color: var(--edge-strong);
}
.go {
  margin-left: auto;
  height: 30px;
  padding: 0 14px;
  border-radius: 7px;
  background: var(--panel2);
  color: var(--dim);
  border: 1px solid var(--edge);
  display: inline-flex;
  align-items: center;
  gap: 6px;
  font-size: 12.5px;
  font-weight: 600;
  cursor: pointer;
  transition: all var(--dur-fast) var(--ease-out);
}
.go.on {
  background: var(--peach);
  color: var(--on-accent);
  border-color: var(--peach);
  box-shadow: 0 2px 10px color-mix(in srgb, var(--peach) 25%, transparent);
}
.go.on:hover {
  background: color-mix(in srgb, var(--peach) 85%, var(--text));
  transform: translateY(-1px);
}
.go:disabled { opacity: 0.5; cursor: default; transform: none; }

/* Slash command autocomplete popup */
.cmds {
  position: absolute;
  left: 0;
  right: 0;
  bottom: calc(100% + 8px);
  background: var(--pop);
  border: 1px solid var(--edge-strong);
  border-radius: 10px;
  padding: 6px;
  display: grid;
  gap: 2px;
  z-index: 50;
  box-shadow: var(--shadow-pop);
  animation: popUp var(--dur-fast) var(--ease-out);
}
.cmds button {
  background: none;
  border: 0;
  text-align: left;
  padding: 7px 10px;
  border-radius: 6px;
  display: grid;
  grid-template-columns: minmax(200px, max-content) minmax(0, 1fr);
  gap: 16px;
  align-items: baseline;
  cursor: pointer;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.cmds button.on, .cmds button:hover { background: var(--hover); }
.cmds .m { color: var(--peach); white-space: nowrap; }
.cmds span:last-child { color: var(--dim); font-size: 12.5px; }

.note { font-size: 13px; color: var(--dim); }
.note.err { color: var(--bad); }
.banner {
  border: 1px solid var(--edge);
  border-left: 3px solid var(--bad);
  background: var(--panel);
  border-radius: 8px;
  padding: 11px 15px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  flex-wrap: wrap;
}
.banner.warn { border-left-color: var(--peach); }
.banner .why {
  color: var(--dim);
  font-size: 12px;
  font-family: var(--font-code);
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  flex-basis: 100%;
}
.empty { color: var(--dim); padding: 40px 30px; max-width: 64ch; line-height: 1.6; }
.empty b { color: var(--text); font-weight: 500; }

/* OpenRouter Model Picker with live Model Card preview */
.picker {
  border: 1px solid var(--edge-strong);
  background: var(--pop);
  border-radius: 12px;
  display: grid;
  max-height: 460px;
  grid-template-rows: auto auto minmax(0, 1fr) auto;
  overflow: hidden;
  box-shadow: var(--shadow-pop);
  animation: popIn var(--dur-med) var(--ease-out);
}
.picker-top {
  display: flex;
  align-items: center;
  border-bottom: 1px solid var(--edge);
  padding: 2px 10px 2px 14px;
  gap: 10px;
}
.picker-top input {
  background: none;
  border: 0;
  padding: 9px 0;
  outline: none;
  flex: 1 1 auto;
  font-size: 13px;
}
.picker-close {
  background: var(--panel2);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 3px 8px;
  font-size: 11.5px;
  color: var(--dim);
  cursor: pointer;
}
.picker-close:hover { color: var(--text); border-color: var(--edge-strong); }
.picker-preview {
  padding: 10px 14px;
  background: var(--panel);
  border-bottom: 1px solid var(--edge);
}
.picker .list { overflow: auto; }
.picker table { width: 100%; border-collapse: collapse; font-size: 12.5px; font-variant-numeric: tabular-nums; }
.picker th {
  position: sticky;
  top: 0;
  background: var(--pop);
  color: var(--faint);
  font-weight: 500;
  text-align: left;
  padding: 7px 12px;
  border-bottom: 1px solid var(--edge);
  z-index: 2;
}
.picker .sort-th {
  all: unset;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 3px;
  border-radius: 4px;
}
.picker .sort-th:hover, .picker .sort-th.on { color: var(--text); }
.picker .sort-th:focus-visible { outline: 2px solid var(--edge-strong); outline-offset: 2px; }
.picker .sort-arrow { font-size: 10.5px; opacity: .55; }
.picker .sort-th.on .sort-arrow { opacity: 1; }
.picker td { padding: 0; border-bottom: 1px solid color-mix(in srgb, var(--edge) 65%, transparent); }
.picker td button {
  all: unset;
  display: block;
  width: 100%;
  box-sizing: border-box;
  padding: 7px 12px;
  cursor: pointer;
}
.picker tr { transition: background-color var(--dur-fast) var(--ease-out); }
.picker tr:hover td, .picker tr:focus-within td, .picker tr.active-row td { background: var(--hover); }
.picker tr.selected-row td { background: color-mix(in srgb, var(--ok) 6%, transparent); }
.picker td:first-child button { font-family: var(--font-code); overflow-wrap: anywhere; }
.picker .num { text-align: right; white-space: nowrap; }
.picker .foot {
  padding: 7px 14px;
  color: var(--faint);
  font-size: 11.5px;
  border-top: 1px solid var(--edge);
  background: var(--panel);
  display: flex;
  justify-content: space-between;
  gap: 8px;
  flex-wrap: wrap;
}

/* Arm Guide / Hint Bar on Matrix & Compare views */
.arm-guide {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
  gap: 8px;
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 10px;
  padding: 10px 12px;
}
.arm-guide-item {
  display: flex;
  flex-direction: column;
  gap: 2px;
  padding: 4px 8px;
  border-left: 2px solid var(--blue);
  min-width: 0;
}
.arm-guide-item.kavach-tone { border-left-color: var(--peach); }
.arm-guide-head {
  display: flex;
  align-items: center;
  gap: 6px;
}
.arm-guide-name {
  font-family: var(--font-code);
  font-size: 12px;
  font-weight: 600;
  color: var(--text);
}
.arm-guide-tag {
  font-size: 10.5px;
  color: var(--dim);
  background: var(--panel2);
  border-radius: 4px;
  padding: 0 5px;
}
.arm-guide-desc {
  font-size: 11.5px;
  color: var(--dim);
  line-height: 1.38;
}

/* Matrix and Compare Tables */
.tablewrap {
  overflow-x: auto;
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 10px;
}
table.mx {
  border-collapse: collapse;
  width: 100%;
  font-variant-numeric: tabular-nums;
  font-size: 13px;
}
.mx th {
  text-align: left;
  color: var(--dim);
  font-weight: 500;
  font-size: 12px;
  padding: 10px 12px;
  border-bottom: 1px solid var(--edge);
  background: color-mix(in srgb, var(--text) 1.5%, transparent);
  white-space: nowrap;
}
.mx th .th-hint {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  cursor: help;
  border-bottom: 1px dotted var(--faint);
}
.mx td {
  padding: 10px 12px;
  border-bottom: 1px solid var(--edge);
  white-space: nowrap;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.mx tbody tr:last-child td { border-bottom: 0; }
.mx tbody tr:hover td { background: color-mix(in srgb, var(--text) 2%, transparent); }
.mx td:first-child {
  white-space: normal;
  word-break: break-word;
  min-width: 150px;
  font-weight: 500;
}
.mx tr.sel td { background: color-mix(in srgb, var(--peach) 7%, transparent); }
.mx .sub { color: var(--faint); font-size: 11.5px; margin-left: 6px; }

.dots { display: inline-flex; gap: 7px; flex-wrap: wrap; align-items: center; }
.dots button {
  --s: 16px;
  padding: 0;
  cursor: pointer;
  transition: transform var(--dur-fast) var(--ease-out), box-shadow var(--dur-fast) var(--ease-out);
}
.dots button:hover { transform: scale(1.15); }
.dots button::after { content: ""; position: absolute; inset: -5px; }
.dots button.on {
  box-shadow: 0 0 0 2px var(--panel), 0 0 0 3.5px var(--text);
  transform: scale(1.08);
}

.legend {
  color: var(--dim);
  font-size: 12.5px;
  display: flex;
  gap: 14px;
  flex-wrap: wrap;
  align-items: center;
}
.legend i { --s: 12px; margin-right: 6px; vertical-align: -2px; }

/* Attempt status marks: a tick, a cross, and while it runs Claude's glyph
   spinner. */
.st {
  --s: 14px;
  width: var(--s);
  height: var(--s);
  flex: none;
  box-sizing: border-box;
  border-radius: calc(var(--s) * 0.28);
  border: 1.5px solid var(--faint);
  background: none;
  color: var(--app);
  position: relative;
  display: inline-grid;
  place-items: center;
}
.st::before { content: ""; width: 100%; height: 100%; }
.st.pass { background: var(--ok); border-color: var(--ok); }
.st.fail { background: var(--bad); border-color: var(--bad); }
.st.error { border-color: var(--bad); border-style: dashed; color: var(--bad); }
.st.pass::before, .st.fail::before, .st.error::before {
  background: currentColor;
  -webkit-mask: var(--glyph) center / 100% no-repeat;
  mask: var(--glyph) center / 100% no-repeat;
}
.st.pass { --glyph: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M4 8.4l2.6 2.6L12 5.4' fill='none' stroke='%23000' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E"); }
.st.fail { --glyph: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M5 5l6 6M11 5l-6 6' fill='none' stroke='%23000' stroke-width='2.2' stroke-linecap='round'/%3E%3C/svg%3E"); }
.st.error { --glyph: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M8 4.2v4.6' fill='none' stroke='%23000' stroke-width='2' stroke-linecap='round'/%3E%3Ccircle cx='8' cy='11.6' r='1.2'/%3E%3C/svg%3E"); }
.st.running { border-color: transparent; color: var(--peach); }
.st.running::before {
  content: "·";
  width: auto;
  height: auto;
  font: 600 calc(var(--s) * 1.05) / 1 var(--font-ui);
  text-shadow: 0 0 calc(var(--s) * 0.5) currentColor;
  animation: st-glyph 1.2s steps(1) infinite, st-hue 3.6s ease-in-out infinite;
}
@keyframes st-glyph {
  0% { content: "·"; }
  10% { content: "✢"; }
  20% { content: "✳"; }
  30% { content: "✶"; }
  40% { content: "✻"; }
  50% { content: "✽"; }
  60% { content: "✻"; }
  70% { content: "✶"; }
  80% { content: "✳"; }
  90% { content: "✢"; }
}
@keyframes st-hue {
  0%, 100% { color: var(--peach); }
  33% { color: var(--bad-soft); }
  66% { color: var(--warn); }
}

.pill.musing { display: inline-flex; align-items: center; gap: 6px; padding-left: 6px; }
.pill.musing .st { --s: 12px; }
.pill.musing .verb {
  background: linear-gradient(90deg, var(--peach) 35%, color-mix(in srgb, var(--peach) 30%, var(--pop)) 50%, var(--peach) 65%) 0 0 / 300% 100%;
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
  animation: st-shimmer 2.4s linear infinite;
}
@keyframes st-shimmer {
  from { background-position: 100% 0; }
  to { background-position: 0 0; }
}
.side-run .st { --s: 13px; }

/* Attempt & Compare Tiles (.kcard) */
.pill {
  font-size: 11px;
  font-weight: 600;
  padding: 2px 8px;
  border-radius: 99px;
  white-space: nowrap;
  flex-shrink: 0;
  font-variant-numeric: tabular-nums;
  letter-spacing: 0.02em;
}
.pill.pass { background: var(--ok-bg); color: var(--ok); border: 1px solid color-mix(in srgb, var(--ok) 25%, transparent); }
.pill.fail, .pill.error { background: var(--bad-bg); color: var(--bad); border: 1px solid color-mix(in srgb, var(--bad) 25%, transparent); }
.pill.running { background: var(--peach-bg); color: var(--peach); border: 1px solid color-mix(in srgb, var(--peach) 25%, transparent); }
.pill.queued { background: var(--panel2); color: var(--dim); border: 1px solid var(--edge); }

.stats { color: var(--dim); font-size: 12.5px; font-variant-numeric: tabular-nums; }
.err-line {
  color: var(--bad);
  font-family: var(--font-code);
  font-size: 12px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  background: var(--bad-bg);
  border: 1px solid color-mix(in srgb, var(--bad) 25%, transparent);
  border-radius: 6px;
  padding: 6px 10px;
}
.warn-line {
  color: var(--warn);
  font-size: 12.5px;
  background: var(--warn-bg);
  border: 1px solid color-mix(in srgb, var(--warn) 28%, transparent);
  border-radius: 6px;
  padding: 6px 10px;
}
.warn-line b { color: var(--text); font-weight: 500; }
details.err-more > summary { cursor: pointer; }
details.err-more > pre {
  margin: 6px 0 0;
  max-height: 240px;
  overflow: auto;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  font: inherit;
  color: var(--dim);
}


.kcard {
  border: 1px solid var(--edge);
  border-left: 3px solid var(--peach);
  border-radius: 10px;
  padding: 13px 15px;
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 8px;
  background: var(--panel);
  min-width: 0;
  align-content: start;
  flex: none;
  box-shadow: var(--shadow-card);
  transition: border-color var(--dur-fast) var(--ease-out), transform var(--dur-fast) var(--ease-out);
}
.kcard:hover { border-color: var(--edge-strong); }
.kcard.arm-control, .kcard.arm-workflow { border-left-color: var(--blue); }
.kcard.arm-kavach, .kcard.arm-kavach-implement { border-left-color: var(--peach); }
.kcard.fail, .kcard.error { border-left-color: var(--bad); }

.kcard-arm-hint {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  padding-bottom: 6px;
  border-bottom: 1px solid var(--edge);
  font-size: 11.5px;
}
.arm-pill {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  font-family: var(--font-code);
  font-size: 11px;
  font-weight: 600;
  padding: 1.5px 7px;
  border-radius: 5px;
  background: var(--peach-bg);
  color: var(--peach);
}
.arm-pill.blue {
  background: var(--blue-bg);
  color: var(--blue);
}
.arm-hint-text {
  color: var(--dim);
  font-size: 11.5px;
  flex: 1 1 auto;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.hint-icon {
  width: 17px;
  height: 17px;
  border-radius: 50%;
  border: 1px solid var(--edge-strong);
  background: var(--panel2);
  color: var(--dim);
  font-size: 10.5px;
  font-weight: 600;
  display: inline-grid;
  place-items: center;
  cursor: help;
  flex-shrink: 0;
}
.hint-icon:hover {
  color: var(--text);
  border-color: var(--peach);
}

/* Steps timeline in Attempt Inspector */
.steps {
  display: flex;
  flex-direction: column;
  gap: 8px;
  overflow: auto;
  flex: 1 1 0;
  min-height: 240px;
  padding: 4px 4px 8px 0;
}
.step { color: var(--dim); font-size: 13px; min-width: 0; }
.step summary, .step .line {
  display: grid;
  grid-template-columns: 58px minmax(0, 1fr) auto;
  gap: 10px;
  align-items: baseline;
  list-style: none;
  cursor: default;
  padding: 4px 8px;
  border-radius: 6px;
  transition: background-color var(--dur-fast) var(--ease-out);
}
.step summary { cursor: pointer; }
.step summary::-webkit-details-marker { display: none; }
.step summary:hover { background: var(--hover); }
.step .k { color: var(--text); font-weight: 500; font-size: 12.5px; }
.step .t { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.step[open] .t, .step details[open] .t { white-space: pre-wrap; overflow-wrap: anywhere; }
.step .ts { color: var(--faint); font-size: 11.5px; font-variant-numeric: tabular-nums; }
.step .x { color: var(--bad); font-size: 11.5px; margin-left: 8px; }
.step pre {
  margin: 4px 0 6px 68px;
  background: var(--bar);
  border: 1px solid var(--edge);
  border-radius: 7px;
  padding: 8px 11px;
  max-height: 300px;
  overflow: auto;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  color: var(--text-2);
  font-size: 12px;
}

/* Agent Markdown Message Step — fixed selectors matching app.js */
.step.text {
  border: 1px solid var(--edge);
  border-left: 3px solid var(--edge-strong);
  border-radius: 8px;
  background: var(--panel);
  padding: 10px 14px;
  color: var(--text);
}
.step.text .step-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 8px;
  margin-bottom: 6px;
  font-size: 12px;
  color: var(--dim);
}
.step.text .step-head .k,
.step.text .step-head .who {
  font-weight: 600;
  color: var(--dim);
}
.step.text .step-head .k { display: inline-flex; align-items: center; gap: 6px; }
.lab-mark { width: 13px; height: 13px; flex: none; vertical-align: -2px; }
.step-head .lab-mark { color: var(--text); opacity: 0.85; }
.chip .lab-mark { margin-right: 6px; }
.picker td:first-child button { display: flex; align-items: flex-start; gap: 7px; }
.picker td .lab-mark { margin-top: 2px; color: var(--text); }
.model-provider { display: inline-flex; align-items: center; gap: 5px; }
.model-cell { display: inline-flex; align-items: center; gap: 8px; min-width: 0; }
.model-cell .lab-mark { width: 14px; height: 14px; color: var(--text); }
.model-provider .lab-mark { width: 11px; height: 11px; }
.lab-mark.mono {
  display: inline-grid;
  place-items: center;
  border-radius: 3px;
  background: var(--panel3);
  font-size: 9px;
  font-weight: 700;
  line-height: 1;
}
.step.text .step-toggle,
.step.text .step-tog {
  background: var(--panel2);
  border: 1px solid var(--edge);
  border-radius: 5px;
  padding: 2px 8px;
  font-size: 11px;
  color: var(--dim);
  cursor: pointer;
  margin-left: auto;
  transition: all var(--dur-fast) var(--ease-out);
}
.step.text .step-toggle:hover,
.step.text .step-tog:hover {
  color: var(--text);
  border-color: var(--edge-strong);
  background: var(--panel3);
}
.step.text .say {
  color: var(--text);
  line-height: 1.55;
  margin: 0;
  overflow-wrap: anywhere;
  display: flex;
  flex-direction: column;
  gap: 6px;
}
.step.text .say.collapsed,
.step.text .say.clamped {
  max-height: 115px;
  overflow: hidden;
  position: relative;
}
.step.text .say.collapsed::after,
.step.text .say.clamped::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: 0;
  height: 38px;
  background: linear-gradient(transparent, var(--panel));
  pointer-events: none;
}

/* Markdown Typography inside .say and .task-spec-body */
.md-h { font-size: 13.5px; font-weight: 600; color: var(--text); margin: 4px 0 0; }
.md p, .md-p { margin: 0; white-space: pre-wrap; }
.md-list, .md-ul, .md-ol {
  margin: 0;
  padding-left: 18px;
  display: flex;
  flex-direction: column;
  gap: 3px;
}
.md-list li, .md-ul li, .md-ol li { line-height: 1.5; }
.md code, .md-code {
  font-family: var(--font-code);
  font-size: 12px;
  background: color-mix(in srgb, var(--text) 6%, transparent);
  border: 1px solid var(--edge);
  border-radius: 4px;
  padding: 1px 5px;
  color: var(--peach);
}
.md-pre {
  margin: 2px 0 !important;
  background: var(--bar) !important;
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 8px 10px;
  overflow: auto;
  white-space: pre;
  font-family: var(--font-code);
  font-size: 12px;
  color: var(--text-2);
}
.md blockquote, .md-q {
  margin: 0;
  padding-left: 10px;
  border-left: 2px solid var(--faint);
  color: var(--dim);
}
.md-table, .md-tbl {
  border-collapse: collapse;
  width: 100%;
  font-size: 12px;
  margin: 2px 0;
}
.md-table th, .md-table td, .md-tbl th, .md-tbl td {
  border: 1px solid var(--edge);
  padding: 4px 8px;
  text-align: left;
}
.md-table th, .md-tbl th {
  background: var(--panel2);
  color: var(--dim);
  font-weight: 500;
}

.step.error .k, .step.error .t { color: var(--bad); }
.step.kavach {
  border: 1px solid color-mix(in srgb, var(--peach) 30%, transparent);
  border-left: 3px solid var(--peach);
  border-radius: 8px;
  background: color-mix(in srgb, var(--peach) 4%, transparent);
  padding: 5px 8px;
}
.step.kavach .k { color: var(--peach); font-weight: 600; }
.step.kavach .t { color: var(--text); }
.step.kavach summary { padding: 2px 0; }
.step .diff { margin: 4px 0 6px 68px; }
.step .verdict {
  margin: 2px 0 2px 68px;
  display: flex;
  gap: 8px;
  align-items: center;
  flex-wrap: wrap;
  font-size: 12.5px;
}

.diff {
  font-family: var(--font-code);
  font-size: 12px;
  border: 1px solid var(--edge);
  border-radius: 7px;
  overflow: auto;
  max-height: 250px;
  margin-top: 6px;
  background: var(--bar);
}
.diff div { white-space: pre; padding: 0 10px; min-width: max-content; }
.diff .a { background: var(--add); color: var(--add-text); }
.diff .d { background: var(--del); color: var(--del-text); }
.diff .hh { color: var(--blue); }
.diff .fh { color: var(--faint); }

details.patch, details.oc { min-width: 0; max-width: 100%; flex: none; }
details.patch > summary, details.oc > summary { cursor: pointer; list-style: none; }
details.patch > summary::-webkit-details-marker, details.oc > summary::-webkit-details-marker { display: none; }
details.patch > summary { color: var(--dim); font-size: 12.5px; font-weight: 500; }
details.patch > summary::before { content: "▸ "; }
details.patch[open] > summary::before { content: "▾ "; }

.actions { display: flex; gap: 10px; flex-wrap: wrap; align-items: flex-start; flex: none; }
.actions > details { min-width: 0; max-width: 100%; }
.actions > details[open] { flex-basis: 100%; }

.btn {
  border: 1px solid var(--edge-strong);
  border-radius: 7px;
  padding: 4px 12px;
  font-size: 12.5px;
  font-weight: 500;
  color: var(--text);
  background: var(--panel2);
  cursor: pointer;
  text-decoration: none;
  white-space: nowrap;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  transition: all var(--dur-fast) var(--ease-out);
}
.btn:hover { border-color: var(--edge-hover); background: var(--panel3); color: var(--text); }
.btn.blue { border-color: color-mix(in srgb, var(--blue) 45%, transparent); color: var(--blue); background: var(--blue-bg); }
.btn.blue:hover { border-color: var(--blue); background: color-mix(in srgb, var(--blue) 20%, transparent); }
.btn.peach { border-color: color-mix(in srgb, var(--peach) 50%, transparent); color: var(--peach); background: var(--peach-bg); }
.btn.peach:hover { border-color: var(--peach); background: color-mix(in srgb, var(--peach) 20%, transparent); }
.btn.danger { border-color: color-mix(in srgb, var(--bad) 50%, transparent); color: var(--bad); background: var(--bad-bg); }
.btn:disabled { opacity: 0.5; cursor: default; }

.cmd { margin-top: 8px; display: grid; gap: 8px; font-size: 12.5px; color: var(--dim); }
.cmd pre {
  margin: 0;
  background: var(--bar);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 8px 10px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  color: var(--text);
}
.confirm {
  border: 1px solid var(--edge);
  border-left: 3px solid var(--bad);
  border-radius: 8px;
  padding: 12px 16px;
  display: grid;
  gap: 10px;
  background: var(--panel);
  flex-basis: 100%;
}

/* Results / Compare Cards Grid */
/* Attempts board on the compare page: a column per stage. */
.kanban {
  display: grid;
  grid-template-columns: repeat(4, minmax(260px, 1fr));
  gap: 12px;
  align-items: start;
  overflow-x: auto;
  padding-bottom: 4px;
}
.kcol {
  display: flex;
  flex-direction: column;
  gap: 10px;
  min-width: 0;
  padding: 10px;
  border: 1px solid var(--edge);
  border-radius: 12px;
  background: var(--panel2);
}
.kcol-head {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 2px 4px;
  font-size: 12.5px;
  font-weight: 600;
  color: var(--text);
}
.kcol-dot { width: 8px; height: 8px; border-radius: 50%; background: var(--faint); flex: none; }
.kcol.running .kcol-dot { background: var(--peach); }
.kcol.passed .kcol-dot { background: var(--ok); }
.kcol.failed .kcol-dot { background: var(--bad); }
.kcol-count {
  margin-left: auto;
  font-family: var(--font-code);
  font-size: 11px;
  font-weight: 500;
  color: var(--dim);
  padding: 0 7px;
  border: 1px solid var(--edge);
  border-radius: 99px;
  background: var(--panel);
}
.kcol-empty { color: var(--faint); font-size: 12.5px; padding: 14px 4px; text-align: center; }
.kcard.queued { box-shadow: none; border-style: dashed; }
.kcard.queued .title b { font-weight: 500; }
.mx td .dot.run { display: inline-block; margin-right: 6px; vertical-align: 1px; }

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(min(310px, 100%), 1fr));
  gap: 14px;
  align-items: start;
}
.kcard .title {
  display: flex;
  gap: 8px;
  align-items: center;
  min-width: 0;
  padding: 0;
  font-weight: 400;
  max-width: 100%;
}
.kcard .title:hover { background: none; border-color: transparent; }
.kcard .title b {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  font-weight: 600;
  font-size: 13.5px;
}
/* Board columns are narrow: the name wraps under the status pill. */
.kcol .kcard .title { flex-wrap: wrap; row-gap: 6px; }
.kcol .kcard .title b { white-space: normal; overflow-wrap: anywhere; }
.kcol .kcard.queued .title { flex-wrap: nowrap; align-items: flex-start; }
.kcol .kcard.queued .title .lab-mark { margin-top: 3px; flex: none; }
.kcard .dim { overflow-wrap: anywhere; font-size: 12.5px; }
.kcard .links {
  display: flex;
  gap: 14px;
  flex-wrap: wrap;
  font-size: 12.5px;
  margin-top: 4px;
  padding-top: 6px;
  border-top: 1px solid var(--edge);
  align-items: baseline;
}
.kcard .links a, .kcard .links > details > summary {
  color: var(--blue);
  text-decoration: none;
  font-weight: 500;
}
.kcard .links a:hover, .kcard .links > details > summary:hover { text-decoration: underline; }
.kcard .links > details { min-width: 0; max-width: 100%; }
.kcard details.oc[open], .kcard details.patch[open] { flex-basis: 100%; }

/* Settings modal: a rail of tabs and one scrolling panel, after Antigravity's settings. */
.modal-backdrop {
  position: fixed;
  inset: 0;
  z-index: 100;
  background: color-mix(in srgb, var(--scrim) 72%, transparent);
  backdrop-filter: blur(4px);
  display: grid;
  place-items: center;
  padding: 24px;
  animation: fadeIn var(--dur-fast) var(--ease-out);
}
.settings-modal {
  position: relative;
  width: min(940px, 100%);
  height: min(660px, 100%);
  background: var(--app);
  border: 1px solid var(--edge-strong);
  border-radius: 14px;
  box-shadow: var(--shadow-pop);
  display: grid;
  grid-template-columns: 208px minmax(0, 1fr);
  overflow: hidden;
  animation: modalIn var(--dur-med) var(--ease-out);
}
.settings-rail {
  background: var(--bar);
  border-right: 1px solid var(--edge);
  padding: 16px 10px 12px;
  display: flex;
  flex-direction: column;
  min-height: 0;
}
.settings-rail-title {
  margin: 0 0 8px;
  padding: 0 10px;
  font-size: 12px;
  font-weight: 500;
  color: var(--faint);
}
.settings-tabs {
  flex: 1 1 auto;
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.settings-tabs-gap { flex: 1 1 auto; }
.settings-tab {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  width: 100%;
  padding: 7px 10px;
  border: 0;
  border-radius: 7px;
  background: transparent;
  color: var(--dim);
  font: inherit;
  font-size: 13.5px;
  text-align: left;
  cursor: pointer;
  transition: background-color var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);
}
.settings-tab:hover { background: var(--panel); color: var(--text); }
.settings-tab.on { background: var(--panel3); color: var(--text); font-weight: 500; }
.settings-tab.on::before {
  content: "";
  position: absolute;
  left: 0;
  top: 8px;
  bottom: 8px;
  width: 2px;
  border-radius: 2px;
  background: var(--peach);
}
.settings-tab:focus-visible,
.settings-close:focus-visible,
.seg button:focus-visible,
.link-btn:focus-visible {
  outline: 2px solid var(--peach);
  outline-offset: -2px;
}
.modal-backdrop:not([data-kbd]) .settings-tab:focus-visible { outline: none; }
.settings-tab-dot {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--peach);
  flex-shrink: 0;
}
.settings-pane {
  overflow-y: auto;
  padding: 30px 44px 36px;
  display: flex;
  flex-direction: column;
  gap: 26px;
  min-height: 0;
}
.settings-pane > * { width: 100%; max-width: 640px; }
.settings-pane-head h2 {
  margin: 0;
  font-size: 20px;
  font-weight: 600;
  letter-spacing: -0.01em;
}
.settings-pane-head p {
  margin: 5px 0 0;
  font-size: 13px;
  color: var(--dim);
  line-height: 1.45;
}
.settings-close {
  position: absolute;
  top: 14px;
  right: 14px;
  width: 30px;
  height: 30px;
  display: grid;
  place-items: center;
  border: 0;
  border-radius: 7px;
  background: transparent;
  color: var(--dim);
  font-size: 15px;
  cursor: pointer;
}
.settings-close:hover { background: var(--panel3); color: var(--text); }
.settings-group-title {
  margin: 0 0 8px;
  font-size: 13.5px;
  font-weight: 600;
  color: var(--text);
}
.settings-group-note {
  margin: 0 0 10px;
  font-size: 12.5px;
  color: var(--dim);
  line-height: 1.5;
}
.settings-group-note code { overflow-wrap: anywhere; }
.settings-rows {
  background: var(--panel);
  border: 1px solid var(--edge);
  border-radius: 10px;
}
.settings-row {
  padding: 12px 14px;
  display: flex;
  flex-direction: column;
  gap: 9px;
}
.settings-row + .settings-row { border-top: 1px solid var(--edge); }
.settings-row-main {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}
.settings-row-text { min-width: 0; }
.settings-row-label {
  font-size: 13.5px;
  font-weight: 500;
  color: var(--text);
}
.settings-row-label label { cursor: pointer; }
.settings-row-hint {
  margin-top: 2px;
  font-size: 12.5px;
  color: var(--dim);
  line-height: 1.45;
}
.settings-row-control { flex-shrink: 0; }
.settings-editor .seg { flex-wrap: wrap; max-width: 100%; }
.settings-env {
  font-family: var(--font-code);
  font-size: 11.5px;
  color: var(--faint);
}
.settings-path {
  font-family: var(--font-code);
  font-size: 12px;
  color: var(--dim);
  background: var(--bar);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 6px 9px;
  overflow-wrap: anywhere;
}
.settings-cmd {
  font-family: var(--font-code);
  font-size: 12.5px;
  color: var(--peach);
}
.settings-empty { margin: 0; color: var(--dim); font-size: 13px; }
.seg {
  display: inline-flex;
  padding: 2px;
  gap: 2px;
  background: var(--bar);
  border: 1px solid var(--edge);
  border-radius: 8px;
}
.seg button {
  border: 0;
  border-radius: 6px;
  padding: 4px 11px;
  background: transparent;
  color: var(--dim);
  font: inherit;
  font-size: 12.5px;
  white-space: nowrap;
  cursor: pointer;
}
.seg button:hover { color: var(--text); }
.seg button.on {
  background: var(--peach-bg);
  color: var(--peach);
  font-weight: 500;
  box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--peach) 45%, transparent);
}
.settings-num {
  width: 72px;
  background: var(--bar);
  border: 1px solid var(--edge-strong);
  border-radius: 7px;
  padding: 5px 9px;
  color: var(--text);
  font: inherit;
  font-size: 13px;
  text-align: right;
  outline: none;
}
.settings-num:focus { border-color: var(--peach); }
.key-input-row {
  display: flex;
  gap: 8px;
  align-items: center;
}
.key-input-row input {
  flex: 1 1 auto;
  min-width: 0;
  background: var(--bar);
  border: 1px solid var(--edge-strong);
  border-radius: 7px;
  padding: 7px 11px;
  color: var(--text);
  font-family: var(--font-code);
  font-size: 12.5px;
  outline: none;
  transition: border-color var(--dur-fast) var(--ease-out);
}
.key-input-row input:focus { border-color: var(--peach); }
/* Pinned to the bottom of the pane so Save is visible without scrolling. */
.settings-actions {
  position: sticky;
  bottom: -36px;
  margin: -12px 0 -36px;
  padding: 12px 0 24px;
  border-top: 1px solid var(--edge);
  background: var(--app);
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 14px;
  font-size: 12.5px;
}
.key-status { display: inline-flex; align-items: center; gap: 10px; }
.link-btn {
  border: 0;
  padding: 2px 4px;
  border-radius: 5px;
  background: none;
  color: var(--dim);
  font: inherit;
  font-size: 12.5px;
  cursor: pointer;
}
.link-btn.danger:hover { color: var(--bad); }
.settings-actions span:empty { display: none; }
.kbds { display: inline-flex; gap: 4px; }
.kbds kbd {
  min-width: 24px;
  padding: 2px 7px;
  border: 1px solid var(--edge-strong);
  border-bottom-width: 2px;
  border-radius: 6px;
  background: var(--panel2);
  color: var(--text);
  font: inherit;
  font-size: 12px;
  text-align: center;
}
@media (max-width: 680px) {
  .modal-backdrop { padding: 0; }
  .settings-modal {
    height: 100%;
    border-radius: 0;
    grid-template-columns: minmax(0, 1fr);
    grid-template-rows: auto minmax(0, 1fr);
  }
  .settings-rail { border-right: 0; border-bottom: 1px solid var(--edge); padding: 12px 10px 8px; }
  .settings-tabs { flex-direction: row; overflow-x: auto; }
  .settings-tabs-gap { display: none; }
  .settings-tab { width: auto; white-space: nowrap; }
  .settings-tab.on::before { left: 10px; right: 10px; top: auto; bottom: 0; width: auto; height: 2px; }
  .settings-pane { padding: 20px 16px 28px; }
  .settings-actions { bottom: -28px; margin-bottom: -28px; }
  .settings-row-main { flex-wrap: wrap; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

@media (max-width: 1100px) {
  .body, .new-layout { grid-template-columns: minmax(0, 1fr); height: auto; }
  .body > .pane, .new-main, .right-side { overflow: visible; }
  .pane + .pane, .right-side { border-left: 0; border-top: 1px solid var(--edge); }
  .steps { flex: none; max-height: 60vh; }
}
@media (max-width: 900px) {
  .main, .main.noside { grid-template-columns: minmax(0, 1fr); }
  .main .side {
    position: fixed;
    top: 50px;
    bottom: 0;
    left: 0;
    width: min(280px, 85vw);
    z-index: 45;
    box-shadow: 0 0 40px rgba(0, 0, 0, 0.75);
  }
  .main.noside .side, .boot-noside .main .side { display: none; }
  .pane { padding: 20px 16px; }
  .center { padding: 28px 16px 32px; }
  .right .wide { display: none; }
}
@media (max-width: 600px) {
  .logo-mark { height: 26px; }
  .meta > div { grid-template-columns: 64px minmax(0, 1fr); }
  .meta .ic { display: none; }
  .top { gap: 10px; padding-right: 10px; }
  .menu { padding: 0 14px; }
  .right { gap: 10px; }
  .right > span:not(:first-child) { display: none; }
  .step pre, .step .verdict, .step .diff { margin-left: 0; }
}

/* Invariants views (invariants.js). Green is held, red is a trip, violet
   marks the variant a person picked. */
.lamp {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  flex: none;
  display: inline-block;
  background: var(--ok);
}
.lamp.trip { background: linear-gradient(135deg, var(--bad) 50%, var(--ok) 50%); }
.lamp.broke { background: var(--bad); box-shadow: 0 0 0 3px color-mix(in srgb, var(--bad) 20%, transparent); }
.lamp.traffic { background: transparent; border: 1.5px solid var(--ok); }
.lamp.unreached { background: transparent; border: 1.5px solid var(--faint); }
.lamp.missing { background: repeating-linear-gradient(45deg, var(--faint) 0 2px, transparent 2px 4px); border: 1px solid var(--faint); }

.inv-band {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 8px 14px;
  padding: 9px 12px;
  border: 1px solid var(--edge);
  border-radius: 10px;
  background: var(--panel);
  text-align: left;
  cursor: pointer;
  transition: border-color var(--dur-fast) var(--ease-out);
}
.inv-band:hover { border-color: var(--edge-strong); }
.inv-band-lamps { display: flex; flex-wrap: wrap; gap: 4px 12px; min-width: 0; }
.inv-band-inv { display: inline-flex; align-items: center; gap: 6px; font-size: 12px; }
.inv-band-inv .m { font-size: 11.5px; color: var(--text); }
.inv-band-meta { display: flex; align-items: center; gap: 12px; color: var(--faint); font-size: 11.5px; }
.rounds, .streak { display: inline-flex; align-items: center; gap: 3px; }
.rounds i {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  border: 1px solid var(--edge-strong);
}
.rounds i.pass { background: var(--ok); border-color: var(--ok); }
.rounds i.fail { background: var(--bad); border-color: var(--bad); }
.rounds i.trip { background: linear-gradient(135deg, var(--bad) 50%, transparent 50%); border-color: var(--bad); }
.rounds i.unreached { border-color: var(--dim); }
.rounds i.pending { background: var(--peach); border-color: var(--peach); }
.streak i { width: 10px; height: 4px; border-radius: 2px; background: var(--edge-strong); }
.streak i.on { background: var(--peach); }
.streak i:last-of-type { margin-right: 4px; }

.insp-tabs { height: 34px; border-bottom: 1px solid var(--edge); flex: none; }
.aux-tab-badge.ok { color: var(--ok); border-color: color-mix(in srgb, var(--ok) 30%, transparent); }
.aux-tab-badge.bad { color: var(--bad-soft); border-color: color-mix(in srgb, var(--bad) 30%, transparent); }
.aux-tab.on .aux-tab-badge.bad { background: var(--bad-bg); color: var(--bad-soft); border-color: color-mix(in srgb, var(--bad) 35%, transparent); }

.invs {
  display: flex;
  flex-direction: column;
  gap: 14px;
  overflow: auto;
  flex: 1 1 0;
  min-height: 240px;
  padding-right: 2px;
}
.inv-check {
  display: flex;
  flex-direction: column;
  gap: 4px;
  padding: 10px 12px;
  background: var(--panel2);
  border: 1px solid var(--edge);
  border-radius: 8px;
  font-size: 12.5px;
}
.inv-check-row { display: flex; justify-content: space-between; align-items: center; gap: 8px; }
.inv-check-row > .m { min-width: 0; overflow-wrap: anywhere; }
.inv-stepper { display: inline-flex; align-items: center; gap: 4px; font-size: 11.5px; flex: none; }
.chip-btn {
  width: 22px;
  height: 22px;
  border-radius: 6px;
  border: 1px solid var(--edge);
  background: var(--bar);
  color: var(--dim);
  cursor: pointer;
  line-height: 1;
}
.chip-btn:hover:not(:disabled) { color: var(--text); border-color: var(--edge-strong); }
.chip-btn:disabled { opacity: 0.35; cursor: default; }
.inv-detail {
  display: block;
  background: var(--app);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 7px 9px;
  font-size: 11.5px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  color: var(--dim);
}
.inv-detail.bad { color: var(--bad-soft); }
.inv-empty { font-size: 12.5px; max-width: 60ch; }

.inv-sec-box { display: flex; flex-direction: column; gap: 8px; }
.inv-sec-head { display: flex; justify-content: space-between; align-items: center; gap: 8px; font-size: 11.5px; }
.inv-sec { color: var(--dim); font-size: 12px; font-weight: 500; }
.inv-sec-head .seg button { padding: 2px 9px; font-size: 11.5px; }
.inv-hint { margin: 0; font-size: 11px; color: var(--faint); max-width: 64ch; }
.inv-hint .inv-src-note { color: var(--faint); }
.inv-hint .inv-src-note.warn { color: var(--peach); }

.radars { display: grid; grid-template-columns: repeat(auto-fit, minmax(118px, 1fr)); gap: 6px; }
.radar {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 2px;
  padding: 6px 4px 8px;
  border-radius: 10px;
  border: 1px solid var(--edge);
  background: var(--sunken);
  min-width: 0;
  cursor: pointer;
  transition: border-color var(--dur-fast) var(--ease-out);
}
.radar:hover { border-color: var(--edge-strong); }
.radar.on { border-color: var(--peach); background: color-mix(in srgb, var(--peach) 5%, transparent); }
.radar svg { display: block; overflow: visible; }
.radar-name {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  font-size: 11px;
  font-weight: 600;
  max-width: 100%;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.radar-note { font-size: 10.5px; color: var(--faint); text-align: center; }
.radar-note.bad { color: var(--bad-soft); }
.r-grid { fill: none; stroke: var(--edge-strong); stroke-width: 1; }
.r-hi { stroke: var(--peach); stroke-width: 1.8; stroke-dasharray: 3 2; }
.r-ghost { fill: none; stroke: var(--faint); stroke-width: 1.4; stroke-dasharray: 4 3; }
.r-poly { stroke-width: 2; stroke-linejoin: round; }
.r-poly.ok { fill: color-mix(in srgb, var(--ok) 16%, transparent); stroke: var(--ok); }
.r-poly.bad { fill: color-mix(in srgb, var(--bad) 20%, transparent); stroke: var(--bad); }
.r-off { fill: none; stroke: var(--edge-strong); stroke-width: 1.4; stroke-dasharray: 2 3; }
.r-dot { fill: var(--violet); stroke: var(--app); stroke-width: 2; }
.r-lbl { font-family: var(--font-code); font-size: 11px; fill: var(--faint); }
.r-lbl.bad { fill: var(--bad-soft); }
@media (prefers-reduced-motion: no-preference) {
  .r-poly { transition: all var(--dur-med) var(--ease-out); }
}

.inv-table { width: 100%; border-collapse: separate; border-spacing: 2px; font-size: 11px; }
.inv-table th, .inv-table td { padding: 3px 4px; text-align: center; font-weight: 400; color: var(--faint); border-radius: 4px; }
.inv-table thead th { font-size: 10.5px; }
.inv-table tbody th { text-align: left; color: var(--text); white-space: nowrap; display: flex; align-items: center; gap: 6px; }
.inv-table tbody tr { cursor: pointer; }
.inv-table tbody tr.on th { color: var(--peach); font-weight: 600; }
.inv-table td.bad { background: var(--bad-bg); color: var(--bad-soft); font-weight: 600; }
.inv-table .hi { box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--peach) 55%, transparent); }

.kchips { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 4px; }
.kchip {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 6px;
  padding: 5px 8px;
  border-radius: 6px;
  background: var(--panel2);
  border: 1px solid var(--edge);
  font-size: 12px;
  cursor: pointer;
  min-width: 0;
}
.kchip .m { font-size: 10.5px; white-space: nowrap; }
.kchip .m.bad { color: var(--bad-soft); }
.kchip:hover { border-color: var(--edge-strong); }
.kchip.on { border-color: var(--peach); background: var(--peach-bg); }

.vgrid { display: grid; grid-template-columns: repeat(auto-fill, minmax(11px, 1fr)); gap: 2px; }
.vcell {
  display: block;
  aspect-ratio: 1;
  border-radius: 2px;
  padding: 0;
  border: 0;
  background: var(--held-dim);
}
.vcell.trip { background: var(--bad); cursor: pointer; }
.vcell.pre { background: transparent; border: 1px solid var(--faint); }
.vcell.dim { opacity: 0.15; }
.vcell.on { outline: 2px solid var(--violet); outline-offset: 1px; }
.vlegend { display: flex; flex-wrap: wrap; gap: 4px 12px; font-size: 10.5px; color: var(--dim); }
.vlegend span { display: inline-flex; align-items: center; gap: 4px; }
.vlegend .vcell { width: 8px; height: 8px; }

.inv-d { border-top: 1px solid var(--edge); padding-top: 12px; }
.inv-d-head { display: flex; justify-content: space-between; align-items: baseline; gap: 8px; font-size: 11.5px; }
.inv-d-head .m.b { font-size: 13.5px; }
.inv-d-status { display: inline-flex; align-items: center; gap: 7px; font-size: 12.5px; color: var(--ok); }
.inv-d-status.trip, .inv-d-status.broke { color: var(--bad-soft); }
.inv-d-status.unreached, .inv-d-status.missing { color: var(--dim); }
.vlist { display: flex; flex-direction: column; gap: 4px; }
.vitem {
  display: flex;
  flex-direction: column;
  gap: 4px;
  padding: 7px 9px;
  border-radius: 7px;
  border: 1px solid var(--edge);
  background: var(--panel);
}
.vitem.on { border-color: color-mix(in srgb, var(--violet) 60%, transparent); }
.vitem-head {
  display: flex;
  align-items: center;
  gap: 8px;
  background: none;
  border: 0;
  padding: 0;
  text-align: left;
  cursor: pointer;
  font-size: 12px;
}
.vitem-head .m.faint { margin-left: auto; font-size: 11px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.vkind { font-size: 11px; padding: 0 6px; border-radius: 99px; background: color-mix(in srgb, var(--violet) 14%, transparent); color: var(--violet-soft); }
.vmut { font-size: 11.5px; color: var(--text-2); overflow-wrap: anywhere; }
.vitem-more { display: flex; flex-direction: column; gap: 4px; }
.vcmd { display: flex; flex-direction: column; gap: 3px; font-size: 11px; }
.vcmd code { font-size: 11px; color: var(--text); background: var(--app); border: 1px solid var(--edge); border-radius: 6px; padding: 6px 8px; overflow-wrap: anywhere; user-select: all; }

.fstrip { display: flex; gap: 2px; }
.fstrip i { flex: 1; height: 16px; border-radius: 2px; background: var(--held-dim); min-width: 2px; }
.fstrip i.changed { background: var(--ok); }
.fstrip i.unreached { background: transparent; border: 1px solid var(--edge-strong); }
.fstrip i.fail { background: var(--bad); }
.fstrip i.trip { background: linear-gradient(180deg, var(--bad) 50%, var(--ok) 50%); }
.fstrip-ends { display: flex; justify-content: space-between; font-size: 10.5px; }

.rounds-row { display: flex; gap: 4px; overflow-x: auto; padding-bottom: 2px; }
.round {
  flex: 0 0 auto;
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 1px;
  width: 66px;
  padding: 4px 2px 6px;
  border-radius: 8px;
  border: 1px solid var(--edge);
  background: var(--sunken);
  cursor: pointer;
}
.round:hover { border-color: var(--edge-strong); }
.round.on { border-color: var(--peach); }
.round-blank { width: 56px; height: 49px; }
.round-n { font-size: 11px; font-weight: 600; }
.round-v { font-size: 9.5px; color: var(--faint); max-width: 100%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.round.pass .round-v { color: var(--ok); }
.round.fail .round-v, .round.trip .round-v { color: var(--bad-soft); }

/* Invariant definitions */
.inv-pages { display: flex; }
.inv-d-doc { margin: 0; font-size: 12.5px; line-height: 1.55; color: var(--text-2); max-width: 68ch; }
.inv-d-doc .link-btn { color: var(--blue); padding: 0 2px; }
.inv-defs { display: flex; flex-direction: column; gap: 10px; }
.inv-def {
  display: flex;
  flex-direction: column;
  gap: 8px;
  padding: 12px 14px;
  border: 1px solid var(--edge);
  border-radius: 10px;
  background: var(--panel);
}
.inv-def.on { border-color: var(--peach); }
.inv-def header { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.inv-def header .m.b { font-size: 13.5px; }
.inv-def-st { font-size: 11.5px; margin-left: auto; }
.inv-def-doc { margin: 0; font-size: 13px; line-height: 1.6; color: var(--text); max-width: 68ch; }
.inv-def-doc.faint { color: var(--faint); font-size: 12px; }
.agent-tag {
  font-size: 10.5px;
  padding: 0 6px;
  border-radius: 99px;
  background: var(--blue-bg);
  color: var(--blue);
  border: 1px solid color-mix(in srgb, var(--blue) 30%, transparent);
}
.inv-code { border: 1px solid var(--edge); border-radius: 7px; background: var(--app); min-width: 0; }
.inv-code-head {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 4px 8px;
  padding: 2px 6px 2px 2px;
}
.inv-code-toggle {
  display: flex;
  align-items: center;
  gap: 8px;
  flex: 1 1 14rem;
  min-width: 0;
  padding: 3px 7px;
  border: 0;
  border-radius: 5px;
  background: none;
  color: var(--dim);
  font: inherit;
  font-size: 11.5px;
  text-align: left;
  cursor: pointer;
}
.inv-code-toggle:hover { color: var(--text); }
.inv-code-chev { color: var(--faint); font-size: 10px; width: 1ch; }
.inv-code-path { font-size: 11px; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.inv-code-acts { display: inline-flex; align-items: center; gap: 6px; margin-left: auto; font-size: 11.5px; }
.inv-code-acts .link-btn { font-size: 11.5px; padding: 2px 6px; }
.inv-code-acts .link-btn:hover { color: var(--text); }
.inv-code-acts .link-btn.on { color: var(--violet); background: color-mix(in srgb, var(--violet) 10%, transparent); }
.inv-code-body { border-top: 1px solid var(--edge); }
.open-in { align-items: stretch; border: 1px solid var(--edge); border-radius: 6px; }
.open-in-link, .open-in-pick {
  display: inline-flex;
  align-items: center;
  padding: 2px 7px;
  border: 0;
  background: none;
  color: var(--blue);
  font: inherit;
  font-size: 11.5px;
  text-decoration: none;
  white-space: nowrap;
  cursor: pointer;
}
.open-in-link { border-radius: 5px 0 0 5px; }
.open-in-pick { border-left: 1px solid var(--edge); border-radius: 0 5px 5px 0; color: var(--dim); padding: 2px 6px; font-size: 10px; }
.open-in-link:hover, .open-in-pick:hover { background: var(--hover); color: var(--text); }
.open-in.open { border-color: var(--peach); }
.open-in .cselect-menu { left: auto; right: 0; min-width: 160px; }
.inv-code-toggle:focus-visible,
.open-in-link:focus-visible,
.open-in-pick:focus-visible,
.inv-patch-pre:focus-visible,
.inv-code-acts .link-btn:focus-visible {
  outline: 2px solid var(--peach);
  outline-offset: -2px;
}
.mon-host { width: 100%; min-width: 0; overflow: hidden; border-radius: 0 0 7px 7px; }
.mon-host .monaco-editor .mon-hit { background: color-mix(in srgb, var(--violet) 13%, transparent); }
.mon-host .monaco-editor .mon-range { background: color-mix(in srgb, var(--violet) 5%, transparent); }
.mon-host .monaco-editor .mon-hit-gutter { background: var(--violet); width: 3px !important; margin-left: 4px; border-radius: 1px; }
.mon-host .monaco-editor.focused { outline: 2px solid var(--peach); outline-offset: -2px; }
.inv-patch { border-top: 1px solid var(--edge); }
.inv-patch-head { display: flex; align-items: baseline; gap: 8px; padding: 5px 10px; font-size: 11.5px; color: var(--dim); }
.inv-patch-head .m { font-size: 11px; }
.inv-patch-msg { padding: 4px 10px 10px; font-size: 12px; }
.mon-patch { height: min(60vh, 460px); border-radius: 0 0 7px 7px; }
.inv-code .inv-patch-pre { max-height: min(60vh, 460px); overflow: auto; position: relative; }
.inv-code .ln.near { background: color-mix(in srgb, var(--violet) 5%, transparent); }
.inv-patch-pre .ln.hit { background: color-mix(in srgb, var(--violet) 13%, transparent); box-shadow: inset 2px 0 0 var(--violet); }
.inv-code pre {
  margin: 0;
  padding: 6px 0 8px;
  font-size: 11.5px;
  line-height: 1.5;
  overflow-x: auto;
}
.inv-code .ln { display: block; padding-right: 10px; white-space: pre; }
.inv-code .ln i {
  display: inline-block;
  width: 4.5ch;
  margin-right: 1.5ch;
  text-align: right;
  font-style: normal;
  color: var(--faint);
  user-select: none;
}
.inv-code .ln.hit { background: color-mix(in srgb, var(--peach) 8%, transparent); box-shadow: inset 2px 0 0 var(--peach); }

/* Replay scene (replay.js): a saved variant stepped through in the left
   pane. Violet is the mutated input, red where the replay stopped. */
.body > .pane.rp-pane {
  padding: 18px;
  gap: 12px;
  container-type: inline-size;
  min-height: 0;
}
.rp-pane:focus { outline: none; }
.rp-pane:focus-visible { outline: 2px solid var(--peach); outline-offset: -2px; }
.rp-sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.violet-t { color: var(--violet-soft); }

.rp-head { display: flex; align-items: center; gap: 8px 16px; flex-wrap: wrap; flex: none; }
.rp-title { display: flex; flex-direction: column; line-height: 1.3; min-width: 0; flex: 1 1 240px; }
.rp-name { font-weight: 600; font-size: 15px; }
.rp-name .m { font-weight: 400; font-size: 12px; }
.rp-sub { font-size: 11.5px; color: var(--dim); overflow-wrap: anywhere; }
.rp-sub .m { font-size: 11.5px; }
.rp-badge {
  font-family: var(--font-code);
  font-size: 12px;
  padding: 3px 10px;
  border-radius: 99px;
  max-width: 100%;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.rp-badge.run, .rp-badge.ok { background: var(--ok-bg); color: var(--ok-soft); }
.rp-badge.bad { background: color-mix(in srgb, var(--bad) 16%, transparent); color: var(--bad-soft); }
.rp-badge.none { background: color-mix(in srgb, var(--text) 6%, transparent); color: var(--dim); }

.rp-stage {
  flex: 1 0 auto;
  min-height: 470px;
  border: 1px solid var(--edge);
  border-radius: 14px;
  background-color: var(--sunken);
  background-image: radial-gradient(var(--edge) 1px, transparent 1px);
  background-size: 18px 18px;
  padding: 16px 18px 20px;
  display: grid;
  grid-template-columns: minmax(130px, 190px) minmax(0, 1fr) minmax(130px, 190px);
  grid-template-rows: auto 1fr auto;
  grid-template-areas:
    "queue center clock"
    "lmid  center rtop"
    "lbot  center rbot";
  gap: 14px 18px;
}
.rp-stage.rp-empty { display: flex; align-items: center; justify-content: center; text-align: center; padding: 40px; }
.rp-lbl { font-size: 11.5px; color: var(--faint); }
.rp-lbl.peach { color: var(--peach); }

.rp-queue { display: flex; flex-direction: column; gap: 6px; min-width: 0; align-self: start; }
.rp-q {
  display: flex;
  flex-direction: column;
  padding: 6px 9px;
  border-radius: 7px;
  background: var(--panel);
  border: 1px solid var(--edge);
  min-width: 0;
}
.rp-q .m { font-size: 11px; }
.rp-q-op { font-size: 11.5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.rp-q.feat { border-color: color-mix(in srgb, var(--blue) 45%, transparent); }
.rp-q.fault { border-color: color-mix(in srgb, var(--violet) 60%, transparent); }
.rp-q.off { opacity: 0.35; }
.rp-q-end { font-size: 11.5px; }

.rp-clock { display: flex; flex-direction: column; align-items: flex-end; gap: 1px; text-align: right; align-self: start; min-width: 0; }
.rp-time { font-size: 20px; font-weight: 600; line-height: 1.2; }
.rp-time.stale { color: var(--dim); }
.rp-date, .rp-clock-note { font-size: 11px; }
.rp-clock-note { color: var(--dim); }
.rp-shift { font-size: 11.5px; color: var(--violet-soft); }
.rp-shift-none { font-size: 11.5px; }

.rp-center {
  align-self: center;
  justify-self: center;
  width: min(560px, 100%);
  display: flex;
  flex-direction: column;
  align-items: stretch;
  min-width: 0;
}
.rp-input {
  display: flex;
  flex-direction: column;
  gap: 3px;
  align-items: center;
  text-align: center;
  padding: 10px 14px;
  border-radius: 10px;
  background: var(--panel2);
  border: 1px solid var(--edge-strong);
  min-width: 0;
}
.rp-input.fault { border-color: color-mix(in srgb, var(--violet) 70%, transparent); box-shadow: 0 0 0 4px color-mix(in srgb, var(--violet) 12%, transparent); }
.rp-input-line {
  font-size: 13px;
  max-width: 100%;
  overflow-wrap: anywhere;
  display: -webkit-box;
  -webkit-line-clamp: 3;
  -webkit-box-orient: vertical;
  overflow: hidden;
}
.rp-input-full {
  margin: 2px 0;
  font-size: 11.5px;
  text-align: left;
  align-self: stretch;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  max-height: 240px;
  overflow: auto;
  background: var(--app);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 6px 8px;
}
.rp-note { font-size: 11px; }
.rp-tag { font-size: 11.5px; color: var(--dim); overflow-wrap: anywhere; }
.rp-tag.feat { color: color-mix(in srgb, var(--blue) 80%, var(--text)); }
.rp-tag.fault { color: var(--violet-soft); }
.rp-marker { font-size: 11px; color: var(--dim); }
.rp-wire { height: 18px; display: flex; justify-content: center; }
.rp-wire span { width: 2px; background: var(--edge-strong); }

.rp-step {
  border: 1px solid var(--edge-strong);
  border-radius: 12px;
  background: var(--panel);
  padding: 12px 14px;
  display: flex;
  flex-direction: column;
  gap: 10px;
  min-width: 0;
}
.rp-step.stopped { border-color: color-mix(in srgb, var(--bad) 50%, transparent); }
.rp-step-head { display: flex; align-items: baseline; gap: 10px; }
.rp-step-head .m { font-size: 11px; }
.rp-expand { margin-left: auto; font-size: 11.5px; }
.rp-expand:hover { color: var(--text); }
.rp-env {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: 3px 12px;
  font-size: 11.5px;
  align-items: baseline;
}
.rp-env .m { font-size: 11.5px; min-width: 0; }
.rp-env-k { white-space: nowrap; max-width: 140px; overflow: hidden; text-overflow: ellipsis; }
.rp-gw { display: flex; flex-wrap: wrap; align-items: baseline; min-width: 0; }
.rp-clip { display: inline-block; max-width: 100%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; vertical-align: bottom; }
.rp-clip.full { white-space: pre-wrap; overflow-wrap: anywhere; max-height: 200px; overflow: auto; }
.rp-outs { display: flex; flex-direction: column; gap: 3px; min-width: 0; }
.rp-out-head { display: flex; gap: 8px; align-items: baseline; font-size: 11.5px; }
.rp-out { display: flex; gap: 8px; align-items: baseline; min-width: 0; font-size: 11.5px; border-radius: 4px; padding: 1px 4px; margin: 0 -4px; }
.rp-out .m { font-size: 11.5px; }
.rp-data { color: var(--text-2); flex: 1 1 auto; min-width: 0; }
.rp-sink { flex: none; max-width: 40%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.rp-out.gone { background: var(--del); }
.rp-out.new { background: color-mix(in srgb, var(--peach) 14%, transparent); }
.rp-col-h { font-size: 11px; }
.rp-diff { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
/* Side by side there is no room for the sink beside its data: put it above. */
.rp-diff .rp-out { flex-direction: column; gap: 0; }
.rp-diff .rp-sink { max-width: 100%; }
.rp-stop { display: flex; flex-wrap: wrap; gap: 4px 6px; align-items: baseline; color: var(--bad-soft); font-size: 12px; }
.rp-stop .m { font-size: 12px; }
.rp-why {
  flex: 1 1 100%;
  font-size: 11.5px;
  color: var(--bad-soft);
  background: var(--app);
  border: 1px solid var(--edge);
  border-radius: 6px;
  padding: 7px 9px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  max-height: 5.2em;
  overflow: hidden;
}
.rp-why.full { max-height: 260px; overflow: auto; }

.rp-lamps { display: flex; flex-direction: column; gap: 8px; min-width: 0; }
.rp-lamps.lmid { align-self: center; }
.rp-lamps.lbot, .rp-lamps.rbot { align-self: end; }
.rp-lamps.rtop { align-self: start; align-items: flex-end; margin-top: 8px; }
.rp-lamps.rbot { align-items: flex-end; }
.rp-nolamps { align-self: end; font-size: 11.5px; }
.rp-lamp {
  display: flex;
  gap: 10px;
  align-items: center;
  padding: 9px 12px;
  border-radius: 10px;
  background: var(--panel);
  border: 1px solid var(--edge-strong);
  text-align: left;
  max-width: 210px;
  min-width: 0;
  cursor: pointer;
}
.rp-lamp:hover { border-color: var(--edge-hover); }
.rp-lamp.broke { border-color: color-mix(in srgb, var(--bad) 50%, transparent); }
.rp-lamp.on { border-color: var(--peach); }
.rp-bulb { width: 14px; height: 14px; border-radius: 50%; flex: none; }
.rp-lamp.held .rp-bulb { background: var(--ok); box-shadow: 0 0 0 4px color-mix(in srgb, var(--ok) 14%, transparent); }
.rp-lamp.broke .rp-bulb { background: var(--bad); box-shadow: 0 0 0 4px color-mix(in srgb, var(--bad) 22%, transparent), 0 0 14px color-mix(in srgb, var(--bad) 55%, transparent); }
.rp-lamp.unchecked .rp-bulb, .rp-lamp.off .rp-bulb { border: 2px solid var(--faint); }
.rp-lamp-txt { display: flex; flex-direction: column; line-height: 1.3; min-width: 0; }
.rp-lamp-txt .m { font-size: 11.5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.rp-lamp-sub { font-size: 11px; color: var(--dim); }
.rp-lamp.held .rp-lamp-sub { color: var(--ok-soft); }
.rp-lamp.broke .rp-lamp-sub { color: var(--bad-soft); }

.rp-ctl-box {
  flex: none;
  border: 1px solid var(--edge);
  border-radius: 12px;
  background: var(--panel);
  padding: 12px 16px;
  display: flex;
  flex-direction: column;
  gap: 8px;
}
.rp-ctl-row { display: flex; align-items: center; gap: 8px 10px; flex-wrap: wrap; }
.rp-ctl {
  width: 30px;
  height: 30px;
  border-radius: 6px;
  border: 1px solid var(--edge-strong);
  background: var(--panel2);
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 0;
  cursor: pointer;
}
.rp-ctl:hover:not(:disabled) { border-color: var(--edge-hover); }
.rp-ctl:disabled { opacity: 0.4; cursor: default; }
.rp-ctl.play { width: 38px; border: 0; background: var(--peach); color: var(--on-accent); }
.rp-jump, .rp-open {
  border: 1px solid color-mix(in srgb, var(--violet) 45%, transparent);
  background: color-mix(in srgb, var(--violet) 8%, transparent);
  color: var(--violet-soft);
  border-radius: 6px;
  padding: 4px 10px;
  font-size: 12px;
  cursor: pointer;
  white-space: nowrap;
}
.rp-jump:hover, .rp-open:hover { border-color: var(--violet); background: color-mix(in srgb, var(--violet) 16%, transparent); }
.rp-open { padding: 2px 9px; font-size: 11.5px; flex: none; }
.rp-spacer { flex: 1; }
.rp-pos { font-size: 12px; }
.rp-track { position: relative; height: 30px; }
.rp-rail { position: absolute; left: 0; right: 0; top: 4px; height: 10px; pointer-events: none; }
.rp-done { position: absolute; left: 0; top: 3px; height: 4px; border-radius: 2px; background: var(--edge-strong); }
.rp-rest { position: absolute; top: 3px; right: 0; height: 0; border-top: 2px dotted var(--edge-strong); }
.rp-tick { position: absolute; top: 0; width: 2px; height: 10px; background: var(--blue); }
.rp-tick.fault { background: var(--violet); }
.rp-tick.off { opacity: 0.3; }
.rp-diamond { position: absolute; top: 0; width: 9px; height: 9px; background: var(--violet); transform: translateX(-4px) rotate(45deg); }
.rp-trip { position: absolute; top: -1px; width: 12px; height: 12px; border-radius: 50%; background: var(--bad); transform: translateX(-6px); }
.rp-range {
  position: absolute;
  left: 0;
  right: 0;
  top: 0;
  width: 100%;
  margin: 0;
  height: 18px;
  background: transparent;
  accent-color: var(--peach);
  cursor: pointer;
}
.rp-legend { display: flex; gap: 4px 16px; font-size: 11px; color: var(--dim); flex-wrap: wrap; align-items: center; }
.rp-legend span { display: inline-flex; gap: 5px; align-items: center; }
.rp-legend i { display: inline-block; }
.lg-tick { width: 2px; height: 10px; background: var(--blue); }
.lg-diamond { width: 8px; height: 8px; background: var(--violet); transform: rotate(45deg); }
.lg-trip { width: 9px; height: 9px; border-radius: 50%; background: var(--bad); }
.lg-rest { width: 14px; border-top: 2px dotted var(--faint); }
.rp-keys { margin-left: auto; }

.vitem-row { display: flex; align-items: baseline; gap: 8px; min-width: 0; }
.vitem-row > :not(.vsaved-v):not(.vmut) { flex: none; white-space: nowrap; }
.vitem-row .vmut { flex: 1 1 auto; min-width: 0; }
.vitem-row .rp-open { margin-left: auto; }
.vnosave { margin-left: auto; font-size: 10.5px; white-space: nowrap; }
.vsaved-v { font-size: 11px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0; flex: 1 1 auto; }

/* Narrower panes stack the stage: clock and input first, then the queue
   and the lamps two by two, then one column. */
@container (max-width: 720px) {
  .rp-stage {
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
    grid-template-rows: none;
    grid-template-areas:
      "queue clock"
      "center center"
      "lmid rtop"
      "lbot rbot";
    min-height: 0;
  }
  .rp-center { width: 100%; }
  .rp-lamps { align-self: start !important; }
}
@container (max-width: 460px) {
  .rp-stage {
    grid-template-columns: minmax(0, 1fr);
    grid-template-areas: "clock" "center" "queue" "lbot" "rbot" "lmid" "rtop";
  }
  .rp-clock { align-items: flex-start; text-align: left; }
  .rp-lamps { align-items: stretch !important; }
  .rp-lamp { max-width: none; }
  .rp-diff { grid-template-columns: minmax(0, 1fr); }
  .rp-keys { display: none; }
}
@media (prefers-reduced-motion: no-preference) {
  .rp-lamp, .rp-input { transition: border-color var(--dur-fast) var(--ease-out), box-shadow var(--dur-fast) var(--ease-out); }
}

.card-meta:empty { display: none; }
.right-pane > .stats:empty { display: none; }

/* The crossfade when the Invariants tab redraws for another invariant,
   round or page. */
::view-transition-old(root),
::view-transition-new(root) { animation-duration: 160ms; }

/* The headline: the recorded failure and the verdict in plain words. */
.headline {
  border: 1px solid var(--edge);
  border-radius: 10px;
  padding: 10px 14px;
  display: grid;
  gap: 4px;
  background: var(--panel);
  flex: none;
  min-width: 0;
}
.headline.ok { border-color: color-mix(in srgb, var(--ok) 40%, var(--edge)); background: color-mix(in srgb, var(--ok) 6%, var(--panel)); }
.headline.bad { border-color: color-mix(in srgb, var(--bad) 40%, var(--edge)); background: color-mix(in srgb, var(--bad) 6%, var(--panel)); }
.headline.warn { border-color: color-mix(in srgb, var(--warn) 40%, var(--edge)); background: color-mix(in srgb, var(--warn) 6%, var(--panel)); }
.hl-row { display: flex; align-items: baseline; gap: 10px; min-width: 0; font-size: 12.5px; }
.hl-row.main { font-size: 13.5px; flex-wrap: wrap; }
.hl-k { flex: none; width: 112px; font-size: 11px; text-transform: uppercase; letter-spacing: 0.04em; color: var(--faint); }
.hl-v { flex: 1 1 200px; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.hl-row.main .hl-v { white-space: normal; }
.headline.ok .hl-row.main .hl-v { color: var(--ok-soft); }
.headline.bad .hl-row.main .hl-v { color: var(--bad-soft); }
.headline.warn .hl-row.main .hl-v { color: var(--warn); }
.hl-pill { flex: none; font-size: 11px; }

/* The probe strip: the recording's inputs as an axis, variants as bars. */
.probe {
  border: 1px solid var(--edge);
  border-radius: 10px;
  padding: 10px 14px 12px;
  display: grid;
  gap: 6px;
  background: var(--panel);
  flex: none;
  min-width: 0;
}
.probe-err { flex: none; }
.pr-head { display: flex; align-items: center; gap: 8px; font-size: 12.5px; }
.pr-spacer { flex: 1; }
.pr-head .btn.sm { padding: 3px 10px; font-size: 11.5px; }
.pr-sum { font-size: 11.5px; }
.pr-note { font-size: 11.5px; }
.pr-wrap { display: grid; grid-template-columns: 58px minmax(0, 1fr); gap: 6px; min-width: 0; }
.pr-plot { min-width: 0; }
.pr-lanes { display: grid; grid-template-rows: 42px 8px; font-size: 10.5px; text-align: right; line-height: 1.1; }
.pr-wrap.two .pr-lanes { grid-template-rows: 42px 8px 42px; }
.pr-lanes span:first-child { align-self: end; }
.pr-lanes span + span { grid-row: 3; align-self: start; }
.pr-chart { display: grid; align-items: stretch; gap: 0 1px; min-width: 0; }
.pr-col {
  display: grid;
  grid-template-rows: 42px 8px auto;
  align-items: stretch;
  min-width: 0;
  padding: 0;
  border: 0;
  background: none;
  font: inherit;
  color: inherit;
  border-radius: 3px;
}
button.pr-col { cursor: pointer; }
button.pr-col:hover { background: var(--hover); }
button.pr-col.on { background: color-mix(in srgb, var(--blue) 12%, transparent); }
button.pr-col:focus-visible { outline: 2px solid var(--blue); outline-offset: 1px; }
.pr-bar { display: flex; flex-direction: column-reverse; align-items: stretch; justify-content: flex-start; min-width: 0; padding: 0 12%; }
.pr-bar.up { justify-content: flex-start; }
.pr-bar.down { flex-direction: column; height: 42px; }
.pr-seg { display: block; width: 100%; min-width: 2px; }
.pr-seg.ok { background: var(--ok); }
.pr-seg.bad { background: var(--bad); }
.pr-seg.skip { background: var(--edge-strong); }
.pr-axis { display: block; height: 8px; background: var(--panel3); border-radius: 1px; align-self: center; }
.pr-axis.fail { background: var(--bad); height: 8px; }
.pr-axis.div { background: var(--warn); }
.pr-axis.feat { background: var(--violet); }
.pr-ticks { position: relative; display: flex; justify-content: space-between; font-size: 10.5px; height: 14px; }
.pr-tick-fail { position: absolute; transform: translateX(-50%); color: var(--bad); }
.pr-tick-end-fail { color: var(--bad); }
.pr-legend { display: flex; flex-wrap: wrap; gap: 4px 12px; font-size: 11px; }
.pr-legend span { display: inline-flex; align-items: center; gap: 5px; }
.pr-legend span:empty { display: none; }
.pr-sw { display: inline-block; width: 10px; height: 10px; border-radius: 2px; }
.pr-sw.ok { background: var(--ok); }
.pr-sw.bad { background: var(--bad); }
.pr-sw.skip { background: var(--edge-strong); }
.pr-sw.fail { background: var(--bad); height: 5px; }
.pr-sw.div { background: var(--warn); height: 5px; }
.pr-sw.feat { background: var(--violet); height: 5px; }
.pr-detail { border-top: 1px solid var(--edge); padding-top: 6px; display: grid; gap: 4px; min-width: 0; }
.pr-detail-h { font-size: 12px; }
.pr-list { display: grid; gap: 2px; max-height: 180px; overflow: auto; min-width: 0; }
.pr-row { display: grid; grid-template-columns: 34px 40px 96px minmax(0, 1fr); align-items: baseline; gap: 8px; font-size: 11.5px; min-width: 0; }
.pr-row.skip { opacity: 0.6; }
.pr-marks { display: inline-flex; gap: 6px; font-weight: 600; }
.pr-mark.ok { color: var(--ok); }
.pr-mark.bad { color: var(--bad); }
.pr-mark.skip { color: var(--faint); }
.pr-mut { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

/* The Kavach trail: the agent's Kavach calls as rounds. */
.trail { flex: 1 1 0; min-height: 160px; overflow: auto; }
.trail-t { width: 100%; border-collapse: collapse; font-size: 12px; }
.trail-t th { text-align: left; font-weight: 500; color: var(--faint); font-size: 11px; padding: 4px 8px; border-bottom: 1px solid var(--edge); position: sticky; top: 0; background: var(--panel); }
.trail-t td { padding: 6px 8px; border-bottom: 1px solid var(--edge); vertical-align: baseline; }
.trail-t tr { cursor: pointer; }
.trail-t tbody tr:hover { background: var(--hover); }
.trail-t tbody tr:focus-visible { outline: 2px solid var(--blue); outline-offset: -2px; }
.trail-t tr.minor td { color: var(--dim); }
.trail-cmd { max-width: 180px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.trail-what { color: var(--text-2); }
.trail-empty { padding: 8px 0; }

/* The scrubber over the agent's steps, with Kavach calls as chapters. */
.scrub { flex: none; display: grid; gap: 2px; padding: 2px 2px 4px; }
.sc-track { position: relative; padding-top: 18px; }
.sc-chapters { position: absolute; left: 2px; right: 2px; top: 0; height: 18px; }
.sc-ch {
  position: absolute;
  transform: translateX(-50%);
  top: 0;
  min-width: 16px;
  height: 16px;
  padding: 0 4px;
  border-radius: 8px;
  border: 1px solid var(--edge-strong);
  background: var(--panel2);
  color: var(--dim);
  font: 600 10px/14px var(--font-code);
  cursor: pointer;
}
.sc-ch.minor { min-width: 8px; width: 8px; height: 8px; top: 5px; padding: 0; border-radius: 50%; }
.sc-ch.ok { background: var(--ok); border-color: var(--ok); color: var(--on-accent); }
.sc-ch.bad { background: var(--bad); border-color: var(--bad); color: var(--on-accent); }
.sc-ch:focus-visible { outline: 2px solid var(--blue); outline-offset: 1px; }
.sc-rail { position: absolute; left: 2px; right: 2px; top: 24px; height: 6px; border-radius: 3px; background: var(--panel3); pointer-events: none; }
.sc-edit { position: absolute; top: 0; width: 2px; height: 6px; background: var(--peach); transform: translateX(-1px); opacity: 0.8; }
.sc-range { -webkit-appearance: none; appearance: none; width: 100%; margin: 0; position: relative; height: 18px; background: transparent; }
.sc-range::-webkit-slider-runnable-track { height: 18px; background: transparent; }
.sc-range::-moz-range-track { height: 18px; background: transparent; }
.sc-range::-webkit-slider-thumb { -webkit-appearance: none; width: 4px; height: 18px; border-radius: 2px; background: var(--blue); cursor: ew-resize; }
.sc-range::-moz-range-thumb { width: 4px; height: 18px; border: 0; border-radius: 2px; background: var(--blue); cursor: ew-resize; }
.sc-range:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; border-radius: 3px; }
.sc-foot { display: flex; justify-content: space-between; gap: 8px; font-size: 11px; min-width: 0; }
.sc-read { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0; }
.sc-legend { flex: none; display: inline-flex; align-items: center; gap: 4px; }
.sc-sw { display: inline-block; width: 8px; height: 8px; border-radius: 50%; margin-left: 6px; }
.sc-sw.ok { background: var(--ok); }
.sc-sw.bad { background: var(--bad); }
.sc-sw.edit { background: var(--peach); border-radius: 1px; width: 2px; }
.steps .scrub-at { outline: 2px solid color-mix(in srgb, var(--blue) 55%, transparent); outline-offset: 1px; border-radius: 6px; }

/* The incident scene's switch between the builds. */
.rp-builds { display: inline-flex; border: 1px solid var(--edge); border-radius: 8px; overflow: hidden; flex: none; }
.rp-build { border: 0; background: var(--panel); color: var(--dim); font: inherit; font-size: 12px; padding: 4px 10px; cursor: pointer; }
.rp-build + .rp-build { border-left: 1px solid var(--edge); }
.rp-build.on { background: var(--panel3); color: var(--text); font-weight: 600; }
.rp-build:focus-visible { outline: 2px solid var(--blue); outline-offset: -2px; }
.pr-wrap.bare .pr-col { grid-template-rows: 8px; }
.side .lbl.fold {
  width: 100%;
  margin-top: 10px;
  padding: 6px 10px;
  border: 1px solid transparent;
  background: none;
  font-family: inherit;
  text-align: left;
  cursor: pointer;
  border-radius: 7px;
  transition: background-color var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);
}
.side a.new-run-link + .lbl.fold { margin-top: 4px; }
.side .lbl.fold:hover { color: var(--dim); background: var(--hover); }
.side .lbl.fold:focus-visible { outline: 2px solid var(--blue); outline-offset: -2px; }
.side .lbl.fold > span:first-child { display: flex; align-items: center; gap: 6px; }
.side .lbl .fold-ic {
  width: 10px;
  font-size: 9px;
  line-height: 1;
  text-align: center;
  transition: transform var(--dur-fast) var(--ease-out);
}
.side .lbl.fold.shut .fold-ic { transform: rotate(-90deg); }
.side .lbl.fold.grp {
  margin-top: 2px;
  padding-left: 20px;
  font-weight: 500;
}
.side a .sub.task-src {
  display: block;
  width: fit-content;
  max-width: 100%;
  box-sizing: border-box;
  margin-top: 4px;
  padding: 1px 6px;
  border: 1px solid var(--edge);
  border-radius: 5px;
  background: var(--panel);
  font-family: var(--font-ui);
  font-size: 10.5px;
  font-weight: 500;
  line-height: 1.4;
}
.side a .sub.task-src.src-deepswe {
  color: var(--blue);
  background: var(--blue-bg);
  border-color: color-mix(in srgb, var(--blue) 25%, transparent);
}
.side a .sub.task-src.src-swe-bench-multilingual, .side a .sub.task-src.src-swe-bench {
  color: var(--peach);
  background: var(--peach-bg);
  border-color: color-mix(in srgb, var(--peach) 25%, transparent);
}