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

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

:root {
  --bg: #0e0e11;
  --surface: #17171c;
  --surface2: #1e1e26;
  --border: #2e2e3e;
  --accent: #7c6af7;
  --accent2: #4fd1c5;
  --accent3: #f6a623;
  --accent4: #e05c7b;
  --text: #e8e8f0;
  --text2: #8888aa;
  --green: #3ecf8e;
  --red: #e05c7b;
  --mono: 'JetBrains Mono', monospace;
  --sans: 'Syne', sans-serif;
}

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  min-height: 100vh;
  padding: 2rem 1rem;
}

h1 {
  font-size: 1.6rem;
  font-weight: 700;
  letter-spacing: -0.02em;
  margin-bottom: 0.25rem;
}

.subtitle {
  color: var(--text2);
  font-size: 0.85rem;
  font-family: var(--mono);
  margin-bottom: 2rem;
}

.container { max-width: 860px; margin: 0 auto; }

/* Input section */
.input-section {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 1.25rem;
  margin-bottom: 1.5rem;
}

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

.input-group {
  display: flex;
  flex-direction: column;
  gap: 6px;
  flex: 1;
  min-width: 160px;
}

label {
  font-size: 0.75rem;
  font-family: var(--mono);
  color: var(--text2);
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

input[type="text"], select {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 8px;
  color: var(--text);
  font-family: var(--mono);
  font-size: 0.9rem;
  padding: 0.5rem 0.75rem;
  outline: none;
  transition: border-color 0.2s;
}

input[type="text"]:focus, select:focus {
  border-color: var(--accent);
}

select option { background: var(--surface2); }

.btn {
  background: var(--accent);
  border: none;
  border-radius: 8px;
  color: #fff;
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.9rem;
  font-weight: 600;
  padding: 0.55rem 1.4rem;
  transition: opacity 0.2s, transform 0.1s;
  white-space: nowrap;
  align-self: flex-end;
  margin-bottom: 1px;
}

.btn:hover { opacity: 0.88; }
.btn:active { transform: scale(0.97); }

.presets {
  margin-top: 1rem;
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  align-items: center;
}

.presets span {
  font-size: 0.72rem;
  color: var(--text2);
  font-family: var(--mono);
}

.preset-btn {
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text2);
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.72rem;
  padding: 3px 10px;
  transition: border-color 0.2s, color 0.2s;
}

.preset-btn:hover { border-color: var(--accent); color: var(--accent); }

/* Tabs */
.tabs {
  display: flex;
  gap: 4px;
  margin-bottom: 1rem;
  border-bottom: 1px solid var(--border);
  padding-bottom: 0;
}

.tab {
  background: none;
  border: none;
  border-bottom: 2px solid transparent;
  color: var(--text2);
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.82rem;
  font-weight: 600;
  padding: 0.5rem 1rem;
  margin-bottom: -1px;
  transition: color 0.2s, border-color 0.2s;
  letter-spacing: 0.03em;
}

.tab.active { color: var(--accent); border-bottom-color: var(--accent); }
.tab:hover:not(.active) { color: var(--text); }

/* Panels */
.panel { display: none; }
.panel.active { display: block; }

.card {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 1.25rem;
  margin-bottom: 1rem;
}

.card-title {
  font-size: 0.78rem;
  font-family: var(--mono);
  color: var(--text2);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-bottom: 1rem;
}

/* Result badge */
.result-badge {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  border-radius: 20px;
  font-family: var(--mono);
  font-size: 0.8rem;
  font-weight: 600;
  padding: 4px 14px;
}

.result-badge.accept { background: rgba(62,207,142,0.15); color: var(--green); border: 1px solid rgba(62,207,142,0.3); }
.result-badge.reject { background: rgba(224,92,123,0.15); color: var(--red); border: 1px solid rgba(224,92,123,0.3); }

/* NFA/DFA diagram */
.automata-canvas {
  width: 100%;
  overflow-x: auto;
  background: var(--bg);
  border-radius: 8px;
  border: 1px solid var(--border);
  padding: 1rem;
}

svg { display: block; }

/* State table */
table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 0.8rem;
}

th {
  background: var(--surface2);
  color: var(--text2);
  font-weight: 500;
  padding: 6px 12px;
  text-align: left;
  border: 1px solid var(--border);
}

td {
  padding: 5px 12px;
  border: 1px solid var(--border);
  color: var(--text);
}

tr.current-state td { background: rgba(124,106,247,0.12); }
tr.accept-state td { color: var(--green); }

/* Stack visualization */
.stack-container {
  display: flex;
  flex-direction: column-reverse;
  align-items: center;
  gap: 3px;
  min-height: 160px;
  justify-content: flex-start;
}

.stack-item {
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--accent2);
  font-family: var(--mono);
  font-size: 0.85rem;
  font-weight: 500;
  padding: 5px 20px;
  min-width: 80px;
  text-align: center;
  transition: all 0.3s;
}

.stack-item.new { border-color: var(--accent2); background: rgba(79,209,197,0.1); }
.stack-item.bottom { color: var(--text2); border-style: dashed; }

/* PDA steps */
.step-list { display: flex; flex-direction: column; gap: 6px; }

.step-item {
  background: var(--surface2);
  border-left: 3px solid var(--border);
  border-radius: 0 6px 6px 0;
  font-family: var(--mono);
  font-size: 0.8rem;
  padding: 6px 10px;
  color: var(--text2);
}

.step-item.active { border-left-color: var(--accent2); color: var(--text); background: rgba(79,209,197,0.07); }
.step-item.done { border-left-color: var(--green); color: var(--green); }
.step-item.fail { border-left-color: var(--red); color: var(--red); }

/* Tape */
.tape-wrapper {
  overflow-x: auto;
  padding: 0.5rem 0;
}

.tape {
  display: flex;
  gap: 3px;
  width: max-content;
  margin: 0 auto;
}

.tape-cell {
  width: 40px;
  height: 40px;
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 6px;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--mono);
  font-size: 0.9rem;
  font-weight: 500;
  transition: all 0.3s;
  position: relative;
}

.tape-cell.head {
  border-color: var(--accent3);
  background: rgba(246,166,35,0.15);
  color: var(--accent3);
}

.tape-cell.written { background: rgba(124,106,247,0.15); border-color: var(--accent); color: var(--accent); }

.head-arrow {
  font-size: 0.6rem;
  color: var(--accent3);
  text-align: center;
  margin-top: 4px;
  font-family: var(--mono);
}

/* TM steps */
.tm-step {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 6px 10px;
  background: var(--surface2);
  border-radius: 6px;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--text2);
  margin-bottom: 4px;
}

.tm-step.active { background: rgba(246,166,35,0.08); color: var(--text); }

.step-num {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--accent3);
  font-size: 0.7rem;
  padding: 1px 6px;
  min-width: 28px;
  text-align: center;
}

.tm-controls {
  display: flex;
  gap: 8px;
  margin-bottom: 1rem;
  flex-wrap: wrap;
}

.btn-sm {
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text);
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.78rem;
  padding: 4px 12px;
  transition: border-color 0.2s;
}

.btn-sm:hover { border-color: var(--accent3); color: var(--accent3); }

/* Derivation tree */
.deriv-tree {
  font-family: var(--mono);
  font-size: 0.8rem;
  line-height: 1.9;
  color: var(--text2);
}

.deriv-step { color: var(--text); }
.deriv-arrow { color: var(--accent); }
.deriv-terminal { color: var(--accent2); }
.deriv-nonterminal { color: var(--accent3); }

.status-bar {
  display: flex;
  align-items: center;
  gap: 12px;
  margin-bottom: 1rem;
  flex-wrap: wrap;
}

.info-chip {
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 20px;
  font-family: var(--mono);
  font-size: 0.75rem;
  padding: 3px 12px;
  color: var(--text2);
}

.info-chip span { color: var(--text); }

.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
@media(max-width: 580px) { .grid2 { grid-template-columns: 1fr; } }

.empty-msg {
  color: var(--text2);
  font-family: var(--mono);
  font-size: 0.82rem;
  text-align: center;
  padding: 2rem;
}