:root {
  --bg: #0f1014;
  --panel: #181c24;
  --panel-2: #1f2530;
  --border: #2a3140;
  --fg: #e6ecf2;
  --muted: #8b95a3;
  --accent: #7cc4ff;
  --accent-dim: #4a7aa8;
  --good: #7cffa1;
  --good-bg: rgba(124, 255, 161, 0.1);
  --bad: #ff7c8a;
  --bad-bg: rgba(255, 124, 138, 0.1);
  --warn: #ffce67;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;
  font-size: 14px;
  line-height: 1.5;
  min-height: 100vh;
}

code {
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  background: var(--panel);
  padding: 1px 5px;
  border-radius: 3px;
  font-size: 0.88em;
}

a { color: var(--accent); }

header {
  max-width: 1080px;
  margin: 28px auto 16px;
  padding: 0 20px;
}

h1 {
  margin: 0 0 6px;
  font-size: 1.7rem;
  font-weight: 700;
  letter-spacing: -0.01em;
}

.subtitle {
  margin: 0;
  color: var(--muted);
  font-size: 0.92rem;
  max-width: 76ch;
}

main {
  max-width: 1080px;
  margin: 0 auto;
  padding: 0 20px 40px;
  display: flex;
  flex-direction: column;
  gap: 14px;
}

.panel {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px 18px;
}

.panel h2 {
  margin: 0 0 10px;
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.07em;
}

.panel-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 14px;
}

.io-panel { display: flex; flex-direction: column; }

#sourceIn, #testsIn {
  width: 100%;
  flex: 1;
  background: #0c0e13;
  color: var(--fg);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 12px 14px;
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 0.85rem;
  line-height: 1.55;
  outline: none;
  min-height: 220px;
  resize: vertical;
  white-space: pre;
  overflow: auto;
}

#sourceIn:focus, #testsIn:focus { border-color: var(--accent); }

.presets {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  align-items: center;
}

.preset {
  background: var(--panel-2);
  color: var(--fg);
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 4px 12px;
  font-size: 0.82rem;
  cursor: pointer;
  font-family: inherit;
}

.preset:hover { border-color: var(--accent); color: var(--accent); }

.primary {
  background: var(--accent);
  color: #061018;
  border: none;
  border-radius: 6px;
  padding: 6px 18px;
  font-weight: 600;
  font-size: 0.88rem;
  cursor: pointer;
  font-family: inherit;
  margin-left: auto;
}

.primary:hover { filter: brightness(1.08); }

/* ── Verdict panel ── */

.verdict-panel {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 6px;
  padding: 24px 18px;
  text-align: center;
}

.verdict-panel.win {
  background: var(--good-bg);
  border-color: rgba(124, 255, 161, 0.4);
}

.verdict-panel.lose {
  background: var(--bad-bg);
  border-color: rgba(255, 124, 138, 0.4);
}

.verdict-panel.error {
  background: var(--bad-bg);
  border-color: rgba(255, 124, 138, 0.4);
}

.verdict-main {
  display: flex;
  align-items: baseline;
  gap: 12px;
}

.verdict-score {
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 3rem;
  font-weight: 700;
  font-variant-numeric: tabular-nums;
}

.verdict-panel.win .verdict-score  { color: var(--good); }
.verdict-panel.lose .verdict-score { color: var(--bad); }
.verdict-panel.error .verdict-score { color: var(--bad); }

.verdict-label {
  font-size: 1rem;
  color: var(--muted);
}

.verdict-detail {
  color: var(--muted);
  font-size: 0.92rem;
}

.verdict-detail strong {
  color: var(--fg);
  font-variant-numeric: tabular-nums;
}

/* ── Per-mutant results ── */

.results-list {
  display: flex;
  flex-direction: column;
  gap: 10px;
}

.result-group {
  background: var(--panel-2);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 10px 12px;
}

.result-head {
  display: flex;
  justify-content: space-between;
  margin-bottom: 6px;
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 0.88rem;
}

.result-op {
  color: var(--accent);
  font-weight: 600;
}

.result-stat {
  color: var(--muted);
  font-size: 0.82rem;
}

.result-mutants {
  display: flex;
  flex-direction: column;
  gap: 4px;
}

.mutant-row {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 4px 8px;
  border-radius: 4px;
  font-size: 0.85rem;
}

.mutant-row.killed   { background: rgba(124, 255, 161, 0.06); }
.mutant-row.survived { background: rgba(255, 206, 103, 0.08); }

.mutant-badge {
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 0.78rem;
  font-weight: 600;
  min-width: 90px;
}

.mutant-row.killed   .mutant-badge { color: var(--good); }
.mutant-row.survived .mutant-badge { color: var(--warn); }

.mutant-change {
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 0.82rem;
  color: var(--muted);
}

.mutant-old, .mutant-new {
  background: #0c0e13;
  padding: 1px 6px;
  border-radius: 3px;
}

/* ── Notes ── */

.notes-panel ul {
  margin: 0 0 12px;
  padding-left: 18px;
}

.notes-panel li { margin-bottom: 6px; }

.caveat {
  margin: 0;
  color: var(--muted);
  font-size: 0.88rem;
  padding: 10px 12px;
  background: var(--panel-2);
  border-radius: 6px;
  border-left: 3px solid var(--accent-dim);
}

footer {
  margin-top: 4px;
  color: var(--muted);
  font-size: 0.82rem;
  text-align: center;
  line-height: 1.6;
}

footer code {
  background: var(--panel-2);
  padding: 1px 5px;
  border-radius: 3px;
  font-family: "JetBrains Mono", "SF Mono", Consolas, monospace;
  font-size: 0.8rem;
}

@media (max-width: 720px) {
  .panel-row { grid-template-columns: 1fr; }
  .primary { margin-left: 0; }
}