:root {
  --bg: #0c0f14;
  --bg-2: #11151c;
  --bg-3: #181d27;
  --line: #1f2533;
  --line-2: #2a3142;
  --fg: #d7dde8;
  --muted: #7d8699;
  --accent: #7cc4ff;
  --accent-2: #a78bfa;
  --good: #5fd494;
  --warn: #f7b955;
  --bad: #ff7a7a;
  --hi: #ffcf66;
  --epsilon: #4a5366;
  --mono: ui-monospace, "JetBrains Mono", "Fira Code", Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--mono);
  font-size: 13.5px;
  line-height: 1.5;
}

a { color: var(--accent); }

.topbar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 14px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--bg-2);
}
.brand { display: flex; align-items: baseline; gap: 12px; }
.logo {
  color: var(--accent);
  font-weight: 700;
  letter-spacing: 1px;
}
.title { font-weight: 600; }
.sub { color: var(--muted); font-size: 12px; }

.endpoint {
  display: flex; align-items: center; gap: 8px;
}
.endpoint label {
  color: var(--muted);
  text-transform: uppercase;
  font-size: 11px;
  letter-spacing: 1px;
}
.endpoint input {
  background: var(--bg-3);
  border: 1px solid var(--line-2);
  color: var(--fg);
  padding: 6px 10px;
  border-radius: 6px;
  width: 320px;
  font-family: var(--mono);
}

.inputs {
  display: grid;
  grid-template-columns: 2fr 2fr auto auto;
  gap: 16px;
  padding: 16px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--bg-2);
}
.field { display: flex; flex-direction: column; gap: 6px; }
.field label {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 1px;
}
.field input[type="text"] {
  background: var(--bg-3);
  border: 1px solid var(--line-2);
  color: var(--fg);
  padding: 10px 12px;
  border-radius: 6px;
  font-family: var(--mono);
  font-size: 14px;
}
.field input[type="text"]:focus {
  outline: none;
  border-color: var(--accent);
  box-shadow: 0 0 0 2px rgba(124,196,255,0.15);
}

.toggle { display: flex; gap: 0; }
.toggle button {
  background: var(--bg-3);
  border: 1px solid var(--line-2);
  color: var(--muted);
  padding: 9px 14px;
  font-family: var(--mono);
  cursor: pointer;
}
.toggle button:first-child { border-radius: 6px 0 0 6px; }
.toggle button:last-child { border-radius: 0 6px 6px 0; border-left: none; }
.toggle button.on {
  background: var(--accent);
  color: #0c0f14;
  border-color: var(--accent);
  font-weight: 600;
}

.actions { display: flex; gap: 8px; align-items: flex-end; }
button.primary, button.secondary {
  padding: 10px 18px;
  border-radius: 6px;
  font-family: var(--mono);
  cursor: pointer;
  font-size: 13px;
}
button.primary {
  background: var(--accent);
  color: #0c0f14;
  border: 1px solid var(--accent);
  font-weight: 600;
}
button.primary:hover { background: #9bd5ff; }
button.secondary {
  background: transparent;
  color: var(--accent);
  border: 1px solid var(--accent);
}
button.secondary:hover { background: rgba(124,196,255,0.08); }

.err { color: var(--bad); font-size: 12px; min-height: 14px; }

.stats {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 1px;
  background: var(--line);
  border-bottom: 1px solid var(--line);
}
.stats > div {
  background: var(--bg);
  padding: 12px 16px;
  display: flex;
  flex-direction: column;
  gap: 4px;
}
.stats .k { color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: 1px; }
.stats .v { color: var(--fg); font-size: 15px; font-weight: 600; }
.stats .v.good { color: var(--good); }
.stats .v.bad { color: var(--bad); }

.tabs {
  display: flex;
  gap: 0;
  padding: 0 22px;
  border-bottom: 1px solid var(--line);
  background: var(--bg-2);
}
.tabs button {
  background: transparent;
  border: none;
  color: var(--muted);
  padding: 12px 16px;
  font-family: var(--mono);
  cursor: pointer;
  border-bottom: 2px solid transparent;
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 1px;
}
.tabs button:hover { color: var(--fg); }
.tabs button.active {
  color: var(--accent);
  border-bottom-color: var(--accent);
}

.pane {
  padding: 20px 22px;
  min-height: 480px;
}
.tab { display: none; }
.tab.active { display: block; }

.graph {
  width: 100%;
  height: 560px;
  background: var(--bg-2);
  border: 1px solid var(--line);
  border-radius: 8px;
  display: block;
}

.graphHeader {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 8px;
  color: var(--muted);
  font-size: 12px;
}
.graphHeader button {
  background: var(--bg-3);
  color: var(--fg);
  border: 1px solid var(--line-2);
  padding: 5px 10px;
  border-radius: 5px;
  cursor: pointer;
  font-family: var(--mono);
}
.graphHeader button:hover { border-color: var(--accent); color: var(--accent); }

.tokens {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}
.tok {
  background: var(--bg-2);
  border: 1px solid var(--line-2);
  border-radius: 6px;
  padding: 8px 12px;
  display: flex;
  flex-direction: column;
  gap: 2px;
  min-width: 64px;
}
.tok .ttype {
  color: var(--accent-2);
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 1px;
}
.tok .tval {
  color: var(--fg);
  font-size: 14px;
}
.tok .tpos { color: var(--muted); font-size: 10px; }

/* Match tab */
.matchControls {
  display: flex; gap: 10px; align-items: center;
  margin-bottom: 14px;
}
.matchControls button {
  background: var(--bg-3);
  color: var(--fg);
  border: 1px solid var(--line-2);
  padding: 8px 12px;
  border-radius: 5px;
  cursor: pointer;
  font-family: var(--mono);
}
.matchControls button:hover { border-color: var(--accent); }
.matchControls input[type="range"] {
  flex: 1;
  accent-color: var(--accent);
}
#mStepLabel { color: var(--muted); font-size: 12px; min-width: 100px; }
.actionPill {
  padding: 4px 10px;
  border-radius: 999px;
  font-size: 11px;
  background: var(--bg-3);
  border: 1px solid var(--line-2);
  text-transform: uppercase;
  letter-spacing: 1px;
}
.actionPill.start { color: var(--accent); border-color: var(--accent); }
.actionPill.consume { color: var(--fg); }
.actionPill.accept { color: var(--good); border-color: var(--good); }
.actionPill.reject { color: var(--bad); border-color: var(--bad); }

.tape {
  display: flex; flex-wrap: wrap;
  gap: 4px;
  margin-bottom: 16px;
  padding: 14px;
  background: var(--bg-2);
  border: 1px solid var(--line);
  border-radius: 8px;
  font-size: 18px;
}
.tape .cell {
  width: 30px; height: 36px;
  display: flex; align-items: center; justify-content: center;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  color: var(--muted);
  background: var(--bg-3);
  position: relative;
}
.tape .cell.consumed { color: var(--fg); border-color: var(--line-2); }
.tape .cell.cursor {
  border-color: var(--hi);
  color: var(--hi);
  box-shadow: 0 0 0 2px rgba(255,207,102,0.2);
}
.tape .cell.matched { background: rgba(95,212,148,0.12); color: var(--good); border-color: var(--good); }

.benchForm {
  display: flex; gap: 14px; align-items: center;
  margin-bottom: 16px;
}
.benchForm label { color: var(--muted); display: flex; gap: 8px; align-items: center; }
.benchForm input {
  background: var(--bg-3); border: 1px solid var(--line-2); color: var(--fg);
  padding: 6px 10px; border-radius: 5px; width: 110px;
  font-family: var(--mono);
}
.benchOut {
  background: var(--bg-2);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 16px;
  font-size: 13px;
  white-space: pre-wrap;
  color: var(--fg);
}
.hint { color: var(--muted); font-size: 12px; }

footer {
  padding: 18px 22px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  display: flex; justify-content: space-between;
  font-size: 12px;
  background: var(--bg-2);
}
footer code { color: var(--accent); }

/* SVG graph */
.graph .node circle {
  fill: var(--bg-3);
  stroke: var(--line-2);
  stroke-width: 1.5;
  transition: fill 0.2s, stroke 0.2s;
}
.graph .node.accept circle.outer {
  fill: none;
  stroke: var(--good);
  stroke-width: 1.5;
}
.graph .node circle.inner {
  fill: var(--bg-3);
  stroke: var(--good);
}
.graph .node text {
  fill: var(--fg);
  font-family: var(--mono);
  font-size: 11px;
  pointer-events: none;
  text-anchor: middle;
  dominant-baseline: central;
}
.graph .node.start circle {
  stroke: var(--accent);
  stroke-width: 2;
}
.graph .node.active circle {
  fill: var(--hi);
  stroke: var(--hi);
}
.graph .node.active text { fill: #0c0f14; font-weight: 700; }
.graph .node.active.accept circle.outer { stroke: var(--hi); }
.graph .node.dead circle { fill: rgba(255,122,122,0.18); stroke: var(--bad); }

.graph .edge path {
  fill: none;
  stroke: var(--line-2);
  stroke-width: 1.4;
}
.graph .edge.epsilon path {
  stroke: var(--epsilon);
  stroke-dasharray: 4 4;
}
.graph .edge.active path {
  stroke: var(--hi);
  stroke-width: 2.4;
}
.graph .edge text {
  fill: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
  pointer-events: none;
  text-anchor: middle;
}
.graph .edge.epsilon text { fill: var(--epsilon); font-style: italic; }
.graph .edge.active text { fill: var(--hi); font-weight: 700; }

.tooltip {
  position: absolute;
  background: var(--bg-3);
  border: 1px solid var(--line-2);
  border-radius: 6px;
  padding: 6px 10px;
  font-size: 12px;
  pointer-events: none;
  z-index: 100;
  color: var(--fg);
  max-width: 320px;
}

/* AST tree */
.graph .ast-node rect {
  fill: var(--bg-3);
  stroke: var(--line-2);
  stroke-width: 1;
  rx: 4;
}
.graph .ast-node text {
  fill: var(--fg);
  font-family: var(--mono);
  font-size: 11px;
  text-anchor: middle;
  dominant-baseline: central;
}
.graph .ast-node .label { fill: var(--accent-2); }
.graph .ast-link {
  stroke: var(--line-2);
  stroke-width: 1.2;
  fill: none;
}