:root {
  --bg: #0d1117;
  --bg-soft: #161b22;
  --bg-mute: #1f2630;
  --border: #2a313c;
  --text: #e6edf3;
  --text-2: #9da7b3;
  --text-3: #6e7781;
  --brand: #22c55e;
  --brand-soft: rgba(34, 197, 94, 0.14);
  --red: #f85149;
  --red-soft: rgba(248, 81, 73, 0.14);
  --yellow: #d29922;
  --cyan: #39c5cf;
  --mono: ui-monospace, SFMono-Regular, "JetBrains Mono", Menlo, Consolas, monospace;
  color-scheme: dark;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 14px/1.5 Inter, system-ui, -apple-system, "Segoe UI", sans-serif;
}

button, input, select, textarea { font: inherit; color: inherit; }

.top {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  align-items: center;
  gap: 24px;
  height: 56px;
  padding: 0 20px;
  background: rgba(13, 17, 23, 0.92);
  backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--border);
}

.brand { display: flex; align-items: center; gap: 10px; }
.brand-name { font-family: var(--mono); font-weight: 700; font-size: 16px; }
.plugin { color: var(--text-2); padding-left: 10px; border-left: 1px solid var(--border); }
.meta { margin-left: auto; color: var(--text-3); font-size: 13px; }

.tabs { display: flex; gap: 4px; }
.tabs button {
  background: none;
  border: 0;
  padding: 6px 12px;
  border-radius: 6px;
  color: var(--text-2);
  cursor: pointer;
  font-weight: 500;
}
.tabs button:hover { color: var(--text); background: var(--bg-soft); }
.tabs button.active { color: var(--brand); background: var(--brand-soft); }

main { padding: 0; }

.empty { max-width: 560px; margin: 80px auto; text-align: center; color: var(--text-2); }

/* ---------- two columns: a side panel and the content */
.tests-view, .split {
  display: grid;
  grid-template-columns: 300px 1fr;
  min-height: calc(100vh - 56px);
}

.side {
  border-right: 1px solid var(--border);
  background: var(--bg-soft);
  padding: 12px 8px;
  overflow-y: auto;
  max-height: calc(100vh - 56px);
  position: sticky;
  top: 56px;
}

.content { padding: 20px 28px 60px; min-width: 0; }

.tree .row {
  display: flex;
  align-items: center;
  gap: 8px;
  width: 100%;
  border: 0;
  background: none;
  text-align: left;
  padding: 4px 8px;
  border-radius: 6px;
  cursor: pointer;
  color: var(--text-2);
}
.tree .row:hover { background: var(--bg-mute); color: var(--text); }
.tree .row.selected { background: var(--brand-soft); color: var(--text); }
.tree .depth-0 { font-weight: 600; color: var(--text); }
.tree .depth-1 { font-weight: 500; color: var(--text); margin-top: 6px; }
.tree .depth-2 { padding-left: 30px; font-size: 13px; }
.tree .label { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.count { color: var(--text-3); font-size: 12px; }

.status { width: 14px; text-align: center; font-weight: 700; flex: none; }
.status.passed { color: var(--brand); }
.status.failed, .status.errored { color: var(--red); }
.status.skipped { color: var(--yellow); }

.toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 14px;
  padding-bottom: 16px;
  border-bottom: 1px solid var(--border);
}
.toolbar label { display: flex; align-items: center; gap: 6px; color: var(--text-2); }
.toolbar .primary { margin-left: auto; }

input[type=text], input[type=number], select, textarea {
  background: var(--bg-soft);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 5px 8px;
}
input:focus, select:focus, textarea:focus { outline: 2px solid var(--brand); outline-offset: -1px; }
input[type=number] { width: 90px; }

button.primary, button.secondary {
  border: 0;
  border-radius: 6px;
  padding: 7px 16px;
  font-weight: 600;
  cursor: pointer;
}
button.primary { background: var(--brand); color: #04110a; }
button.primary:hover { filter: brightness(1.1); }
button.primary.danger { background: var(--red); color: #fff; }
button.secondary { background: var(--bg-mute); color: var(--text); border: 1px solid var(--border); }
button.secondary:hover { border-color: var(--text-3); }
button:disabled { opacity: 0.5; cursor: default; }

.status-line {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  min-height: 48px;
  color: var(--text-2);
}
.command { margin-left: auto; color: var(--text-3); font-family: var(--mono); font-size: 12px; }

.badge {
  font-family: var(--mono);
  font-weight: 700;
  font-size: 12px;
  padding: 2px 8px;
  border-radius: 4px;
}
.badge.pass { background: var(--brand); color: #04110a; }
.badge.fail { background: var(--red); color: #fff; }
.badge.info { background: var(--bg-mute); color: var(--text); }

.spinner {
  width: 14px;
  height: 14px;
  border: 2px solid var(--border);
  border-top-color: var(--brand);
  border-radius: 50%;
  animation: spin 0.8s linear infinite;
}
@keyframes spin { to { transform: rotate(360deg); } }

.class-name { font-size: 14px; margin: 16px 0 4px; }

.result {
  display: flex;
  align-items: center;
  gap: 10px;
  width: 100%;
  border: 0;
  background: none;
  padding: 3px 8px;
  border-radius: 6px;
  text-align: left;
  cursor: pointer;
  color: var(--text-2);
}
.result:hover, .result.open { background: var(--bg-soft); color: var(--text); }
.result.failed .label, .result.errored .label { color: var(--red); }
.result .label { flex: 1; }
.result .time { color: var(--text-3); font-size: 12px; font-family: var(--mono); }

.details:not(:empty), .coverage:not(:empty), .panel {
  margin-top: 20px;
  padding: 16px 20px;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--bg-soft);
}
.details h3, .coverage h3, .panel h3 { margin: 0 0 8px; font-size: 15px; }
.message { margin: 0 0 10px; }
.message.failed, .message.errored { color: var(--red); }
.compare { display: grid; grid-template-columns: 70px 1fr; gap: 8px; }
.compare span { color: var(--text-3); font-family: var(--mono); font-size: 12px; padding-top: 6px; }
.compare pre { margin: 0 0 6px; }
.location { color: var(--cyan); font-family: var(--mono); font-size: 13px; margin: 8px 0; }

pre {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 10px 12px;
  font: 12.5px/1.55 var(--mono);
  overflow-x: auto;
  white-space: pre;
}
.trace { color: var(--text-3); }
.code .line { display: block; }
.code .number { display: inline-block; width: 40px; color: var(--text-3); user-select: none; }
.code .focus { background: var(--red-soft); }
.code .ran { background: var(--brand-soft); }
.code .missed { background: var(--red-soft); }

.coverage-totals { display: flex; gap: 20px; margin-bottom: 8px; font-weight: 600; }
.coverage-file {
  display: grid;
  grid-template-columns: 1fr 160px 44px;
  align-items: center;
  gap: 12px;
  width: 100%;
  border: 0;
  background: none;
  padding: 4px 6px;
  border-radius: 6px;
  cursor: pointer;
  text-align: left;
  font-family: var(--mono);
  font-size: 13px;
}
.coverage-file:hover { background: var(--bg-mute); }
.bar { height: 6px; background: var(--red-soft); border-radius: 3px; overflow: hidden; }
.bar span { display: block; height: 100%; background: var(--brand); }

.console-box { margin-top: 20px; }
.console-box summary { cursor: pointer; color: var(--text-2); }
.console { max-height: 480px; overflow: auto; }
.hint { color: var(--text-3); font-size: 13px; }

/* console colours */
.b { font-weight: 700; }
.dim { opacity: 0.7; }
.red { color: var(--red); }
.green { color: var(--brand); }
.yellow { color: var(--yellow); }
.blue { color: #58a6ff; }
.magenta { color: #d2a8ff; }
.cyan { color: var(--cyan); }
.gray { color: var(--text-3); }
.bg-red { background: var(--red); color: #fff; padding: 0 4px; }
.bg-green { background: var(--brand); color: #04110a; padding: 0 4px; }
.bg-yellow { background: var(--yellow); color: #04110a; padding: 0 4px; }

@media (max-width: 860px) {
  .tests-view, .split { grid-template-columns: 1fr; }
  .side { position: static; max-height: 260px; border-right: 0; border-bottom: 1px solid var(--border); }
  .meta { display: none; }
  .top { gap: 12px; }
}

/* ---------- fuzz and benchmark */
.content.wide { max-width: 1100px; margin: 0 auto; }
.content h2 { margin: 4px 0 4px; font-size: 22px; }
.lead { color: var(--text-2); margin: 0 0 18px; }
.console.tall { max-height: 560px; min-height: 200px; margin-top: 16px; }
.stats { display: flex; gap: 12px; flex-wrap: wrap; }
.stat {
  display: flex;
  flex-direction: column;
  min-width: 120px;
  padding: 10px 16px;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--bg-soft);
}
.stat strong { font-size: 22px; font-family: var(--mono); }
.stat span { color: var(--text-3); font-size: 12px; text-transform: uppercase; letter-spacing: 0.04em; }
.stat.alert strong { color: var(--red); }
.file { display: block; font-family: var(--mono); color: var(--cyan); margin-top: 4px; }

.table { width: 100%; border-collapse: collapse; margin-top: 16px; font-size: 13px; }
.table th { text-align: left; color: var(--text-3); font-weight: 500; padding: 6px 10px; border-bottom: 1px solid var(--border); }
.table td { padding: 6px 10px; border-bottom: 1px solid var(--border); font-family: var(--mono); }
.mono { font-family: var(--mono); }

.chart { width: 100%; height: auto; display: block; }
.chart .grid { stroke: var(--border); stroke-width: 1; }
.chart .axis { fill: var(--text-3); font-size: 11px; font-family: var(--mono); }
.chart .usage { fill: rgba(57, 197, 207, 0.35); }
.chart .tps { fill: none; stroke: var(--brand); stroke-width: 2.5; }
.chart .tps.old { stroke: var(--text-3); stroke-width: 1.5; stroke-dasharray: 4 3; }
.chart .tps-dot { fill: var(--brand); }

/* ---------- scenario editor */
.scenario-columns { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 0.9fr); gap: 28px; align-items: start; }
.preview-box { position: sticky; top: 76px; }
.preview-box h3 { font-size: 14px; color: var(--text-2); margin: 6px 0 8px; }
.preview { max-height: calc(100vh - 140px); overflow: auto; }
.editor h3 { font-size: 14px; margin: 22px 0 8px; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.05em; }
.form-grid { display: grid; grid-template-columns: 1fr 1.4fr; gap: 12px; }
.form-grid label { display: flex; flex-direction: column; gap: 4px; color: var(--text-2); font-size: 13px; }
.golem-row, .step { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin-bottom: 8px; }
.golem-row input[type=text] { width: 160px; }
.step {
  padding: 8px 10px;
  border: 1px solid var(--border);
  border-left: 3px solid var(--cyan);
  border-radius: 8px;
  background: var(--bg-soft);
}
.step.check { border-left-color: var(--brand); }
.step input[type=text] { flex: 1; min-width: 140px; }
.step input.small { width: 70px; flex: none; }
.step-number { color: var(--text-3); font-family: var(--mono); font-size: 12px; width: 18px; }
.step-tools { margin-left: auto; display: flex; gap: 2px; }
button.icon { border: 0; background: none; color: var(--text-3); cursor: pointer; padding: 2px 6px; border-radius: 4px; }
button.icon:hover { color: var(--text); background: var(--bg-mute); }
button.link { border: 0; background: none; color: var(--brand); cursor: pointer; padding: 4px 0; font-weight: 500; }
.add-steps { display: flex; gap: 8px; margin-top: 4px; }
.toolbar.end { justify-content: flex-end; border-bottom: 0; border-top: 1px solid var(--border); padding-top: 16px; margin-top: 24px; }
.toolbar.end .primary { margin-left: 0; }
.scenario-result { margin-top: 12px; }
.drafts { display: flex; flex-direction: column; gap: 4px; padding: 4px; }
.drafts .block { width: 100%; margin-bottom: 8px; }
.draft { display: flex; align-items: center; border-radius: 6px; }
.draft.selected { background: var(--brand-soft); }
.draft-name { flex: 1; display: flex; justify-content: space-between; border: 0; background: none; text-align: left; padding: 6px 8px; cursor: pointer; color: var(--text); }
@media (max-width: 1100px) { .scenario-columns { grid-template-columns: 1fr; } .preview-box { position: static; } }

/* ---------- history */
.heading { display: flex; align-items: flex-start; justify-content: space-between; gap: 16px; }
.history { display: flex; flex-direction: column; gap: 6px; margin-bottom: 20px; }
.history-row {
  display: grid;
  grid-template-columns: 28px 90px minmax(0, 1fr) auto 170px auto;
  align-items: center;
  gap: 12px;
  padding: 10px 12px;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--bg-soft);
}
.history-row.pinned { border-color: rgba(34, 197, 94, 0.5); }
.history-row .kind { font-weight: 600; color: var(--text-2); }
.history-row .what { display: flex; flex-direction: column; min-width: 0; }
.history-row .what .hint { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-family: var(--mono); font-size: 12px; }
.history-row .when { color: var(--text-3); font-size: 12px; }
.star { font-size: 16px; }
.history-row.pinned .star { color: var(--yellow); }
@media (max-width: 860px) { .history-row { grid-template-columns: 28px 1fr auto; } .history-row .when, .history-row .kind { display: none; } }

/* ---------- the website's demo */
.demo-banner {
  padding: 8px 20px;
  background: var(--brand-soft);
  border-bottom: 1px solid rgba(34, 197, 94, 0.4);
  color: var(--text);
  font-size: 13px;
  text-align: center;
}
.demo-banner code { font-family: var(--mono); color: var(--brand); }
.demo-banner a { color: var(--brand); font-weight: 600; }
.demo-note { margin: 0 0 12px; padding: 8px 12px; border-left: 3px solid var(--brand); background: var(--brand-soft); border-radius: 6px; color: var(--text); font-size: 13px; }

/* ---------- picking tests */
.tree .row input[type=checkbox] { flex: none; margin: 0; accent-color: var(--brand); cursor: pointer; }
.tree .row.off .label { color: var(--text-3); }
.tree-tools { display: flex; align-items: center; gap: 12px; padding: 0 8px 8px; border-bottom: 1px solid var(--border); margin-bottom: 6px; }
.tree-tools .count { margin-left: auto; }
.tree-tools button.link { font-size: 13px; padding: 2px 0; }

/* ---------- mutation testing */
.mutant-grid { display: flex; flex-wrap: wrap; gap: 4px; margin: 16px 0; }
.mutant { width: 14px; height: 14px; border-radius: 3px; background: var(--brand); }
.mutant.survived { background: var(--red); }
.mutant.timed-out { background: var(--yellow); }
.survivor { margin-top: 10px; padding: 10px 16px; }
.survivor .location { margin: 0 0 6px; }
.survivor pre { margin: 0; }