:root {
  --bg: #0d1117;
  --panel: #161b22;
  --border: #2d333b;
  --text: #e6edf3;
  --muted: #8b9bb4;
  --green: #3fb950;
  --amber: #d29922;
  --grey: #6e7681;
  --red: #e5484d;
  --accent: #58a6ff;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  line-height: 1.5;
}

.top {
  padding: 2rem 1.5rem 1rem;
  border-bottom: 1px solid var(--border);
  max-width: 1100px;
  margin: 0 auto;
}

h1 { margin: 0 0 0.25rem; font-size: 1.9rem; }
h2 { font-size: 1.15rem; margin: 0 0 0.75rem; color: var(--muted); text-transform: uppercase; letter-spacing: 0.06em; }

.status-line { margin: 0; color: var(--muted); display: flex; align-items: center; gap: 0.5rem; }
.tagline { color: var(--muted); margin: 0.5rem 0 0; }

main { max-width: 1100px; margin: 0 auto; padding: 0 1.5rem; }
section { padding: 1.5rem 0; border-bottom: 1px solid var(--border); }

.invariants {
  list-style: none; padding: 0; margin: 0;
  display: flex; flex-wrap: wrap; gap: 0.5rem;
}
.invariants li {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 999px; padding: 0.35rem 0.9rem; font-size: 0.9rem;
}

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(200px, 1fr));
  gap: 0.75rem;
}
.card {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 8px; padding: 0.8rem 1rem;
}
.card h3 { margin: 0 0 0.3rem; font-size: 1rem; display: flex; align-items: center; gap: 0.5rem; }
.card .role { margin: 0; font-size: 0.9rem; }
.card .state { margin: 0.25rem 0 0; font-size: 0.8rem; color: var(--muted); }

.dot { width: 10px; height: 10px; border-radius: 50%; display: inline-block; flex: none; }
.dot.green { background: var(--green); }
.dot.amber { background: var(--amber); }
.dot.grey  { background: var(--grey); }

svg { width: 100%; height: auto; background: var(--panel); border: 1px solid var(--border); border-radius: 8px; }
.node { fill: #1c2330; stroke: var(--border); }
.node.hi { stroke: var(--accent); }
.node.veto { stroke: var(--red); }
.label { fill: var(--text); font-size: 14px; text-anchor: middle; }
.label.small { font-size: 11px; fill: var(--muted); }
.veto-text { fill: var(--red); }
.edge { stroke: var(--muted); stroke-width: 1.5; }
.edge.veto { stroke: var(--red); }
.edge.dashed { stroke-dasharray: 5 4; }
.caption { color: var(--muted); font-size: 0.85rem; }

.placeholder { color: var(--muted); font-style: italic; }

table.scan {
  width: 100%; border-collapse: collapse; font-size: 0.9rem;
  background: var(--panel); border: 1px solid var(--border); border-radius: 8px; overflow: hidden;
}
table.scan th, table.scan td { padding: 0.5rem 0.75rem; text-align: right; border-bottom: 1px solid var(--border); }
table.scan th:first-child, table.scan td:first-child { text-align: left; }
table.scan th { color: var(--muted); font-weight: 600; font-size: 0.8rem; text-transform: uppercase; }
table.scan tr:last-child td { border-bottom: none; }
.scan-meta { color: var(--muted); font-size: 0.85rem; margin: 0 0 0.5rem; }

.health-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(160px, 1fr)); gap: 0.5rem; }
.health-item { background: var(--panel); border: 1px solid var(--border); border-radius: 6px; padding: 0.5rem 0.75rem; font-size: 0.85rem; }
.health-item b { display: block; font-size: 0.75rem; color: var(--muted); text-transform: uppercase; }

footer {
  max-width: 1100px; margin: 0 auto; padding: 1.5rem;
  color: var(--muted); font-size: 0.85rem;
}