/* ============================================================ txn-sim UI
   Technical-instrument aesthetic: cool slate surfaces, one amber signal
   accent, cyan for snapshots/reads, semantic red/green for abort/commit.
   ====================================================================== */

:root,
[data-theme='dark'] {
  --bg: #080b10;
  --surface: #0d1117;
  --surface-2: #121821;
  --surface-3: #18202b;
  --surface-hi: #1d2734;
  --border: #22303f;
  --border-soft: #1a232f;
  --text: #e4ecf4;
  --text-muted: #91a3b6;
  --text-faint: #5f7288;
  --accent: #f2b73d;
  --accent-dim: #7a5a18;
  --cyan: #54d6e0;
  --cyan-dim: #1c4d54;
  --green: #57c98a;
  --green-dim: #17452f;
  --red: #f0616d;
  --red-dim: #4d1a22;
  --violet: #a78bfa;
  --shadow: 0 10px 28px -18px #000c;
}

[data-theme='light'] {
  --bg: #eef1f5;
  --surface: #ffffff;
  --surface-2: #f5f7fa;
  --surface-3: #eceff4;
  --surface-hi: #e2e7ee;
  --border: #cfd7e1;
  --border-soft: #dee4ec;
  --text: #14202c;
  --text-muted: #4f6076;
  --text-faint: #7c8ea3;
  --accent: #a3690a;
  --accent-dim: #f0dcb3;
  --cyan: #0d6d78;
  --cyan-dim: #c4e6ea;
  --green: #1f7a4c;
  --green-dim: #c6e7d4;
  --red: #b3253a;
  --red-dim: #f5d2d7;
  --violet: #6d4bd6;
  --shadow: 0 8px 24px -20px #0a1a2a55;
}

:root {
  --space-1: 4px;
  --space-2: 8px;
  --space-3: 12px;
  --space-4: 16px;
  --space-5: 20px;
  --space-6: 24px;
  --space-8: 32px;
  --text-xs: 12px;
  --text-sm: 13.5px;
  --text-base: 15px;
  --text-lg: 19px;
  --text-xl: 25px;
  --r-sm: 5px;
  --r-md: 8px;
  --r-lg: 12px;
  --mono: 'JetBrains Mono', ui-monospace, 'SFMono-Regular', Menlo, monospace;
  --sans: 'Inter', system-ui, -apple-system, sans-serif;
  color-scheme: dark;
}
[data-theme='light'] {
  color-scheme: light;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
}

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: var(--text-sm);
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
  background-image: radial-gradient(1200px 600px at 15% -10%, #16202c66, transparent 70%);
}

h1,
h2,
h3 {
  margin: 0;
  font-weight: 600;
  letter-spacing: -0.01em;
}

code,
kbd,
.mono {
  font-family: var(--mono);
}

kbd {
  font-size: 11px;
  border: 1px solid var(--border);
  border-bottom-width: 2px;
  border-radius: 4px;
  padding: 0 4px;
  color: var(--text-muted);
  background: var(--surface-2);
}

.skip {
  position: absolute;
  left: -9999px;
}
.skip:focus {
  left: var(--space-3);
  top: var(--space-3);
  z-index: 50;
  background: var(--accent);
  color: #10141a;
  padding: 6px 10px;
  border-radius: var(--r-sm);
}

:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
}

/* ------------------------------------------------------------- app bar */

.appbar {
  position: sticky;
  top: 0;
  z-index: 30;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--space-4);
  flex-wrap: wrap;
  padding: var(--space-3) var(--space-5);
  background: color-mix(in srgb, var(--surface) 88%, transparent);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--border);
}

.brand {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  color: var(--text);
}
.logo {
  width: 32px;
  height: 32px;
  flex: none;
}
.brand-text {
  display: flex;
  flex-direction: column;
  line-height: 1.15;
}
.brand-name {
  font-family: var(--mono);
  font-weight: 700;
  font-size: var(--text-lg);
  letter-spacing: -0.02em;
}
.brand-sub {
  font-size: var(--text-xs);
  color: var(--text-faint);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.btn-lang {
  font-family: var(--mono);
  font-weight: 600;
  font-size: var(--text-sm);
  min-width: 34px;
  height: 30px;
  padding: 0 8px;
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  background: var(--surface-2);
  color: var(--text);
  cursor: pointer;
  transition: background 0.15s, border-color 0.15s;
  line-height: 1;
}
.btn-lang:hover {
  background: var(--surface-hi);
  border-color: var(--accent);
  color: var(--accent);
}

.controls {
  display: flex;
  align-items: center;
  gap: var(--space-2);
  flex-wrap: wrap;
}

.tickbox {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  padding: 2px var(--space-3);
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  background: var(--surface-2);
  min-width: 68px;
}
.tickbox-label {
  font-size: 10px;
  letter-spacing: 0.12em;
  color: var(--text-faint);
}
.tickbox-value {
  font-family: var(--mono);
  font-size: var(--text-base);
  font-weight: 700;
  color: var(--accent);
  font-variant-numeric: tabular-nums;
}

.btn {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 7px 12px;
  font: inherit;
  font-size: var(--text-sm);
  color: var(--text);
  background: var(--surface-2);
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  cursor: pointer;
  transition:
    background 0.14s ease,
    transform 0.14s ease,
    border-color 0.14s ease;
}
.btn:hover {
  background: var(--surface-hi);
  border-color: var(--text-faint);
}
.btn:active {
  transform: translateY(1px);
}
.btn[disabled] {
  opacity: 0.45;
  cursor: not-allowed;
}
.btn-primary {
  background: var(--accent);
  color: #12161c;
  border-color: transparent;
  font-weight: 600;
  min-width: 92px;
}
.btn-primary:hover {
  background: color-mix(in srgb, var(--accent) 85%, #fff);
}
.btn-accent {
  border-color: var(--accent);
  color: var(--accent);
  background: transparent;
  font-weight: 600;
}
.btn-accent:hover {
  background: color-mix(in srgb, var(--accent) 14%, transparent);
}
.btn-sm {
  padding: 3px 8px;
  font-size: var(--text-xs);
}
.btn-icon {
  padding: 7px 10px;
}
.btn-danger {
  color: var(--red);
  border-color: color-mix(in srgb, var(--red) 45%, transparent);
}

.speed {
  display: flex;
  align-items: center;
  gap: var(--space-2);
  font-size: var(--text-xs);
  color: var(--text-muted);
  padding: 3px var(--space-3);
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  background: var(--surface-2);
}
.speed input[type='range'] {
  width: 96px;
  accent-color: var(--accent);
}
.speed-val {
  font-family: var(--mono);
  color: var(--text);
  min-width: 44px;
  text-align: right;
}

/* --------------------------------------------------------- scenario bar */

.scenariobar {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  flex-wrap: wrap;
  padding: var(--space-3) var(--space-5);
  border-bottom: 1px solid var(--border-soft);
  background: color-mix(in srgb, var(--surface-2) 70%, transparent);
}
.bar-label {
  font-size: 10px;
  letter-spacing: 0.14em;
  color: var(--text-faint);
}
.chips {
  display: flex;
  gap: var(--space-2);
  flex-wrap: wrap;
  flex: 1 1 auto;
}
.chip {
  font: inherit;
  font-size: var(--text-xs);
  padding: 5px 10px;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: var(--surface);
  color: var(--text-muted);
  cursor: pointer;
  display: inline-flex;
  gap: 6px;
  align-items: center;
  transition: all 0.14s ease;
}
.chip:hover {
  color: var(--text);
  border-color: var(--text-faint);
}
.chip[aria-pressed='true'] {
  background: color-mix(in srgb, var(--accent) 16%, transparent);
  border-color: var(--accent);
  color: var(--accent);
  font-weight: 600;
}
.chip-num {
  font-family: var(--mono);
  opacity: 0.6;
}

/* ---------------------------------------------------------- explainer */

.explainer {
  margin: 0;
  border-bottom: 1px solid var(--border-soft);
  background: var(--surface);
}
.explainer > summary {
  cursor: pointer;
  padding: var(--space-3) var(--space-5);
  display: flex;
  gap: var(--space-3);
  align-items: baseline;
  list-style: none;
}
.explainer > summary::-webkit-details-marker {
  display: none;
}
.explainer > summary::before {
  content: '▸';
  color: var(--accent);
  font-size: 11px;
}
.explainer[open] > summary::before {
  content: '▾';
}
.sum-title {
  font-weight: 600;
}
.sum-hint {
  font-size: var(--text-xs);
  color: var(--text-faint);
}
.explainer-body {
  padding: 0 var(--space-5) var(--space-5);
  display: grid;
  gap: var(--space-4);
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
}
@media (max-width: 900px) {
  .explainer-body {
    grid-template-columns: 1fr;
  }
}

.iso-card {
  border: 1px solid var(--border);
  border-radius: var(--r-md);
  padding: var(--space-3) var(--space-4);
  background: var(--surface-2);
}
.iso-card h3 {
  font-family: var(--mono);
  font-size: var(--text-sm);
  color: var(--accent);
  margin-bottom: 4px;
}
.iso-card p {
  margin: 0 0 6px;
  color: var(--text-muted);
  font-size: var(--text-xs);
}
.iso-card ul {
  margin: 0;
  padding-left: 16px;
  color: var(--text-muted);
  font-size: var(--text-xs);
}

table.matrix {
  width: 100%;
  border-collapse: collapse;
  font-size: var(--text-xs);
}
table.matrix th,
table.matrix td {
  border: 1px solid var(--border);
  padding: 5px 7px;
  text-align: left;
}
table.matrix th {
  background: var(--surface-3);
  color: var(--text-muted);
  font-weight: 600;
}
table.matrix td.yes {
  color: var(--red);
  font-family: var(--mono);
}
table.matrix td.no {
  color: var(--green);
  font-family: var(--mono);
}

/* -------------------------------------------------------------- layout */

.grid {
  display: grid;
  gap: var(--space-4);
  grid-template-columns: 320px minmax(0, 1fr) 360px;
  align-items: start;
  padding: var(--space-4) var(--space-5);
}
.col {
  display: flex;
  flex-direction: column;
  gap: var(--space-4);
  min-width: 0;
}
.dual {
  display: grid;
  gap: var(--space-4);
  grid-template-columns: minmax(0, 320px) minmax(0, 1fr);
}
@media (max-width: 1400px) {
  .grid {
    grid-template-columns: 300px minmax(0, 1fr);
  }
  .col-right {
    grid-column: 1 / -1;
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    align-items: start;
  }
}
@media (max-width: 980px) {
  .grid {
    grid-template-columns: minmax(0, 1fr);
    padding: var(--space-3);
  }
  .col-right {
    grid-template-columns: minmax(0, 1fr);
  }
  .dual {
    grid-template-columns: minmax(0, 1fr);
  }
  .appbar,
  .scenariobar {
    padding: var(--space-3);
  }
}

/* -------------------------------------------------------------- panels */

.panel {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--r-lg);
  box-shadow: var(--shadow);
  min-width: 0;
  overflow: hidden;
}
.panel-head {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  padding: var(--space-3) var(--space-4);
  border-bottom: 1px solid var(--border-soft);
  background: linear-gradient(var(--surface-2), var(--surface));
}
.panel-head h2 {
  font-size: var(--text-sm);
  letter-spacing: 0.02em;
  text-transform: uppercase;
  color: var(--text);
  flex: 0 0 auto;
}
.panel-tag {
  font-size: 11px;
  color: var(--text-faint);
  font-family: var(--mono);
  margin-left: auto;
  text-align: right;
}
.panel-body {
  padding: var(--space-4);
  display: flex;
  flex-direction: column;
  gap: var(--space-3);
}
.panel-body-flush {
  padding: 0;
}
.panel-collapse > summary {
  list-style: none;
  cursor: pointer;
}
.panel-collapse > summary::-webkit-details-marker {
  display: none;
}
.panel-collapse > summary::after {
  content: '＋';
  color: var(--accent);
  font-family: var(--mono);
}
.panel-collapse[open] > summary::after {
  content: '－';
}

/* ------------------------------------------------------ scenario panel */

.scenario-title {
  font-size: var(--text-base);
  font-weight: 600;
}
.scenario-tagline {
  color: var(--accent);
  font-size: var(--text-xs);
  font-family: var(--mono);
}
.scenario-blurb,
.scenario-fix {
  color: var(--text-muted);
  font-size: var(--text-xs);
  margin: 0;
}
.scenario-fix {
  border-left: 2px solid var(--cyan);
  padding-left: var(--space-3);
  color: var(--cyan);
}

/* ----------------------------------------------------- transaction cards */

.txn-card {
  border: 1px solid var(--border);
  border-left: 3px solid var(--txn-color, var(--accent));
  border-radius: var(--r-md);
  background: var(--surface-2);
  padding: var(--space-3);
  display: flex;
  flex-direction: column;
  gap: 6px;
  cursor: pointer;
  transition: background 0.14s ease;
}
.txn-card:hover {
  background: var(--surface-3);
}
.txn-card.selected {
  outline: 1px solid var(--accent);
  background: var(--surface-3);
}
.txn-top {
  display: flex;
  align-items: center;
  gap: var(--space-2);
}
.txn-name {
  font-family: var(--mono);
  font-weight: 700;
  color: var(--txn-color, var(--accent));
}
.txn-role {
  font-size: 11px;
  color: var(--text-faint);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.badge {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 2px 6px;
  border-radius: 999px;
  border: 1px solid currentColor;
  white-space: nowrap;
  margin-left: auto;
}
.badge.idle {
  color: var(--text-faint);
}
.badge.active {
  color: var(--accent);
}
.badge.waiting {
  color: var(--violet);
}
.badge.sleeping {
  color: var(--text-muted);
}
.badge.committed {
  color: var(--green);
}
.badge.aborted {
  color: var(--red);
}

.iso-select,
.ed-input,
.ed-select {
  font-family: var(--mono);
  font-size: 11px;
  background: var(--surface);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  padding: 3px 6px;
  max-width: 100%;
}
.ed-input {
  width: 100%;
}

.ops {
  margin: 0;
  padding: 0;
  list-style: none;
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.ops li {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--text-muted);
  padding: 2px 6px;
  border-radius: 3px;
  border-left: 2px solid transparent;
  overflow-wrap: anywhere;
}
.ops li.done {
  color: var(--text-faint);
}
.ops li.current {
  color: var(--text);
  background: color-mix(in srgb, var(--accent) 14%, transparent);
  border-left-color: var(--accent);
}
.txn-abort {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--red);
  background: color-mix(in srgb, var(--red) 12%, transparent);
  border-radius: var(--r-sm);
  padding: 4px 6px;
  overflow-wrap: anywhere;
}

/* ------------------------------------------------------------ timeline */

.timeline-scroll {
  overflow-x: auto;
  padding: var(--space-3) var(--space-4) var(--space-4);
}
.tl {
  display: grid;
  gap: 4px;
  min-width: max-content;
}
.tl-row {
  display: grid;
  grid-template-columns: 116px max-content;
  align-items: center;
  gap: var(--space-3);
}
.tl-label {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--text-muted);
  display: flex;
  gap: 6px;
  align-items: center;
  position: sticky;
  left: 0;
  background: var(--surface);
  z-index: 2;
  padding-right: 4px;
}
.tl-label b {
  color: var(--txn-color);
}
.tl-cells {
  display: grid;
  grid-auto-flow: column;
  grid-auto-columns: 38px;
  gap: 3px;
}
.tl-tick {
  font-family: var(--mono);
  font-size: 10px;
  color: var(--text-faint);
  text-align: center;
  font-variant-numeric: tabular-nums;
}
.cell {
  height: 26px;
  border-radius: 4px;
  background: var(--surface-3);
  border: 1px solid var(--border-soft);
  display: grid;
  place-items: center;
  font-family: var(--mono);
  font-size: 9px;
  color: var(--text-faint);
  overflow: hidden;
}
.cell.fresh {
  animation: cell-in 0.24s ease both;
}
@keyframes cell-in {
  from {
    opacity: 0;
    transform: translateY(4px) scaleY(0.7);
  }
}
.cell.empty {
  background: transparent;
  border-color: transparent;
}
.cell.run {
  background: color-mix(in srgb, var(--accent) 22%, var(--surface-3));
  border-color: color-mix(in srgb, var(--accent) 55%, transparent);
  color: var(--accent);
}
.cell.wait {
  background: repeating-linear-gradient(
    45deg,
    color-mix(in srgb, var(--violet) 26%, var(--surface-3)) 0 4px,
    var(--surface-3) 4px 8px
  );
  border-color: color-mix(in srgb, var(--violet) 55%, transparent);
  color: var(--violet);
}
.cell.sleep {
  background: var(--surface-2);
  color: var(--text-faint);
  border-style: dashed;
}
.cell.commit {
  background: color-mix(in srgb, var(--green) 26%, var(--surface-3));
  border-color: var(--green);
  color: var(--green);
  font-weight: 700;
}
.cell.abort {
  background: color-mix(in srgb, var(--red) 26%, var(--surface-3));
  border-color: var(--red);
  color: var(--red);
  font-weight: 700;
}
.cell.now {
  animation: pulse 1.1s ease-in-out infinite;
  box-shadow: 0 0 0 1px var(--accent);
}
@keyframes pulse {
  0%,
  100% {
    box-shadow: 0 0 0 1px color-mix(in srgb, var(--accent) 60%, transparent);
  }
  50% {
    box-shadow: 0 0 0 4px color-mix(in srgb, var(--accent) 22%, transparent);
  }
}
.cell.marked {
  outline: 1px dashed var(--cyan);
  outline-offset: 1px;
}

.legend {
  display: flex;
  gap: var(--space-3);
  flex-wrap: wrap;
  margin-left: auto;
  font-size: 10px;
  color: var(--text-faint);
  font-family: var(--mono);
}
.legend span {
  display: inline-flex;
  align-items: center;
  gap: 4px;
}
.swatch {
  width: 10px;
  height: 10px;
  border-radius: 2px;
  border: 1px solid var(--border);
  display: inline-block;
}

/* --------------------------------------------------------- wait graph */

#waitgraph svg {
  width: 100%;
  height: auto;
  display: block;
}
.wg-node {
  fill: var(--surface-3);
  stroke: var(--border);
}
.wg-node.holder {
  stroke: var(--accent);
}
.wg-node.waiter {
  stroke: var(--violet);
}
.wg-node.cycle {
  stroke: var(--red);
  fill: color-mix(in srgb, var(--red) 18%, var(--surface-3));
}
.wg-label {
  font-family: var(--mono);
  font-size: 11px;
  fill: var(--text);
}
.wg-sub {
  font-family: var(--mono);
  font-size: 9px;
  fill: var(--text-faint);
}
.wg-edge {
  stroke: var(--violet);
  stroke-width: 1.6;
  fill: none;
}
.wg-edge.cycle {
  stroke: var(--red);
  stroke-width: 2.4;
  stroke-dasharray: 6 4;
  animation: dash 0.7s linear infinite;
}
@keyframes dash {
  to {
    stroke-dashoffset: -20;
  }
}
.wg-edge-label {
  font-family: var(--mono);
  font-size: 9px;
  fill: var(--text-muted);
}
.wg-empty {
  color: var(--text-faint);
  font-size: var(--text-xs);
  font-family: var(--mono);
}

/* --------------------------------------------------- snapshot inspector */

.snap-meta {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--text-muted);
}
.snap-meta b {
  color: var(--cyan);
}
table.data {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 11px;
}
table.data th,
table.data td {
  border-bottom: 1px solid var(--border-soft);
  padding: 4px 6px;
  text-align: left;
  white-space: nowrap;
}
table.data th {
  color: var(--text-faint);
  font-weight: 500;
  text-transform: uppercase;
  font-size: 10px;
  letter-spacing: 0.06em;
}
td.diff {
  color: var(--red);
  background: color-mix(in srgb, var(--red) 10%, transparent);
}
td.same {
  color: var(--text-muted);
}
.tag-cyan {
  color: var(--cyan);
}
.tag-muted {
  color: var(--text-faint);
}

/* --------------------------------------------------------- rows & locks */

.tbl-name {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--text-faint);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.rowcard {
  border: 1px solid var(--border);
  border-radius: var(--r-md);
  background: var(--surface-2);
  overflow: hidden;
}
.rowcard + .rowcard {
  margin-top: 6px;
}
.rowcard > summary {
  list-style: none;
  cursor: pointer;
  padding: 6px 8px;
  display: flex;
  align-items: center;
  gap: 8px;
  font-family: var(--mono);
  font-size: 11px;
}
.rowcard > summary::-webkit-details-marker {
  display: none;
}
.rowcard > summary::before {
  content: '▸';
  color: var(--text-faint);
  font-size: 9px;
}
.rowcard[open] > summary::before {
  content: '▾';
}
.rowkey {
  color: var(--cyan);
}
.rowvals {
  color: var(--text);
  white-space: normal;
  overflow-wrap: anywhere;
  flex: 1 1 auto;
}
.lockpill {
  margin-left: auto;
  font-size: 10px;
  padding: 1px 6px;
  border-radius: 999px;
  border: 1px solid var(--border);
  color: var(--text-faint);
  white-space: nowrap;
}
.lockpill.held {
  color: var(--accent);
  border-color: var(--accent);
}
.lockpill.queued {
  color: var(--violet);
  border-color: var(--violet);
}
.chain {
  padding: 6px 8px 8px 22px;
  border-top: 1px dashed var(--border);
  display: flex;
  flex-direction: column;
  gap: 3px;
}
.ver {
  font-family: var(--mono);
  font-size: 10.5px;
  display: flex;
  gap: 6px;
  align-items: baseline;
  color: var(--text-muted);
  overflow-wrap: anywhere;
}
.ver .xid {
  color: var(--accent);
}
.ver .dead {
  color: var(--text-faint);
  text-decoration: line-through;
}
.ver .st {
  font-size: 9px;
  padding: 0 4px;
  border-radius: 3px;
  border: 1px solid currentColor;
}
.st.committed {
  color: var(--green);
}
.st.active {
  color: var(--accent);
}
.st.aborted {
  color: var(--red);
}

/* ------------------------------------------------------------- metrics */

.metric-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 6px;
}
@media (max-width: 480px) {
  .metric-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}
.metric {
  border: 1px solid var(--border);
  border-radius: var(--r-sm);
  background: var(--surface-2);
  padding: 6px 8px;
}
.metric-label {
  font-size: 9.5px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--text-faint);
  display: block;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.metric-value {
  font-family: var(--mono);
  font-size: var(--text-base);
  font-weight: 700;
  font-variant-numeric: tabular-nums;
}
.metric-value.warn {
  color: var(--accent);
}
.metric-value.bad {
  color: var(--red);
}
.metric-value.good {
  color: var(--green);
}

/* ----------------------------------------------------------- integrity */

.inv {
  border: 1px solid var(--border);
  border-left-width: 3px;
  border-radius: var(--r-sm);
  padding: 6px 8px;
  background: var(--surface-2);
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.inv.pass {
  border-left-color: var(--green);
}
.inv.fail {
  border-left-color: var(--red);
}
.inv-top {
  display: flex;
  gap: 8px;
  align-items: baseline;
}
.inv-name {
  font-size: var(--text-xs);
  color: var(--text);
}
.inv-status {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  margin-left: auto;
  white-space: nowrap;
}
.inv.pass .inv-status {
  color: var(--green);
}
.inv.fail .inv-status {
  color: var(--red);
}
.inv-line {
  font-family: var(--mono);
  font-size: 10.5px;
  color: var(--text-muted);
  overflow-wrap: anywhere;
}
.inv-note {
  font-size: 10.5px;
  color: var(--text-faint);
}

.takeaway p {
  margin: 0 0 var(--space-2);
  font-size: var(--text-xs);
  color: var(--text-muted);
}
.takeaway strong {
  color: var(--text);
}
.takeaway .verdict {
  font-family: var(--mono);
  font-size: var(--text-xs);
  padding: 6px 8px;
  border-radius: var(--r-sm);
  border: 1px solid var(--border);
  background: var(--surface-2);
}
.takeaway .verdict.bad {
  border-color: color-mix(in srgb, var(--red) 60%, transparent);
  color: var(--red);
}
.takeaway .verdict.good {
  border-color: color-mix(in srgb, var(--green) 60%, transparent);
  color: var(--green);
}

/* ----------------------------------------------------------------- log */

.log-filters {
  display: flex;
  gap: 4px;
  margin-left: auto;
  flex-wrap: wrap;
}
.lf {
  font: inherit;
  font-family: var(--mono);
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  padding: 2px 7px;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--text-faint);
  cursor: pointer;
}
.lf[aria-pressed='true'] {
  color: var(--text);
  border-color: var(--text-faint);
  background: var(--surface-3);
}
.log {
  max-height: 340px;
  overflow-y: auto;
  font-family: var(--mono);
  font-size: 11px;
}
.logline {
  display: grid;
  grid-template-columns: 38px 34px 84px minmax(0, 1fr);
  gap: 8px;
  padding: 3px var(--space-4);
  border-bottom: 1px solid var(--border-soft);
  cursor: pointer;
  align-items: start;
}
.logline:hover {
  background: var(--surface-2);
}
.logline.expanded {
  background: var(--surface-2);
}
.logline .lt {
  color: var(--text-faint);
  font-variant-numeric: tabular-nums;
}
.logline .lx {
  font-weight: 700;
}
.logline .lc {
  color: var(--text-faint);
  overflow: hidden;
  text-overflow: ellipsis;
}
.logline .lm {
  overflow-wrap: anywhere;
}
.logline.error .lc,
.logline.error .lm {
  color: var(--red);
}
.logline.warn .lc,
.logline.warn .lm {
  color: var(--accent);
}
.logline.success .lc,
.logline.success .lm {
  color: var(--green);
}
.logline.read .lm {
  color: var(--cyan);
}
.logline.write .lm {
  color: var(--text);
}
.logline.info .lm {
  color: var(--text-muted);
}
.logline.lock .lm {
  color: var(--violet);
}
.logdetail {
  grid-column: 4;
  color: var(--text-faint);
  border-left: 2px solid var(--border);
  padding: 3px 0 3px 8px;
  margin-top: 2px;
  white-space: normal;
}

/* -------------------------------------------------------------- editor */

.ed-section {
  border-top: 1px dashed var(--border);
  padding-top: var(--space-3);
  display: flex;
  flex-direction: column;
  gap: 6px;
}
.ed-row {
  display: flex;
  gap: 6px;
  align-items: center;
  flex-wrap: wrap;
}
.ed-label {
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--text-faint);
  min-width: 54px;
}
.ed-oplist {
  display: flex;
  flex-direction: column;
  gap: 3px;
}
.ed-op {
  display: flex;
  gap: 6px;
  align-items: center;
  font-family: var(--mono);
  font-size: 10.5px;
  color: var(--text-muted);
  background: var(--surface-2);
  border: 1px solid var(--border-soft);
  border-radius: 4px;
  padding: 2px 4px;
}
.ed-op span {
  flex: 1 1 auto;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.ed-op button {
  font: inherit;
  font-size: 10px;
  background: transparent;
  border: 1px solid var(--border);
  border-radius: 3px;
  color: var(--text-faint);
  cursor: pointer;
  padding: 0 4px;
}
.ed-op button:hover {
  color: var(--text);
  border-color: var(--text-faint);
}
.ed-hint {
  font-size: 10.5px;
  color: var(--text-faint);
  white-space: nowrap;
  display: inline-flex;
  align-items: center;
  gap: 4px;
}
.ed-hint.wrap {
  white-space: normal;
  display: block;
}
.ed-hint code {
  color: var(--cyan);
}

/* ----------------------------------------------------------- comparison */

.compare {
  margin: 0 var(--space-5) var(--space-6);
}
@media (max-width: 980px) {
  .compare {
    margin: 0 var(--space-3) var(--space-5);
  }
}
.cmp-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr);
  gap: var(--space-5);
}
@media (max-width: 980px) {
  .cmp-grid {
    grid-template-columns: minmax(0, 1fr);
  }
}
.cmp-chart svg {
  width: 100%;
  height: auto;
  overflow: visible;
}
.bar {
  transition: none;
}
.bar rect {
  animation: grow 0.5s cubic-bezier(0.22, 1, 0.36, 1) both;
  transform-box: fill-box;
  transform-origin: bottom center;
}
@keyframes grow {
  from {
    transform: scaleY(0);
  }
}
.axis {
  stroke: var(--border);
}
.axis-text {
  font-family: var(--mono);
  font-size: 9.5px;
  fill: var(--text-faint);
}
.bar-text {
  font-family: var(--mono);
  font-size: 9.5px;
  fill: var(--text);
}
.cmp-cards {
  display: grid;
  gap: var(--space-3);
}
.cmp-card {
  border: 1px solid var(--border);
  border-left-width: 3px;
  border-radius: var(--r-md);
  background: var(--surface-2);
  padding: var(--space-3);
  display: flex;
  flex-direction: column;
  gap: 4px;
}
.cmp-card h3 {
  font-family: var(--mono);
  font-size: var(--text-xs);
}
.cmp-card.good {
  border-left-color: var(--green);
}
.cmp-card.bad {
  border-left-color: var(--red);
}
.cmp-stats {
  display: flex;
  gap: var(--space-3);
  flex-wrap: wrap;
  font-family: var(--mono);
  font-size: 10.5px;
  color: var(--text-muted);
}
.cmp-stats b {
  color: var(--text);
}
.cmp-verdict {
  font-family: var(--mono);
  font-size: 10.5px;
}
.cmp-card.good .cmp-verdict {
  color: var(--green);
}
.cmp-card.bad .cmp-verdict {
  color: var(--red);
}

/* --------------------------------------------------------------- foot */

.foot {
  display: flex;
  gap: var(--space-4);
  justify-content: space-between;
  flex-wrap: wrap;
  padding: var(--space-4) var(--space-5) var(--space-8);
  border-top: 1px solid var(--border-soft);
  color: var(--text-faint);
  font-size: 11px;
}
.foot code {
  color: var(--text-muted);
}
.foot-keys {
  display: flex;
  gap: 6px;
  align-items: center;
  white-space: nowrap;
}

@media (prefers-reduced-motion: reduce) {
  * {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
  }
}

/* --------------------------------------------- log: stack on small screens */

@media (max-width: 560px) {
  .logline {
    grid-template-columns: 34px 30px minmax(0, 1fr);
    row-gap: 2px;
    padding: 5px var(--space-3);
  }
  .logline .lc {
    grid-column: 3;
    font-size: 9.5px;
    letter-spacing: 0.04em;
  }
  .logline .lm {
    grid-column: 1 / -1;
  }
  .logdetail {
    grid-column: 1 / -1;
  }
}

@media (max-width: 620px) {
  .panel-head {
    flex-wrap: wrap;
    row-gap: 6px;
  }
  .panel-head h2 {
    flex: 1 1 100%;
  }
  #timeline-legend,
  .log-filters {
    flex: 1 1 100%;
    justify-content: flex-start;
  }
}