@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;700;800&family=IBM+Plex+Sans:wght@400;500;600&family=IBM+Plex+Mono:wght@400;500&display=swap');

:root {
  --bg: #0d1210;
  --bg-panel: #121a17;
  --bg-raised: #17211d;
  --line: #26332d;
  --text: #e7ece9;
  --text-dim: #90a39b;
  --accent: #4ade80;
  --accent-dim: #2f6b48;
  --amber: #f5a623;
  --red: #ef5c5c;
  --edge: #4ade80;
  --font-display: 'JetBrains Mono', monospace;
  --font-body: 'IBM Plex Sans', sans-serif;
  --font-mono: 'IBM Plex Mono', monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 42px 42px;
  background-attachment: fixed;
  color: var(--text);
  font-family: var(--font-body);
  line-height: 1.5;
}

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

::selection { background: var(--accent-dim); color: var(--text); }

/* ---------- Header ---------- */
.site-header {
  border-bottom: 1px solid var(--line);
  background: rgba(13, 18, 16, 0.85);
  backdrop-filter: blur(6px);
  position: sticky;
  top: 0;
  z-index: 20;
}
.header-inner {
  max-width: 1180px;
  margin: 0 auto;
  padding: 18px 24px;
  display: flex;
  align-items: center;
  gap: 16px;
  justify-content: space-between;
  flex-wrap: wrap;
}
.brand {
  display: flex;
  align-items: baseline;
  gap: 10px;
  font-family: var(--font-display);
}
.brand-mark {
  color: var(--bg);
  background: var(--accent);
  font-weight: 800;
  padding: 3px 8px;
  border-radius: 3px;
  font-size: 13px;
  letter-spacing: 0.04em;
}
.brand-name { font-weight: 700; font-size: 17px; letter-spacing: 0.01em; }
.brand-sub { color: var(--text-dim); font-size: 12.5px; }

.identity {
  font-family: var(--font-mono);
  font-size: 12.5px;
  color: var(--text-dim);
  text-align: right;
}
.identity strong { color: var(--text); }

/* ---------- Hero ---------- */
.hero {
  max-width: 1180px;
  margin: 0 auto;
  padding: 54px 24px 30px;
}
.hero-eyebrow {
  font-family: var(--font-mono);
  color: var(--accent);
  font-size: 12.5px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  margin-bottom: 14px;
}
.hero h1 {
  font-family: var(--font-display);
  font-size: clamp(28px, 4.4vw, 46px);
  line-height: 1.12;
  margin: 0 0 16px;
  max-width: 900px;
  font-weight: 800;
  letter-spacing: -0.01em;
}
.hero h1 .accent { color: var(--accent); }
.hero p {
  color: var(--text-dim);
  max-width: 640px;
  font-size: 15.5px;
  margin: 0 0 26px;
}
.hero-grammar {
  font-family: var(--font-mono);
  font-size: 13px;
  color: var(--text-dim);
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--bg-panel);
  padding: 16px 18px;
  max-width: 620px;
  white-space: pre;
  overflow-x: auto;
}
.hero-grammar .kw { color: var(--amber); }
.hero-grammar .nt { color: var(--accent); }

/* ---------- Tabs ---------- */
.tab-bar {
  max-width: 1180px;
  margin: 10px auto 0;
  padding: 0 24px;
  display: flex;
  gap: 6px;
  flex-wrap: wrap;
  border-bottom: 1px solid var(--line);
}
.tab-btn {
  font-family: var(--font-mono);
  background: transparent;
  border: 1px solid transparent;
  border-bottom: none;
  color: var(--text-dim);
  padding: 12px 16px;
  cursor: pointer;
  font-size: 13px;
  border-radius: 6px 6px 0 0;
  display: flex;
  align-items: center;
  gap: 8px;
  transition: color .15s ease, background .15s ease;
}
.tab-btn .tab-num { color: var(--accent); font-weight: 700; }
.tab-btn:hover { color: var(--text); background: var(--bg-panel); }
.tab-btn.active {
  color: var(--text);
  background: var(--bg-panel);
  border-color: var(--line);
  border-bottom: 1px solid var(--bg-panel);
  margin-bottom: -1px;
}

main { max-width: 1180px; margin: 0 auto; padding: 28px 24px 80px; }
.panel { display: none; }
.panel.active { display: block; animation: fadeIn .2s ease; }
@keyframes fadeIn { from { opacity: 0; transform: translateY(4px); } to { opacity: 1; transform: none; } }

.panel-head { margin-bottom: 20px; }
.panel-head h2 { font-family: var(--font-display); font-size: 22px; margin: 0 0 6px; }
.panel-head p { color: var(--text-dim); margin: 0; font-size: 14px; max-width: 720px; }

.grid-2 { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.grid-3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; }
@media (max-width: 880px) { .grid-2, .grid-3 { grid-template-columns: 1fr; } }

.card {
  background: var(--bg-panel);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 20px;
  margin-bottom: 20px;
}
.card h3 {
  font-family: var(--font-display);
  font-size: 14px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--accent);
  margin: 0 0 14px;
}
.card .hint { color: var(--text-dim); font-size: 12.5px; margin: 6px 0 12px; }

label.field-label { display: block; font-size: 12.5px; color: var(--text-dim); margin-bottom: 6px; font-family: var(--font-mono); }

textarea, input[type=text] {
  width: 100%;
  background: var(--bg-raised);
  border: 1px solid var(--line);
  color: var(--text);
  border-radius: 6px;
  padding: 10px 12px;
  font-family: var(--font-mono);
  font-size: 13.5px;
  resize: vertical;
}
textarea:focus, input[type=text]:focus, button:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 1px;
}
textarea { min-height: 150px; }

.btn-row { display: flex; gap: 10px; margin-top: 14px; flex-wrap: wrap; }
button.btn {
  font-family: var(--font-mono);
  background: var(--accent);
  color: #08110d;
  border: none;
  padding: 10px 16px;
  border-radius: 6px;
  font-weight: 700;
  font-size: 13px;
  cursor: pointer;
  transition: transform .1s ease, background .15s ease;
}
button.btn:hover { background: #63e69a; }
button.btn:active { transform: translateY(1px); }
button.btn.secondary {
  background: transparent;
  color: var(--text);
  border: 1px solid var(--line);
}
button.btn.secondary:hover { border-color: var(--accent); color: var(--accent); }

.error-box {
  background: rgba(239, 92, 92, 0.1);
  border: 1px solid var(--red);
  color: #ffb3b3;
  padding: 10px 12px;
  border-radius: 6px;
  font-family: var(--font-mono);
  font-size: 12.5px;
  margin-top: 12px;
}
.hidden { display: none; }

.result {
  font-family: var(--font-mono);
  padding: 12px 14px;
  border-radius: 6px;
  font-size: 13.5px;
  margin: 14px 0;
  border: 1px solid var(--line);
}
.result.accepted { border-color: var(--accent); color: var(--accent); background: rgba(74, 222, 128, 0.08); }
.result.rejected { border-color: var(--red); color: #ff9d9d; background: rgba(239, 92, 92, 0.08); }

.badge {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 11.5px;
  padding: 4px 9px;
  border-radius: 20px;
  border: 1px solid var(--accent-dim);
  color: var(--accent);
  margin-bottom: 12px;
}

.diagram-box {
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--bg-raised);
  overflow-x: auto;
  padding: 8px;
}

table { width: 100%; border-collapse: collapse; font-family: var(--font-mono); font-size: 12.5px; }
th, td { border: 1px solid var(--line); padding: 7px 10px; text-align: center; }
th { background: var(--bg-raised); color: var(--accent); font-weight: 600; }

.trace-row {
  display: flex;
  gap: 12px;
  align-items: baseline;
  font-family: var(--font-mono);
  font-size: 12.5px;
  padding: 6px 0;
  border-bottom: 1px dashed var(--line);
}
.trace-step { color: var(--amber); width: 22px; flex-shrink: 0; }
.trace-sym { color: var(--text-dim); width: 90px; flex-shrink: 0; }
.trace-set.mono { color: var(--text); }

.grammar-box {
  background: var(--bg-raised);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 12px 14px;
  font-size: 13px;
  color: var(--accent);
  white-space: pre-wrap;
  overflow-x: auto;
}

.cnf-step { margin-bottom: 18px; padding-bottom: 16px; border-bottom: 1px solid var(--line); }
.cnf-step:last-child { border-bottom: none; }
.cnf-step-title { font-family: var(--font-display); font-size: 13.5px; color: var(--amber); margin-bottom: 4px; }
.cnf-step-note { color: var(--text-dim); font-size: 12.5px; margin-bottom: 8px; }

.mono { font-family: var(--font-mono); }

.state-circle { fill: var(--bg-raised); stroke: var(--accent-dim); stroke-width: 2; }
.state-circle.active { stroke: var(--amber); fill: rgba(245, 166, 35, 0.15); }
.state-circle-inner { fill: none; stroke: var(--accent-dim); stroke-width: 1.5; }
.state-label { fill: var(--text); font-family: var(--font-mono); font-size: 12px; }
.edge-label { fill: var(--text-dim); font-family: var(--font-mono); font-size: 11px; }
.tree-node { fill: var(--bg-raised); stroke: var(--accent); stroke-width: 1.6; }
.tree-leaf { fill: var(--bg-raised); stroke: var(--amber); stroke-width: 1.6; }
.tree-label { fill: var(--text); font-family: var(--font-mono); font-size: 12px; }

.chomsky-hierarchy { display: grid; gap: 10px; margin-top: 6px; }
.chomsky-ring {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 14px 16px;
  background: var(--bg-raised);
}
.chomsky-ring h4 { margin: 0 0 4px; font-family: var(--font-display); font-size: 13px; }
.chomsky-ring p { margin: 0; color: var(--text-dim); font-size: 12.5px; }
.chomsky-ring.t3 { border-color: var(--accent-dim); }
.chomsky-ring.t2 { border-color: #3a6b57; }
.chomsky-ring.t1 { border-color: #4a5b3a; }
.chomsky-ring.t0 { border-color: #5b4a3a; }

footer {
  border-top: 1px solid var(--line);
  padding: 26px 24px;
  text-align: center;
  color: var(--text-dim);
  font-family: var(--font-mono);
  font-size: 12px;
}

@media (prefers-reduced-motion: reduce) {
  * { animation: none !important; transition: none !important; }
}