:root {
  --bg: #0b0d14;
  --panel: #121521;
  --panel-2: #171b2a;
  --line: #242a3d;
  --text: #e6e9f2;
  --muted: #8a93ab;
  --accent: #8b7cff;
  --accent-2: #4fd1c5;
  --good: #3ddc97;
  --bad: #ff6b81;
  --warn: #ffb454;
  --mono: "JetBrains Mono", "SFMono-Regular", Menlo, Consolas, monospace;
  --sans: Inter, -apple-system, "Segoe UI", "PingFang SC", "Microsoft YaHei", sans-serif;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  background: radial-gradient(1200px 600px at 10% -10%, #1d1840 0%, transparent 60%),
    radial-gradient(900px 500px at 110% 0%, #0f2e36 0%, transparent 55%), var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 14px;
  min-height: 100vh;
}

a {
  color: var(--accent-2);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.boot {
  padding: 80px;
  text-align: center;
  color: var(--muted);
}

.app {
  max-width: 1320px;
  margin: 0 auto;
  padding: 24px 24px 40px;
}

.quick-guide {
  margin-bottom: 18px;
  padding: 14px 18px;
  border: 1px solid var(--line);
  border-radius: 14px;
  background: rgba(79, 209, 197, 0.05);
}
.guide-title { font-weight: 700; margin-bottom: 8px; }
.guide-steps { display: flex; flex-wrap: wrap; gap: 10px 24px; margin-bottom: 8px; }
button:focus-visible, select:focus-visible, a:focus-visible {
  outline: 2px solid var(--accent-2);
  outline-offset: 3px;
}
@media (max-width: 600px) {
  .app { padding: 14px 12px 24px; }
  .card-head { flex-wrap: wrap; }
  .brand { align-items: flex-start; }
  .logo { flex: none; }
  .brow { grid-template-columns: 80px minmax(0, 1fr); gap: 8px; }
  .badge { margin-left: 0; }
  .fsm { min-height: 220px; }
}
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation: none !important; transition: none !important; }
}

/* header */
.top {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 18px;
}

.brand {
  display: flex;
  gap: 14px;
  align-items: center;
}

.logo {
  width: 48px;
  height: 48px;
  border-radius: 14px;
  display: grid;
  place-items: center;
  font-size: 28px;
  background: linear-gradient(135deg, var(--accent), var(--accent-2));
  color: #0b0d14;
  box-shadow: 0 8px 30px rgba(139, 124, 255, 0.35);
}

.name {
  font-size: 24px;
  font-weight: 700;
  letter-spacing: -0.02em;
}

.tag {
  margin-left: 8px;
  font-size: 12px;
  font-weight: 600;
  padding: 2px 8px;
  border-radius: 999px;
  background: rgba(139, 124, 255, 0.15);
  color: var(--accent);
  vertical-align: middle;
}

.tagline {
  color: var(--muted);
  max-width: 640px;
  margin-top: 2px;
}

.top-right {
  display: flex;
  align-items: center;
  gap: 8px;
  flex-wrap: wrap;
}

.label {
  color: var(--muted);
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.pill,
.btn,
.tab,
.seg button,
.chip {
  font: inherit;
  color: var(--text);
  background: var(--panel-2);
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 6px 12px;
  cursor: pointer;
  transition: border-color 0.15s, background 0.15s, transform 0.05s;
}

.pill:hover,
.btn:hover,
.tab:hover,
.seg button:hover {
  border-color: var(--accent);
}

.pill.on {
  background: rgba(139, 124, 255, 0.18);
  border-color: var(--accent);
}

.pill.on:disabled {
  opacity: 1;
}

button:disabled {
  opacity: 0.55;
  cursor: default;
}

.gh {
  padding: 6px 12px;
  border-radius: 999px;
  border: 1px solid var(--line);
  color: var(--text);
}

.warn {
  width: 100%;
  color: var(--warn);
  font-size: 13px;
}

/* pipeline strip */
.pipeline {
  display: flex;
  align-items: stretch;
  gap: 8px;
  overflow-x: auto;
  padding: 12px;
  margin-bottom: 18px;
  border: 1px solid var(--line);
  border-radius: 16px;
  background: rgba(18, 21, 33, 0.7);
}

.stage {
  flex: 1;
  min-width: 130px;
  padding: 10px 14px;
  border-radius: 12px;
  background: var(--panel-2);
  border: 1px solid var(--line);
}

.stage:first-child {
  border-color: var(--accent);
}

.stage:last-child {
  border-color: var(--accent-2);
}

.stage-name {
  font-weight: 600;
}

.stage-note {
  color: var(--muted);
  font-size: 12px;
  font-family: var(--mono);
}

.arrow {
  align-self: center;
  color: var(--muted);
}

/* grid */
.grid {
  display: grid;
  grid-template-columns: minmax(0, 5fr) minmax(0, 7fr);
  grid-template-areas:
    "editor stream"
    "editor mask"
    "graph  graph"
    "bench  bench";
  gap: 18px;
}

.editor {
  grid-area: editor;
}
.stream {
  grid-area: stream;
}
.mask {
  grid-area: mask;
}
.graph {
  grid-area: graph;
}
.bench {
  grid-area: bench;
}

@media (max-width: 960px) {
  .grid {
    grid-template-columns: 1fr;
    grid-template-areas: "editor" "stream" "mask" "graph" "bench";
  }
}

.card {
  background: linear-gradient(180deg, rgba(23, 27, 42, 0.95), rgba(18, 21, 33, 0.95));
  border: 1px solid var(--line);
  border-radius: 18px;
  padding: 16px 18px;
  box-shadow: 0 10px 40px rgba(0, 0, 0, 0.25);
  display: flex;
  flex-direction: column;
  gap: 12px;
  min-width: 0;
}

.card-head {
  display: flex;
  align-items: baseline;
  gap: 10px;
}

.num {
  display: inline-grid;
  place-items: center;
  width: 22px;
  height: 22px;
  border-radius: 7px;
  font-size: 12px;
  font-weight: 700;
  background: linear-gradient(135deg, var(--accent), var(--accent-2));
  color: #0b0d14;
}

.card-title {
  font-weight: 700;
  font-size: 16px;
}

.card-sub {
  color: var(--muted);
  font-size: 12px;
}

.empty {
  color: var(--muted);
  padding: 24px;
  text-align: center;
}

/* editor */
.tabs {
  display: flex;
  gap: 6px;
}

.tab.on {
  background: var(--accent);
  border-color: var(--accent);
  color: #0b0d14;
  font-weight: 600;
}

.preset,
.speed {
  font: inherit;
  color: var(--text);
  background: var(--panel-2);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 7px 10px;
}

.code {
  width: 100%;
  flex: 1;
  min-height: 300px;
  resize: vertical;
  font-family: var(--mono);
  font-size: 12.5px;
  line-height: 1.55;
  color: #d7dcff;
  background: #0d101a;
  border: 1px solid var(--line);
  border-radius: 12px;
  padding: 12px 14px;
  outline: none;
  tab-size: 2;
}

.code:focus {
  border-color: var(--accent);
}

.status {
  display: flex;
  gap: 8px;
  align-items: center;
  font-family: var(--mono);
  font-size: 12px;
  padding: 8px 10px;
  border-radius: 10px;
}

.status .dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  flex: none;
}

.status.ok {
  background: rgba(61, 220, 151, 0.08);
  color: var(--good);
}
.status.ok .dot {
  background: var(--good);
}
.status.err {
  background: rgba(255, 107, 129, 0.1);
  color: var(--bad);
}
.status.err .dot {
  background: var(--bad);
}

.regex {
  border: 1px solid var(--line);
  border-radius: 10px;
  overflow: hidden;
}

.regex-head {
  font-size: 12px;
  color: var(--muted);
  padding: 6px 10px;
  background: var(--panel-2);
}

.regex-body {
  margin: 0;
  padding: 8px 10px;
  max-height: 110px;
  overflow: auto;
  font-family: var(--mono);
  font-size: 11px;
  color: #b9a8ff;
  white-space: pre-wrap;
  word-break: break-all;
  background: #0d101a;
}

/* stream */
.toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
}

.seg {
  display: inline-flex;
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 2px;
  background: #0d101a;
}

.seg button {
  border: none;
  background: transparent;
  padding: 5px 12px;
}

.seg button.on.good {
  background: rgba(61, 220, 151, 0.18);
  color: var(--good);
}

.seg button.on.bad {
  background: rgba(255, 107, 129, 0.18);
  color: var(--bad);
}

.btn.primary {
  background: linear-gradient(135deg, var(--accent), #6f63e6);
  border-color: transparent;
  color: white;
  font-weight: 600;
}

.seed {
  margin-left: auto;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 12px;
}

.tokens {
  min-height: 120px;
  max-height: 220px;
  overflow-y: auto;
  padding: 12px;
  border-radius: 12px;
  background: #0d101a;
  border: 1px solid var(--line);
  line-height: 2.1;
  font-family: var(--mono);
  font-size: 13px;
  word-break: break-all;
}

.tok {
  display: inline;
  padding: 3px 1px;
  margin-right: 1px;
  border-radius: 4px;
  white-space: pre-wrap;
}

.tok.c0 { background: rgba(139, 124, 255, 0.32); }
.tok.c1 { background: rgba(79, 209, 197, 0.3); }
.tok.c2 { background: rgba(255, 180, 84, 0.3); }
.tok.c3 { background: rgba(97, 175, 255, 0.3); }
.tok.c4 { background: rgba(255, 121, 198, 0.28); }
.tok.c5 { background: rgba(160, 220, 110, 0.28); }

.tok.eos {
  background: rgba(61, 220, 151, 0.2);
  color: var(--good);
  padding: 2px 6px;
  font-size: 11px;
}

.tok.bad {
  background: rgba(255, 107, 129, 0.35);
  outline: 1px solid var(--bad);
  color: #fff;
}

.caret {
  display: inline-block;
  width: 8px;
  height: 16px;
  vertical-align: middle;
  background: var(--accent);
  animation: blink 1s steps(2) infinite;
}

@keyframes blink {
  50% {
    opacity: 0;
  }
}

.stats {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  align-items: center;
}

.stat {
  display: flex;
  flex-direction: column;
  padding: 6px 12px;
  border-radius: 10px;
  background: var(--panel-2);
  border: 1px solid var(--line);
  min-width: 70px;
}

.stat-v {
  font-family: var(--mono);
  font-weight: 700;
  font-size: 15px;
}

.stat-l {
  color: var(--muted);
  font-size: 11px;
}

.badge {
  margin-left: auto;
  padding: 6px 12px;
  border-radius: 999px;
  font-size: 12.5px;
  background: var(--panel-2);
  color: var(--muted);
  border: 1px solid var(--line);
}

.badge.good {
  color: var(--good);
  border-color: rgba(61, 220, 151, 0.4);
  background: rgba(61, 220, 151, 0.08);
}

.badge.bad {
  color: var(--bad);
  border-color: rgba(255, 107, 129, 0.4);
  background: rgba(255, 107, 129, 0.08);
}

.raw {
  margin: 0;
  padding: 10px 12px;
  border-radius: 10px;
  background: #0d101a;
  border: 1px dashed var(--line);
  font-family: var(--mono);
  font-size: 12px;
  color: var(--muted);
  white-space: pre-wrap;
  word-break: break-all;
  max-height: 120px;
  overflow: auto;
}

/* mask */
.big {
  display: flex;
  align-items: baseline;
  gap: 6px;
}

.big-k {
  font-size: 34px;
  font-weight: 800;
  letter-spacing: -0.03em;
  background: linear-gradient(135deg, var(--accent), var(--accent-2));
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
}

.big-of {
  color: var(--muted);
}

.big-pct {
  margin-left: auto;
  font-family: var(--mono);
  color: var(--accent-2);
}

.bar {
  height: 10px;
  border-radius: 999px;
  background: rgba(255, 107, 129, 0.18);
  overflow: hidden;
}

.fill {
  height: 100%;
  border-radius: 999px;
  background: linear-gradient(90deg, var(--accent-2), var(--good));
  transition: width 0.25s ease;
}

.note {
  color: var(--muted);
  font-size: 13px;
}

.chips {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  max-height: 150px;
  overflow-y: auto;
}

.chip {
  font-family: var(--mono);
  font-size: 12px;
  padding: 3px 9px;
  border-radius: 8px;
  white-space: pre;
}

.chip:hover:not(:disabled) {
  border-color: var(--accent-2);
  background: rgba(79, 209, 197, 0.12);
  transform: translateY(-1px);
}

.chip.eos {
  color: var(--good);
  border-color: rgba(61, 220, 151, 0.45);
}

.more,
.hint {
  color: var(--muted);
  font-size: 12px;
  align-self: center;
}

/* automaton */
.fsm {
  width: 100%;
  height: auto;
  border-radius: 12px;
  background: radial-gradient(600px 300px at 20% 50%, rgba(139, 124, 255, 0.08), transparent 70%),
    #0d101a;
  border: 1px solid var(--line);
}

.fsm .edge {
  stroke: #56607c;
  stroke-width: 1.6;
}

.fsm .elabel {
  fill: #c9cfe6;
  font-family: var(--mono);
  font-size: 11px;
  paint-order: stroke;
  stroke: #0d101a;
  stroke-width: 4px;
}

.fsm .node {
  fill: #1d2236;
  stroke: #5b6485;
  stroke-width: 1.5;
}

.fsm .node.focus {
  fill: var(--accent);
  stroke: #c8c0ff;
  stroke-width: 2;
  filter: drop-shadow(0 0 10px rgba(139, 124, 255, 0.8));
}

.fsm .edge.trail {
  stroke: var(--accent);
  stroke-width: 2;
  stroke-dasharray: 5 4;
}

.fsm .edge.dead {
  stroke: var(--bad);
  stroke-width: 2;
  stroke-dasharray: 4 4;
}

.fsm .tlabel {
  fill: #d8d2ff;
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  paint-order: stroke;
  stroke: #0d101a;
  stroke-width: 4px;
}

.fsm .node.past {
  fill: #2a2450;
  stroke: var(--accent);
  stroke-dasharray: 3 3;
}

.fsm .node.deadnode {
  fill: rgba(255, 107, 129, 0.25);
  stroke: var(--bad);
  stroke-width: 2;
}

.fsm .ring {
  stroke: var(--good);
  stroke-width: 1.5;
}

.fsm .nlabel {
  fill: var(--text);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
}

.fsm .ndist,
.fsm .hidden {
  fill: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 16px;
  color: var(--muted);
  font-size: 12px;
}

.lg::before {
  content: "";
  display: inline-block;
  width: 10px;
  height: 10px;
  border-radius: 50%;
  margin-right: 6px;
  vertical-align: -1px;
  background: #1d2236;
  border: 1px solid #5b6485;
}

.lg.focus::before {
  background: var(--accent);
  border-color: #c8c0ff;
}

.lg.ring::before {
  background: transparent;
  border: 2px solid var(--good);
}

.lg.past::before {
  background: #2a2450;
  border: 1px dashed var(--accent);
}

.lg.dead::before {
  background: rgba(255, 107, 129, 0.25);
  border-color: var(--bad);
}

/* bench */
.brow {
  display: grid;
  grid-template-columns: 90px 1fr 110px 120px;
  gap: 12px;
  align-items: center;
}

.blabel {
  font-weight: 600;
}

.btrack {
  height: 16px;
  border-radius: 999px;
  background: #0d101a;
  border: 1px solid var(--line);
  overflow: hidden;
}

.bfill {
  height: 100%;
  border-radius: 999px;
  transition: width 0.4s ease;
}

.bfill.good {
  background: linear-gradient(90deg, var(--accent-2), var(--good));
}

.bfill.bad {
  background: linear-gradient(90deg, #ff8fa3, var(--bad));
}

.bval,
.bavg {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--muted);
}

.foot {
  margin-top: 28px;
  color: var(--muted);
  font-size: 12px;
  text-align: center;
  line-height: 1.8;
}