/* Habeas Protocol — academic, plot-first styling. Mirrors roblox-forensics. */

/* Design tokens defined at :root so they resolve on every dashboard page,
 * not just the atlas. Some pages (playground, authoring, simulator) used to
 * fall back to UA defaults when var(--paper) etc. were referenced from
 * .atlas-scope-only declarations. */
:root {
  --paper: #fafaf7;
  --ink: #111;
  --ink-2: #444;
  --ink-3: #888;
  --rule: #d8d4c4;
  --accent: #b03030;
  --bg: #fafaf7;
}

/* ============================================================
 * Reliance / takedown disclaimers — present on every dashboard
 * page. See /data/tos_audit.md for the legal background.
 * ============================================================ */
.hp-disclaimer {
  background: #fff3cd;
  border-bottom: 1px solid #d4b952;
  color: #4a3a00;
  padding: 9px 16px;
  font-family: "Inter", system-ui, -apple-system, sans-serif;
  font-size: 12px;
  letter-spacing: 0.01em;
  text-align: center;
  line-height: 1.5;
}
.hp-disclaimer strong { color: #2a1f00; }
.hp-disclaimer a { color: #4a3a00; text-decoration: underline; }
.hp-disclaimer-strong {
  background: #f6dada;
  border-bottom: 1px solid #b03030;
  color: #5a1010;
}
.hp-disclaimer-strong strong { color: #3a0808; }
.hp-disclaimer-strong a { color: #5a1010; }
.hp-footer-note {
  border-top: 1px solid #d8d8d8;
  margin-top: 48px;
  padding: 22px 16px 28px;
  font-family: "Inter", system-ui, -apple-system, sans-serif;
  font-size: 11px;
  color: #6a6a6a;
  text-align: center;
  line-height: 1.7;
}
.hp-footer-note code {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 10.5px;
  color: #4a4a4a;
}

:root {
  --ink: #1a1a1a;
  --ink-soft: #4a4a4a;
  --muted: #888;
  --rule: #d8d8d8;
  --bg: #fafaf7;
  --accent: #b03030;
  --accent-soft: #d68080;
  --bar: #2a4858;
  --bar-light: #88a0b0;
  --bar-difc: #2a4858;
  --bar-adgm: #b03030;
  --bar-sicc: #4a7058;
  --highlight: #fff8d6;
  --heat-0: #ecedef;
  --heat-1: #88a0b0;
  --heat-2: #2a4858;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: "Charter", "Iowan Old Style", "Cambria", Georgia, serif;
  font-size: 16px;
  line-height: 1.55;
}

.hero {
  max-width: 880px;
  margin: 0 auto;
  padding: 64px 32px 32px;
  border-bottom: 1px solid var(--rule);
}

.kicker {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
  margin-bottom: 12px;
}

.source-badge { color: var(--muted); margin-left: 4px; }
body[data-source="api"] .source-badge { color: #1a7a4a; }

h1 {
  font-size: 44px;
  line-height: 1.1;
  margin: 0 0 12px;
  letter-spacing: -0.01em;
}

.subhead {
  font-size: 18px;
  color: var(--ink-soft);
  margin: 0 0 20px;
}

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

.abstract {
  border-left: 3px solid var(--accent);
  padding-left: 18px;
  font-size: 16px;
  color: var(--ink-soft);
  margin: 0;
}

.section {
  max-width: 880px;
  margin: 0 auto;
  padding: 40px 32px;
  border-bottom: 1px solid var(--rule);
}

.section h2 {
  font-size: 24px;
  margin: 0 0 8px;
  letter-spacing: -0.005em;
}

.section h3 {
  font-size: 16px;
  margin: 22px 0 6px;
  font-family: "Helvetica Neue", "Arial", sans-serif;
  letter-spacing: 0.02em;
  color: var(--ink-soft);
  text-transform: uppercase;
  font-weight: 600;
}

.section p {
  color: var(--ink-soft);
  margin: 0 0 18px;
  max-width: 680px;
}

.section p.finding {
  background: var(--highlight);
  border-left: 3px solid var(--accent);
  padding: 14px 18px;
  margin-top: 18px;
  color: var(--ink);
  max-width: none;
}

.stats-row {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
  gap: 24px;
  margin-top: 12px;
}

.stat {
  border-top: 2px solid var(--ink);
  padding-top: 12px;
}

.stat-num {
  font-size: 36px;
  font-weight: 600;
  letter-spacing: -0.02em;
  line-height: 1;
}

.stat-label {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
  margin-top: 6px;
}

.data-table {
  width: 100%;
  border-collapse: collapse;
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 14px;
  margin-top: 8px;
}

.data-table th, .data-table td {
  text-align: left;
  padding: 10px 12px;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}

.data-table th {
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
  border-bottom: 2px solid var(--ink);
  font-weight: 600;
}

.data-table td.num, .data-table th.num { text-align: right; font-variant-numeric: tabular-nums; }

.data-table tbody tr:hover {
  background: rgba(176, 48, 48, 0.04);
}

.chart {
  margin-top: 16px;
  width: 100%;
}

.chart svg {
  display: block;
  width: 100%;
  height: auto;
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
}

.bar { fill: var(--bar); }
.bar-light { fill: var(--bar-light); }
.bar-accent { fill: var(--accent); }
.bar-difc { fill: var(--bar-difc); }
.bar-adgm { fill: var(--bar-adgm); }
.bar-sicc { fill: var(--bar-sicc); }

.bar-label {
  fill: var(--ink-soft);
  font-size: 11px;
}

.bar-value {
  fill: var(--ink);
  font-size: 11px;
  font-weight: 600;
}

.axis { stroke: var(--rule); stroke-width: 1; }
.axis-text { fill: var(--muted); font-size: 11px; }

.heat-cell { stroke: white; stroke-width: 1.5; }
.heat-label-row { fill: var(--ink); font-size: 11px; text-anchor: end; font-family: "Helvetica Neue", "Arial", sans-serif; }
.heat-label-col { fill: var(--ink); font-size: 11px; font-family: "Helvetica Neue", "Arial", sans-serif; font-weight: 600; }
.panel-title { fill: var(--ink); font-size: 13px; font-family: "Helvetica Neue", "Arial", sans-serif; font-weight: 600; letter-spacing: 0.04em; text-transform: uppercase; }

.legend-row {
  display: flex;
  gap: 16px;
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  color: var(--ink-soft);
  margin-top: 10px;
  align-items: center;
}
.legend-swatch {
  display: inline-block;
  width: 14px;
  height: 14px;
  margin-right: 6px;
  vertical-align: middle;
}

.filter-row {
  display: flex;
  gap: 12px;
  margin: 16px 0;
  flex-wrap: wrap;
}

.filter-row input, .filter-row select {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 14px;
  padding: 8px 12px;
  border: 1px solid var(--rule);
  background: white;
  border-radius: 0;
}
.filter-row input { flex: 1; min-width: 200px; }

.nav-link {
  color: var(--accent);
  text-decoration: none;
  font-weight: 600;
}
.nav-link:hover { text-decoration: underline; }

.foot {
  max-width: 880px;
  margin: 0 auto;
  padding: 40px 32px 80px;
  font-size: 13px;
  color: var(--muted);
  font-family: "Helvetica Neue", "Arial", sans-serif;
}
.foot p { margin: 6px 0; }
.foot a { color: var(--accent); text-decoration: none; }
.foot a:hover { text-decoration: underline; }
.foot code { background: rgba(0,0,0,0.05); padding: 2px 5px; }

.tag {
  display: inline-block;
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 11px;
  padding: 2px 8px;
  border: 1px solid var(--rule);
  border-radius: 100px;
  margin-right: 4px;
  color: var(--ink-soft);
}
.tag-difc { background: #e8eef3; border-color: #b8c8d2; color: #2a4858; }
.tag-adgm { background: #f8e8e8; border-color: #d8b8b8; color: #883030; }
.tag-sicc { background: #e8f1ec; border-color: #b8d0c0; color: #2d5040; }
.tag-grader-llm    { background: #efeaf6; border-color: #c8b8d8; color: #4a3870; }
.tag-grader-regex  { background: #f4f0e6; border-color: #d6cdb6; color: #5a4818; }

.trace-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 24px;
  margin-top: 18px;
}
@media (min-width: 720px) {
  .trace-grid { grid-template-columns: repeat(2, 1fr); }
}
@media (min-width: 1100px) {
  .trace-grid { grid-template-columns: repeat(4, 1fr); }
}

.trace {
  border: 1px solid var(--rule);
  background: white;
  padding: 18px 18px 14px;
  display: flex;
  flex-direction: column;
}

.trace-num {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 11px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
  margin-bottom: 4px;
}

.trace-title {
  font-size: 18px;
  font-weight: 600;
  letter-spacing: -0.01em;
  margin-bottom: 4px;
  color: var(--ink);
}

.trace-case {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  color: var(--accent);
  margin-bottom: 14px;
}

.trace-rule {
  font-size: 14px;
  color: var(--ink-soft);
  margin-bottom: 14px;
}

.trace-result {
  margin-top: auto;
  padding-top: 12px;
  border-top: 1px solid var(--rule);
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 13px;
}
.trace-result strong { color: var(--ink); font-family: "Charter", Georgia, serif; }

.trace-finding {
  font-family: "Charter", Georgia, serif;
  font-size: 13px;
  color: var(--ink-soft);
  margin-top: 10px;
  border-top: 1px dashed var(--rule);
  padding-top: 10px;
}

/* ---------- Trace viewer ---------- */

.viewer {
  margin-top: 18px;
  border: 1px solid var(--rule);
  background: white;
}

.viewer-tabs {
  display: flex;
  flex-wrap: wrap;
  gap: 0;
  border-bottom: 1px solid var(--rule);
  background: #fafaf7;
}

.viewer-tab {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  letter-spacing: 0.02em;
  padding: 12px 18px;
  background: transparent;
  border: none;
  border-right: 1px solid var(--rule);
  color: var(--ink-soft);
  cursor: pointer;
  transition: background 0.1s ease;
}
.viewer-tab:hover { background: rgba(0,0,0,0.03); }
.viewer-tab.active {
  background: white;
  color: var(--ink);
  box-shadow: inset 0 -2px 0 var(--accent);
  font-weight: 600;
}

.viewer-meta {
  padding: 14px 18px;
  border-bottom: 1px solid var(--rule);
  background: #fbfbf8;
}
.viewer-case {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 13px;
  color: var(--accent);
  margin-bottom: 6px;
}
.viewer-rule-summary {
  font-family: "Charter", Georgia, serif;
  font-size: 14px;
  color: var(--ink-soft);
}

.viewer-cols {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0;
}
@media (min-width: 1100px) {
  .viewer-cols { grid-template-columns: 1.1fr 1fr 1fr; }
}

.viewer-col {
  border-right: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  display: flex;
  flex-direction: column;
  min-width: 0;
}
.viewer-col:last-child { border-right: none; }
@media (max-width: 1099px) {
  .viewer-col { border-right: none; }
}

.viewer-label {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 11px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--muted);
  padding: 10px 14px 8px;
  border-bottom: 1px solid var(--rule);
  background: #fafaf7;
  display: flex;
  justify-content: space-between;
  align-items: baseline;
}
.viewer-sublabel {
  font-family: "JetBrains Mono", monospace;
  font-size: 10px;
  text-transform: none;
  letter-spacing: 0;
  color: var(--ink-soft);
  opacity: 0.7;
}

.viewer-pre {
  margin: 0;
  padding: 14px;
  font-family: "JetBrains Mono", monospace;
  font-size: 11.5px;
  line-height: 1.55;
  color: var(--ink);
  white-space: pre-wrap;
  word-wrap: break-word;
  overflow-x: auto;
  max-height: 640px;
  overflow-y: auto;
  flex: 1;
}

#viewerRule { background: #fafaf6; }

.viewer-block { margin-bottom: 16px; }
.viewer-block:last-child { margin-bottom: 0; }
.viewer-block-h {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 10.5px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
  margin-bottom: 6px;
  padding-bottom: 3px;
  border-bottom: 1px dotted var(--rule);
}

.viewer-row {
  display: flex;
  justify-content: space-between;
  gap: 10px;
  padding: 2px 0;
  font-size: 11px;
}
.viewer-k { color: var(--ink-soft); flex-shrink: 0; }
.viewer-v { color: var(--ink); text-align: right; word-break: break-word; }

.viewer-event {
  display: grid;
  grid-template-columns: 88px 1fr;
  gap: 8px;
  padding: 3px 0;
  font-size: 11px;
  border-left: 2px solid var(--rule);
  padding-left: 8px;
  margin-bottom: 2px;
}
.viewer-event-t { color: var(--accent); font-weight: 600; }
.viewer-event-type { color: var(--ink); }
.viewer-event-extra {
  grid-column: 2;
  color: var(--ink-soft);
  font-size: 10.5px;
  padding-top: 1px;
}

.viewer-finding {
  font-family: "Charter", Georgia, serif;
  font-size: 12px;
  color: var(--ink-soft);
  padding: 2px 0 2px 6px;
  border-left: 2px solid var(--accent);
  margin-bottom: 4px;
  padding-left: 10px;
}

.viewer-out {
  border: 1px solid var(--rule);
  padding: 8px 10px;
  margin-bottom: 8px;
  background: white;
}
.viewer-out.viewer-ok { border-left: 3px solid #2d5040; }
.viewer-out.viewer-warn { border-left: 3px solid #b8860b; background: #fffaf0; }

.viewer-out-h {
  display: flex;
  gap: 6px;
  align-items: baseline;
  margin-bottom: 4px;
}
.viewer-out-mark { font-family: "JetBrains Mono", monospace; font-size: 13px; color: #2d5040; }
.viewer-out.viewer-warn .viewer-out-mark { color: #b8860b; }
.viewer-out-label {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  font-weight: 600;
  color: var(--ink);
}
.viewer-out-row {
  display: grid;
  grid-template-columns: 70px 1fr;
  gap: 6px;
  font-size: 11px;
  padding: 1px 0;
}
.viewer-out-side {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  font-size: 9.5px;
  color: var(--muted);
  align-self: center;
}
.viewer-out-val {
  font-family: "JetBrains Mono", monospace;
  color: var(--ink);
}
.viewer-out-note {
  margin-top: 4px;
  padding-top: 4px;
  border-top: 1px dotted var(--rule);
  font-family: "Charter", Georgia, serif;
  font-style: italic;
  font-size: 11px;
  color: var(--ink-soft);
}

.viewer-summary {
  margin-top: 12px;
  padding: 10px 12px;
  font-family: "Charter", Georgia, serif;
  font-size: 12.5px;
  border: 1px solid var(--rule);
}
.viewer-summary-ok { background: #f0f6f2; border-color: #c0d8c8; color: #2d5040; }
.viewer-summary-warn { background: #fff8eb; border-color: #e5c98a; color: #6b4f15; }

.viewer-catala {
  margin-top: 14px;
  padding-top: 12px;
  border-top: 1px dashed var(--rule);
}

.viewer-runbtn {
  font-family: "JetBrains Mono", monospace;
  font-size: 11.5px;
  padding: 7px 12px;
  background: var(--ink);
  color: var(--paper);
  border: none;
  cursor: pointer;
  letter-spacing: 0.02em;
  margin-top: 4px;
}
.viewer-runbtn:hover { background: var(--accent); }
.viewer-runbtn code {
  background: transparent;
  color: var(--paper);
  padding: 0;
  border: none;
  font-size: inherit;
}

.viewer-runout {
  margin-top: 10px;
  background: #1a1a1a;
  border: 1px solid #333;
  padding: 10px 12px;
  color: #e8e8e0;
}
.viewer-runout-cmd {
  font-family: "JetBrains Mono", monospace;
  font-size: 11px;
  color: #8ec07c;
  margin-bottom: 8px;
  padding-bottom: 6px;
  border-bottom: 1px dashed #444;
  white-space: pre-wrap;
}
.viewer-runout-pre {
  margin: 0;
  font-family: "JetBrains Mono", monospace;
  font-size: 11px;
  line-height: 1.5;
  color: #e8e8e0;
  white-space: pre;
  overflow-x: auto;
}
.viewer-runout-note {
  margin-top: 8px;
  padding-top: 8px;
  border-top: 1px dashed #444;
  font-family: "Charter", Georgia, serif;
  font-size: 11px;
  color: #b8b8a8;
}
.viewer-runout-note code {
  background: rgba(255,255,255,0.07);
  color: #e8e8e0;
  padding: 1px 4px;
  font-family: "JetBrains Mono", monospace;
  font-size: 10.5px;
}

.viewer-runbtns { display: flex; gap: 8px; flex-wrap: wrap; }

.viewer-jsonout {
  margin-top: 12px;
  padding: 14px 16px;
  background: #1a1d24;
  border-radius: 6px;
  font-family: "JetBrains Mono", monospace;
  font-size: 12px;
  color: #e8e8e0;
}
.viewer-jsonloading { color: #999; font-style: italic; }
.viewer-jsonerror { color: #f4a; }

.viewer-jsobj { padding-left: 12px; border-left: 2px solid rgba(255,255,255,0.06); margin: 4px 0; }
.viewer-jslist { padding-left: 12px; }
.viewer-jsitem { padding: 1px 0; }
.viewer-jsindex { color: #6b7280; margin-right: 4px; }
.viewer-jsfield {
  display: flex;
  align-items: baseline;
  gap: 8px;
  padding: 2px 6px;
  border-radius: 3px;
  margin: 1px 0;
}
.viewer-jsfield-ok { background: rgba(80,180,120,0.10); }
.viewer-jsfield-warn { background: rgba(220,160,60,0.13); }
.viewer-jsk { color: #93c5fd; min-width: 200px; }
.viewer-jsv { color: #fde68a; }
.viewer-jsstr { color: #fde68a; }
.viewer-jsempty { color: #6b7280; font-style: italic; }
.viewer-jsbracket { color: #94a3b8; }
.viewer-jstag {
  font-size: 9.5px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  padding: 1px 6px;
  border-radius: 8px;
  margin-left: auto;
  white-space: nowrap;
}
.viewer-jstag-ok { background: rgba(80,180,120,0.25); color: #a7f3d0; }
.viewer-jstag-warn { background: rgba(220,160,60,0.25); color: #fde68a; }

.cd-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(360px, 1fr));
  gap: 16px;
  margin-top: 16px;
}
.cd-kind {
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 14px 16px;
  background: #fafaf6;
}
.cd-kind-h {
  font-family: "Helvetica Neue", "Arial", sans-serif;
  font-size: 12px;
  letter-spacing: 0.10em;
  text-transform: uppercase;
  color: var(--ink);
  display: flex;
  align-items: baseline;
  gap: 8px;
  margin-bottom: 4px;
}
.cd-kind-n {
  background: var(--ink);
  color: #fff;
  font-size: 10px;
  padding: 1px 7px;
  border-radius: 8px;
  letter-spacing: 0;
}
.cd-kind-blurb {
  font-size: 12.5px;
  color: var(--muted);
  margin-bottom: 12px;
}
.cd-row {
  border-top: 1px solid var(--border);
  padding: 10px 0;
}
.cd-row:last-child { padding-bottom: 0; }
.cd-row-h {
  display: flex;
  gap: 10px;
  align-items: baseline;
  font-size: 12px;
}
.cd-trace {
  font-family: "JetBrains Mono", monospace;
  color: var(--accent);
  font-weight: 600;
}
.cd-case {
  color: var(--muted);
  font-style: italic;
}
.cd-label {
  font-family: "JetBrains Mono", monospace;
  font-size: 12.5px;
  margin: 4px 0;
}
.cd-vals {
  display: flex;
  flex-wrap: wrap;
  gap: 14px;
  margin: 6px 0;
  font-family: "JetBrains Mono", monospace;
  font-size: 11.5px;
}
.cd-vk {
  color: var(--muted);
  margin-right: 4px;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
}
.cd-pred { color: #1a4a73; }
.cd-court { color: #5a4a13; }
.cd-delta { color: #7a3a1a; font-weight: 500; }
.cd-interp {
  font-size: 12.5px;
  color: var(--ink);
  line-height: 1.5;
  margin-top: 4px;
}

.audit-summary {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
  gap: 12px;
  margin: 14px 0 18px;
}
.audit-stat {
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 10px 14px;
  background: #fafaf6;
}
.audit-stat-num {
  font-family: "JetBrains Mono", monospace;
  font-size: 22px;
  color: var(--ink);
}
.audit-stat-label {
  font-size: 11px;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.06em;
  margin-top: 2px;
}

.audit-h3 {
  font-family: "Helvetica Neue","Arial",sans-serif;
  font-size: 11.5px;
  letter-spacing: 0.10em;
  text-transform: uppercase;
  color: var(--muted);
  margin: 18px 0 8px;
}

.audit-stats-grid {
  display: flex; flex-direction: column; gap: 4px;
}
.audit-stats-row {
  display: flex; align-items: baseline; gap: 12px;
  padding: 6px 10px; background: #fafaf6; border-radius: 3px;
  font-family: "JetBrains Mono", monospace;
}
.audit-mod { font-size: 12.5px; color: var(--ink); }
.audit-stats-meta { font-size: 11px; color: var(--muted); margin-left: auto; white-space: nowrap; }

.audit-runs { display: flex; flex-direction: column; gap: 6px; }
.audit-run {
  border-left: 3px solid var(--border);
  padding: 7px 12px;
  background: #fafaf6;
  border-radius: 0 3px 3px 0;
}
.audit-run-ok { border-left-color: #2f6b3c; }
.audit-run-err { border-left-color: #c0492c; background: #fdf2f0; }
.audit-run-h {
  display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap;
  font-family: "JetBrains Mono", monospace;
}
.audit-run-id { font-size: 11px; color: var(--muted); }
.audit-run-tag {
  font-size: 9.5px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 1px 7px;
  border-radius: 8px;
  margin-left: auto;
}
.audit-run-tag-ok { background: rgba(47,107,60,0.18); color: #1f5e2e; }
.audit-run-tag-err { background: rgba(192,73,44,0.18); color: #7a2a1a; }
.audit-run-sha {
  font-family: "JetBrains Mono", monospace;
  font-size: 10.5px;
  color: var(--muted);
  margin-top: 2px;
}
.audit-run-err-snip {
  font-family: "JetBrains Mono", monospace;
  font-size: 11px;
  color: #7a2a1a;
  margin-top: 4px;
  padding: 4px 8px;
  background: #fff;
  border: 1px solid #f0c5c0;
  border-radius: 3px;
  white-space: pre-wrap;
}

/* ---------------------------------------------------------------------
   Polish layer — appended last, overrides earlier rules where needed.
   --------------------------------------------------------------------- */

/* Focus-visible: keyboard users get a clear ring; mouse users don't.
   Pages were missing this entirely. */
a:focus-visible,
button:focus-visible,
select:focus-visible,
input:focus-visible,
textarea:focus-visible,
[role="button"]:focus-visible,
[tabindex]:focus-visible {
  outline: 2px solid var(--accent, #7a3b2e);
  outline-offset: 2px;
  border-radius: 3px;
}

/* The kicker nav grew to 7+ links across the dashboard pages — it
   overflowed on screens narrower than ~1100px. Wrap, tighten gaps. */
.kicker {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  row-gap: 4px;
  column-gap: 4px;
  margin-bottom: 12px;
}
.kicker .nav-link { white-space: nowrap; }

/* The trace viewer's 3-column grid was unusable on phones. The atlas
   block below already scales; this rule generalises to ≤980px. */
@media (max-width: 980px) {
  .viewer-cols { grid-template-columns: 1fr !important; }
  .viewer-col  { min-height: 240px; }
}

/* `<pre>` blocks (catala source, JSON outputs, audit error snippets)
   were horizontally overflowing on phones and tight panels. */
.viewer-pre,
.viewer-runout-pre,
.au-source,
.ig-out,
.audit-run-err-snip,
.pg-out {
  white-space: pre-wrap;
  word-break: break-word;
  overflow-wrap: anywhere;
}

/* Standardised status banner. Pages were rolling their own toast/error
   patterns; this unified class can replace them as the codebase rolls
   forward. */
.status-banner {
  margin: 10px 0;
  padding: 10px 14px;
  border-radius: 4px;
  font-size: 12.5px;
  font-family: "JetBrains Mono", monospace;
  line-height: 1.45;
  border: 1px solid var(--border);
  background: #fafaf6;
  color: var(--ink);
}
.status-banner-ok   { background: #e6f5ec; color: #1a4a2a; border-color: #b9deb9; }
.status-banner-warn { background: #fff7e6; color: #7a5a10; border-color: #f0d49a; }
.status-banner-err  { background: #fdebec; color: #7a2a2a; border-color: #f0a3a3; white-space: pre-wrap; word-break: break-word; }
.status-banner-info { background: #f3f1ea; color: var(--ink); border-color: var(--border); }

/* Tighten the at-a-glance stat row on small screens — it was forcing
   horizontal scroll on phones because the labels run long. */
@media (max-width: 720px) {
  .stats-row { gap: 12px; }
  .stat .stat-num { font-size: 24px; }
  .stat .stat-label { font-size: 10.5px; }
}

/* Shared "tag" pill — many pages reinvented this. Available as a
   utility class for any future page. */
.tag-pill {
  display: inline-block;
  padding: 2px 8px;
  margin: 2px 4px 2px 0;
  background: #fafaf6;
  border: 1px solid var(--border);
  border-radius: 12px;
  font-family: "JetBrains Mono", monospace;
  font-size: 11.5px;
  white-space: nowrap;
}

/* Honour reduced-motion preference. */
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}

/* Skip-to-content link for keyboard / screen-reader users. Hidden
   off-screen until focused. Pages with a leading <h1> can opt in by
   adding <a class="skip-link" href="#main">Skip to main content</a>
   as the first focusable element. */
.skip-link {
  position: absolute;
  top: -40px;
  left: 8px;
  background: var(--ink);
  color: #fff;
  padding: 6px 12px;
  border-radius: 0 0 4px 4px;
  text-decoration: none;
  font-family: "JetBrains Mono", monospace;
  font-size: 12px;
  z-index: 1000;
}
.skip-link:focus { top: 0; }

/* ============================================================
   "How to use this page" / "Start here" panels — shared across
   index, playground, simulator, authoring, ingest, conflicts.
   Designed to be readable for non-experts.
   ============================================================ */
.howto {
  margin: 24px 0 36px;
  padding: 22px 26px;
  background: #fbfaf5;
  border: 1px solid var(--rule);
  border-left: 4px solid var(--accent);
}
.howto > h2 { margin: 0 0 10px; font-size: 19px; font-family: "Source Serif 4", Georgia, serif; color: var(--ink); }
.howto > h3 {
  margin: 18px 0 8px;
  font-size: 12px;
  letter-spacing: 0.16em;
  text-transform: uppercase;
  color: var(--accent);
  font-family: "Inter", "Helvetica Neue", sans-serif;
  font-weight: 600;
}
.howto p { font-size: 14.5px; line-height: 1.6; color: var(--ink-soft); margin: 0 0 10px; max-width: 78ch; }
.howto strong { color: var(--ink); }
.howto ol, .howto ul { margin: 6px 0 6px 22px; padding: 0; font-size: 14px; line-height: 1.65; color: var(--ink-soft); max-width: 78ch; }
.howto ol li, .howto ul li { margin-bottom: 6px; }
.howto code { background: rgba(0,0,0,0.04); padding: 1px 5px; border-radius: 2px; font-size: 12.5px; font-family: "JetBrains Mono", monospace; }
.howto-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: 12px;
  margin-top: 12px;
}
.howto-card {
  padding: 14px 16px;
  border: 1px solid var(--rule);
  background: #ffffff;
}
.howto-card .howto-card-h {
  font-size: 10.5px;
  letter-spacing: 0.16em;
  text-transform: uppercase;
  color: var(--accent);
  margin-bottom: 6px;
  font-family: "JetBrains Mono", monospace;
}
.howto-card a.howto-card-link {
  color: var(--ink);
  text-decoration: none;
  font-weight: 600;
  font-size: 14px;
  display: inline-block;
  margin-bottom: 4px;
}
.howto-card a.howto-card-link:hover { text-decoration: underline; color: var(--accent); }
.howto-card p { font-size: 12.5px; line-height: 1.5; color: var(--ink-soft); margin: 4px 0 0; }
.howto-glossary { display: grid; grid-template-columns: max-content 1fr; gap: 8px 18px; margin: 10px 0 4px; font-size: 13.5px; line-height: 1.55; }
.howto-glossary dt { font-weight: 600; color: var(--ink); font-family: "JetBrains Mono", monospace; font-size: 12.5px; }
.howto-glossary dd { color: var(--ink-soft); margin: 0; }
.howto .howto-tag {
  display: inline-block;
  font-family: "JetBrains Mono", monospace;
  font-size: 10.5px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--accent);
  background: rgba(176, 48, 48, 0.08);
  padding: 2px 8px;
  margin-bottom: 8px;
}

/* Screen-reader-only utility (a11y) */
.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}