:root {
  --ground: #0d1014;
  --raised: #141920;
  --sunken: #0a0d11;
  --line: #222a34;
  --line-soft: #1a212a;
  --text: #e3e8ef;
  --muted: #8b97a8;
  --faint: #5d6878;
  --accent: #4ecdc4;
  --accent-dim: #1f3f3d;
  --pass: #5ac77e;
  --fail: #e56a6a;
  --warn: #d9a441;
  --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, system-ui, sans-serif;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--ground);
  color: var(--text);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

.wrap { max-width: 940px; margin: 0 auto; padding: 0 24px; }

/* ---------- masthead ---------- */
.masthead {
  border-bottom: 1px solid var(--line);
  background: linear-gradient(180deg, #11161d 0%, var(--ground) 100%);
  padding: 44px 0 34px;
}
.wordmark {
  font-family: var(--mono);
  font-size: 26px;
  font-weight: 600;
  margin: 0 0 14px;
  /* letter-spacing lives on .word: on the h1 it also spaces the mark away
     from the text, which is not the same decision. */
  letter-spacing: normal;
}
.wordmark .word { letter-spacing: 0.22em; }
.wordmark .dot { color: var(--accent); }
.thesis {
  margin: 0;
  max-width: 62ch;
  color: var(--muted);
  font-size: 16.5px;
}
.badges { margin-top: 20px; display: flex; gap: 10px; flex-wrap: wrap; }
.badge {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.07em;
  text-transform: uppercase;
  padding: 5px 10px;
  border: 1px solid var(--line);
  border-radius: 3px;
  color: var(--muted);
}
.badge.ok { color: var(--accent); border-color: var(--accent-dim); background: #101c1c; }
.badge.bad { color: var(--warn); border-color: #3a2f16; }
.badge.quiet { color: var(--faint); }

/* ---------- url bar ---------- */
.urlbar { margin-top: 4px; }
.url-form { display: flex; gap: 9px; flex-wrap: wrap; }
#url-input {
  flex: 1 1 360px;
  background: var(--sunken);
  border: 1px solid var(--line);
  border-radius: 4px;
  padding: 11px 13px;
  color: var(--text);
  font-family: var(--mono);
  font-size: 13.5px;
}
#url-input::placeholder { color: var(--faint); }
#url-input:focus { outline: none; border-color: var(--accent); }
#url-go {
  background: var(--accent-dim);
  border: 1px solid var(--accent);
  color: var(--accent);
  border-radius: 4px;
  padding: 11px 22px;
  font-family: var(--mono);
  font-size: 13px;
  letter-spacing: 0.05em;
  cursor: pointer;
}
#url-go:hover:not(:disabled) { background: #17302e; }
#url-go:disabled { opacity: .45; cursor: default; }
.url-note { margin: 11px 0 0; color: var(--faint); font-size: 12.5px; max-width: 64ch; }
.url-error { margin: 10px 0 0; color: var(--fail); font-size: 13px; font-family: var(--mono); }

/* ---------- picker ---------- */
.eyebrow {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.13em;
  text-transform: uppercase;
  color: var(--faint);
  font-weight: 500;
  margin: 40px 0 14px;
}
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(212px, 1fr)); gap: 12px; }
.card {
  text-align: left;
  background: var(--raised);
  border: 1px solid var(--line);
  border-radius: 5px;
  padding: 15px 16px;
  color: inherit;
  font: inherit;
  cursor: pointer;
  transition: border-color .14s, transform .14s;
}
.card:hover:not(:disabled) { border-color: var(--accent-dim); transform: translateY(-1px); }
.card:disabled { opacity: .45; cursor: default; }
.card[aria-pressed="true"] { border-color: var(--accent); background: #101a1c; }
.card h3 { margin: 0 0 5px; font-size: 14.5px; font-family: var(--mono); font-weight: 600; }
.card p { margin: 0; color: var(--muted); font-size: 13px; line-height: 1.5; }
.card .repo {
  display: block; margin-bottom: 8px;
  font-family: var(--mono); font-size: 10.5px;
  letter-spacing: 0.08em; text-transform: uppercase; color: var(--faint);
}

.run-header {
  font-family: var(--mono);
  font-size: 12.5px;
  color: var(--muted);
  margin: 0 0 14px;
}
.run-header b { color: var(--text); font-weight: 600; }
.run-header .sep { color: var(--faint); margin: 0 8px; }

/* ---------- stages ---------- */
.run { margin: 34px 0 60px; }
.stages { list-style: none; margin: 0 0 22px; padding: 0; display: flex; flex-wrap: wrap; gap: 8px; }
.stages li {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--faint);
  border: 1px solid var(--line-soft);
  border-radius: 3px;
  padding: 5px 10px;
  display: flex; align-items: center; gap: 7px;
}
.stages li.active { color: var(--accent); border-color: var(--accent-dim); }
.stages li.done { color: var(--muted); }
.stages li::before { content: "○"; font-size: 9px; }
.stages li.active::before { content: "◍"; }
.stages li.done::before { content: "●"; color: var(--pass); }

/* ---------- panels ---------- */
.panel {
  background: var(--raised);
  border: 1px solid var(--line);
  border-radius: 5px;
  margin-bottom: 16px;
  overflow: hidden;
}
.panel-title {
  margin: 0;
  padding: 11px 16px;
  border-bottom: 1px solid var(--line-soft);
  font-family: var(--mono);
  font-size: 11.5px;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}
.panel-note {
  text-transform: none; letter-spacing: 0; font-weight: 400;
  color: var(--faint); margin-left: 8px; font-size: 11px;
}
.diff {
  margin: 0; padding: 14px 16px; overflow-x: auto;
  font-family: var(--mono); font-size: 12.5px; line-height: 1.62;
  background: var(--sunken); max-height: 320px;
}
.diff .add { color: var(--pass); }
.diff .del { color: var(--fail); }
.diff .ctx { color: var(--faint); }

/* ---------- forks ---------- */
.sides { display: grid; grid-template-columns: 1fr 1fr; gap: 1px; background: var(--line-soft); }
.side { background: var(--raised); padding: 14px 16px 16px; }
.side-label {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.09em;
  text-transform: uppercase; color: var(--faint); display: block; margin-bottom: 10px;
}
.grid { display: flex; flex-wrap: wrap; gap: 5px; }
.fork {
  width: 26px; height: 26px; border-radius: 3px;
  border: 1px solid var(--line);
  background: var(--sunken);
  display: grid; place-items: center;
  font-family: var(--mono); font-size: 10px; color: var(--faint);
}
.fork.running { border-color: var(--accent-dim); color: var(--accent); animation: pulse 1.1s ease-in-out infinite; }
.fork.done { border-color: var(--accent); background: var(--accent-dim); color: var(--accent); }
.fork.failed { border-color: #4a2626; background: #1d1214; color: var(--fail); }
@keyframes pulse { 0%,100% { opacity: .45 } 50% { opacity: 1 } }
@media (prefers-reduced-motion: reduce) { .fork.running { animation: none; opacity: .7 } }

/* ---------- findings ---------- */
.finding {
  background: var(--raised); border: 1px solid var(--line);
  border-left: 3px solid var(--fail);
  border-radius: 5px; margin-bottom: 14px; padding: 16px 18px;
}
.finding.clean { border-left-color: var(--pass); }
.finding h3 { margin: 0 0 4px; font-family: var(--mono); font-size: 14px; }
.finding .where { font-family: var(--mono); font-size: 11.5px; color: var(--faint); }
.summary {
  margin: 13px 0 15px; font-size: 15.5px; line-height: 1.58; color: var(--text);
  max-width: 68ch;
}
.witness {
  background: var(--sunken); border: 1px solid var(--line-soft); border-radius: 4px;
  padding: 11px 13px; margin-bottom: 9px; overflow-x: auto;
}
.witness .probe { font-family: var(--mono); font-size: 12px; color: var(--muted); display: block; margin-bottom: 7px; }
.witness .row { font-family: var(--mono); font-size: 12.5px; white-space: pre; }
.witness .row b { display: inline-block; width: 58px; color: var(--faint); font-weight: 400; }
.witness .before b + span { color: var(--pass); }
.witness .after b + span { color: var(--fail); }
.agreed { color: var(--muted); font-size: 14px; margin: 0; }

/* ---------- verdict ---------- */
.verdict {
  margin-top: 22px; padding: 18px 20px; border-radius: 5px;
  border: 1px solid var(--line); background: var(--raised);
  display: flex; justify-content: space-between; align-items: baseline; gap: 16px; flex-wrap: wrap;
}
.verdict.changed { border-color: #4a2626; background: #180f11; }
.verdict.clean { border-color: var(--accent-dim); background: #0e1817; }
.verdict strong { font-size: 17px; }
.verdict .meta { font-family: var(--mono); font-size: 12px; color: var(--faint); }

.foot { padding: 0 24px 56px; }
.foot p { color: var(--faint); font-size: 13px; max-width: 68ch; margin: 0; }

@media (max-width: 680px) {
  .sides { grid-template-columns: 1fr; }
  .thesis { font-size: 15px; }
}

.note {
  margin: 0 0 1rem;
  padding: 0.7rem 0.9rem;
  border-left: 2px solid var(--amber, #b8860b);
  color: var(--dim, #8a8a8a);
  font-size: 0.9rem;
}

.wordmark .mark {
  vertical-align: -0.32em;
  margin-right: 10px;
}

/* A run is half a minute or more of real work. These make the wait legible. */
.activity {
  display: flex;
  align-items: center;
  gap: 10px;
  margin: 18px 0 10px;
  font-family: var(--mono);
  font-size: 13px;
  color: var(--text);
}
.activity .spin {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: var(--accent);
  animation: pulse 1.1s ease-in-out infinite;
  flex: none;
}
@keyframes pulse {
  0%, 100% { opacity: 0.25; transform: scale(0.8); }
  50%      { opacity: 1;    transform: scale(1.15); }
}
.activity .elapsed { margin-left: auto; color: var(--faint); }

.timeline {
  list-style: none;
  margin: 0 0 20px;
  padding: 0;
  font-family: var(--mono);
  font-size: 12.5px;
  border-left: 1px solid var(--line-soft);
}
.timeline li {
  display: flex;
  align-items: baseline;
  gap: 10px;
  padding: 5px 0 5px 14px;
  position: relative;
}
.timeline li::before {
  content: "";
  position: absolute;
  left: -3.5px;
  top: 11px;
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--line);
}
.timeline li:last-child::before { background: var(--accent); }
.timeline .what { color: var(--muted); }
.timeline .note { color: var(--faint); }
.timeline .at { margin-left: auto; color: var(--faint); }

@media (prefers-reduced-motion: reduce) {
  .activity .spin { animation: none; opacity: 0.9; }
}

/* The part that actually differs, in a pair of otherwise identical values. */
.row .value { white-space: pre-wrap; word-break: break-word; }
.row .value .same { color: var(--faint); }
.row.before .value mark {
  background: rgba(229, 106, 106, 0.16);
  color: var(--fail);
  border-radius: 2px;
  padding: 0 2px;
}
.row.after .value mark {
  background: rgba(90, 199, 126, 0.16);
  color: var(--pass);
  border-radius: 2px;
  padding: 0 2px;
}

/* Whether the change predicted its own behaviour difference. */
.flag {
  margin: 0 0 10px;
  font-family: var(--mono);
  font-size: 12.5px;
  letter-spacing: 0.02em;
}
.flag.alarm { color: var(--fail); font-weight: 600; }
.flag.expected { color: var(--pass); }
.finding.alarming { border-left-color: var(--fail); }

/* What the visitor will actually see, so a click is not a lottery. */
.card .shows {
  margin-top: 10px;
  padding-top: 9px;
  border-top: 1px solid var(--line-soft);
  font-family: var(--mono);
  font-size: 11px;
  color: var(--accent);
  letter-spacing: 0.02em;
}