:root {
  --bg: #0d1117;
  --panel: #161b22;
  --border: #30363d;
  --text: #e6edf3;
  --muted: #8b949e;
  --accent: #2f81f7;
  --ok: #3fb950;
  --warn: #d29922;
  --danger: #f85149;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;
  background: var(--bg);
  color: var(--text);
  font-size: 14px;
}
header {
  display: flex;
  align-items: baseline;
  gap: 12px;
  padding: 16px 24px;
  border-bottom: 1px solid var(--border);
  background: var(--panel);
}
header h1 { font-size: 18px; margin: 0; }
header .tag { color: var(--muted); font-size: 12px; }
header .principle { margin-left: auto; color: var(--accent); font-style: italic; }
header .auto { display: flex; align-items: center; gap: 6px; color: var(--muted); font-size: 12px; }
header .auto input { width: auto; }
nav { display: flex; gap: 4px; padding: 8px 24px; border-bottom: 1px solid var(--border); flex-wrap: wrap; }
nav button {
  background: transparent; border: 1px solid transparent; color: var(--muted);
  padding: 6px 12px; cursor: pointer; border-radius: 6px; font-size: 13px;
}
nav button.active { color: var(--text); border-color: var(--border); background: var(--bg); }
main { padding: 24px; max-width: 1100px; }
.card { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 16px; margin-bottom: 16px; }
.card h2 { margin: 0 0 12px; font-size: 15px; }
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(180px, 1fr)); gap: 12px; }
.metric { background: var(--bg); border: 1px solid var(--border); border-radius: 8px; padding: 14px; }
.metric .v { font-size: 26px; font-weight: 600; }
.metric .k { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .04em; }
table { width: 100%; border-collapse: collapse; font-size: 13px; }
th, td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--border); vertical-align: top; }
th { color: var(--muted); font-weight: 500; }
code { background: var(--bg); padding: 1px 5px; border-radius: 4px; color: var(--accent); }
.badge { padding: 2px 8px; border-radius: 999px; font-size: 11px; border: 1px solid var(--border); }
.badge.ok { color: var(--ok); border-color: var(--ok); }
.badge.warn { color: var(--warn); border-color: var(--warn); }
.badge.danger { color: var(--danger); border-color: var(--danger); }
input, textarea, select { background: var(--bg); color: var(--text); border: 1px solid var(--border); border-radius: 6px; padding: 8px; width: 100%; font-family: inherit; }
label { display: block; margin: 8px 0 4px; color: var(--muted); font-size: 12px; }
button.action { background: var(--accent); color: #fff; border: none; padding: 8px 14px; border-radius: 6px; cursor: pointer; }
button.ghost { background: transparent; color: var(--text); border: 1px solid var(--border); padding: 6px 10px; border-radius: 6px; cursor: pointer; }
.row { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
pre { background: var(--bg); border: 1px solid var(--border); border-radius: 6px; padding: 12px; overflow: auto; max-height: 320px; }
.muted { color: var(--muted); }
.card h3 { font-size: 13px; margin: 16px 0 8px; color: var(--text); }

/* key/value grid */
.kv { display: grid; grid-template-columns: max-content 1fr; gap: 4px 16px; align-items: baseline; }
.kv .k { color: var(--muted); font-size: 12px; }
.kv .v { font-size: 13px; word-break: break-all; }

/* trace timeline */
.pill { display: inline-block; font-size: 11px; color: var(--muted); border: 1px solid var(--border); border-radius: 999px; padding: 1px 8px; margin-left: 6px; }
ul.timeline { list-style: none; margin: 0; padding: 0; }
ul.timeline li { padding: 4px 0; border-bottom: 1px solid var(--border); display: flex; gap: 8px; align-items: baseline; flex-wrap: wrap; }
.cat { font-size: 11px; text-transform: uppercase; letter-spacing: .04em; min-width: 70px; }
.cat-planning { color: var(--accent); }
.cat-tool { color: var(--ok); }
.cat-memory { color: #a371f7; }
.cat-output { color: var(--warn); }
.cat-risk { color: var(--danger); }
.cat-policy { color: #db61a2; }
.cat-approval { color: #d29922; }

/* governance proof card */
.card.proof { border-color: var(--accent); }
.card.proof h2 { color: var(--accent); }
.note { margin-top: 12px; padding: 10px 12px; border: 1px solid var(--border); border-radius: 6px; background: var(--bg); }
.note.ok { border-color: var(--ok); }
.note.bad { border-color: var(--danger); }
ul.checks { list-style: none; margin: 8px 0 0; padding: 0; }
ul.checks li { padding: 2px 0; font-size: 13px; }

footer { padding: 16px 24px; border-top: 1px solid var(--border); color: var(--muted); font-size: 12px; display: flex; gap: 24px; flex-wrap: wrap; }