/* z3-doctor — field-instrument palette (zinc + copper). Not dark-teal terminal. */
:root {
  --bg: #e9ece8;
  --bg-grid: rgba(42, 52, 58, 0.045);
  --panel: #f4f5f2;
  --panel-2: #ffffff;
  --ink: #1c2428;
  --ink-soft: #3d4a52;
  --muted: #6a767c;
  --line: #c5cdc8;
  --line-strong: #2a3438;
  --ok: #2f6b4f;
  --ok-bg: #d7e8de;
  --warn: #9a6b12;
  --warn-bg: #f3e4c0;
  --fail: #a33a32;
  --fail-bg: #f0d6d3;
  --accent: #9a5b2f;
  --accent-ink: #fff8f1;
  --accent-soft: rgba(154, 91, 47, 0.12);
  --mono: "IBM Plex Mono", ui-monospace, "Cascadia Mono", "Segoe UI Mono", monospace;
  --sans: "IBM Plex Sans", "Segoe UI", system-ui, sans-serif;
  --radius: 0;
  --focus: 0 0 0 2px var(--panel), 0 0 0 4px var(--accent);
  --shadow: 0 1px 0 rgba(28, 36, 40, 0.06);
}

@font-face {
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: local("IBM Plex Sans"), local("Segoe UI");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400 600;
  font-display: swap;
  src: local("IBM Plex Mono"), local("Cascadia Mono"), local("Consolas");
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  min-height: 100%;
  color: var(--ink);
  font-family: var(--sans);
  background-color: var(--bg);
  background-image:
    linear-gradient(var(--bg-grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--bg-grid) 1px, transparent 1px);
  background-size: 24px 24px;
}

body { min-height: 100dvh; }

code {
  font-family: var(--mono);
  font-size: 0.88em;
  color: var(--accent);
}

.shell {
  width: min(1180px, calc(100% - 2rem));
  margin: 0 auto;
  padding: 1.1rem 0 2.25rem;
}

.header {
  display: grid;
  grid-template-columns: 1.5fr auto;
  gap: 1rem;
  align-items: end;
  padding-bottom: 0.9rem;
  border-bottom: 2px solid var(--line-strong);
}

.eyebrow {
  margin: 0 0 0.35rem;
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
}

.brand-row {
  display: flex;
  align-items: baseline;
  gap: 0.65rem;
  flex-wrap: wrap;
}

h1 {
  margin: 0;
  font-size: clamp(1.6rem, 3vw, 2.15rem);
  line-height: 1;
  letter-spacing: -0.03em;
  font-weight: 700;
}

.pill {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--accent);
  border: 1px solid var(--accent);
  background: var(--accent-soft);
  padding: 0.15rem 0.4rem;
}

.lede {
  margin: 0.5rem 0 0;
  max-width: 48ch;
  color: var(--ink-soft);
  line-height: 1.45;
  font-size: 0.9rem;
}

.meta {
  display: grid;
  grid-template-columns: repeat(3, minmax(7rem, 1fr));
  margin: 0;
  border: 1px solid var(--line-strong);
  background: var(--panel-2);
  box-shadow: var(--shadow);
}

.meta > div {
  padding: 0.55rem 0.7rem;
  border-right: 1px solid var(--line);
}

.meta > div:last-child { border-right: 0; }

.meta dt {
  margin: 0 0 0.2rem;
  font-family: var(--mono);
  font-size: 0.6rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}

.meta dd {
  margin: 0;
  font-family: var(--mono);
  font-size: 0.82rem;
  font-weight: 600;
}

.meta-link {
  appearance: none;
  border: 0;
  background: none;
  padding: 0;
  font: inherit;
  color: inherit;
  cursor: pointer;
  text-align: left;
  text-decoration: underline;
  text-decoration-style: dotted;
  text-underline-offset: 2px;
}

.tip {
  cursor: help;
  border-bottom: 1px dotted rgba(106, 118, 124, 0.55);
  position: relative;
}

.tip[data-tip]:hover::after,
.tip[data-tip]:focus-visible::after {
  content: attr(data-tip);
  position: absolute;
  z-index: 30;
  left: 0;
  top: calc(100% + 0.35rem);
  max-width: 280px;
  padding: 0.5rem 0.65rem;
  background: var(--ink);
  color: var(--panel);
  border: 1px solid var(--ink);
  font-family: var(--sans);
  font-size: 0.74rem;
  line-height: 1.4;
  text-transform: none;
  letter-spacing: 0;
  font-weight: 400;
  white-space: normal;
}

.steps {
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  gap: 0;
  margin: 0.9rem 0 0;
  padding: 0;
  border: 1px solid var(--line-strong);
  background: var(--panel-2);
}

.step {
  appearance: none;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  padding: 0.65rem 0.9rem;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}

.step span {
  display: inline-grid;
  place-items: center;
  width: 1.1rem;
  height: 1.1rem;
  border: 1px solid var(--line);
  color: var(--muted);
  font-size: 0.62rem;
}

.step.active {
  background: var(--accent-soft);
  color: var(--ink);
  box-shadow: inset 0 -2px 0 var(--accent);
}

.step.active span {
  border-color: var(--accent);
  color: var(--accent);
}

.steps-ref { margin-left: auto; border-left: 1px solid var(--line); border-right: 0; }

.onboard {
  margin-top: 0.75rem;
  border: 1px solid var(--line);
  background: var(--panel);
}

.onboard > summary {
  list-style: none;
  cursor: pointer;
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  align-items: center;
  padding: 0.6rem 0.8rem;
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-soft);
}

.onboard > summary::-webkit-details-marker { display: none; }
.onboard-hint { color: var(--muted); text-transform: none; letter-spacing: 0; font-size: 0.7rem; }
.onboard[open] > summary { border-bottom: 1px solid var(--line); }

.scenarios {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 0.4rem;
  padding: 0.7rem;
}

.scenario {
  appearance: none;
  border: 1px solid var(--line);
  background: var(--panel-2);
  color: var(--ink);
  padding: 0.6rem;
  text-align: left;
  cursor: pointer;
  font-family: inherit;
  transition: transform 0.12s ease, border-color 0.12s ease;
}

.scenario:hover,
.scenario:focus-visible {
  border-color: var(--accent);
  outline: none;
}

.scenario:active { transform: translateY(1px); }

.scenario strong {
  display: block;
  font-size: 0.78rem;
  margin-bottom: 0.25rem;
}

.scenario span {
  font-family: var(--mono);
  font-size: 0.64rem;
  color: var(--muted);
  line-height: 1.35;
}

.onboard-note {
  margin: 0;
  padding: 0 0.8rem 0.8rem;
  font-size: 0.78rem;
  color: var(--ink-soft);
  line-height: 1.45;
}

/* Primary nav is .steps — hide duplicate tab strip */
.tabs { display: none; }

.panel { display: none; padding-top: 0.85rem; }
.panel.active { display: block; }

.panel-help {
  margin: 0 0 0.7rem;
  font-size: 0.84rem;
  color: var(--ink-soft);
  line-height: 1.45;
}

.callout {
  margin: 0 0 0.7rem;
  padding: 0.6rem 0.7rem;
  border-left: 3px solid var(--warn);
  background: var(--warn-bg);
  color: var(--ink-soft);
  font-size: 0.78rem;
  line-height: 1.45;
}

.workbench {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1.05fr);
  gap: 0.8rem;
  align-items: start;
}

.work-input,
.work-output { min-width: 0; }

.work-output .result {
  min-height: 340px;
  max-height: min(72vh, 760px);
  overflow: auto;
}

.toolbar {
  display: flex;
  gap: 0.55rem;
  flex-wrap: wrap;
  margin-bottom: 0.6rem;
  align-items: end;
}

.field {
  display: flex;
  flex-direction: column;
  gap: 0.28rem;
  margin-bottom: 0.6rem;
}

.field.grow { flex: 1; min-width: 170px; }

.field > span {
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.07em;
  text-transform: uppercase;
  color: var(--muted);
}

.field small {
  text-transform: none;
  letter-spacing: 0;
  color: var(--accent);
}

.field-hint {
  margin: -0.25rem 0 0.5rem;
  font-size: 0.72rem;
  color: var(--muted);
  line-height: 1.4;
}

textarea, input, select {
  font-family: var(--mono);
  font-size: 0.76rem;
  border: 1px solid var(--line-strong);
  background: var(--panel-2);
  padding: 0.55rem;
  color: var(--ink);
  border-radius: var(--radius);
}

textarea { min-height: 240px; resize: vertical; width: 100%; }

.grid-2 {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.6rem;
}

.grid-3 {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.6rem;
  margin-bottom: 0.6rem;
}

.advanced {
  margin-bottom: 0.6rem;
  border: 1px solid var(--line);
  padding: 0.4rem 0.6rem;
  background: var(--panel);
}

.advanced summary {
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.66rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--muted);
}

.dropzone { position: relative; transition: background 0.15s; }
.dropzone.drag {
  background: var(--ok-bg);
  outline: 1px dashed var(--ok);
}

.chk {
  display: flex;
  align-items: center;
  gap: 0.35rem;
  font-family: var(--mono);
  font-size: 0.68rem;
  margin-bottom: 0.6rem;
  color: var(--ink-soft);
}

.file-field input[type="file"] {
  font-size: 0.68rem;
  padding: 0.3rem;
}

.link-btn {
  appearance: none;
  border: 0;
  background: none;
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.68rem;
  cursor: pointer;
  text-align: left;
  padding: 0;
  margin-bottom: 0.2rem;
  text-decoration: underline;
}

.link-btn.inline { display: inline; margin-left: 0.2rem; }

.btn {
  appearance: none;
  border: 1px solid var(--line-strong);
  background: var(--panel-2);
  color: var(--ink);
  font-family: var(--sans);
  font-weight: 700;
  font-size: 0.72rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  padding: 0.52rem 0.8rem;
  cursor: pointer;
  text-decoration: none;
  display: inline-block;
  transition: transform 0.1s ease;
}

.btn.primary {
  background: var(--accent);
  border-color: var(--accent);
  color: var(--accent-ink);
}

.btn.ghost {
  background: transparent;
  color: var(--ink-soft);
}

.btn:hover { filter: brightness(0.98); }
.btn:active { transform: translateY(1px); }
.btn:disabled { opacity: 0.5; cursor: wait; }

.btn:focus-visible,
.step:focus-visible,
select:focus-visible,
input:focus-visible,
textarea:focus-visible,
.link-btn:focus-visible,
.meta-link:focus-visible,
.filter-chip:focus-visible,
.scenario:focus-visible {
  outline: none;
  box-shadow: var(--focus);
}

.result-actions {
  display: flex;
  gap: 0.4rem;
  flex-wrap: wrap;
  margin-bottom: 0.4rem;
}

.result-actions.hidden { display: none; }

.result {
  border: 1px solid var(--line-strong);
  background: var(--panel-2);
  padding: 0.8rem;
  min-height: 140px;
  font-family: var(--mono);
  font-size: 0.74rem;
  line-height: 1.5;
  box-shadow: var(--shadow);
}

.result.empty { color: var(--muted); font-style: italic; white-space: pre-wrap; }
.result.loading { color: var(--muted); }
.result.ok { background: var(--ok-bg); }
.result.fail { background: var(--fail-bg); }
.result.warn { background: var(--warn-bg); }

.chart-wrap {
  display: grid;
  grid-template-columns: 140px 1fr;
  gap: 0.75rem;
  align-items: center;
  margin: 0.55rem 0 0.75rem;
  padding: 0.55rem;
  border: 1px solid var(--line);
  background: var(--panel);
}

.chart-wrap canvas {
  max-width: 140px;
  max-height: 140px;
}

.chart-legend {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
  font-size: 0.68rem;
}

.chart-legend span {
  display: flex;
  justify-content: space-between;
  gap: 0.75rem;
}

.chart-legend i {
  display: inline-block;
  width: 0.55rem;
  height: 0.55rem;
  margin-right: 0.35rem;
}

.badge {
  display: inline-block;
  font-weight: 700;
  letter-spacing: 0.05em;
  padding: 0.12rem 0.35rem;
  border: 1px solid currentColor;
  margin-bottom: 0.45rem;
}

.chips { display: flex; flex-wrap: wrap; gap: 0.28rem; margin: 0.4rem 0 0.55rem; }

.chip {
  font-family: var(--mono);
  font-size: 0.6rem;
  padding: 0.1rem 0.35rem;
  border: 1px solid currentColor;
  letter-spacing: 0.04em;
}

.chip-ok { color: var(--ok); }
.chip-warn { color: var(--warn); }
.chip-fail { color: var(--fail); }
.chip-muted { color: var(--muted); }

.findings-list { display: flex; flex-direction: column; gap: 0.3rem; }

.finding {
  border: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.55);
}

.finding.blocking { border-color: var(--fail); }
.finding.strict-unknown { border-color: var(--warn); }
.finding.changed { border-left: 3px solid var(--warn); }

.finding summary {
  cursor: pointer;
  padding: 0.4rem 0.45rem;
  list-style: none;
  display: grid;
  grid-template-columns: auto 1fr auto auto;
  gap: 0.45rem;
  align-items: baseline;
}

.finding summary::-webkit-details-marker { display: none; }

.finding .cat { font-weight: 700; font-size: 0.64rem; }
.finding .flag {
  font-weight: 600;
  color: var(--accent);
  text-decoration: underline;
  text-underline-offset: 2px;
  cursor: pointer;
  border: 0;
  background: none;
  padding: 0;
  font-family: inherit;
  font-size: inherit;
  text-align: left;
}
.finding .val { color: var(--ink-soft); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.finding .line { color: var(--muted); font-size: 0.64rem; }

.finding-body {
  padding: 0.45rem 0.7rem 0.7rem;
  border-top: 1px solid var(--line);
  line-height: 1.45;
}

.finding-body pre {
  margin: 0.3rem 0 0;
  white-space: pre-wrap;
  font-size: 0.68rem;
}

.finding-body a { color: var(--accent); word-break: break-all; }

.check-line { margin-bottom: 0.55rem; }
.check-line .status { font-weight: 700; }
.check-line.pass .status { color: var(--ok); }
.check-line.warn .status { color: var(--warn); }
.check-line.fail .status { color: var(--fail); }
.check-line.info .status { color: var(--muted); }
.check-line .detail { color: var(--ink-soft); }

.report-actions { display: flex; gap: 0.45rem; flex-wrap: wrap; margin: 0.65rem 0; }
.warn-inline { color: var(--warn); font-size: 0.7rem; }
.small { font-size: 0.7rem; color: var(--muted); }
.mono { font-family: var(--mono); }

.legend-card {
  font-size: 0.74rem;
  line-height: 1.55;
  margin-bottom: 0.65rem;
  padding: 0.6rem;
  border: 1px solid var(--line);
  background: var(--panel);
}

.rules-toolbar {
  position: sticky;
  top: 0;
  z-index: 5;
  background: var(--bg);
  padding-bottom: 0.2rem;
}

.filter-chips { display: flex; flex-wrap: wrap; gap: 0.3rem; margin-bottom: 0.65rem; }

.filter-chip {
  cursor: pointer;
  background: var(--panel-2);
}

.filter-chip.active {
  outline: 1px solid var(--accent);
  background: var(--accent-soft);
}

.rules-list {
  display: flex;
  flex-direction: column;
  gap: 0.3rem;
  max-height: 68vh;
  overflow: auto;
  border: 1px solid var(--line-strong);
  padding: 0.45rem;
  background: var(--panel-2);
}

.rule-card { border: 1px solid var(--line); background: var(--panel); }
.rule-card.blocking { border-color: var(--fail); }

.rule-card summary {
  cursor: pointer;
  padding: 0.4rem 0.45rem;
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  align-items: center;
}

.rule-card summary::-webkit-details-marker { display: none; }

.block-tag {
  font-family: var(--mono);
  font-size: 0.58rem;
  font-weight: 700;
  color: var(--fail);
  border: 1px solid var(--fail);
  padding: 0.04rem 0.28rem;
}

.in-conf { font-family: var(--mono); font-size: 0.62rem; color: var(--ok); }
.empty-rules { color: var(--muted); font-style: italic; padding: 1rem; margin: 0; }
.rules-error { color: var(--fail); font-style: normal; line-height: 1.5; }

.site-footer {
  margin-top: 1.75rem;
  border-top: 2px solid var(--line-strong);
  padding-top: 1rem;
}

.footer-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 0.9rem;
}

.site-footer h3 {
  margin: 0 0 0.4rem;
  font-size: 0.66rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
}

.site-footer p,
.site-footer li {
  margin: 0 0 0.4rem;
  font-size: 0.74rem;
  line-height: 1.45;
  color: var(--ink-soft);
}

.footer-links { list-style: none; padding: 0; margin: 0; }
.footer-links a { color: var(--accent); }

.cli-block {
  font-family: var(--mono);
  font-size: 0.6rem;
  line-height: 1.4;
}

.cli-line {
  display: flex;
  gap: 0.3rem;
  align-items: flex-start;
  margin-bottom: 0.3rem;
}

.cli-line code { flex: 1; word-break: break-all; color: var(--ink-soft); }
.cli-comment { color: var(--muted); margin-bottom: 0.2rem; }

.copy-mini {
  appearance: none;
  border: 1px solid var(--line);
  background: var(--panel-2);
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.56rem;
  padding: 0.08rem 0.3rem;
  cursor: pointer;
  flex-shrink: 0;
}

.footer-bottom {
  margin-top: 0.8rem;
  padding-top: 0.65rem;
  border-top: 1px solid var(--line);
}

.footer-bottom p {
  margin: 0;
  font-family: var(--mono);
  font-size: 0.64rem;
  color: var(--muted);
}

.toast {
  position: fixed;
  bottom: 1rem;
  right: 1rem;
  background: var(--ink);
  color: var(--panel);
  font-family: var(--mono);
  font-size: 0.74rem;
  padding: 0.6rem 0.85rem;
  border: 1px solid var(--ink);
  z-index: 100;
}

.toast.hidden { display: none; }

.banner {
  padding: 0.7rem 1rem;
  font-family: var(--mono);
  font-size: 0.78rem;
  text-align: center;
}

.banner.fail { background: var(--fail-bg); color: var(--fail); }

@media (max-width: 980px) {
  .header,
  .workbench,
  .grid-2,
  .grid-3,
  .footer-grid,
  .scenarios,
  .chart-wrap { grid-template-columns: 1fr; }
  .meta { grid-template-columns: 1fr; }
  .meta > div { border-right: 0; border-bottom: 1px solid var(--line); }
  .meta > div:last-child { border-bottom: 0; }
  .steps-ref { margin-left: 0; border-left: 0; }
  .onboard-hint { display: none; }
  .finding summary { grid-template-columns: 1fr; gap: 0.12rem; }
  .work-output .result { max-height: none; min-height: 200px; }
  .chart-wrap canvas { max-width: 160px; margin: 0 auto; }
}
