/* ═══════════════════════════════════════
   ROOT & RESET
═══════════════════════════════════════ */
:root {
  --bg:         #f4f6f9;
  --surface:    #ffffff;
  --border:     #d8dee8;
  --border2:    #c0c8d8;
  --accent:     #2563eb;
  --accent-lt:  #eff4ff;
  --accent-dk:  #1d4ed8;
  --success:    #16a34a;
  --success-lt: #f0fdf4;
  --success-bd: #86efac;
  --danger:     #dc2626;
  --danger-lt:  #fef2f2;
  --danger-bd:  #fca5a5;
  --warn:       #d97706;
  --warn-lt:    #fffbeb;
  --warn-bd:    #fcd34d;
  --text:       #1e293b;
  --text2:      #475569;
  --text3:      #94a3b8;
  --muted:      #cbd5e1;
  --mono:       'Source Code Pro', monospace;
  --sans:       'DM Sans', sans-serif;
  --radius:     10px;
  --radius-sm:  6px;
  --shadow:     0 1px 4px rgba(0,0,0,0.08), 0 4px 16px rgba(0,0,0,0.04);
  --shadow-sm:  0 1px 3px rgba(0,0,0,0.06);
  --tr:         0.18s ease;
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { font-size: 15px; }
body {
  font-family: var(--sans);
  background: var(--bg);
  color: var(--text);
  line-height: 1.6;
  min-height: 100vh;
}

code {
  font-family: var(--mono);
  font-size: 0.85em;
  background: #eef2ff;
  color: var(--accent);
  padding: 1px 5px;
  border-radius: 3px;
}

kbd {
  font-family: var(--mono);
  font-size: 0.82em;
  background: #f1f5f9;
  color: var(--text2);
  border: 1px solid var(--border2);
  border-radius: 4px;
  padding: 1px 6px;
}

/* ═══════════════════════════════════════
   MATERIAL ICONS
═══════════════════════════════════════ */
.material-symbols-outlined {
  font-size: 18px;
  vertical-align: middle;
  line-height: 1;
  font-variation-settings: 'FILL' 0, 'wght' 400, 'GRAD' 0, 'opsz' 20;
}
.ic-pass  { color: var(--success); }
.ic-fail  { color: var(--danger); }
.ic-warn  { color: var(--warn); }
.ic-edit  { color: var(--warn); font-size: 15px; }
.ic-check-sm { color: var(--success); font-size: 15px; }
.ic-info  { color: var(--accent); }
.ic-inline { font-size: 14px; vertical-align: middle; }
.ic-result-pass { font-size: 36px; color: var(--success); font-variation-settings: 'FILL' 1, 'wght' 400, 'GRAD' 0, 'opsz' 48; flex-shrink: 0; }
.ic-result-fail { font-size: 36px; color: var(--danger);  font-variation-settings: 'FILL' 1, 'wght' 400, 'GRAD' 0, 'opsz' 48; flex-shrink: 0; }

/* ═══════════════════════════════════════
   LAYOUT
═══════════════════════════════════════ */
.app-wrapper { display: flex; flex-direction: column; min-height: 100vh; }
.app-main { flex: 1; }

/* ═══════════════════════════════════════
   HEADER
═══════════════════════════════════════ */
.app-header {
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  box-shadow: var(--shadow-sm);
  position: sticky; top: 0; z-index: 50;
}
.header-inner {
  max-width: 1100px; margin: 0 auto;
  padding: 0 28px; height: 62px;
  display: flex; align-items: center;
  justify-content: space-between; gap: 20px;
}
.header-brand { display: flex; align-items: center; gap: 12px; }

.brand-mark {
  width: 40px; height: 40px;
  background: var(--accent);
  border-radius: 8px;
  display: flex; align-items: center; justify-content: center;
  flex-shrink: 0;
}
.brand-mark-inner {
  font-family: var(--mono);
  font-size: 11px; font-weight: 700;
  letter-spacing: 0.5px;
  color: #fff;
}
.brand-title {
  font-size: 16px; font-weight: 700;
  color: var(--text); line-height: 1.2;
}
.brand-sub {
  font-size: 11px; color: var(--text3);
  letter-spacing: 0.2px;
}

/* ═══════════════════════════════════════
   TABS
═══════════════════════════════════════ */
.tab-bar { display: flex; gap: 4px; }
.tab-btn {
  padding: 8px 18px;
  border-radius: var(--radius-sm);
  border: 1px solid transparent;
  background: transparent;
  font-family: var(--sans); font-size: 13.5px; font-weight: 600;
  color: var(--text2); cursor: pointer; transition: var(--tr);
}
.tab-btn:hover { background: var(--accent-lt); color: var(--accent); }
.tab-btn.active {
  background: var(--accent-lt);
  border-color: var(--accent);
  color: var(--accent);
}

/* ═══════════════════════════════════════
   PANELS
═══════════════════════════════════════ */
.tab-panel { display: none; }
.tab-panel.active { display: block; animation: fadeIn 0.2s ease; }
@keyframes fadeIn { from { opacity: 0; transform: translateY(8px); } to { opacity: 1; transform: translateY(0); } }

.panel-container {
  max-width: 1100px; margin: 0 auto;
  padding: 28px 28px 60px;
  display: flex; flex-direction: column; gap: 22px;
}

/* ═══════════════════════════════════════
   TAB INTRO BANNER
═══════════════════════════════════════ */
.tab-intro {
  display: flex; gap: 18px; align-items: flex-start;
  background: var(--surface);
  border: 1px solid var(--border);
  border-left: 4px solid var(--accent);
  border-radius: var(--radius);
  padding: 20px 24px;
  box-shadow: var(--shadow-sm);
}
.tab-intro-icon {
  width: 42px; height: 42px;
  background: var(--accent-lt);
  border-radius: 8px;
  display: flex; align-items: center; justify-content: center;
  flex-shrink: 0;
}
.tab-intro-icon .material-symbols-outlined {
  font-size: 22px; color: var(--accent);
}
.tab-intro-body { flex: 1; }
.tab-intro-title {
  font-size: 16px; font-weight: 700;
  color: var(--text); margin-bottom: 6px;
}
.tab-intro-desc {
  font-size: 13.5px; color: var(--text2);
  line-height: 1.7; margin-bottom: 12px;
}
.info-toggle {
  display: inline-flex; align-items: center; gap: 5px;
  padding: 5px 12px;
  background: var(--accent-lt);
  border: 1px solid #bfdbfe;
  border-radius: var(--radius-sm);
  font-size: 12.5px; font-weight: 600;
  color: var(--accent); cursor: pointer; transition: var(--tr);
}
.info-toggle:hover { background: var(--accent); color: #fff; }
.info-toggle .material-symbols-outlined { font-size: 15px; }

/* ═══════════════════════════════════════
   INFO BOX (collapsible)
═══════════════════════════════════════ */
.info-box {
  background: var(--surface);
  border: 1px solid #bfdbfe;
  border-radius: var(--radius);
  overflow: hidden;
  box-shadow: var(--shadow-sm);
  animation: fadeIn 0.2s ease;
}
.info-box-header {
  display: flex; align-items: center; gap: 8px;
  padding: 13px 18px;
  background: var(--accent-lt);
  font-size: 14px; font-weight: 700; color: var(--accent);
  border-bottom: 1px solid #bfdbfe;
}
.info-box-header .material-symbols-outlined { font-size: 18px; }
.info-box-body {
  padding: 18px 20px;
  font-size: 13.5px; color: var(--text2); line-height: 1.7;
}
.info-box-body p { margin-bottom: 14px; }

/* CNF forms grid */
.cnf-forms {
  display: grid; grid-template-columns: 1fr 1fr;
  gap: 12px; margin: 14px 0;
}
.cnf-form-item {
  background: #f8fafc;
  border: 1px solid var(--border);
  border-radius: var(--radius-sm);
  padding: 14px;
}
.cnf-form-rule {
  font-family: var(--mono); font-size: 16px;
  font-weight: 700; color: var(--accent);
  margin-bottom: 6px;
}
.cnf-form-desc { font-size: 12.5px; color: var(--text2); margin-bottom: 6px; }
.cnf-form-eg { font-size: 12px; color: var(--text3); }

.info-not-allowed {
  background: var(--danger-lt);
  border: 1px solid var(--danger-bd);
  border-radius: var(--radius-sm);
  padding: 12px 14px;
  margin-top: 12px;
}
.info-not-title {
  font-size: 12px; font-weight: 700;
  color: var(--danger); margin-bottom: 8px;
  text-transform: uppercase; letter-spacing: 0.5px;
}
.info-not-items { display: flex; flex-wrap: wrap; gap: 8px; }
.not-item {
  font-size: 12px; color: var(--danger);
  background: #fff; border: 1px solid var(--danger-bd);
  border-radius: 4px; padding: 3px 8px;
}

/* CYK how-it-works */
.cyk-how-steps { display: flex; flex-direction: column; gap: 12px; margin: 14px 0; }
.cyk-how-item {
  display: flex; gap: 14px; align-items: flex-start;
  background: #f8fafc; border: 1px solid var(--border);
  border-radius: var(--radius-sm); padding: 12px 14px;
}
.cyk-how-num {
  width: 24px; height: 24px; flex-shrink: 0;
  background: var(--accent); color: #fff;
  border-radius: 50%; font-size: 12px; font-weight: 700;
  display: flex; align-items: center; justify-content: center;
}
.cyk-how-item div { font-size: 13px; color: var(--text2); line-height: 1.65; }

.complexity-note {
  display: flex; align-items: center; gap: 8px;
  margin-top: 14px; padding: 10px 14px;
  background: var(--accent-lt); border: 1px solid #bfdbfe;
  border-radius: var(--radius-sm);
  font-size: 13px; color: var(--accent);
}

/* ═══════════════════════════════════════
   CARDS
═══════════════════════════════════════ */
.card {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 24px 28px;
  box-shadow: var(--shadow);
  animation: fadeIn 0.2s ease;
}
.card-header {
  display: flex; align-items: center;
  justify-content: space-between;
  margin-bottom: 12px; gap: 12px;
}
.card-title {
  font-size: 17px; font-weight: 700; color: var(--text);
  display: flex; align-items: center; gap: 10px;
}
.card-desc {
  font-size: 13.5px; color: var(--text2);
  margin-bottom: 18px; line-height: 1.75;
}
.card-actions { margin-top: 18px; display: flex; gap: 10px; }

.card-tag {
  font-size: 12px; font-weight: 600;
  padding: 3px 10px; border-radius: 20px;
  background: var(--muted); color: var(--text2);
}
.card-tag.pass { background: var(--success-lt); color: var(--success); border: 1px solid var(--success-bd); }
.card-tag.fail { background: var(--danger-lt);  color: var(--danger);  border: 1px solid var(--danger-bd); }

.step-badge {
  display: inline-flex; align-items: center; justify-content: center;
  width: 24px; height: 24px;
  background: var(--accent); color: #fff;
  border-radius: 50%; font-size: 12px; font-weight: 700; flex-shrink: 0;
}

/* ═══════════════════════════════════════
   TEXTAREA + LABEL ROW + ε BUTTON
═══════════════════════════════════════ */
.textarea-label-row {
  display: flex; align-items: center;
  justify-content: space-between;
  margin-bottom: 8px;
}
.textarea-label {
  font-size: 12px; font-weight: 700;
  text-transform: uppercase; letter-spacing: 0.5px;
  color: var(--text3);
}
.btn-insert-eps {
  display: inline-flex; align-items: center; gap: 4px;
  padding: 5px 12px;
  background: var(--surface);
  border: 1.5px solid var(--accent);
  border-radius: var(--radius-sm);
  font-family: var(--sans); font-size: 13px; font-weight: 600;
  color: var(--accent); cursor: pointer; transition: var(--tr);
}
.btn-insert-eps:hover { background: var(--accent); color: #fff; }
.btn-insert-eps .material-symbols-outlined { font-size: 14px; }

.grammar-ta {
  width: 100%; min-height: 140px;
  font-family: var(--mono); font-size: 13.5px; line-height: 1.85;
  color: var(--text); background: #f8fafc;
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  padding: 13px 15px; resize: vertical; outline: none;
  transition: border-color var(--tr);
}
.grammar-ta:focus { border-color: var(--accent); background: #fff; }
.grammar-ta::placeholder { color: var(--text3); }

.ta-footer {
  display: flex; justify-content: space-between; align-items: center;
  margin-top: 8px; gap: 12px; flex-wrap: wrap;
}
.ta-hint { font-size: 11.5px; color: var(--text3); flex: 1; }

.rule-count-badge {
  font-family: var(--mono); font-size: 11px; font-weight: 600;
  background: var(--bg); border: 1px solid var(--border);
  border-radius: 20px; padding: 2px 10px;
  color: var(--text2); white-space: nowrap;
}

.parse-error {
  margin-top: 10px; padding: 10px 14px;
  background: var(--danger-lt); border: 1px solid var(--danger-bd);
  border-radius: var(--radius-sm); font-size: 13px; color: var(--danger);
}

/* ═══════════════════════════════════════
   BUTTONS
═══════════════════════════════════════ */
.btn-primary {
  display: inline-flex; align-items: center; gap: 6px;
  padding: 9px 22px;
  background: var(--accent); color: #fff;
  border: none; border-radius: var(--radius-sm);
  font-family: var(--sans); font-size: 13.5px; font-weight: 600;
  cursor: pointer; transition: var(--tr);
}
.btn-primary:hover { background: var(--accent-dk); }
.btn-primary:disabled { opacity: 0.4; cursor: not-allowed; }
.btn-primary .material-symbols-outlined { font-size: 16px; }

.btn-outline {
  display: inline-flex; align-items: center; gap: 6px;
  padding: 9px 20px;
  background: transparent; color: var(--accent);
  border: 1.5px solid var(--accent); border-radius: var(--radius-sm);
  font-family: var(--sans); font-size: 13.5px; font-weight: 600;
  cursor: pointer; transition: var(--tr);
}
.btn-outline:hover { background: var(--accent-lt); }
.btn-outline .material-symbols-outlined { font-size: 16px; }

.btn-reset {
  display: inline-flex; align-items: center; gap: 4px;
  padding: 5px 12px;
  background: transparent; color: var(--text3);
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  font-size: 12px; cursor: pointer; transition: var(--tr);
}
.btn-reset:hover { color: var(--danger); border-color: var(--danger-bd); }
.btn-reset .material-symbols-outlined { font-size: 14px; }

.btn-sm {
  display: inline-flex; align-items: center; gap: 4px;
  padding: 5px 12px;
  background: var(--bg); color: var(--text2);
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  font-size: 12.5px; font-weight: 600; cursor: pointer; transition: var(--tr);
}
.btn-sm:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
.btn-sm:disabled { opacity: 0.35; cursor: not-allowed; }
.btn-sm .material-symbols-outlined { font-size: 14px; }

.btn-sm-alt {
  display: inline-flex; align-items: center; gap: 4px;
  padding: 5px 12px;
  background: var(--accent-lt); color: var(--accent);
  border: 1px solid var(--accent); border-radius: var(--radius-sm);
  font-size: 12.5px; font-weight: 600; cursor: pointer; transition: var(--tr);
}
.btn-sm-alt:hover { background: var(--accent); color: #fff; }
.btn-sm-alt.running { background: var(--warn-lt); color: var(--warn); border-color: var(--warn-bd); }
.btn-sm-alt .material-symbols-outlined { font-size: 14px; }

.btn-copy-cnf {
  display: inline-flex; align-items: center; gap: 4px;
  margin-left: auto;
  padding: 3px 10px;
  background: transparent; color: var(--success);
  border: 1px solid var(--success-bd); border-radius: var(--radius-sm);
  font-size: 11.5px; font-weight: 600; cursor: pointer; transition: var(--tr);
}
.btn-copy-cnf:hover { background: var(--success-lt); }
.btn-copy-cnf .material-symbols-outlined { font-size: 13px; }

.step-nav { display: flex; align-items: center; gap: 7px; }
.step-counter {
  font-family: var(--mono); font-size: 12px; color: var(--text3);
  min-width: 56px; text-align: center;
}

.try-another-row {
  margin-top: 20px;
  padding-top: 16px;
  border-top: 1px solid var(--border);
  display: flex; justify-content: flex-start;
}

/* ═══════════════════════════════════════
   CNF RULE CHECKLIST
═══════════════════════════════════════ */
.rules-check-list {
  display: flex; flex-direction: column; gap: 7px; margin-bottom: 18px;
}
.rule-check-item {
  display: grid;
  grid-template-columns: minmax(160px, auto) 1fr 32px;
  align-items: center; gap: 14px;
  padding: 10px 14px;
  border-radius: var(--radius-sm); border: 1px solid var(--border);
  background: #fafbfc; font-size: 13.5px;
  transition: border-color var(--tr), background var(--tr);
  animation: fadeIn 0.15s ease;
}
.rule-check-item.checking { border-color: var(--accent); background: var(--accent-lt); }
.rule-check-item.pass     { border-color: var(--success-bd); background: var(--success-lt); }
.rule-check-item.fail     { border-color: var(--danger-bd);  background: var(--danger-lt); }

.rci-rule   { font-family: var(--mono); font-size: 13px; font-weight: 600; color: var(--text); }
.rci-reason { font-size: 12.5px; color: var(--text2); word-break: break-word; }
.rule-check-item.pass .rci-reason { color: var(--success); }
.rule-check-item.fail .rci-reason { color: var(--danger); }
.rci-icon   { text-align: center; display: flex; align-items: center; justify-content: center; }
.rci-icon .material-symbols-outlined { font-size: 20px; }

/* ═══════════════════════════════════════
   VERDICT BOX
═══════════════════════════════════════ */
.verdict-box {
  padding: 14px 18px; border-radius: var(--radius-sm);
  font-size: 14px; font-weight: 600; margin-bottom: 14px;
  display: flex; align-items: center; gap: 10px;
}
.verdict-box.pass { background: var(--success-lt); border: 1px solid var(--success-bd); color: var(--success); }
.verdict-box.fail { background: var(--warn-lt);    border: 1px solid var(--warn-bd);    color: var(--warn); }
.verdict-box .material-symbols-outlined { font-size: 20px; flex-shrink: 0; }

/* ═══════════════════════════════════════
   CONVERT PROMPT
═══════════════════════════════════════ */
.convert-prompt {
  display: flex; align-items: center; justify-content: space-between;
  gap: 16px; padding: 14px 18px;
  background: #f8f9ff; border: 1px solid #c7d2fe;
  border-radius: var(--radius-sm); font-size: 13.5px; color: var(--text2);
  flex-wrap: wrap;
}
.convert-btns { display: flex; gap: 8px; }

/* ═══════════════════════════════════════
   CONVERSION STEPS
═══════════════════════════════════════ */
.conv-steps-list { display: flex; flex-direction: column; gap: 12px; margin-bottom: 16px; }

.conv-step {
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  overflow: hidden; opacity: 0.45;
  transition: opacity var(--tr), border-color var(--tr);
}
.conv-step.active { opacity: 1; border-color: var(--accent); }
.conv-step.done   { opacity: 0.8; border-color: var(--success-bd); }

.conv-step-head {
  display: flex; align-items: center; gap: 10px;
  padding: 11px 14px; background: #f8fafc;
  border-bottom: 1px solid var(--border);
}
.conv-step.active .conv-step-head { background: var(--accent-lt); border-color: #bfdbfe; }
.conv-step.done   .conv-step-head { background: var(--success-lt); border-color: var(--success-bd); }

.conv-step-num {
  font-family: var(--mono); font-size: 10px; font-weight: 700;
  color: var(--surface); background: var(--text3);
  padding: 2px 7px; border-radius: 3px;
}
.conv-step.active .conv-step-num { background: var(--accent); }
.conv-step.done   .conv-step-num { background: var(--success); }

.conv-step-title  { font-size: 13.5px; font-weight: 600; flex: 1; color: var(--text); }
.conv-step-status { display: flex; align-items: center; font-size: 15px; }

.conv-step-body { padding: 14px; display: none; }
.conv-step.active .conv-step-body,
.conv-step.done   .conv-step-body { display: block; }

.conv-step-desc {
  font-size: 13.5px; color: var(--text2);
  margin-bottom: 14px; line-height: 1.75;
  padding: 10px 12px;
  background: #f8fafc; border-left: 3px solid var(--accent);
  border-radius: 0 4px 4px 0;
}

.before-after {
  display: grid; grid-template-columns: 1fr 28px 1fr;
  gap: 10px; align-items: start;
}
.ba-side-label {
  font-size: 10px; font-weight: 700; letter-spacing: 0.6px;
  text-transform: uppercase; color: var(--text3); margin-bottom: 5px;
}
.ba-rules {
  font-family: var(--mono); font-size: 12px; line-height: 1.9;
  background: #f8fafc; border: 1px solid var(--border);
  border-radius: 5px; padding: 9px 11px; min-height: 36px;
}
.ba-rules.after-rules { background: #f0fdf4; border-color: var(--success-bd); }
.ba-arrow {
  display: flex; align-items: center; justify-content: center;
  padding-top: 20px; font-size: 16px; color: var(--accent);
}
.rule-new      { color: var(--success); font-weight: 600; }
.rule-removed  { color: var(--danger); text-decoration: line-through; opacity: 0.6; }
.rule-unchanged{ color: var(--text2); }
.no-change-note { font-size: 12px; color: var(--text3); font-style: italic; padding: 6px 0; }

.section-sep {
  display: flex; align-items: center; gap: 7px;
  font-size: 12px; font-weight: 700; text-transform: uppercase;
  letter-spacing: 0.8px; color: var(--text3);
  border-top: 1px solid var(--border);
  padding-top: 18px; margin: 18px 0 12px;
}
.section-sep .material-symbols-outlined { font-size: 15px; }

/* ═══════════════════════════════════════
   FINAL CNF BOX
═══════════════════════════════════════ */
.final-cnf-box {
  margin-top: 14px; border: 1px solid var(--success-bd);
  border-radius: var(--radius-sm); overflow: hidden;
}
.final-cnf-label {
  display: flex; align-items: center; gap: 7px;
  padding: 9px 14px; background: var(--success-lt);
  font-size: 13px; font-weight: 600; color: var(--success);
  border-bottom: 1px solid var(--success-bd);
}
.final-cnf-rules {
  padding: 12px 14px; font-family: var(--mono);
  font-size: 13px; line-height: 2; background: #fff;
}
.fcr-lhs   { color: #1d4ed8; font-weight: 700; }
.fcr-arrow { color: var(--text3); margin: 0 6px; }
.fcr-rhs   { color: var(--text); }

/* ═══════════════════════════════════════
   STRING INPUT
═══════════════════════════════════════ */
.string-row { display: flex; gap: 10px; margin-bottom: 14px; align-items: center; }
.string-input {
  flex: 1; font-family: var(--mono); font-size: 18px; font-weight: 600;
  letter-spacing: 3px; padding: 10px 14px;
  border: 1.5px solid var(--border); border-radius: var(--radius-sm);
  background: #f8fafc; color: var(--accent); outline: none;
  transition: border-color var(--tr);
}
.string-input:focus { border-color: var(--accent); background: #fff; }
.string-input::placeholder { color: var(--text3); letter-spacing: 1px; font-size: 14px; font-weight: 400; }

.token-row { display: flex; flex-wrap: wrap; gap: 7px; margin-bottom: 10px; min-height: 36px; }
.token-chip {
  font-family: var(--mono); font-size: 13px; font-weight: 700;
  padding: 5px 11px; border-radius: 5px;
  border: 1.5px solid var(--border); background: #f8fafc; color: var(--text);
  position: relative;
}
.token-chip .t-idx {
  position: absolute; top: -9px; left: 50%; transform: translateX(-50%);
  font-size: 9px; color: var(--text3); font-weight: 400;
  background: var(--surface); padding: 0 2px;
}
.token-chip.tok-valid   { border-color: var(--success-bd); color: var(--success); background: var(--success-lt); }
.token-chip.tok-invalid { border-color: var(--danger-bd);  color: var(--danger);  background: var(--danger-lt); }
.token-chip.tok-epsilon {
  border-color: var(--accent); color: var(--accent); background: var(--accent-lt);
  font-size: 14px; display: flex; align-items: center; gap: 6px;
}
.token-chip .t-label { font-size: 10px; font-weight: 400; color: var(--text3); }

.string-msg {
  font-size: 13px; min-height: 20px; color: var(--text2);
  display: flex; align-items: center; gap: 5px;
}
.string-msg.ok  { color: var(--success); }
.string-msg.err { color: var(--danger); }

/* ═══════════════════════════════════════
   EMPTY STRING NOTE
═══════════════════════════════════════ */
.empty-str-note {
  padding: 24px 20px; font-size: 13.5px; line-height: 1.9;
  color: var(--text2); background: #f8fafc;
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  display: flex; flex-direction: column; gap: 10px;
}
.note-accepted { color: var(--success); font-weight: 600; display: flex; align-items: center; gap: 6px; }
.note-rejected { color: var(--danger);  font-weight: 600; display: flex; align-items: center; gap: 6px; }

/* ═══════════════════════════════════════
   TABLE LEGEND
═══════════════════════════════════════ */
.table-legend { display: flex; flex-wrap: wrap; gap: 14px; margin-bottom: 16px; font-size: 12px; }
.leg { display: flex; align-items: center; gap: 6px; color: var(--text2); }
.leg::before {
  content: ''; display: inline-block; width: 14px; height: 14px;
  border-radius: 3px; border: 1px solid var(--border);
}
.leg-blank::before   { background: #f8fafc; }
.leg-empty::before   { background: #f1f5f9; border-color: var(--border2); }
.leg-filled::before  { background: var(--accent-lt); border-color: #93c5fd; }
.leg-current::before { background: #fef9c3; border-color: #fbbf24; }
.leg-source::before  { background: #fdf4ff; border-color: #d8b4fe; }

/* ═══════════════════════════════════════
   CYK TABLE LAYOUT
═══════════════════════════════════════ */
.cyk-layout {
  display: grid; grid-template-columns: 1fr 300px;
  gap: 18px; align-items: start;
}
.cyk-table-scroll { overflow-x: auto; }

.cyk-tbl { border-collapse: separate; border-spacing: 5px; }
.cyk-tbl th {
  font-family: var(--mono); font-size: 11px; color: var(--text3);
  padding: 3px 6px; text-align: center; font-weight: 600;
}
.cyk-tbl td.row-label {
  font-family: var(--mono); font-size: 11px; color: var(--text3);
  padding: 3px 8px; white-space: nowrap; text-align: right;
}

.cyk-cell {
  min-width: 70px; width: 70px;
  min-height: 66px; height: auto; padding: 8px 4px;
  border-radius: 6px; border: 1px solid var(--border);
  background: #f8fafc; text-align: center; vertical-align: middle;
  position: relative;
  transition: background 0.18s, border-color 0.18s, box-shadow 0.18s;
  cursor: default;
}
.cyk-cell.c-blank    { background: #f8fafc; border-color: var(--border); }
.cyk-cell.c-inactive { background: transparent; border: none; }
.cyk-cell.c-empty    { background: #f1f5f9; border-color: var(--border2); }
.cyk-cell.c-filled   { background: var(--accent-lt); border-color: #93c5fd; }
.cyk-cell.c-current  {
  background: #fef9c3; border-color: #fbbf24;
  box-shadow: 0 0 0 2px #fbbf24, 0 0 12px rgba(251,191,36,0.2); z-index: 1;
}
.cyk-cell.c-source   { background: #fdf4ff; border-color: #d8b4fe; box-shadow: 0 0 0 1px #d8b4fe; }
.cyk-cell.c-accept   {
  background: var(--success-lt) !important; border-color: var(--success) !important;
  box-shadow: 0 0 0 2px var(--success) !important;
}

.cell-inner {
  display: flex; flex-wrap: wrap; align-items: center; justify-content: center;
  gap: 2px; width: 100%; min-height: 40px;
  padding: 5px; font-family: var(--mono); font-size: 11px;
}
.cell-empty-sym { font-family: var(--mono); font-size: 15px; color: var(--text3); }
.cell-nt {
  font-family: var(--mono); font-size: 11px; font-weight: 700;
  padding: 1px 5px; border-radius: 3px;
  background: #dbeafe; color: var(--accent);
}
.cell-nt.is-start { background: #dcfce7; color: var(--success); }
.cell-coord {
  position: absolute; top: 2px; left: 3px;
  font-size: 8px; font-family: var(--mono); color: var(--text3); line-height: 1;
}
.str-cell {
  font-family: var(--mono); font-size: 14px; font-weight: 700;
  color: var(--text); text-align: center; padding: 6px;
  background: #f1f5f9; border-radius: 5px; border: 1px solid var(--border);
}

/* ═══════════════════════════════════════
   RIGHT PANEL
═══════════════════════════════════════ */
.cyk-right-panel { display: flex; flex-direction: column; gap: 14px; }
.rpanel-section  { border: 1px solid var(--border); border-radius: var(--radius-sm); overflow: hidden; }
.rpanel-title {
  padding: 8px 12px; font-size: 11px; font-weight: 700;
  text-transform: uppercase; letter-spacing: 0.6px;
  color: var(--text3); background: #f8fafc;
  border-bottom: 1px solid var(--border);
  display: flex; align-items: center; gap: 5px;
}
.rpanel-body {
  padding: 14px; font-size: 13px; color: var(--text2);
  line-height: 1.75; min-height: 80px;
  word-break: break-word; overflow-wrap: break-word;
}
.rpanel-log {
  max-height: 240px; overflow-y: auto; padding: 8px;
  display: flex; flex-direction: column; gap: 5px;
}
.log-entry {
  padding: 6px 9px; border-radius: 4px; background: #f8fafc;
  border-left: 3px solid var(--border2); font-size: 11.5px;
  color: var(--text2); line-height: 1.5;
  font-family: var(--mono);
}
.log-entry.le-match { border-color: var(--success); background: var(--success-lt); color: var(--success); }
.log-entry.le-info  { border-color: var(--accent); background: var(--accent-lt); }
.log-entry.le-empty { border-color: var(--text3); color: var(--text3); }

/* Explanation sub-elements */
.expl-section {
  margin-bottom: 10px;
  padding-bottom: 10px;
  border-bottom: 1px dashed var(--border);
}
.expl-section:last-child { margin-bottom: 0; padding-bottom: 0; border-bottom: none; }
.expl-label {
  font-size: 10px; font-weight: 700; text-transform: uppercase;
  letter-spacing: 0.5px; color: var(--text3); margin-bottom: 4px;
}
.expl-rule-try {
  font-family: var(--mono); font-size: 11.5px;
  padding: 3px 7px; border-radius: 3px;
  background: #f1f5f9; color: var(--text2);
  display: inline-block; margin: 2px 0;
}
.expl-rule-match {
  font-family: var(--mono); font-size: 11.5px;
  padding: 3px 7px; border-radius: 3px;
  background: var(--success-lt); color: var(--success);
  border: 1px solid var(--success-bd);
  display: inline-block; margin: 2px 0; font-weight: 600;
}
.expl-rule-fail {
  font-family: var(--mono); font-size: 11.5px;
  padding: 3px 7px; border-radius: 3px;
  background: #f8fafc; color: var(--text3);
  display: inline-block; margin: 2px 0;
}

/* ═══════════════════════════════════════
   RESULT
═══════════════════════════════════════ */
.result-banner {
  display: flex; align-items: center; gap: 18px;
  padding: 20px 24px; border-radius: var(--radius-sm); margin-bottom: 22px;
}
.result-banner.accepted { background: var(--success-lt); border: 1.5px solid var(--success-bd); }
.result-banner.rejected { background: var(--danger-lt);  border: 1.5px solid var(--danger-bd); }
.rb-icon { display: flex; align-items: center; flex-shrink: 0; }
.rb-title { font-size: 19px; font-weight: 700; margin-bottom: 3px; }
.result-banner.accepted .rb-title { color: var(--success); }
.result-banner.rejected .rb-title { color: var(--danger); }
.rb-sub { font-size: 13px; color: var(--text2); }
.rb-sub code { font-family: var(--mono); }

.result-tab-bar { display: flex; gap: 3px; border-bottom: 2px solid var(--border); margin-bottom: 16px; }
.rtab {
  padding: 8px 18px; border: none; background: transparent;
  font-family: var(--sans); font-size: 13px; font-weight: 600; color: var(--text3);
  cursor: pointer; border-bottom: 2px solid transparent; margin-bottom: -2px; transition: var(--tr);
}
.rtab:hover { color: var(--text2); }
.rtab.active { color: var(--accent); border-bottom-color: var(--accent); }
.rtab-content { display: none; }
.rtab-content.active { display: block; animation: fadeIn 0.15s ease; }

/* Parse Tree */
.parse-tree-wrap {
  background: #f8fafc; border: 1px solid var(--border);
  border-radius: var(--radius-sm); padding: 20px; min-height: 160px;
  overflow-x: auto; text-align: center;
}
.pt-node-circle { fill: #fff; stroke: var(--accent); stroke-width: 2; }
.pt-node-circle.pt-terminal { stroke: var(--success); }
.pt-node-text { font-family: var(--mono); font-size: 12px; fill: var(--text); text-anchor: middle; dominant-baseline: central; }
.pt-edge { stroke: var(--border2); stroke-width: 1.5; }

/* Summary */
#tbl-summary-inner, #rules-used-inner { font-size: 13.5px; }
.summary-stats { display: flex; gap: 12px; flex-wrap: wrap; margin-bottom: 18px; }
.stat-box {
  flex: 1; min-width: 110px; border: 1px solid var(--border);
  border-radius: var(--radius-sm); padding: 14px; text-align: center; background: #f8fafc;
}
.stat-val { font-family: var(--mono); font-size: 22px; font-weight: 700; color: var(--accent); }
.stat-lbl { font-size: 11px; color: var(--text3); margin-top: 2px; text-transform: uppercase; letter-spacing: 0.4px; }

.summary-tbl { width: 100%; border-collapse: collapse; font-size: 12.5px; }
.summary-tbl th {
  text-align: left; padding: 8px 12px; background: #f8fafc;
  border: 1px solid var(--border); font-size: 11px;
  text-transform: uppercase; letter-spacing: 0.4px; color: var(--text3);
}
.summary-tbl td { padding: 7px 12px; border: 1px solid var(--border); font-family: var(--mono); font-size: 12px; }
.summary-tbl td.has-nt { color: var(--accent); font-weight: 600; }
.summary-tbl td.no-nt  { color: var(--text3); }

.rules-used-list { display: flex; flex-direction: column; gap: 7px; }
.ru-item {
  display: flex; align-items: center; gap: 10px;
  padding: 9px 13px; background: #f8fafc;
  border: 1px solid var(--border); border-radius: var(--radius-sm);
  font-family: var(--mono); font-size: 13px;
}
.ru-lhs  { color: #1d4ed8; font-weight: 700; }
.ru-arr  { color: var(--text3); }
.ru-rhs  { color: var(--text); }
.ru-type { margin-left: auto; font-size: 10px; background: var(--bg); border: 1px solid var(--border); border-radius: 3px; padding: 2px 6px; color: var(--text3); }

/* ═══════════════════════════════════════
   FOOTER
═══════════════════════════════════════ */
.app-footer {
  text-align: center; padding: 18px; font-size: 12px;
  color: var(--text3); border-top: 1px solid var(--border); background: var(--surface);
}

/* ═══════════════════════════════════════
   SCROLLBAR
═══════════════════════════════════════ */
::-webkit-scrollbar { width: 5px; height: 5px; }
::-webkit-scrollbar-track { background: transparent; }
::-webkit-scrollbar-thumb { background: var(--muted); border-radius: 3px; }

/* ═══════════════════════════════════════
   RESPONSIVE
═══════════════════════════════════════ */
@media (max-width: 860px) {
  .cyk-layout { grid-template-columns: 1fr; }
  .cnf-forms  { grid-template-columns: 1fr; }
}
@media (max-width: 780px) {
  .before-after { grid-template-columns: 1fr; }
  .ba-arrow { transform: rotate(90deg); display: block; text-align: center; padding: 4px 0; }
  .header-inner { flex-direction: column; height: auto; padding: 12px 16px; gap: 10px; }
  .tab-bar { width: 100%; }
  .tab-btn { flex: 1; text-align: center; justify-content: center; padding: 8px 10px; font-size: 12.5px; }
  .panel-container { padding: 16px 14px 40px; }
  .card { padding: 18px 16px; }
  .rule-check-item { grid-template-columns: 1fr 1fr 30px; }
  .tab-intro { flex-direction: column; }
}
@media (max-width: 500px) {
  .summary-stats { flex-direction: column; }
  .string-row { flex-direction: column; }
  .string-input { width: 100%; }
}