:root {
  --bg: #0f1116;
  --panel: #181b22;
  --panel-2: #1f232c;
  --border: #2a2f3a;
  --text: #e6e8ee;
  --muted: #9aa3b2;
  --accent: #6ea8fe;
  --warn: #f5b54a;
  --danger: #e06c75;
  --ok: #7ec699;
  --conjunctive: #e06c75;
  --disjunctive: #7ec699;
  --base: #c9a36b;
  --capability: #8ab4f8;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font: 14px/1.5 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  background: var(--bg);
  color: var(--text);
}
a { color: var(--accent); }
header.topbar {
  display: flex; align-items: center; gap: 18px;
  padding: 12px 20px; border-bottom: 1px solid var(--border);
  background: var(--panel); position: sticky; top: 0; z-index: 20;
}
header.topbar h1 { font-size: 16px; margin: 0; font-weight: 600; }
header.topbar nav a {
  color: var(--muted); text-decoration: none; margin-right: 14px; font-weight: 500;
}
header.topbar nav a.active, header.topbar nav a:hover { color: var(--text); }
main { padding: 20px; max-width: 1500px; margin: 0 auto; }
.muted { color: var(--muted); }
.small { font-size: 12px; }
button {
  background: var(--panel-2); color: var(--text); border: 1px solid var(--border);
  border-radius: 6px; padding: 7px 12px; cursor: pointer; font-size: 13px;
}
button:hover { border-color: var(--accent); }
button.primary { background: var(--accent); color: #0b0d12; border-color: var(--accent); font-weight: 600; }
input, select, textarea {
  background: var(--panel-2); color: var(--text); border: 1px solid var(--border);
  border-radius: 6px; padding: 6px 8px; font-size: 13px; width: 100%;
}
label { display: block; margin: 10px 0 4px; font-weight: 500; }
.banner {
  border-radius: 8px; padding: 10px 14px; margin: 10px 0; border: 1px solid var(--border);
}
.banner.warn { background: rgba(245,181,74,0.12); border-color: var(--warn); color: #f3d08a; }
.banner.info { background: rgba(110,168,254,0.1); border-color: var(--accent); }
.toolbar { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; margin-bottom: 12px; }

/* Matrix */
.matrix-wrap { overflow: auto; border: 1px solid var(--border); border-radius: 8px; }
table.matrix { border-collapse: collapse; }
table.matrix th, table.matrix td { border: 1px solid var(--border); }
table.matrix th.voice {
  writing-mode: vertical-rl; transform: rotate(180deg);
  padding: 8px 4px; height: 150px; vertical-align: bottom; cursor: pointer;
  font-weight: 500; white-space: nowrap; background: var(--panel);
}
table.matrix th.voice:hover { color: var(--accent); }
table.matrix th.scenario {
  text-align: left; padding: 8px 16px; cursor: pointer; position: sticky; left: 34px;
  background: var(--panel); white-space: nowrap; font-weight: 600;
}
table.matrix th.scenario:hover { color: var(--accent); }
table.matrix th.corner { position: sticky; left: 0; background: var(--panel); z-index: 3; }
/* One vertical group label per section, instead of a tag repeated on every row. */
table.matrix th.group-label {
  position: sticky; left: 0; width: 34px; min-width: 34px; max-width: 34px;
  background: var(--panel); z-index: 2; padding: 0; border-right: 2px solid var(--border);
}
table.matrix th.group-label span {
  writing-mode: vertical-rl; transform: rotate(180deg); display: inline-block;
  text-transform: uppercase; letter-spacing: 1.5px; font-size: 11px; font-weight: 700;
  white-space: nowrap; padding: 10px 0;
}
table.matrix th.group-label.group-conjunctive_failure { color: var(--conjunctive); border-right-color: var(--conjunctive); }
table.matrix th.group-label.group-disjunctive_success { color: var(--disjunctive); border-right-color: var(--disjunctive); }
table.matrix th.group-label.group-base_case { color: var(--base); border-right-color: var(--base); }
table.matrix th.group-label.group-capability_precondition { color: var(--capability); border-right-color: var(--capability); }
td.cell { width: 34px; height: 34px; text-align: center; cursor: pointer; }
td.cell:hover { outline: 2px solid var(--accent); outline-offset: -2px; }
.eng-not_engaged { background: #14161c; }
.eng-mentioned   { background: rgba(110,168,254,0.18); }
.eng-discussed   { background: rgba(110,168,254,0.38); }
.eng-substantial { background: rgba(110,168,254,0.62); }
.eng-central     { background: rgba(110,168,254,0.92); }
td.cell.suppressed { background: repeating-linear-gradient(45deg,#181b22,#181b22 4px,#222 4px,#222 8px); }
td.cell.provisional { position: relative; }
td.cell.provisional::after {
  content: ''; position: absolute; top: 2px; right: 2px; width: 0; height: 0;
  border-top: 7px solid var(--warn); border-left: 7px solid transparent;
}
.prov-badge {
  background: rgba(245,181,74,0.18); color: var(--warn); border: 1px solid var(--warn);
  border-radius: 4px; padding: 1px 6px; font-size: 10px; font-weight: 700; letter-spacing: .5px;
}
.group-tag { font-size: 10px; text-transform: uppercase; letter-spacing: .5px; padding: 1px 5px; border-radius: 4px; margin-left: 6px; }
.group-conjunctive_failure { color: var(--conjunctive); border: 1px solid var(--conjunctive); }
.group-disjunctive_success { color: var(--disjunctive); border: 1px solid var(--disjunctive); }
.group-base_case { color: var(--base); border: 1px solid var(--base); }
.ai-badge { color: #d98a3d; font-weight: 600; cursor: help; }
.group-capability_precondition { color: var(--capability); border: 1px solid var(--capability); }
.legend-item { display: inline-flex; align-items: center; gap: 6px; color: var(--text); }
.swatch { width: 15px; height: 15px; border-radius: 3px; border: 1px solid var(--border); display: inline-block; }

/* Detail drawer */
#drawer {
  position: fixed; top: 0; right: 0; width: 460px; max-width: 92vw; height: 100vh;
  background: var(--panel); border-left: 1px solid var(--border); z-index: 50;
  transform: translateX(100%); transition: transform .18s ease; overflow-y: auto; padding: 18px;
}
#drawer.open { transform: translateX(0); }
#drawer h2 { margin-top: 0; font-size: 17px; }
#drawer .close { position: absolute; top: 14px; right: 16px; }
.overlay { position: fixed; inset: 0; background: rgba(0,0,0,.45); z-index: 40; display: none; }
.overlay.open { display: block; }

/* Provenance claim card */
.claim {
  border: 1px solid var(--border); border-radius: 8px; padding: 10px 12px; margin: 10px 0;
  background: var(--panel-2);
}
.claim .quote { font-style: italic; }
.claim .para { color: var(--muted); }
.claim .prov { font-size: 12px; color: var(--muted); margin-top: 6px; display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.tier-badge { border-radius: 4px; padding: 1px 6px; font-size: 11px; font-weight: 600; }
.tier-1, .tier-2, .tier-3 { background: rgba(126,198,153,0.2); color: var(--ok); border: 1px solid var(--ok); }
.tier-4, .tier-5, .tier-6 { background: rgba(245,181,74,0.18); color: var(--warn); border: 1px solid var(--warn); }
.conf { background: var(--panel); border: 1px solid var(--border); border-radius: 4px; padding: 1px 6px; cursor: help; }

/* Simulation */
.sim-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
@media (max-width: 980px) { .sim-grid { grid-template-columns: 1fr; } }
.scenario-row { display: grid; grid-template-columns: 1fr 96px 80px 104px 16px; gap: 8px; align-items: center; padding: 4px 0; border-bottom: 1px solid var(--border); }
.scenario-row input[type=range] { width: 100%; }
/* Drop native number spinners so small decimals like 0.001 are fully readable. */
.scenario-row input[type=number] { -moz-appearance: textfield; appearance: textfield; text-align: center; }
.scenario-row input[type=number]::-webkit-outer-spin-button,
.scenario-row input[type=number]::-webkit-inner-spin-button { -webkit-appearance: none; margin: 0; }
.scenario-row.is-empty input[type=number] { border-color: var(--warn); }
.scenario-row.is-empty input[type=range] { opacity: 0.55; }
.scenario-row.missing { background: rgba(224,108,117,0.14); outline: 1px solid var(--danger); border-radius: 6px; }
.scenario-row.missing .status-dot { color: var(--danger); }
.status-dot { text-align: center; }
.fill-empties { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; margin: 10px 0; }
.fill-empties input { width: 70px; }
.bar { height: 22px; background: var(--accent); border-radius: 3px; }
.dist-row { display: grid; grid-template-columns: 150px 1fr 70px; gap: 10px; align-items: center; margin: 6px 0; }
.has-tip { cursor: help; border-bottom: 1px dotted var(--muted); }
.tip-mark { color: var(--accent); cursor: help; border: none; }
.card { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 14px; margin-bottom: 14px; }
.card h3 { margin: 0 0 10px; font-size: 14px; }
.kv { display: flex; justify-content: space-between; border-bottom: 1px solid var(--border); padding: 3px 0; }
.pill { font-size: 11px; padding: 1px 7px; border-radius: 10px; border: 1px solid var(--border); }
.forced-true { color: var(--ok); }
.forced-false { color: var(--danger); }
table.simple { border-collapse: collapse; width: 100%; }
table.simple th, table.simple td { border-bottom: 1px solid var(--border); padding: 5px 8px; text-align: left; }

/* Graph */
#graph-svg { width: 100%; height: 70vh; border: 1px solid var(--border); border-radius: 8px; background: var(--panel); }
.legend span { margin-right: 16px; }
.edge-enables { stroke: var(--ok); }
.edge-blocks { stroke: var(--danger); }
.edge-correlates { stroke: var(--accent); stroke-dasharray: 5 4; }
.node circle { fill: var(--panel-2); stroke: var(--accent); cursor: pointer; }
.node text { fill: var(--text); font-size: 11px; pointer-events: none; }
.node-prob { fill: var(--accent); font-size: 11px; font-weight: 700; }
.edge-label { fill: var(--muted); font-size: 9px; }

/* Read-only deployment: hide write affordances (set by readonly.js via /api/meta). */
body.read-only nav a[href*="submit.html"],
body.read-only nav a[href*="verify.html"] { display: none; }
body.read-only .write-only { display: none !important; }