:root {
  color-scheme: light;
  font-family: Inter, "Segoe UI", Arial, sans-serif;
  color: #18201f;
  background: #f7f8f6;
  --page: #f7f8f6;
  --surface: #ffffff;
  --surface-muted: #eef2ef;
  --border: #d7dfda;
  --border-strong: #aebbb4;
  --text: #18201f;
  --muted: #4f5d58;
  --accent: #1f6677;
  --accent-strong: #164958;
  --focus: #b46300;
  --success-bg: #dcefe6;
  --success-text: #145633;
  --danger-bg: #f7ddd7;
  --danger-text: #842719;
  --warning-bg: #fff2c2;
  --warning-text: #624300;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--page);
}

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

.skip-link {
  position: absolute;
  top: -48px;
  left: 16px;
  z-index: 10;
  border-radius: 6px;
  background: var(--accent-strong);
  color: #ffffff;
  padding: 10px 12px;
}

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

main {
  width: min(1220px, calc(100% - 32px));
  margin: 0 auto;
  padding: 32px 0 56px;
}

h1, h2, p { margin-top: 0; }

h1 {
  max-width: 760px;
  font-size: 2.35rem;
  line-height: 1.1;
  margin-bottom: 20px;
}

h2 {
  font-size: 1.25rem;
  margin: 0 0 14px;
}

.breadcrumb {
  margin-bottom: 18px;
}

.breadcrumb a {
  display: inline-flex;
  align-items: center;
  min-height: 38px;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface);
  padding: 8px 12px;
  text-decoration: none;
}

.dashboard {
  padding: 14px 0 24px;
  border-bottom: 1px solid var(--border);
}

.port-provenance {
  margin: 4px 0 16px;
  color: var(--muted);
  font-size: 0.9rem;
}

.port-provenance code {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  background: var(--surface-muted);
  padding: 1px 4px;
  border-radius: 3px;
}

.port-provenance-unavailable {
  color: var(--danger-text);
}

.metric-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
  gap: 12px;
}

.library-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: 12px;
}

.metric,
.library-card {
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface);
}

.metric {
  display: grid;
  align-content: space-between;
  min-height: 108px;
  border-top: 4px solid var(--accent);
  padding: 14px;
}

.metric[data-proof-total="failed"] {
  border-top-color: #aa3a26;
}

.metric[data-proof-total="port_libraries"] {
  border-top-color: #6f5a99;
}

.metric strong {
  display: block;
  color: var(--text);
  font-size: 1.45rem;
  line-height: 1.1;
  overflow-wrap: anywhere;
  white-space: nowrap;
}

.metric span {
  display: block;
  color: var(--muted);
  font-size: 0.9rem;
  margin-top: 8px;
}

.library-card {
  color: inherit;
  display: grid;
  gap: 12px;
  padding: 14px;
  text-decoration: none;
}

.library-card:hover,
.library-card:focus-visible {
  border-color: var(--accent);
  box-shadow: 0 8px 24px rgb(24 32 31 / 8%);
}

.library-card-heading {
  display: flex;
  gap: 10px;
  align-items: start;
  justify-content: space-between;
}

.library-card strong {
  color: var(--text);
  font-size: 1.15rem;
  line-height: 1.2;
  overflow-wrap: anywhere;
}

.library-state {
  flex: 0 0 auto;
  border-radius: 999px;
  padding: 4px 8px;
  font-size: 0.78rem;
  font-weight: 700;
}

.library-passing .library-state {
  background: var(--success-bg);
  color: var(--success-text);
}

.library-failing .library-state {
  background: var(--danger-bg);
  color: var(--danger-text);
}

.library-not-run .library-state {
  background: var(--warning-bg);
  color: var(--warning-text);
}

.library-group + .library-group {
  margin-top: 20px;
}

.library-group-heading {
  display: flex;
  align-items: center;
  gap: 10px;
  margin: 0 0 10px;
  font-size: 1rem;
}

.library-group-count {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 22px;
  padding: 2px 8px;
  border-radius: 999px;
  background: var(--surface-muted);
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 600;
}

.library-group-failing .library-group-heading {
  color: var(--danger-text);
}

.library-group-failing .library-group-count {
  background: var(--danger-bg);
  color: var(--danger-text);
}

.library-group-passing .library-group-count {
  background: var(--success-bg);
  color: var(--success-text);
}

.library-group-not-run .library-group-count {
  background: var(--warning-bg);
  color: var(--warning-text);
}

.library-failing {
  border-color: var(--danger-text);
  box-shadow: inset 4px 0 0 var(--danger-text);
}

.library-stats,
.case-meta {
  display: grid;
  gap: 10px;
}

.library-stats {
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0;
}

.library-stats div {
  min-width: 0;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface-muted);
  padding: 8px;
}

.library-stats dt,
.case-meta dt {
  color: var(--muted);
  font-size: 0.8rem;
}

.library-stats dd,
.case-meta dd {
  margin: 3px 0 0;
  overflow-wrap: anywhere;
}

.library-overview,
.controls,
.testcases {
  margin-top: 24px;
}

.controls {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  align-items: end;
  padding: 12px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface);
}

label {
  display: grid;
  gap: 5px;
  color: var(--muted);
  font-size: 0.9rem;
}

.search-label {
  flex: 1 1 300px;
}

input,
select,
button,
.log-link {
  min-height: 38px;
  border-radius: 6px;
  font: inherit;
}

input,
select {
  border: 1px solid var(--border-strong);
  background: #fbfcfb;
  color: var(--text);
  padding: 7px 9px;
}

button,
.log-link {
  border: 1px solid var(--accent-strong);
  background: var(--accent-strong);
  color: #ffffff;
  padding: 8px 12px;
  cursor: pointer;
  text-decoration: none;
}

button:hover,
.log-link:hover,
.breadcrumb a:hover {
  background: var(--accent);
  color: #ffffff;
}

button:focus-visible,
.log-link:focus-visible,
.library-card:focus-visible,
.breadcrumb a:focus-visible,
input:focus-visible,
select:focus-visible,
.case-row summary:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 2px;
}

.log-link:focus-visible {
  background: var(--accent);
}

.case-row {
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface);
  margin-bottom: 10px;
  overflow: hidden;
}

.case-row[hidden] {
  display: none;
}

.case-row summary {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 12px;
  align-items: center;
  cursor: pointer;
  padding: 15px;
}

.case-row summary:hover {
  background: #fbfcfb;
}

.case-title strong,
.case-id {
  display: block;
  overflow-wrap: anywhere;
}

.case-title strong {
  font-size: 1rem;
}

.case-id,
.muted {
  color: var(--muted);
  font-size: 0.88rem;
}

.status-pill {
  border-radius: 999px;
  padding: 5px 9px;
  font-size: 0.82rem;
  font-weight: 700;
}

.status-passed {
  background: var(--success-bg);
  color: var(--success-text);
}

.status-failed {
  background: var(--danger-bg);
  color: var(--danger-text);
}

.case-body {
  border-top: 1px solid var(--border);
  padding: 14px;
}

.case-body p {
  line-height: 1.5;
  margin-bottom: 12px;
}

.case-meta {
  grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
  margin: 0 0 14px;
}

.case-meta div {
  min-width: 0;
  border-left: 3px solid var(--border);
  padding-left: 9px;
}

.tags span {
  display: inline-block;
  margin: 0 5px 5px 0;
  border-radius: 999px;
  background: var(--surface-muted);
  padding: 3px 7px;
  font-size: 0.82rem;
}

.case-actions,
.player-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
}

.cast-player {
  margin-top: 12px;
}

.player-controls {
  margin-bottom: 8px;
}

.scrub-label {
  flex: 1 1 220px;
}

.terminal {
  height: 230px;
  max-height: 42vh;
  overflow: auto;
  margin: 0;
  border-radius: 8px;
  background: #101615;
  color: #e7f0ec;
  padding: 12px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  font-family: "SFMono-Regular", Consolas, monospace;
  font-size: 0.9rem;
  line-height: 1.45;
}

@media (max-width: 620px) {
  main {
    width: min(100% - 20px, 1180px);
    padding-top: 16px;
  }

  h1 {
    font-size: 1.8rem;
  }

  .case-row summary {
    grid-template-columns: 1fr;
  }

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

  .controls {
    align-items: stretch;
  }

  label,
  .search-label {
    flex: 1 1 100%;
  }
}