/* Design tokens as custom properties; the dark theme redefines them. */
:root {
  --bg: #f6f6f3;
  --surface: #ffffff;
  --surface-2: #f0f0ec;
  --text: #1d1d1b;
  --muted: #6b6b66;
  --border: #deded8;
  --accent: #3a5ccc;
  --accent-text: #ffffff;
  --good: #1f7a4d;
  --good-bg: #e2f3e9;
  --bad: #b3261e;
  --bad-bg: #fbe4e2;
  --warn: #8a5a00;
  --warn-bg: #fdf0d5;
  --state: #e6f2de;
  --action: #dde9f7;
  --verification: #f7e1e1;
  --hidden: #f1eadb;
  --radius: 8px;
  --gap: 16px;
  --font: system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
}

:root[data-theme="dark"] {
  --bg: #151514;
  --surface: #1f1f1d;
  --surface-2: #282826;
  --text: #ecece6;
  --muted: #a3a39c;
  --border: #383833;
  --accent: #8aa4ff;
  --accent-text: #10131f;
  --good: #6fd09c;
  --good-bg: #183324;
  --bad: #ff8a80;
  --bad-bg: #3b1d1b;
  --warn: #f0c060;
  --warn-bg: #3a2e14;
  --state: #1f3019;
  --action: #1b2a3c;
  --verification: #3a1f1f;
  --hidden: #342c1c;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font);
  font-size: 15px;
  line-height: 1.45;
}

h1, h2, h3 { margin: 0 0 8px; }
h2 { font-size: 1.15rem; }
h3 { font-size: 1rem; margin-top: 14px; }
code, .code { font-family: var(--mono); font-size: 0.9em; }
a { color: var(--accent); }
[hidden] { display: none !important; }

.header {
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 10px var(--gap);
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  position: sticky;
  top: 0;
  z-index: 5;
}
.title { font-size: 1.05rem; margin: 0; white-space: nowrap; }
.subtitle { color: var(--muted); font-weight: normal; }
.nav { display: flex; gap: 4px; }
.nav-button {
  font: inherit; background: none; border: none; color: var(--muted);
  padding: 6px 10px; border-radius: var(--radius); cursor: pointer;
}
.nav-button.active { color: var(--text); background: var(--surface-2); }
.spacer { flex: 1; }
.who { color: var(--muted); font-size: 0.9rem; }
.version { color: var(--muted); font-size: 0.8rem; }

.toast { margin: 0; padding: 0 var(--gap); min-height: 0; color: var(--bad); cursor: pointer; }
.toast:not(:empty) { padding: 8px var(--gap); background: var(--bad-bg); }
.toast.ok:not(:empty) { color: var(--good); background: var(--good-bg); }

.main { max-width: 1400px; margin: 0 auto; padding: var(--gap); }
.view { display: flex; flex-direction: column; gap: var(--gap); }
.panel {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: var(--gap);
}
.panel-head { display: flex; align-items: center; gap: 12px; margin-bottom: 8px; }
.panel-head h2 { margin: 0; flex: 1; }
.muted { color: var(--muted); }
.error { color: var(--bad); margin: 0; min-height: 1.2em; flex: 1; white-space: pre-line; }
.message { min-height: 1.2em; margin: 6px 0; white-space: pre-line; }
.message.said { color: var(--bad); }
.message.ok { color: var(--good); }

.button {
  font: inherit; color: var(--text); background: var(--surface);
  border: 1px solid var(--border); border-radius: var(--radius);
  padding: 6px 12px; cursor: pointer; display: inline-flex; align-items: center; gap: 6px;
  text-decoration: none; white-space: nowrap;
}
.button:hover { background: var(--surface-2); }
.button.primary { background: var(--accent); border-color: var(--accent); color: var(--accent-text); }
.button.ghost { background: transparent; }
.button.danger, .button.danger-button { color: var(--bad); }
.button.danger-button { border-color: var(--bad); }
.button:disabled { opacity: 0.5; cursor: default; }
.button.busy { position: relative; color: transparent !important; }
.button.busy::after {
  content: ""; position: absolute; inset: 0; margin: auto; width: 14px; height: 14px;
  border: 2px solid var(--muted); border-top-color: transparent; border-radius: 50%;
  animation: spin 0.8s linear infinite;
}
@keyframes spin { to { transform: rotate(360deg); } }
.icon-button { padding: 6px; }
.icon { display: inline-flex; vertical-align: middle; }

input, select, textarea {
  font: inherit; color: var(--text); background: var(--surface);
  border: 1px solid var(--border); border-radius: 6px; padding: 5px 8px; width: 100%;
}
textarea { resize: vertical; }
label { display: block; font-size: 0.9rem; color: var(--muted); margin-top: 6px; }
label input, label select { margin-top: 2px; }
fieldset { border: 1px solid var(--border); border-radius: var(--radius); margin: 8px 0; padding: 8px 12px; }
legend { color: var(--muted); font-size: 0.9rem; }
.filter { max-width: 220px; }

.start-form { display: grid; grid-template-columns: auto 1fr auto 1fr auto; gap: 8px 12px; align-items: center; }
.start-form label { margin: 0; }

.tabs { display: flex; gap: 4px; border-bottom: 1px solid var(--border); flex-wrap: wrap; }
.tabs button {
  font: inherit; background: none; border: none; border-bottom: 2px solid transparent;
  padding: 8px 12px; color: var(--muted); cursor: pointer;
}
.tabs button.active { color: var(--text); border-bottom-color: var(--accent); }

.items { list-style: none; margin: 0; padding: 0; }
.item {
  display: flex; gap: 12px; align-items: center; padding: 10px 4px;
  border-bottom: 1px solid var(--border);
}
.item.gone { opacity: 0.55; }
.item-text { flex: 1; display: flex; flex-direction: column; gap: 2px; min-width: 0; }
.item-title { font-weight: 600; }
.item-meta { color: var(--muted); font-size: 0.9rem; }
.item-rule { font-family: var(--mono); font-size: 0.85rem; overflow-wrap: anywhere; }
.item-actions { display: flex; gap: 2px; }

.badge {
  display: inline-block; padding: 1px 8px; border-radius: 999px; font-size: 0.8rem;
  background: var(--surface-2); color: var(--muted);
}
.badge.ok { background: var(--good-bg); color: var(--good); }
.badge.warn, .badge.bad { background: var(--bad-bg); color: var(--bad); }
.badge.held { background: var(--warn-bg); color: var(--warn); }

.table-scroll { overflow-x: auto; position: relative; }
table { border-collapse: collapse; width: 100%; }
.list-table th, .list-table td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--border); }
.list-table td.num, .list-table th.num { text-align: right; }

.trajectory { font-size: 0.88rem; margin-top: 12px; }
.trajectory th, .trajectory td { border: 1px solid var(--border); padding: 4px 8px; white-space: nowrap; }
.trajectory th { font-weight: 600; vertical-align: bottom; }
.trajectory .group th { text-align: center; }
.trajectory .state { background: var(--state); }
.trajectory .action { background: var(--action); }
.trajectory .verify { background: var(--verification); }
.trajectory .hidden-col { background: var(--hidden); }
.trajectory td.num { text-align: right; }
.trajectory tr.now td { font-style: italic; color: var(--muted); }
.trajectory td.cell { cursor: pointer; }
.trajectory td.cell.appropriate { color: var(--good); font-weight: 600; }
.trajectory td.cell.inappropriate { color: var(--bad); font-weight: 600; }
.trajectory td.cell.na { color: var(--muted); }
.trajectory td.cell.conflict { outline: 2px dashed var(--warn); outline-offset: -3px; }
.trajectory td.cell.selected { box-shadow: inset 0 0 0 2px var(--accent); }
.cell-detail { font-family: var(--mono); font-size: 0.85rem; white-space: pre-wrap; min-height: 2.6em; }

.run-head { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; }
.run-head h2 { margin: 0; }
.controls { display: flex; gap: 8px; flex-wrap: wrap; margin: 8px 0; }
.run-bottom { display: grid; grid-template-columns: 1fr 1fr; gap: var(--gap); }
.grading-list { display: grid; grid-template-columns: auto auto; gap: 2px 16px; margin: 0; }
.grading-list dt { color: var(--muted); }
.grading-list dd { margin: 0; font-variant-numeric: tabular-nums; }
.answers { margin: 0; padding-left: 18px; }

.human { display: grid; grid-template-columns: 1fr 1fr; gap: var(--gap); margin: 8px 0; }
.human-view, .human-form { background: var(--surface-2); border-radius: var(--radius); padding: 12px; }
.presentation { white-space: pre-line; }
.state-list { display: grid; grid-template-columns: auto 1fr; gap: 2px 12px; margin: 8px 0; }
.state-list dt { color: var(--muted); }
.state-list dd { margin: 0; }
.checks { display: flex; flex-wrap: wrap; gap: 6px 16px; }
.checks label { display: inline-flex; gap: 6px; align-items: center; color: var(--text); margin: 0; }
.checks input { width: auto; }
.human-form fieldset select { width: auto; min-width: 12em; }

.chips { display: flex; flex-wrap: wrap; gap: 4px; }
.chip {
  font: inherit; font-family: var(--mono); font-size: 0.8rem; border: 1px solid var(--border);
  background: var(--surface-2); color: var(--text); border-radius: 999px; padding: 1px 8px; cursor: pointer;
}
.applicability { margin: 0; padding-left: 18px; }
.report ul { margin: 4px 0; padding-left: 18px; }
.report .issues li { color: var(--bad); }
.dimensions { display: flex; flex-wrap: wrap; gap: 8px 20px; }

.grid-4 { display: grid; grid-template-columns: repeat(4, 1fr); gap: 0 12px; }
.span-2 { grid-column: span 2; }
.span-3 { grid-column: span 3; }
.edit-table th { text-align: left; font-weight: 600; font-size: 0.8rem; color: var(--muted); padding: 2px 4px; }
.edit-table td { padding: 2px 3px; }
.edit-table input, .edit-table select { padding: 3px 5px; font-size: 0.88rem; min-width: 5em; }
.edit-table td.key input { min-width: 11em; }

/* Modals own a fixed frame: they never change size because their content
   does; a longer list scrolls inside (coding recipe §2.13). */
.modal {
  border: 1px solid var(--border); border-radius: var(--radius); padding: 0;
  background: var(--surface); color: var(--text); width: min(520px, 94vw);
}
.modal::backdrop { background: rgba(0, 0, 0, 0.45); }
.modal-body { padding: var(--gap); }
.modal.wide { width: min(1200px, 96vw); height: 88vh; }
.modal-frame { display: flex; flex-direction: column; height: 100%; }
.modal-top { display: flex; align-items: center; padding: 12px var(--gap); border-bottom: 1px solid var(--border); }
.modal-top h2 { flex: 1; margin: 0; }
.modal-scroll { flex: 1; overflow: auto; padding: 8px var(--gap) var(--gap); }
.modal-actions {
  display: flex; gap: 8px; justify-content: flex-end; align-items: center; margin-top: 12px;
}
.modal-frame .modal-actions { margin: 0; padding: 10px var(--gap); border-top: 1px solid var(--border); }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }

@media (max-width: 800px) {
  .header { flex-wrap: wrap; gap: 6px 10px; padding: 8px 12px; }
  .header .spacer { display: none; }
  .who { display: none; }
  .main { padding: 10px; }
  .panel { padding: 12px; }
  .panel-head { flex-wrap: wrap; }
  .start-form { grid-template-columns: 1fr; }
  .human, .run-bottom { grid-template-columns: 1fr; }
  .grid-4 { grid-template-columns: 1fr 1fr; }
  .version { font-size: 0.65rem; }
  .title .subtitle { display: none; }
}

.edit-table select { min-width: 8.5em; }
input:disabled, select:disabled { opacity: 0.45; }
.list-table th.num { text-align: right; }
.findings { list-style: none; margin: 0 0 12px; padding: 10px 12px; background: var(--surface-2); border-radius: var(--radius); }
.findings li { padding: 3px 0; }