:root {
  --bg: #07090d;
  --panel: #0d1117;
  --panel-2: #121822;
  --line: #1e2632;
  --text: #d7dee8;
  --dim: #7d8899;
  --accent: #6ee7b7;
  --sensory: #38bdf8;
  --inter: #a78bfa;
  --motor: #fbbf24;
  --pharyn: #34d399;
  --exc: #4f9cf9;
  --inh: #f2637f;
  --gap: #59637a;
  --mono: ui-monospace, "SFMono-Regular", "Cascadia Mono", Consolas, monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: radial-gradient(1200px 600px at 70% -10%, #101a24 0%, var(--bg) 60%);
  color: var(--text);
  font: 15px/1.65 -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans SC", sans-serif;
  -webkit-font-smoothing: antialiased;
}

.wrap { width: min(1180px, 92vw); margin: 0 auto; }

a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
code { font-family: var(--mono); font-size: 0.9em; color: #9fb3c8; }

/* ---------------------------------------------------------------- header --- */

.top {
  position: sticky;
  top: 0;
  z-index: 20;
  backdrop-filter: blur(10px);
  background: rgba(7, 9, 13, 0.82);
  border-bottom: 1px solid var(--line);
}
.top .wrap { display: flex; align-items: center; justify-content: space-between; height: 58px; }
.brand { display: flex; align-items: baseline; gap: 10px; }
.mark {
  width: 12px; height: 12px; border-radius: 50%;
  background: var(--accent);
  box-shadow: 0 0 14px var(--accent);
  align-self: center;
}
.brand h1 { font-size: 17px; margin: 0; letter-spacing: 0.02em; }
nav { display: flex; gap: 18px; font-size: 13.5px; }
nav a { color: var(--dim); }
nav a:hover { color: var(--text); }

/* ------------------------------------------------------------------ hero --- */

.hero { padding: 54px 0 8px; }
.lede { font-size: 19px; line-height: 1.7; max-width: 46em; margin: 0 0 20px; }
.lede strong { color: #fff; }

.pills { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 16px; }
.pill {
  font-size: 12px; padding: 4px 11px; border-radius: 999px;
  border: 1px solid var(--line); background: var(--panel); color: var(--dim);
  font-family: var(--mono);
}
.pill.ok { color: #062; background: #6ee7b7; border-color: #6ee7b7; }
.pill.partial { color: #3d2b00; background: #fbbf24; border-color: #fbbf24; }
.pill.todo { color: var(--dim); }

.honest {
  border-left: 2px solid var(--line);
  padding: 2px 0 2px 14px;
  color: var(--dim);
  font-size: 13.5px;
  max-width: 60em;
  margin: 0;
}

/* -------------------------------------------------------------- sections --- */

section { padding: 46px 0; border-top: 1px solid var(--line); }
.sec-head h2 { font-size: 22px; margin: 0 0 6px; display: flex; align-items: center; gap: 10px; }
.sec-note { color: var(--dim); font-size: 13.5px; max-width: 62em; margin: 0 0 22px; }
.tag { font-size: 11px; font-family: var(--mono); padding: 2px 8px; border-radius: 4px; font-weight: 400; }
.tag.real { background: rgba(110, 231, 183, 0.14); color: var(--accent); }
.tag.spike { background: rgba(251, 191, 36, 0.14); color: var(--motor); }
.tag.todo { background: rgba(125, 136, 153, 0.14); color: var(--dim); }

/* ------------------------------------------------------------- explorer --- */

.explorer {
  display: grid;
  grid-template-columns: 210px minmax(0, 1fr) 290px;
  gap: 14px;
  align-items: stretch;
}
@media (max-width: 980px) {
  .explorer { grid-template-columns: 1fr; }
  .stage { height: 420px; }
}

.controls, .detail {
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 14px;
}
.detail { max-height: 620px; overflow: auto; }

.field { display: block; margin-bottom: 15px; font-size: 13px; }
.field > span { display: block; color: var(--dim); margin-bottom: 6px; }
.field b { color: var(--text); font-weight: 600; }
input[type="text"], input[list], input#search {
  width: 100%;
  background: var(--panel-2);
  border: 1px solid var(--line);
  color: var(--text);
  border-radius: 7px;
  padding: 7px 9px;
  font-family: var(--mono);
  font-size: 13px;
}
input[type="range"] { width: 100%; accent-color: var(--accent); }

.chips { display: flex; flex-wrap: wrap; gap: 6px; }
.chip {
  font-size: 12px; padding: 3px 9px; border-radius: 999px; cursor: pointer;
  border: 1px solid var(--line); background: var(--panel-2); color: var(--dim);
  user-select: none;
}
.chip[aria-pressed="true"] { color: #08111a; background: var(--accent); border-color: var(--accent); }
.chip .dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; margin-right: 5px; }

button.ghost {
  width: 100%; padding: 7px; border-radius: 7px; cursor: pointer;
  background: transparent; border: 1px solid var(--line); color: var(--dim); font-size: 13px;
}
button.ghost:hover { color: var(--text); border-color: #2c3a4d; }

.legend { margin-top: 16px; display: grid; gap: 6px; font-size: 12px; color: var(--dim); }
.legend i { display: inline-block; width: 14px; height: 2px; vertical-align: middle; margin-right: 7px; }
.hint { color: #5b6577; font-size: 11.5px; margin: 12px 0 0; }

.stage { position: relative; background: var(--panel); border: 1px solid var(--line); border-radius: 10px; overflow: hidden; min-height: 520px; }
#canvas { display: block; width: 100%; height: 100%; cursor: grab; }
#canvas.dragging { cursor: grabbing; }
.tooltip {
  position: absolute; pointer-events: none; z-index: 5;
  background: #05070a; border: 1px solid #263244; border-radius: 6px;
  padding: 4px 8px; font-family: var(--mono); font-size: 12px; white-space: nowrap;
}

.detail .empty { color: #5b6577; font-size: 13px; }
.detail h3 { margin: 0 0 2px; font-size: 18px; font-family: var(--mono); }
.detail .cls { font-size: 12px; color: var(--dim); margin-bottom: 12px; }
.kv { display: grid; grid-template-columns: auto 1fr; gap: 3px 10px; font-size: 12.5px; margin-bottom: 14px; }
.kv dt { color: var(--dim); }
.kv dd { margin: 0; font-family: var(--mono); }
.detail h4 { font-size: 12px; color: var(--dim); margin: 14px 0 6px; font-weight: 500; }
.plist { display: grid; gap: 3px; font-size: 12px; font-family: var(--mono); }
.plist button {
  display: grid; grid-template-columns: 1fr auto; gap: 0 8px;
  background: none; border: 0; color: var(--text); cursor: pointer; padding: 3px 4px; border-radius: 4px;
  font-family: var(--mono); font-size: 12px; width: 100%; text-align: left;
}
.plist button:hover { background: var(--panel-2); }
.plist .w { color: var(--dim); }
.bar { height: 3px; border-radius: 2px; background: var(--panel-2); margin-top: 2px; overflow: hidden; }
.bar > i { display: block; height: 100%; }

.stats { margin-top: 14px; font-size: 12.5px; color: var(--dim); font-family: var(--mono); }
.stats b { color: var(--text); }

/* ------------------------------------------------------------- covenant --- */

.rules { margin: 0 0 26px; padding: 0; list-style: none; display: grid; gap: 8px; counter-reset: r; }
.rules li {
  counter-increment: r;
  background: var(--panel); border: 1px solid var(--line); border-radius: 8px;
  padding: 10px 14px 10px 46px; position: relative; font-size: 13.5px;
}
.rules li::before {
  content: counter(r);
  position: absolute; left: 12px; top: 10px;
  font-family: var(--mono); font-size: 12px; color: var(--accent);
  border: 1px solid #22402f; border-radius: 5px; padding: 1px 6px;
}
.rules code { color: #9fd3ff; }

.lamps { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin-bottom: 22px; }
@media (max-width: 720px) { .lamps { grid-template-columns: 1fr; } }
.lamp { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 14px 16px; }
.lamp h3 { font-size: 13.5px; margin: 0 0 8px; color: var(--dim); font-weight: 500; }
.verdict { font-size: 15px; font-weight: 600; }
.verdict.ok { color: var(--accent); }
.verdict.partial { color: var(--motor); }

.table-wrap { overflow-x: auto; border: 1px solid var(--line); border-radius: 10px; }
table { width: 100%; border-collapse: collapse; font-size: 13px; }
th, td { text-align: right; padding: 9px 14px; border-bottom: 1px solid var(--line); font-family: var(--mono); }
th { color: var(--dim); font-weight: 500; background: var(--panel); font-size: 12px; }
th:first-child, td:first-child { text-align: left; }
tbody tr:last-child td { border-bottom: 0; }

.calc { margin-top: 26px; background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 18px; }
.calc h3 { margin: 0 0 14px; font-size: 15px; }
.calc-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(210px, 1fr)); gap: 16px; margin-bottom: 18px; }
.calc-out { font-family: var(--mono); font-size: 14px; display: grid; gap: 6px; }
.calc-out .big { font-size: 26px; color: var(--accent); }
.calc-out .note { color: var(--dim); font-size: 12px; }

details.script { margin-top: 20px; }
details.script summary { cursor: pointer; color: var(--dim); font-size: 13.5px; }
details.script pre {
  background: #05070a; border: 1px solid var(--line); border-radius: 8px;
  padding: 14px; overflow: auto; max-height: 420px;
  font-family: var(--mono); font-size: 12px; color: #8fa8c0; line-height: 1.55;
}

/* ------------------------------------------------------------------ feed --- */

.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(250px, 1fr)); gap: 14px; }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 16px; }
.card h3 { margin: 0 0 8px; font-size: 15px; }
.card p { margin: 0 0 10px; font-size: 13px; color: var(--dim); }
.card .how {
  font-family: var(--mono); font-size: 12px; color: #9fd3ff;
  background: #05070a; border: 1px solid var(--line); border-radius: 6px; padding: 8px 10px;
  display: block; white-space: pre-wrap; word-break: break-all;
}
.card .soon { font-size: 11px; color: var(--motor); font-family: var(--mono); }

/* ---------------------------------------------------------------- status --- */

.two-col { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; }
@media (max-width: 720px) { .two-col { grid-template-columns: 1fr; } }
.two-col > div, .redlines { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 16px; }
.two-col h3, .redlines h3 { margin: 0 0 10px; font-size: 14px; color: var(--dim); font-weight: 500; }
.redlines { margin-top: 14px; }
.list { list-style: none; margin: 0; padding: 0; display: grid; gap: 7px; font-size: 13px; }
.list li { padding-left: 20px; position: relative; }
.list li::before { position: absolute; left: 0; font-family: var(--mono); }
.list.ok li::before { content: "✓"; color: var(--accent); }
.list.todo li::before { content: "○"; color: var(--dim); }
.list.red li::before { content: "✕"; color: var(--inh); }

/* ---------------------------------------------------------------- footer --- */

footer { padding: 34px 0 60px; border-top: 1px solid var(--line); color: var(--dim); font-size: 12.5px; }
.prov p { margin: 0 0 8px; max-width: 70em; }
.hash { font-family: var(--mono); color: #5b6577; word-break: break-all; }
.built { color: #4a5364; font-size: 12px; }