:root {
  --bg: #f6f7f9; --panel: #ffffff; --panel-2: #f0f2f5; --line: #dfe3e8; --text: #1b2430; --muted: #66707d;
  --ok: #2f9e6b; --warn: #d99100; --bad: #d64545; --mag: #8e5bd6; --accent: #2563eb; --amend: #8a97a8;
  --shadow: 0 1px 2px rgba(16,24,40,.06), 0 8px 24px rgba(16,24,40,.06);
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0e1218; --panel: #151b23; --panel-2: #1b222c; --line: #263040; --text: #e6ebf2; --muted: #93a0b2;
    --ok: #3ec28a; --warn: #f0b429; --bad: #ff6b6b; --mag: #b58cff; --accent: #6ea0ff; --amend: #6b7a8e;
    --shadow: 0 1px 2px rgba(0,0,0,.4), 0 8px 24px rgba(0,0,0,.35); color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #0e1218; --panel: #151b23; --panel-2: #1b222c; --line: #263040; --text: #e6ebf2; --muted: #93a0b2;
  --ok: #3ec28a; --warn: #f0b429; --bad: #ff6b6b; --mag: #b58cff; --accent: #6ea0ff; --amend: #6b7a8e;
  --shadow: 0 1px 2px rgba(0,0,0,.4), 0 8px 24px rgba(0,0,0,.35); color-scheme: dark;
}
* { box-sizing: border-box; }
html, body { height: 100%; }
body { margin: 0; background: var(--bg); color: var(--text); font: 14px/1.5 var(--sans); display: flex; flex-direction: column; }
h1, h2, h3, p { margin: 0; }
a { color: var(--accent); text-decoration: none; } a:hover { text-decoration: underline; }
.muted { color: var(--muted); }
code, .mono { font-family: var(--mono); font-size: .92em; }

.top { display: flex; align-items: center; gap: 20px; padding: 10px 16px; background: var(--panel); border-bottom: 1px solid var(--line); flex-wrap: wrap; }
.brand { display: flex; align-items: center; gap: 10px; }
.brand h1 { font-size: 17px; line-height: 1.1; letter-spacing: -.01em; }
.tag { font-size: 12px; color: var(--muted); }
.stats { display: flex; gap: 8px; flex-wrap: wrap; flex: 1; }
.stat { background: var(--panel-2); border: 1px solid var(--line); border-radius: 999px; padding: 3px 10px; font-size: 12.5px; }
.stat b { font-weight: 650; }
.stat.warn b { color: var(--warn); } .stat.bad b { color: var(--bad); }
.links { display: flex; gap: 14px; font-size: 13px; }

.app { flex: 1; min-height: 0; display: grid; grid-template-columns: 320px minmax(0, 1fr) 420px; gap: 0; }
.side, .detail { background: var(--panel); overflow: auto; min-height: 0; }
.side { border-right: 1px solid var(--line); display: flex; flex-direction: column; }
.detail { border-left: 1px solid var(--line); padding: 16px 18px 28px; }
.stage { display: flex; flex-direction: column; min-width: 0; min-height: 0; }

.search { padding: 12px; border-bottom: 1px solid var(--line); position: sticky; top: 0; background: var(--panel); z-index: 2; }
#q { width: 100%; padding: 8px 10px; border-radius: 8px; border: 1px solid var(--line); background: var(--panel-2); color: var(--text); font: inherit; }
#q:focus { outline: 2px solid color-mix(in srgb, var(--accent) 55%, transparent); outline-offset: 1px; }
.chips { display: flex; gap: 6px; margin-top: 8px; flex-wrap: wrap; }
.chip { border: 1px solid var(--line); background: var(--panel-2); color: var(--text); border-radius: 999px; padding: 2px 9px; font-size: 12px; cursor: pointer; display: inline-flex; gap: 6px; align-items: center; }
.chip[aria-pressed="false"] { opacity: .45; }
.dot { display: inline-block; width: 9px; height: 9px; border-radius: 50%; background: var(--c); margin: 0 5px 0 12px; vertical-align: middle; }
.chip .dot { margin: 0; }
.listmeta { padding: 8px 14px; font-size: 12px; color: var(--muted); }
.list { list-style: none; margin: 0; padding: 0 6px 12px; }
.row { display: block; width: 100%; text-align: left; padding: 8px 10px; border-radius: 8px; border: 0; background: transparent; color: inherit; font: inherit; cursor: pointer; }
.row:hover { background: var(--panel-2); } .row[aria-current="true"] { background: color-mix(in srgb, var(--accent) 14%, transparent); }
.row .id { font-family: var(--mono); font-size: 12px; color: var(--muted); display: flex; gap: 8px; align-items: center; }
.row .ttl { display: block; margin-top: 1px; line-height: 1.35; }
.pill { font-size: 11px; padding: 0 7px; border-radius: 999px; border: 1px solid currentColor; font-weight: 600; letter-spacing: .01em; }
.pill.in_force { color: var(--ok); } .pill.partial { color: var(--warn); } .pill.out { color: var(--bad); } .pill.contested { color: var(--mag); }

.toolbar { display: flex; gap: 14px; align-items: center; padding: 8px 14px; border-bottom: 1px solid var(--line); background: var(--panel); flex-wrap: wrap; font-size: 12.5px; }
.toggle { display: inline-flex; gap: 6px; align-items: center; cursor: pointer; }
.legend { margin-left: auto; color: var(--muted); display: inline-flex; align-items: center; flex-wrap: wrap; }
.ln { display: inline-block; width: 18px; height: 0; border-top: 2px solid var(--amend); margin: 0 5px 0 12px; vertical-align: middle; }
.ln.red { border-color: var(--bad); }
.graph { flex: 1; min-height: 260px; position: relative; background:
  radial-gradient(circle at 1px 1px, color-mix(in srgb, var(--line) 80%, transparent) 1px, transparent 0) 0 0 / 22px 22px, var(--bg); }

.console { border-top: 1px solid var(--line); background: var(--panel); }
.console-head { display: flex; gap: 12px; align-items: center; padding: 8px 14px; flex-wrap: wrap; font-size: 12.5px; }
.examples { display: inline-flex; gap: 6px; flex-wrap: wrap; margin-left: auto; }
.ex { border: 1px solid var(--line); background: var(--panel-2); color: var(--text); border-radius: 6px; padding: 2px 8px; font-size: 12px; cursor: pointer; }
.ex:hover { border-color: var(--accent); }
.console-body { display: flex; gap: 10px; padding: 0 14px 10px; }
#cypher { flex: 1; height: 86px; resize: vertical; padding: 8px 10px; border: 1px solid var(--line); border-radius: 8px; background: var(--panel-2); color: var(--text); font: 12.5px/1.45 var(--mono); }
.console-actions { display: flex; flex-direction: column; gap: 6px; }
.btn { border: 1px solid var(--line); background: var(--panel-2); color: var(--text); border-radius: 8px; padding: 6px 12px; font: inherit; cursor: pointer; }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; font-weight: 600; }
.result { max-height: 220px; overflow: auto; border-top: 1px solid var(--line); font-size: 12.5px; }
.result .meta { padding: 6px 14px; color: var(--muted); position: sticky; top: 0; background: var(--panel); border-bottom: 1px solid var(--line); }
.result .err { padding: 10px 14px; color: var(--bad); font-family: var(--mono); white-space: pre-wrap; }
.result table { border-collapse: collapse; width: 100%; }
.result th, .result td { text-align: left; padding: 4px 14px; border-bottom: 1px solid var(--line); vertical-align: top; font-family: var(--mono); font-size: 12px; }
.result th { color: var(--muted); font-weight: 500; position: sticky; top: 27px; background: var(--panel); }
.result td .goto { cursor: pointer; color: var(--accent); }

.detail .empty h2 { font-size: 16px; margin-bottom: 6px; }
.detail .empty p { color: var(--muted); }
.d-id { font-family: var(--mono); font-size: 12px; color: var(--muted); }
.d-title { font-size: 17px; line-height: 1.3; margin: 2px 0 10px; letter-spacing: -.005em; }
.chiprow { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; margin-bottom: 10px; }
.arrow { color: var(--muted); }
.verdict { padding: 10px 12px; border-radius: 10px; border: 1px solid var(--c); background: color-mix(in srgb, var(--c) 9%, transparent); margin-bottom: 14px; }
.verdict.in_force { --c: var(--ok); } .verdict.partial { --c: var(--warn); } .verdict.out { --c: var(--bad); } .verdict.contested { --c: var(--mag); }
.detail h3 { font-size: 11.5px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 18px 0 6px; font-weight: 650; }
.clauses { width: 100%; border-collapse: collapse; }
.clauses td { padding: 4px 6px 4px 0; border-bottom: 1px solid var(--line); vertical-align: top; }
.clauses td:first-child { width: 28px; color: var(--muted); font-family: var(--mono); }
.clauses .ok { color: var(--ok); white-space: nowrap; } .clauses .no { color: var(--bad); white-space: nowrap; }
.treat { border-left: 3px solid var(--amend); padding: 2px 0 2px 10px; margin: 8px 0; }
.treat.neg.eff { border-color: var(--bad); } .treat.neg { border-color: color-mix(in srgb, var(--bad) 40%, var(--amend)); }
.treat .who { font-weight: 600; }
.treat blockquote { margin: 4px 0 0; color: var(--muted); font-size: 13px; }
.treat .meta { font-size: 11.5px; color: var(--muted); font-family: var(--mono); }
.goto { cursor: pointer; color: var(--accent); font-family: var(--mono); font-size: .95em; }
.goto:hover { text-decoration: underline; }
.dep { display: flex; gap: 8px; padding: 3px 0; align-items: baseline; }
.warnflag { color: var(--warn); font-size: 12px; }
.paths li { font-family: var(--mono); font-size: 12px; word-break: break-all; }
.paths ul, .sim ul { margin: 0; padding-left: 16px; }

.boot { position: fixed; inset: 0; display: grid; place-content: center; justify-items: center; gap: 14px; background: var(--bg); z-index: 10; text-align: center; padding: 20px; }
.boot.done { display: none; }
.spinner { width: 30px; height: 30px; border-radius: 50%; border: 3px solid var(--line); border-top-color: var(--ok); animation: spin 0.8s linear infinite; }
@keyframes spin { to { transform: rotate(360deg); } }
.foot { display: flex; gap: 16px; padding: 6px 16px; font-size: 12px; border-top: 1px solid var(--line); background: var(--panel); flex-wrap: wrap; }
.foot #engine { font-weight: 600; color: var(--ok); }
@media (prefers-reduced-motion: reduce) { .spinner { animation: none; } }

@media (max-width: 1150px) { .app { grid-template-columns: 280px minmax(0,1fr); } .detail { grid-column: 1 / -1; border-left: 0; border-top: 1px solid var(--line); } }
@media (max-width: 760px) {
  body { height: auto; display: block; } html, body { height: auto; }
  .app { display: block; } .side { max-height: 340px; border-right: 0; border-bottom: 1px solid var(--line); }
  .graph { height: 380px; flex: none; } .legend { margin-left: 0; } .console-body { flex-direction: column; } .stats { order: 3; flex-basis: 100%; }
}