@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&family=IBM+Plex+Sans:wght@400;500;600;700&family=Space+Grotesk:wght@500;600;700&display=swap");

/* Ledger is intentionally quiet: one accent, strong hierarchy, and enough
   room for the evidence to be read before the hashes are inspected. */
:root {
  --color-primary: #0f172a;
  --color-on-primary: #ffffff;
  --color-secondary: #1e293b;
  --color-on-secondary: #ffffff;
  --color-accent: #4ade80;
  --color-on-accent: #07130c;
  --color-background: #050810;
  --color-foreground: #f3f7f4;
  --color-card: #0c111c;
  --color-card-foreground: #f3f7f4;
  --color-muted: #121a26;
  --color-muted-foreground: #9ba8b8;
  --color-border: #283444;
  --color-border-strong: #3a4b5f;
  --color-destructive: #fb7185;
  --color-ring: #d1fae5;

  --status-intact: #4ade80;
  --status-weakened: #facc15;
  --status-invalidated: #fb7185;
  --status-unknown: #aab7c7;
  --status-expired: #67c7ed;

  --space-xs: 4px;
  --space-sm: 8px;
  --space-md: 16px;
  --space-lg: 24px;
  --space-xl: 32px;
  --space-2xl: 48px;
  --space-3xl: 64px;

  --shadow-card: 0 18px 44px rgba(0, 8, 18, 0.26);
  --shadow-focus: 0 0 0 3px rgba(74, 222, 128, 0.22);
  --radius-sm: 6px;
  --radius-md: 12px;
  --radius-lg: 18px;
  --font-heading: "Fira Code", "JetBrains Mono", ui-monospace, monospace;
  --font-body: "Fira Sans", "Inter", system-ui, -apple-system, sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  background: var(--color-background);
  color: var(--color-foreground);
  color-scheme: dark;
  font-family: var(--font-body);
  font-size: 16px;
  line-height: 1.5;
  scroll-behavior: smooth;
  scroll-padding-top: 24px;
}

body {
  background:
    radial-gradient(circle at 86% 4%, rgba(74, 222, 128, 0.055), transparent 28rem),
    var(--color-background);
  margin: 0 auto;
  max-width: 1200px;
  min-height: 100vh;
  padding: 28px clamp(20px, 4vw, 56px) 88px;
}

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

a:focus-visible,
summary:focus-visible {
  border-radius: var(--radius-sm);
  box-shadow: var(--shadow-focus);
  outline: 2px solid var(--color-ring);
  outline-offset: 3px;
}

button:focus-visible {
  box-shadow: var(--shadow-focus);
  outline: 2px solid var(--color-ring);
  outline-offset: 3px;
}

code,
.status-pill,
.eyebrow,
.section-count,
.version-label,
.asset-label,
.last-checked,
.time,
.hash-value,
.reason-code {
  font-family: var(--font-heading);
  font-variant-numeric: tabular-nums;
}

code {
  color: #d9fbe5;
  overflow-wrap: anywhere;
}

.skip-link {
  background: var(--color-accent);
  color: var(--color-on-accent);
  left: 16px;
  padding: 10px 14px;
  position: fixed;
  top: -60px;
  z-index: 5;
}

.skip-link:focus {
  top: 16px;
}

.masthead {
  align-items: center;
  border-bottom: 1px solid var(--color-border);
  display: flex;
  gap: var(--space-md);
  justify-content: space-between;
  padding-bottom: 18px;
}

.brand {
  align-items: center;
  color: var(--color-foreground);
  display: inline-flex;
  text-decoration: none;
}

.brand-logo-full {
  display: block;
  height: 36px;
  width: auto;
}

.masthead nav {
  align-items: center;
  display: flex;
  gap: 6px;
}

.masthead nav a {
  border: 1px solid transparent;
  border-radius: var(--radius-sm);
  color: var(--color-muted-foreground);
  cursor: pointer;
  min-height: 40px;
  padding: 9px 12px;
  text-decoration: none;
  transition: background 180ms ease, border-color 180ms ease, color 180ms ease;
}

.masthead nav a:hover,
.masthead nav a.active {
  background: rgba(74, 222, 128, 0.07);
  border-color: rgba(74, 222, 128, 0.28);
  color: var(--color-foreground);
}

.hero {
  border-bottom: 1px solid var(--color-border);
  display: grid;
  gap: clamp(24px, 7vw, 108px);
  grid-template-columns: minmax(0, 1.15fr) minmax(260px, 0.85fr);
  margin-bottom: 64px;
  padding: 82px 0 70px;
}

.eyebrow {
  color: var(--color-accent);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  line-height: 1.4;
  text-transform: uppercase;
}

.hero h1 {
  font-family: var(--font-heading);
  font-size: clamp(2.35rem, 6vw, 5.5rem);
  font-weight: 500;
  letter-spacing: -0.085em;
  line-height: 0.98;
  margin: 22px 0 28px;
  max-width: 10ch;
  text-wrap: balance;
}

.hero h1 span {
  color: var(--color-muted-foreground);
}

.lead {
  color: var(--color-muted-foreground);
  font-size: 1.08rem;
  line-height: 1.7;
  margin: 0;
  max-width: 58ch;
}

.hero-note {
  align-self: end;
  border-left: 1px solid var(--color-border-strong);
  color: var(--color-muted-foreground);
  display: flex;
  font-size: 0.88rem;
  gap: 12px;
  line-height: 1.6;
  max-width: 31ch;
  padding: 4px 0 4px 16px;
}

.signal-dot,
.banner-indicator,
.activity-marker {
  background: var(--color-accent);
  border-radius: 50%;
  box-shadow: 0 0 0 5px rgba(74, 222, 128, 0.08);
  flex: 0 0 auto;
  height: 8px;
  margin-top: 7px;
  width: 8px;
}

.section,
.feed-section,
.activity-section {
  margin-top: var(--space-2xl);
  padding-top: var(--space-xl);
}

.section:not(.section-first),
.activity-section {
  border-top: 1px solid var(--color-border);
}

.section-first {
  margin-top: 0;
  padding-top: 0;
}

.section-heading,
.section-kicker,
.card-topline,
.card-footer,
.activity-head {
  align-items: center;
  display: flex;
  gap: var(--space-md);
  justify-content: space-between;
}

.section-heading h2,
.section h2,
.empty-state h2 {
  font-family: var(--font-heading);
  font-size: clamp(1.15rem, 2vw, 1.45rem);
  font-weight: 500;
  letter-spacing: -0.04em;
  margin: 7px 0 0;
}

.section-count {
  color: var(--color-muted-foreground);
  font-size: 0.72rem;
  white-space: nowrap;
}

.page-title {
  font-family: var(--font-heading);
  font-size: clamp(2rem, 5vw, 4.5rem);
  font-weight: 500;
  letter-spacing: -0.08em;
  line-height: 1;
  margin: 24px 0 0;
  max-width: 14ch;
  text-wrap: balance;
}

.status-word {
  text-decoration: underline;
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.12em;
}

.last-checked {
  color: var(--color-muted-foreground);
  font-size: 0.68rem;
  letter-spacing: 0.02em;
}

.banner {
  align-items: center;
  border: 1px solid currentColor;
  border-radius: var(--radius-md);
  display: flex;
  gap: 12px;
  margin-top: 28px;
  min-height: 62px;
  padding: 14px 18px;
}

.banner-indicator {
  background: currentColor;
  box-shadow: 0 0 0 5px color-mix(in srgb, currentColor 12%, transparent);
  margin-top: 0;
}

.banner strong {
  font-family: var(--font-heading);
  font-weight: 600;
}

.banner-intact {
  background: rgba(74, 222, 128, 0.07);
  color: var(--status-intact);
}

.banner-weakened {
  background: rgba(250, 204, 21, 0.07);
  color: var(--status-weakened);
}

.banner-invalidated {
  background: rgba(251, 113, 133, 0.07);
  color: var(--status-invalidated);
}

.banner-unknown {
  background: rgba(170, 183, 199, 0.07);
  color: var(--status-unknown);
}

.banner-expired {
  background: rgba(103, 199, 237, 0.07);
  color: var(--status-expired);
}

.state-note,
.static-note {
  color: var(--color-muted-foreground);
  font-size: 0.9rem;
  line-height: 1.65;
  margin: 16px 0 0;
  max-width: 72ch;
}

.state-note strong {
  color: var(--color-foreground);
}

.state-note-warning {
  border-left: 2px solid var(--status-weakened);
  padding-left: 14px;
}

.state-note-danger {
  border-left: 2px solid var(--status-invalidated);
  padding-left: 14px;
}

.callout,
.empty-state {
  border: 1px solid var(--color-border);
  border-left: 3px solid var(--color-accent);
  border-radius: 0 var(--radius-md) var(--radius-md) 0;
  margin-top: 28px;
  padding: 20px 22px;
}

.callout.synthetic,
.empty-state {
  background: rgba(170, 183, 199, 0.055);
  border-left-color: var(--status-unknown);
}

.callout.retrospective {
  background: rgba(103, 199, 237, 0.055);
  border-left-color: var(--status-expired);
}

.empty-state {
  margin-top: 0;
  padding: 28px;
}

.empty-state h2 {
  font-size: 1.45rem;
  margin-top: 12px;
}

.empty-state p:last-child {
  color: var(--color-muted-foreground);
  margin-bottom: 0;
  max-width: 62ch;
}

.cards {
  display: grid;
  gap: 14px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 24px;
}

.card {
  background: linear-gradient(145deg, rgba(14, 22, 35, 0.96), rgba(9, 14, 24, 0.96));
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  display: flex;
  flex-direction: column;
  min-height: 238px;
  padding: 22px;
  transition: border-color 180ms ease, box-shadow 180ms ease, transform 180ms ease;
}

.card:first-child:last-child {
  min-height: 270px;
}

.card:hover {
  border-color: rgba(74, 222, 128, 0.45);
  box-shadow: var(--shadow-card);
  transform: translateY(-2px);
}

.card:focus-within {
  border-color: var(--color-accent);
  box-shadow: var(--shadow-focus);
}

.asset-label {
  color: var(--color-accent);
  font-size: 0.78rem;
  font-weight: 600;
  letter-spacing: 0.1em;
}

.version-label {
  color: var(--color-muted-foreground);
  font-size: 0.7rem;
}

.card h3 {
  font-family: var(--font-heading);
  font-size: clamp(1.08rem, 1.5vw, 1.35rem);
  font-weight: 500;
  letter-spacing: -0.05em;
  line-height: 1.25;
  margin: 28px 0 18px;
  max-width: 34ch;
  text-wrap: pretty;
}

.card-link {
  color: var(--color-foreground);
  text-decoration: none;
}

.card-link:hover {
  color: var(--color-accent);
}

.thesis-meta {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 8px 12px;
}

.status-pill {
  align-items: center;
  border: 1px solid currentColor;
  border-radius: 999px;
  display: inline-flex;
  font-size: 0.68rem;
  gap: 6px;
  letter-spacing: 0.01em;
  line-height: 1;
  padding: 7px 9px;
  white-space: nowrap;
}

.status-pill .dot {
  background: currentColor;
  border-radius: 50%;
  box-shadow: 0 0 0 3px color-mix(in srgb, currentColor 12%, transparent);
  height: 6px;
  width: 6px;
}

.status-intact {
  color: var(--status-intact);
}

.status-weakened {
  color: var(--status-weakened);
}

.status-invalidated {
  color: var(--status-invalidated);
}

.status-unknown {
  color: var(--status-unknown);
}

.status-awaiting {
  color: var(--status-unknown);
}

.status-expired {
  color: var(--status-expired);
}

.meta-item {
  color: var(--color-muted-foreground);
  font-size: 0.78rem;
}

.card-footer {
  border-top: 1px solid var(--color-border);
  font-size: 0.72rem;
  gap: 8px;
  justify-content: flex-start;
  margin-top: auto;
  padding-top: 16px;
}

.card-footer .muted:last-of-type {
  margin-left: auto;
}

.card-arrow {
  color: var(--color-accent);
  font-size: 1.1rem;
  line-height: 1;
  margin-left: 4px;
}

.muted {
  color: var(--color-muted-foreground);
}

.activity-list {
  border-left: 1px solid var(--color-border-strong);
  list-style: none;
  margin: 24px 0 0 4px;
  padding: 0 0 0 25px;
}

.activity-item {
  display: grid;
  grid-template-columns: 8px minmax(0, 1fr);
  gap: 17px;
  padding: 0 0 22px;
  position: relative;
}

.activity-item:last-child {
  padding-bottom: 0;
}

.activity-marker {
  background: var(--status-unknown);
  box-shadow: 0 0 0 5px var(--color-background);
  left: -30px;
  margin-top: 6px;
  position: absolute;
}

.activity-head {
  align-items: baseline;
  justify-content: flex-start;
}

.activity-head strong {
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: 0.82rem;
  font-weight: 500;
  text-transform: capitalize;
}

.activity-head time {
  color: var(--color-muted-foreground);
  font-family: var(--font-heading);
  font-size: 0.67rem;
  margin-left: auto;
}

.activity-item p {
  color: var(--color-muted-foreground);
  margin: 5px 0 7px;
  max-width: 70ch;
}

.reason-code {
  color: var(--color-muted-foreground);
  font-size: 0.65rem;
  letter-spacing: 0.04em;
}

.thesis-statement {
  border-left: 2px solid var(--color-accent);
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: 1.2rem;
  letter-spacing: -0.04em;
  line-height: 1.4;
  margin: 24px 0 28px;
  max-width: 62ch;
  padding-left: 16px;
}

.subsection-heading {
  color: var(--color-muted-foreground);
  font-family: var(--font-heading);
  font-size: 0.78rem;
  font-weight: 500;
  margin-top: var(--space-lg);
}

.kv {
  align-items: baseline;
  display: grid;
  font-size: 0.93rem;
  gap: 10px 20px;
  grid-template-columns: minmax(132px, max-content) minmax(0, 1fr);
}

.kv dt {
  color: var(--color-muted-foreground);
  font-family: var(--font-heading);
  font-size: 0.66rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.kv dd {
  margin: 0;
  overflow-wrap: anywhere;
}

ul,
ol {
  padding-left: 1.25rem;
}

.change-row {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  justify-content: space-between;
  margin-bottom: 8px;
}

.change-values {
  align-items: center;
  display: inline-flex;
  gap: 9px;
}

.change-values .muted {
  font-family: var(--font-heading);
  font-size: 0.72rem;
}

.table-scroll {
  margin-top: var(--space-md);
  overflow-x: auto;
  overscroll-behavior-inline: contain;
}

table.conditions {
  border-collapse: collapse;
  min-width: 760px;
  width: 100%;
}

table.conditions th,
table.conditions td {
  border-bottom: 1px solid var(--color-border);
  font-size: 0.88rem;
  padding: 13px 12px;
  text-align: left;
  vertical-align: top;
}

table.conditions th {
  color: var(--color-muted-foreground);
  font-family: var(--font-heading);
  font-size: 0.65rem;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

table.conditions td:first-child,
table.conditions th:first-child {
  padding-left: 0;
}

table.conditions td:last-child,
table.conditions th:last-child {
  padding-right: 0;
}

.result-pass {
  color: var(--status-intact);
}

.result-fail {
  color: var(--status-invalidated);
}

.result-unknown {
  color: var(--status-unknown);
}

.timeline {
  border-left: 1px solid var(--color-border-strong);
  list-style: none;
  margin: 22px 0 0 4px;
  padding: 0 0 0 25px;
}

.timeline-event {
  padding: 0 0 22px;
  position: relative;
}

.timeline-event:last-child {
  padding-bottom: 0;
}

.timeline-event::before {
  background: var(--color-accent);
  border: 4px solid var(--color-background);
  border-radius: 50%;
  content: "";
  height: 8px;
  left: -30px;
  position: absolute;
  top: 4px;
  width: 8px;
}

.timeline-event.kind-practice_closed::before,
.timeline-event.kind-close_requested::before {
  background: var(--status-invalidated);
}

.timeline-event .time {
  color: var(--color-muted-foreground);
  font-size: 0.68rem;
  margin-bottom: 3px;
}

.timeline-event strong {
  font-family: var(--font-heading);
  font-size: 0.82rem;
  font-weight: 500;
  text-transform: capitalize;
}

.timeline-event .muted {
  display: block;
  font-size: 0.87rem;
  margin-top: 3px;
}

details {
  border-bottom: 1px solid var(--color-border);
  padding: 16px 0;
}

details:first-of-type {
  border-top: 1px solid var(--color-border);
}

summary {
  color: var(--color-foreground);
  cursor: pointer;
  font-family: var(--font-heading);
  font-size: 0.82rem;
  list-style-position: outside;
}

.summary-hash {
  color: var(--color-muted-foreground);
  font-size: 0.68rem;
  margin-left: 6px;
  overflow-wrap: anywhere;
}

.evidence-summary {
  padding: 6px 0 0 20px;
}

.evidence-summary p {
  margin-bottom: 8px;
}

.evidence-list {
  color: var(--color-muted-foreground);
  font-size: 0.82rem;
  margin: 0;
}

.evidence-list li {
  margin: 6px 0;
}

.evidence-list strong {
  color: var(--color-foreground);
}

.text-link {
  font-size: 0.82rem;
  text-underline-offset: 3px;
}

.static-note {
  border-top: 1px solid var(--color-border);
  font-size: 0.78rem;
  margin-top: 48px;
  max-width: none;
  padding-top: 18px;
}

footer {
  border-top: 1px solid var(--color-border);
  color: var(--color-muted-foreground);
  display: flex;
  font-size: 0.74rem;
  gap: 24px;
  justify-content: space-between;
  margin-top: 68px;
  padding-top: 20px;
}

.footer-brand {
  color: var(--color-foreground);
  font-family: var(--font-heading);
}

footer .integrity {
  font-family: var(--font-heading);
  overflow-wrap: anywhere;
  text-align: right;
}

@media (max-width: 820px) {
  .hero {
    grid-template-columns: 1fr;
    padding: 62px 0 54px;
  }

  .hero-note {
    align-self: start;
    max-width: 48ch;
  }
}

@media (max-width: 620px) {
  body {
    padding: 20px 16px 64px;
  }

  .masthead nav a {
    min-height: 44px;
    padding-inline: 10px;
  }

  .hero {
    margin-bottom: 44px;
    padding: 52px 0 44px;
  }

  .hero h1 {
    font-size: clamp(2.25rem, 13vw, 3.8rem);
  }

  .section-heading,
  .section-kicker,
  footer {
    align-items: flex-start;
    flex-direction: column;
    gap: 8px;
  }

  .last-checked {
    margin-left: 0;
  }

  .cards {
    grid-template-columns: 1fr;
  }

  .card,
  .card:first-child:last-child {
    min-height: 220px;
  }

  .page-title {
    font-size: clamp(2.15rem, 12vw, 3.4rem);
  }

  .banner {
    align-items: flex-start;
    flex-wrap: wrap;
  }

  .banner .muted {
    flex-basis: 100%;
    padding-left: 20px;
  }

  .kv {
    gap: 5px;
    grid-template-columns: 1fr;
  }

  .kv dt {
    margin-top: 12px;
  }

  .kv dd + dt {
    margin-top: 4px;
  }

  .change-row {
    align-items: flex-start;
    flex-direction: column;
    gap: 4px;
  }

  .activity-head {
    align-items: flex-start;
    flex-direction: column;
    gap: 3px;
  }

  .activity-head time {
    margin-left: 0;
  }

  footer .integrity {
    text-align: left;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }

  .card:hover {
    transform: none;
  }

  .run-feedback[data-kind="running"] .run-feedback-dot {
    animation: none;
  }
}

/* Critic pass: turn the landing page into a readable evidence console. */
:root {
  --color-background: #070b0f;
  --color-foreground: #edf5ef;
  --color-card: #101820;
  --color-muted-foreground: #93a4aa;
  --color-border: #22333a;
  --color-border-strong: #3b5155;
  --color-accent: #9be8a0;
  --color-on-accent: #07110a;
  --color-ring: #d7f8d9;
  --font-heading: "Space Grotesk", "IBM Plex Sans", system-ui, sans-serif;
  --font-body: "IBM Plex Sans", system-ui, sans-serif;
  --font-data: "IBM Plex Mono", ui-monospace, monospace;
}

body {
  isolation: isolate;
  max-width: 1280px;
  position: relative;
}

body::before {
  background-image:
    linear-gradient(rgba(155, 232, 160, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(155, 232, 160, 0.025) 1px, transparent 1px);
  background-size: 72px 72px;
  content: "";
  inset: 0;
  opacity: 0.6;
  pointer-events: none;
  position: fixed;
  z-index: -1;
}

h1,
h2,
h3,
.brand,
.panel-title,
.button-link {
  font-family: var(--font-heading);
}

code,
.eyebrow,
.section-count,
.version-label,
.asset-label,
.last-checked,
.time,
.hash-value,
.reason-code,
.panel-signal,
.panel-foot,
.snapshot-grid dt,
.snapshot-grid dd,
.method-grid > li > span,
.read-list > li > span {
  font-family: var(--font-data);
  font-variant-numeric: tabular-nums;
}

.masthead {
  padding-top: 14px;
}

.masthead-context {
  color: var(--color-muted-foreground);
  font-family: var(--font-data);
  font-size: 0.63rem;
  letter-spacing: 0.08em;
  margin-left: auto;
  margin-right: 18px;
  text-transform: uppercase;
}

.masthead nav a {
  border-radius: 5px;
}

.hero {
  align-items: end;
  gap: clamp(40px, 7vw, 104px);
  grid-template-columns: minmax(0, 1.08fr) minmax(300px, 0.72fr);
  margin-bottom: 0;
  padding: clamp(52px, 7vw, 88px) 0 40px;
}

.hero-copy {
  max-width: 650px;
}

.hero h1 {
  font-size: clamp(3.2rem, 6vw, 5.6rem);
  font-weight: 600;
  letter-spacing: -0.075em;
  line-height: 0.92;
  margin: 20px 0 24px;
  max-width: 11ch;
}

.hero h1 span {
  color: #718287;
}

.lead {
  font-size: 1.02rem;
  max-width: 52ch;
}

.hero-links {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 18px;
  margin-top: 32px;
}

.button-link {
  align-items: center;
  background: var(--color-accent);
  border: 1px solid var(--color-accent);
  border-radius: 5px;
  color: var(--color-on-accent);
  display: inline-flex;
  font-size: 0.82rem;
  font-weight: 600;
  gap: 12px;
  min-height: 44px;
  padding: 11px 14px;
  text-decoration: none;
  transition: transform 180ms ease, background 180ms ease, box-shadow 180ms ease;
}

.button-link:hover {
  background: #b9f2bd;
  box-shadow: 0 10px 26px rgba(155, 232, 160, 0.12);
  color: var(--color-on-accent);
  transform: translateY(-2px);
}

.button-link {
  cursor: pointer;
  font: 600 0.82rem var(--font-body);
}

.button-link:disabled {
  cursor: wait;
  opacity: 0.72;
  transform: none;
}

.hero-links .text-link,
.side-link {
  color: var(--color-foreground);
  font-size: 0.82rem;
  text-underline-offset: 4px;
}

.hero-links .text-link:hover,
.side-link:hover {
  color: var(--color-accent);
}

.run-helper,
.run-feedback {
  align-items: center;
  color: var(--color-muted-foreground);
  display: flex;
  font-size: 0.77rem;
  gap: 9px;
  line-height: 1.45;
  margin-top: 15px;
  max-width: 58ch;
}

.run-helper-dot,
.run-feedback-dot {
  background: var(--color-accent);
  border-radius: 50%;
  box-shadow: 0 0 0 4px rgba(155, 232, 160, 0.1);
  flex: 0 0 auto;
  height: 6px;
  width: 6px;
}

.run-feedback {
  align-items: start;
  border-left: 1px solid var(--color-border-strong);
  margin-top: 18px;
  padding: 9px 0 9px 14px;
}

.run-feedback[hidden] {
  display: none;
}

.run-feedback[data-kind="running"] .run-feedback-dot {
  animation: pulse 1.2s ease-in-out infinite;
}

.run-feedback[data-kind="success"] {
  color: var(--status-intact);
}

.run-feedback[data-kind="error"] {
  color: var(--status-invalidated);
}

.run-feedback[data-kind="error"] .run-feedback-dot {
  background: currentColor;
  box-shadow: 0 0 0 4px color-mix(in srgb, currentColor 12%, transparent);
}

.run-feedback-copy {
  display: grid;
  gap: 3px;
}

.run-feedback strong {
  color: currentColor;
  font-family: var(--font-heading);
  font-size: 0.86rem;
  font-weight: 600;
}

.run-feedback-detail {
  color: var(--color-muted-foreground);
  font-size: 0.72rem;
}

.run-record-link {
  color: var(--color-foreground);
  font-size: 0.76rem;
  margin-top: 5px;
  text-underline-offset: 3px;
  width: fit-content;
}

.run-progress {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 14px;
}

.run-progress[hidden] {
  display: none;
}

.run-progress-step {
  border: 1px solid var(--color-border);
  border-radius: 999px;
  color: #91a5aa;
  font: 500 0.61rem var(--font-data);
  letter-spacing: 0.04em;
  padding: 5px 8px;
  text-transform: uppercase;
}

.run-progress-step[data-state="active"] {
  border-color: var(--color-accent);
  color: var(--color-accent);
}

.run-progress-step[data-state="done"] {
  border-color: rgba(155, 232, 160, 0.35);
  color: #a8c9ad;
}

.run-progress-label {
  color: #91a5aa;
  font: 500 0.6rem var(--font-data);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.empty-state .run-button {
  margin-top: 18px;
}

@keyframes pulse {
  50% { opacity: 0.35; transform: scale(0.75); }
}

.hero-panel {
  background: linear-gradient(145deg, rgba(18, 29, 34, 0.94), rgba(10, 17, 22, 0.96));
  border: 1px solid var(--color-border-strong);
  border-radius: 12px;
  box-shadow: 0 24px 55px rgba(0, 8, 12, 0.28);
  padding: 24px;
  position: relative;
}

.hero-panel::before {
  background: linear-gradient(90deg, var(--color-accent), transparent);
  content: "";
  height: 2px;
  left: 24px;
  opacity: 0.7;
  position: absolute;
  right: 24px;
  top: -1px;
}

.panel-topline,
.panel-foot {
  align-items: center;
  display: flex;
  justify-content: space-between;
}

.panel-signal {
  align-items: center;
  color: var(--color-muted-foreground);
  display: inline-flex;
  font-size: 0.62rem;
  gap: 8px;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.panel-signal .signal-dot {
  height: 6px;
  margin: 0;
  width: 6px;
}

.panel-status-intact {
  color: var(--status-intact) !important;
}

.panel-status-weakened {
  color: var(--status-weakened) !important;
}

.panel-status-invalidated {
  color: var(--status-invalidated) !important;
}

.panel-status-unknown {
  color: var(--status-unknown) !important;
}

.panel-status-expired {
  color: var(--status-expired) !important;
}

.panel-title {
  display: block;
  font-size: clamp(1.35rem, 2.3vw, 1.8rem);
  letter-spacing: -0.05em;
  line-height: 1.05;
  margin-top: 42px;
  max-width: 12ch;
}

.panel-copy {
  color: var(--color-muted-foreground);
  font-size: 0.9rem;
  line-height: 1.55;
  margin: 14px 0 24px;
  max-width: 32ch;
}

.panel-metrics {
  border-bottom: 1px solid var(--color-border);
  border-top: 1px solid var(--color-border);
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 0;
  padding: 16px 0;
}

.panel-metrics > div + div {
  border-left: 1px solid var(--color-border);
  padding-left: 14px;
}

.panel-metrics dt {
  color: var(--color-muted-foreground);
  font-family: var(--font-data);
  font-size: 0.6rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.panel-metrics dd {
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: 1.2rem;
  font-weight: 600;
  margin: 4px 0 0;
  text-transform: capitalize;
}

.panel-foot {
  color: var(--color-muted-foreground);
  font-size: 0.72rem;
  gap: 12px;
  margin-top: 16px;
}

.panel-foot code {
  color: var(--color-muted-foreground);
  font-size: 0.65rem;
  text-align: right;
}

.feed-section {
  margin-top: 0;
  padding-top: 56px;
}

.feed-layout {
  align-items: start;
  display: grid;
  gap: 24px;
  grid-template-columns: minmax(0, 1.28fr) minmax(270px, 0.72fr);
  margin-top: 24px;
}

.feed-layout .cards {
  grid-template-columns: 1fr;
  margin-top: 0;
}

.card,
.card:first-child:last-child {
  min-height: 240px;
}

.card {
  background: linear-gradient(145deg, rgba(17, 28, 35, 0.98), rgba(10, 18, 24, 0.98));
  border-color: var(--color-border-strong);
  padding: 28px;
}

.card h3 {
  font-family: var(--font-heading);
  font-size: clamp(1.35rem, 2.4vw, 2rem);
  letter-spacing: -0.055em;
  line-height: 1.12;
  max-width: 25ch;
  margin: 34px 0 24px;
}

.status-pill {
  border-radius: 5px;
}

.card-provenance {
  color: var(--color-muted-foreground);
  font-family: var(--font-data);
  font-size: 0.75rem;
  letter-spacing: 0.02em;
  margin: 18px 0 0;
  text-transform: capitalize;
}

.feed-side {
  border-left: 1px solid var(--color-border-strong);
  padding: 24px 4px 24px 28px;
}

.feed-side h3 {
  font-size: clamp(1.35rem, 2.3vw, 1.8rem);
  letter-spacing: -0.05em;
  line-height: 1.05;
  margin: 22px 0 28px;
  max-width: 14ch;
}

.read-list,
.method-grid {
  list-style: none;
  margin: 0;
  padding: 0;
}

.read-list > li {
  align-items: start;
  border-top: 1px solid var(--color-border);
  display: grid;
  gap: 14px;
  grid-template-columns: 28px minmax(0, 1fr);
  padding: 15px 0;
}

.read-list > li > span,
.method-grid > li > span {
  color: var(--color-accent);
  font-size: 0.62rem;
  padding-top: 3px;
}

.read-list strong,
.method-grid strong {
  font-family: var(--font-heading);
  font-size: 0.88rem;
  font-weight: 600;
}

.read-list p,
.method-grid p {
  color: var(--color-muted-foreground);
  font-size: 0.82rem;
  line-height: 1.5;
  margin: 5px 0 0;
}

.side-link {
  display: inline-block;
  margin-top: 22px;
}

.method-section {
  border-top: 1px solid var(--color-border);
  display: grid;
  gap: clamp(36px, 8vw, 120px);
  grid-template-columns: minmax(220px, 0.8fr) minmax(0, 1.2fr);
  margin-top: 72px;
  padding-top: 44px;
}

.method-intro h2 {
  font-size: clamp(1.8rem, 3.5vw, 3rem);
  letter-spacing: -0.06em;
  line-height: 1;
  margin: 18px 0 14px;
  max-width: 10ch;
}

.method-intro > p:last-child {
  color: var(--color-muted-foreground);
  font-size: 0.9rem;
  line-height: 1.6;
  margin: 0;
  max-width: 30ch;
}

.method-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
}

.method-grid > li {
  border-left: 1px solid var(--color-border);
  display: grid;
  gap: 4px 14px;
  grid-template-columns: 28px minmax(0, 1fr);
  min-height: 140px;
  padding: 0 20px;
}

.method-grid > li:first-child {
  border-left: 0;
  padding-left: 0;
}

.method-grid > li > span {
  grid-row: 1 / span 2;
}

.method-grid > li > p {
  grid-column: 2;
}

.snapshot-grid {
  background: var(--color-border);
  border: 1px solid var(--color-border-strong);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(3, 1fr);
  margin: 28px 0 0;
}

.snapshot-grid > div {
  background: rgba(14, 24, 30, 0.96);
  min-height: 116px;
  padding: 18px;
}

.snapshot-grid dt {
  color: var(--color-muted-foreground);
  font-size: 0.63rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.snapshot-grid dd {
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: 1.2rem;
  font-weight: 600;
  margin: 12px 0 3px;
  text-transform: capitalize;
}

.snapshot-grid small {
  color: var(--color-muted-foreground);
  display: block;
  font-size: 0.72rem;
}

.change-lede {
  border-left: 2px solid var(--color-accent);
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: clamp(1.05rem, 1.8vw, 1.35rem);
  letter-spacing: -0.025em;
  line-height: 1.25;
  margin: 22px 0 28px;
  max-width: 42ch;
  padding-left: 16px;
}

.change-lede.change-invalidated {
  border-color: var(--status-invalidated);
}

.change-lede.change-weakened {
  border-color: var(--status-weakened);
}

.change-lede.change-intact {
  border-color: var(--status-intact);
}

.share-actions {
  align-items: center;
  display: flex;
  gap: 12px;
  margin-top: 20px;
}

.copy-link {
  background: transparent;
  border: 1px solid var(--color-border-strong);
  border-radius: 5px;
  color: var(--color-foreground);
  cursor: pointer;
  font: 600 0.78rem var(--font-body);
  min-height: 40px;
  padding: 9px 13px;
  transition: border-color 180ms ease, color 180ms ease, transform 180ms ease;
}

.copy-link:hover {
  border-color: var(--color-accent);
  color: var(--color-accent);
  transform: translateY(-1px);
}

.copy-link:focus-visible {
  outline: 2px solid var(--color-ring);
  outline-offset: 3px;
}

.copy-status {
  color: var(--color-muted-foreground);
  font-size: 0.76rem;
}

.panel-foot > span {
  max-width: 28ch;
}

.technical-label {
  color: var(--color-muted-foreground);
  font-size: 0.68em;
  margin-left: 6px;
}

@media (max-width: 820px) {
  .masthead-context {
    display: none;
  }

  .hero,
  .feed-layout,
  .method-section {
    grid-template-columns: 1fr;
  }

  .hero-panel {
    max-width: 620px;
  }

  .feed-side {
    border-left: 0;
    border-top: 1px solid var(--color-border-strong);
    padding: 28px 0 0;
  }

  .feed-side h3 {
    max-width: 22ch;
  }

  .method-section {
    gap: 32px;
  }
}

@media (max-width: 620px) {
  .hero {
    padding: 58px 0 44px;
  }

  .hero h1 {
    font-size: clamp(3.15rem, 15vw, 4.8rem);
  }

  .hero-links {
    align-items: flex-start;
    flex-direction: column;
    gap: 16px;
  }

  .panel-metrics,
  .method-grid,
  .snapshot-grid {
    grid-template-columns: 1fr;
  }

  .panel-metrics > div + div {
    border-left: 0;
    border-top: 1px solid var(--color-border);
    margin-top: 12px;
    padding-left: 0;
    padding-top: 12px;
  }

  .method-grid > li,
  .method-grid > li:first-child {
    border-left: 0;
    border-top: 1px solid var(--color-border);
    min-height: 0;
    padding: 16px 0;
  }

  .method-grid > li:first-child {
    border-top: 0;
  }
}

/* Judge proof layer: make the causal path inspectable at a glance. */
.proof-section,
.demo-links-section {
  border-top: 1px solid var(--color-border);
  display: grid;
  gap: clamp(34px, 7vw, 96px);
  grid-template-columns: minmax(210px, 0.72fr) minmax(0, 1.28fr);
  margin-top: 64px;
  padding-top: 44px;
}

.proof-intro h2,
.demo-links-section h2 {
  font-size: clamp(1.8rem, 3.3vw, 2.8rem);
  letter-spacing: -0.06em;
  line-height: 1;
  margin: 18px 0 14px;
  max-width: 10ch;
}

.proof-intro > p:last-child {
  color: var(--color-muted-foreground);
  font-size: 0.9rem;
  line-height: 1.6;
  margin: 0;
  max-width: 30ch;
}

.proof-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  list-style: none;
  margin: 0;
  padding: 0;
}

.proof-grid > li {
  border-left: 1px solid var(--color-border);
  display: grid;
  gap: 5px;
  min-height: 148px;
  padding: 0 16px;
}

.proof-grid > li:first-child {
  border-left: 0;
  padding-left: 0;
}

.proof-grid > li > span,
.trace-step-number {
  color: var(--color-accent);
  font: 500 0.62rem var(--font-data);
  letter-spacing: 0.08em;
}

.proof-grid strong {
  font-family: var(--font-heading);
  font-size: 0.84rem;
  font-weight: 600;
}

.proof-grid p {
  color: var(--color-muted-foreground);
  font-size: 0.78rem;
  line-height: 1.5;
  margin: 0;
}

.recovery-banner {
  align-items: end;
  background: rgba(155, 232, 160, 0.045);
  border: 1px solid rgba(155, 232, 160, 0.3);
  display: grid;
  gap: 28px;
  grid-template-columns: minmax(0, 1fr) auto;
  margin-top: 42px;
  padding: 24px;
}

.recovery-banner h2 {
  font-family: var(--font-heading);
  font-size: clamp(1.35rem, 2.7vw, 2.1rem);
  letter-spacing: -0.05em;
  line-height: 1;
  margin: 13px 0 10px;
}

.recovery-banner p:last-child {
  color: var(--color-muted-foreground);
  font-size: 0.86rem;
  line-height: 1.55;
  margin: 0;
  max-width: 65ch;
}

.recovery-rail {
  align-items: center;
  color: var(--color-muted-foreground);
  display: flex;
  flex-wrap: wrap;
  font: 500 0.67rem var(--font-data);
  gap: 10px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.recovery-rail b {
  color: var(--color-accent);
  font-weight: 600;
}

.decision-trace {
  margin-top: 54px;
}

.trace-actions {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  justify-content: flex-end;
}

.trace-action {
  background: transparent;
  border: 1px solid var(--color-border-strong);
  border-radius: 5px;
  color: var(--color-foreground);
  cursor: pointer;
  font: 600 0.72rem var(--font-body);
  min-height: 40px;
  padding: 9px 12px;
  transition: border-color 180ms ease, color 180ms ease, transform 180ms ease;
}

.trace-action:hover {
  border-color: var(--color-accent);
  color: var(--color-accent);
  transform: translateY(-1px);
}

.trace-action:disabled {
  cursor: wait;
  opacity: 0.62;
  transform: none;
}

.trace-action-status {
  color: var(--color-muted-foreground);
  font-size: 0.72rem;
}

.trace-action-status[data-kind="success"] {
  color: var(--status-intact);
}

.trace-action-status[data-kind="error"] {
  color: var(--status-invalidated);
}

.trace-intro {
  color: var(--color-muted-foreground);
  font-size: 0.88rem;
  line-height: 1.6;
  margin: 18px 0 0;
  max-width: 78ch;
}

.trace-steps {
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  list-style: none;
  margin: 28px 0 0;
  padding: 0;
}

.trace-step {
  background: var(--color-border);
  display: grid;
  gap: 7px;
  grid-template-rows: auto auto 1fr;
  min-height: 182px;
  padding: 17px;
}

.trace-step > div {
  background: rgba(14, 24, 30, 0.96);
  display: contents;
}

.trace-step-kicker {
  color: var(--color-muted-foreground);
  font: 500 0.59rem var(--font-data);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.trace-step h3 {
  font-size: 1.02rem;
  letter-spacing: -0.04em;
  margin: 0;
}

.trace-step p {
  color: var(--color-muted-foreground);
  font-size: 0.76rem;
  line-height: 1.5;
  margin: 0;
}

.trace-code,
.inspector-bundle-hash,
.source-arguments {
  color: #b8d9be;
  font: 500 0.61rem var(--font-data);
  overflow-wrap: anywhere;
}

.cause-card {
  border: 1px solid var(--color-border-strong);
  border-left: 3px solid var(--color-accent);
  margin-top: 20px;
  padding: 20px 22px;
}

.cause-heading,
.inspector-heading,
.source-card-top,
.trace-change {
  align-items: center;
  display: flex;
  gap: 12px;
  justify-content: space-between;
}

.cause-summary {
  color: var(--color-foreground);
  font-family: var(--font-heading);
  font-size: 1rem;
  letter-spacing: -0.02em;
  line-height: 1.4;
  margin: 16px 0;
  max-width: 78ch;
}

.cause-trigger-row {
  align-items: baseline;
  display: flex;
  flex-wrap: wrap;
  gap: 9px;
  margin-top: 12px;
}

.cause-trigger-row .muted {
  font-size: 0.75rem;
}

.cause-trigger-row code {
  color: var(--status-invalidated);
  font-size: 0.7rem;
}

.trace-change-list {
  border-top: 1px solid var(--color-border);
  margin-top: 16px;
  padding-top: 8px;
}

.trace-change {
  border-bottom: 1px solid var(--color-border);
  font-size: 0.78rem;
  padding: 9px 0;
}

.trace-change:last-child {
  border-bottom: 0;
}

.trace-change > span:last-child {
  align-items: center;
  display: inline-flex;
  flex-wrap: wrap;
  gap: 7px;
}

.trace-change small {
  color: var(--color-muted-foreground);
  font: 500 0.66rem var(--font-data);
}

.evidence-inspector {
  margin-top: 20px;
}

.evidence-inspector summary {
  font-size: 0.86rem;
  padding: 4px 0;
}

.evidence-inspector-body {
  padding: 18px 0 4px;
}

.inspector-heading {
  font-size: 0.76rem;
}

.inspector-bundle-hash {
  display: block;
  margin-top: 8px;
}

.source-grid {
  display: grid;
  gap: 12px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 12px;
}

.source-card {
  background: rgba(14, 24, 30, 0.74);
  border: 1px solid var(--color-border);
  padding: 15px;
}

.source-card strong {
  font-family: var(--font-heading);
  font-size: 0.78rem;
  font-weight: 600;
}

.source-card p {
  color: var(--color-muted-foreground);
  font-size: 0.74rem;
  line-height: 1.5;
  margin: 8px 0 0;
}

.source-card p code {
  font-size: 0.68rem;
}

.source-meta {
  font-size: 0.68rem !important;
}

.source-meta a {
  color: var(--color-foreground);
}

.source-arguments {
  display: block;
  margin-top: 10px;
}

.source-warnings,
.issue-list {
  color: var(--status-weakened);
  font-size: 0.72rem;
  margin: 10px 0 0;
}

table.evidence-table {
  border-collapse: collapse;
  min-width: 760px;
  width: 100%;
}

table.evidence-table th,
table.evidence-table td {
  border-bottom: 1px solid var(--color-border);
  font-size: 0.77rem;
  padding: 11px 10px;
  text-align: left;
  vertical-align: top;
}

table.evidence-table th {
  color: var(--color-muted-foreground);
  font: 500 0.62rem var(--font-data);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

table.evidence-table td:first-child,
table.evidence-table th:first-child {
  padding-left: 0;
}

table.evidence-table td:last-child,
table.evidence-table th:last-child {
  padding-right: 0;
}

.trace-integrity {
  color: var(--color-muted-foreground);
  font-size: 0.68rem;
  line-height: 1.6;
  margin: 15px 0 0;
}

.trace-integrity code {
  font-size: 0.64rem;
}

.activity-context {
  align-items: center;
  color: var(--color-muted-foreground);
  display: flex;
  flex-wrap: wrap;
  font: 500 0.61rem var(--font-data);
  gap: 8px;
  letter-spacing: 0.03em;
  margin-top: 8px;
  text-transform: uppercase;
}

.activity-context code {
  color: var(--color-muted-foreground);
  font-size: 0.6rem;
  text-transform: none;
}

.activity-evidence {
  font: 500 0.68rem var(--font-data) !important;
  letter-spacing: 0.02em;
  margin-top: 8px !important;
}

.recovery-path {
  align-items: center;
  border: 1px solid var(--color-border);
  display: flex;
  gap: 14px;
  justify-content: space-between;
  margin-top: 14px;
  padding: 13px 15px;
}

.recovery-path.recovery-paused {
  border-color: rgba(250, 204, 21, 0.36);
}

.recovery-path.recovery-recovered {
  border-color: rgba(74, 222, 128, 0.38);
}

.recovery-path strong {
  display: block;
  font-family: var(--font-heading);
  font-size: 0.82rem;
  margin-top: 3px;
}

.recovery-path p {
  font-size: 0.74rem;
  margin-bottom: 0;
}

.recovery-path > code {
  color: var(--color-muted-foreground);
  font-size: 0.62rem;
  text-align: right;
}

.demo-links-section {
  grid-template-columns: minmax(190px, 0.62fr) minmax(0, 1.38fr);
  margin-top: 64px;
}

.demo-links-grid {
  display: grid;
  gap: 12px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.demo-link-card {
  border: 1px solid var(--color-border-strong);
  color: var(--color-foreground);
  display: grid;
  gap: 8px;
  min-height: 112px;
  padding: 16px;
  text-decoration: none;
  transition: border-color 180ms ease, transform 180ms ease;
}

.demo-link-card:hover {
  border-color: var(--color-accent);
  transform: translateY(-2px);
}

.demo-link-card strong {
  font-family: var(--font-heading);
  font-size: 0.8rem;
}

.demo-link-card strong span {
  color: var(--color-accent);
}

.demo-link-card > span {
  color: var(--color-muted-foreground);
  font-size: 0.74rem;
  line-height: 1.45;
}

.sr-only {
  border: 0;
  clip: rect(0, 0, 0, 0);
  height: 1px;
  margin: -1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  white-space: nowrap;
  width: 1px;
}

@media (max-width: 980px) {
  .proof-section,
  .demo-links-section {
    gap: 30px;
    grid-template-columns: 1fr;
  }

  .proof-intro > p:last-child,
  .demo-links-section h2 {
    max-width: 42ch;
  }

  .proof-grid {
    grid-template-columns: repeat(5, minmax(0, 1fr));
  }

  .trace-steps {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .trace-step:nth-child(4) {
    border-left: 0;
  }

  .demo-links-grid {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }
}

@media (max-width: 820px) {
  .proof-grid {
    grid-template-columns: repeat(3, minmax(0, 1fr));
    row-gap: 20px;
  }

  .proof-grid > li:nth-child(4) {
    border-left: 0;
    padding-left: 0;
  }

  .recovery-banner {
    align-items: start;
    grid-template-columns: 1fr;
  }

  .source-grid,
  .demo-links-grid {
    grid-template-columns: 1fr;
  }

  .trace-steps {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 620px) {
  .proof-grid,
  .trace-steps {
    grid-template-columns: 1fr;
  }

  .proof-grid > li,
  .proof-grid > li:nth-child(4) {
    border-left: 0;
    border-top: 1px solid var(--color-border);
    min-height: 0;
    padding: 16px 0 0;
  }

  .proof-grid > li:first-child {
    border-top: 0;
    padding-top: 0;
  }

  .trace-step {
    min-height: 0;
  }

  .trace-actions {
    justify-content: flex-start;
  }

  .trace-change {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .recovery-path {
    align-items: flex-start;
    flex-direction: column;
  }

  .recovery-path > code {
    text-align: left;
  }
}