/* ─── VIEWS ─── */
.view-container {
  flex: 1;
  display: flex;
  overflow: hidden;
}

/* Build View */
#v-build {
  flex: 1;
  display: flex;
  overflow: hidden;
}

.canvas-area {
  flex: 1;
  position: relative;
  overflow: hidden;
  background: var(--bg);
  cursor: default;
}

.canvas-area::before {
  content: '';
  position: absolute;
  inset: 0;
  pointer-events: none;
  background-image: linear-gradient(var(--border) 1px, transparent 1px), linear-gradient(90deg, var(--border) 1px, transparent 1px);
  background-size: calc(40px * var(--cam-z, 1)) calc(40px * var(--cam-z, 1));
  background-position: var(--cam-x, 0px) var(--cam-y, 0px);
  opacity: .35;
}

.canvas-area::after {
  content: '';
  position: absolute;
  inset: 0;
  pointer-events: none;
  background: radial-gradient(ellipse at 30% 25%, var(--canvas-glow-a) 0, transparent 60%),
    radial-gradient(ellipse at 70% 75%, var(--canvas-glow-b) 0, transparent 60%);
}

#svgCanvas {
  position: absolute;
  overflow: visible;
  width: 100%;
  height: 100%;
  top: 0;
  left: 0;
}

.canvas-hint {
  position: absolute;
  bottom: 12px;
  left: 50%;
  transform: translateX(-50%);
  font-family: var(--mono);
  font-size: .6rem;
  color: var(--text3);
  pointer-events: none;
  white-space: nowrap;
  letter-spacing: .07em;
}

.zoom-indicator {
  position: absolute;
  bottom: 12px;
  right: 12px;
  font-family: var(--mono);
  font-size: .62rem;
  color: var(--text3);
  padding: 3px 8px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 5px;
}

/* Right Panel */
.rpanel {
  width: var(--rpanel-width, 288px);
  min-width: var(--rpanel-width, 288px);
  background: var(--bg2);
  border-left: 1px solid var(--border);
  overflow: visible;
  display: flex;
  flex-direction: column;
  transition: width var(--transition-base), min-width var(--transition-base);
  position: relative;
  z-index: 10;
}

.rpanel-content {
  flex: 1;
  display: flex;
  flex-direction: column;
  overflow-y: auto;
  overflow-x: hidden;
}

.rpanel.unpinned {
  position: absolute;
  right: 0;
  top: 0;
  height: 100%;
  z-index: 100;
  box-shadow: var(--panel-shadow-right);
  transition-delay: 0.15s;
}

.rpanel.unpinned:not(:hover) {
  width: 0;
  min-width: 0;
  transition-delay: 0.4s;
}

.rpanel.unpinned> :not(style) {
  transition: opacity var(--transition-base), visibility var(--transition-base);
  transition-delay: 0.15s;
}

.rpanel.unpinned:not(:hover)> :not(style) {
  opacity: 0;
  visibility: hidden;
  pointer-events: none;
  transition-delay: 0.4s;
}

.rpanel.unpinned::before {
  content: '';
  position: absolute;
  top: 0;
  bottom: 0;
  left: -15px;
  width: 15px;
  cursor: default;
  z-index: 101;
}

.rpanel .panel-footer {
  justify-content: flex-start;
}

.rpanel.unpinned .pin-btn svg {
  transform: rotate(45deg);
}

.rp-sec {
  padding: 12px 14px;
  border-bottom: 1px solid var(--border);
}

.rp-title {
  font-family: var(--sans);
  font-size: .95rem;
  font-weight: 600;
  color: var(--text);
  margin-bottom: 8px;
  display: flex;
  align-items: center;
  gap: 8px;
}

.badge {
  font-family: var(--sans);
  font-size: .65rem;
  font-weight: 600;
  padding: 2px 8px;
  border-radius: 20px;
  letter-spacing: .04em;
}

.bd-dfa {
  background: var(--accent-soft);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-nfa {
  background: var(--purple-soft);
  color: var(--purple);
  border: 1px solid var(--purple-border);
}

.bd-2dfa {
  background: var(--accent-soft);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-2nfa {
  background: var(--purple-soft);
  color: var(--purple);
  border: 1px solid var(--purple-border);
}

.bd-pda {
  background: var(--green-soft);
  color: var(--green);
  border: 1px solid var(--green-border);
}

.bd-npda {
  background: rgba(79, 195, 247, .12);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-qa {
  background: var(--green-soft);
  color: var(--green);
  border: 1px solid var(--green-border);
}

.bd-counter {
  background: var(--orange-soft);
  color: var(--orange);
  border: 1px solid var(--orange-border);
}

.bd-2pda {
  background: var(--red-soft);
  color: var(--red);
  border: 1px solid var(--red-border);
}

.bd-tm {
  background: var(--orange-soft);
  color: var(--orange);
  border: 1px solid var(--orange-border);
}

.bd-ndtm {
  background: var(--orange-soft);
  color: var(--orange);
  border: 1px solid var(--orange-border);
}

.bd-lba {
  background: rgba(79, 195, 247, .12);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-itm {
  background: var(--red-soft);
  color: var(--red);
  border: 1px solid var(--red-border);
}

.bd-enfa {
  background: var(--purple-soft);
  color: var(--purple);
  border: 1px solid var(--purple-border);
}

.bd-moore {
  background: var(--green-soft);
  color: var(--green);
  border: 1px solid var(--green-border);
}

.bd-mealy {
  background: var(--accent-soft);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-fst {
  background: var(--accent-soft);
  color: var(--accent);
  border: 1px solid var(--accent-border);
}

.bd-mtm {
  background: var(--red-soft);
  color: var(--red);
  border: 1px solid var(--red-border);
}

.sim-tracker {
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 7px;
  padding: 10px 12px;
  margin-top: 14px;
  margin-bottom: 12px;
}

.tracker-header {
  font-size: .6rem;
  color: var(--text3);
  font-family: var(--mono);
  margin-bottom: 6px;
  padding-bottom: 4px;
  border-bottom: 1px solid var(--border);
  display: flex;
  flex-wrap: wrap;
  gap: 2px 10px;
}

.tracker-val-st {
  color: var(--accent);
}

.tracker-val-sym {
  color: var(--gold);
}

.mtm-tape-row {
  display: flex;
  align-items: center;
  gap: 6px;
  margin-bottom: 4px;
}

.tape-label {
  font-family: var(--mono);
  font-size: .6rem;
  color: var(--accent);
  min-width: 22px;
  text-align: right;
}

.tape-cells {
  display: flex;
  flex: 1;
  min-width: 0;
  overflow-x: auto;
  gap: 1px;
}

.code-box {
  margin-top: 6px;
  font-family: var(--mono);
  font-size: .75rem;
  padding: 8px 10px;
  background: var(--bg3);
  border: 1px solid var(--border2);
  border-radius: 6px;
  color: var(--gold);
  min-height: 28px;
  line-height: 1.5;
  max-width: 100%;
  max-height: 300px;
  overflow-y: auto;
  overflow-x: auto;
}

.code-box .katex-display {
  margin: 0;
  text-align: left;
}

.curr-char-hl {
  background: var(--accent-soft-strong);
  color: var(--accent);
  border-radius: 4px;
  padding: 0 4px;
  margin: 0 -2px;
  border: 1px solid var(--accent-border);
  box-shadow: var(--accent-glow);
  transition: all var(--transition-base);
}

.curr-char-hl.accept {
  background: var(--green-soft);
  color: var(--green);
  border-color: var(--green-border);
  box-shadow: 0 0 12px var(--green-border);
}

.curr-char-hl.reject {
  background: var(--red-soft);
  color: var(--red);
  border-color: var(--red-border);
  box-shadow: 0 0 12px var(--red-border);
}

.def-box {
  padding: 8px 10px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text2);
  margin-top: 6px;
  font-size: .8rem;
  max-width: 100%;
  max-height: 350px;
  overflow-y: auto;
  overflow-x: auto;
}

.def-box .katex-display {
  margin: 0;
  text-align: left;
}

/* Simulation */
.sim-row {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-top: 6px;
  margin-bottom: 14px;
}

.run-btn {
  padding: 7px 14px;
  background: var(--accent);
  border: none;
  color: var(--on-accent);
  font-family: var(--sans);
  font-size: .8rem;
  letter-spacing: .02em;
  border-radius: 6px;
  cursor: pointer;
  font-weight: 600;
  transition: all .15s;
  white-space: nowrap;
}

.run-btn:hover {
  background: var(--accent);
  box-shadow: var(--accent-glow);
}

.sctrl {
  display: flex;
  gap: 6px;
  padding-top: 12px;
  border-top: 1px solid var(--border);
  margin-top: 12px;
}

.sbtn {
  flex: 1;
  height: 34px;
  background: var(--surface);
  border: 1px solid var(--border2);
  color: var(--text2);
  font-family: var(--sans);
  font-weight: 600;
  font-size: .7rem;
  border-radius: 6px;
  cursor: pointer;
  transition: all var(--transition-fast);
  display: flex;
  align-items: center;
  justify-content: center;
}

.sbtn:hover {
  background: var(--surface3);
  color: var(--text);
  border-color: var(--accent-border);
}

.auto-btn {
  background: var(--surface);
  color: var(--accent);
}

.auto-btn.playing {
  background: var(--red-soft);
  color: var(--red);
  border-color: var(--red-border);
}

.trace-log {
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 10px 12px;
  margin-top: 14px;
  overflow-y: auto;
  font-family: var(--mono);
  font-size: .75rem;
  color: var(--text2);
  line-height: 1.5;
  max-height: 250px;
  scroll-behavior: smooth;
}

.t-ok {
  color: var(--green);
}

.t-err {
  color: var(--red);
}

.t-step {
  color: var(--accent);
}

.tape-wrap {
  display: flex;
  gap: 2px;
  flex-wrap: nowrap;
  overflow-x: auto;
  padding: 7px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 7px;
  min-height: 38px;
  margin-bottom: 7px;
}

.tc {
  min-width: 26px;
  height: 26px;
  padding: 0 4px;
  flex-shrink: 0;
  border: 1px solid var(--border2);
  border-radius: 3px;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--mono);
  font-size: .72rem;
  background: var(--surface);
  transition: all .2s;
  box-sizing: border-box;
}

.tc.head {
  background: rgba(79, 195, 247, .2);
  border-color: var(--accent);
  color: var(--accent);
}

.tc.head.accept {
  background: var(--green-soft);
  border-color: var(--green);
  color: var(--green);
  box-shadow: 0 0 10px var(--green-border);
}

.tc.head.reject {
  background: var(--red-soft);
  border-color: var(--red);
  color: var(--red);
  box-shadow: 0 0 10px var(--red-border);
}

/* Batch test */
.batch-in {
  width: 100%;
  background: var(--bg3);
  border: 1px solid var(--border2);
  color: var(--text);
  font-family: var(--mono);
  font-size: .72rem;
  padding: 7px 9px;
  border-radius: 6px;
  outline: none;
  resize: vertical;
  min-height: 56px;
  max-height: 100px;
  margin-bottom: 6px;
}

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

.batch-result {
  font-family: var(--mono);
  font-size: .7rem;
  line-height: 1.5;
  margin-top: 6px;
  background: var(--bg3);
  padding: 6px 8px;
  border-radius: 6px;
  border: 1px solid var(--border);
  max-height: 160px;
  overflow-y: auto;
}

.br-ok {
  color: var(--green);
}

.br-err {
  color: var(--red);
}

/* ─── ALGORITHMS VIEW ─── */
#v-algo {
  flex: 1;
  display: flex;
  overflow: hidden;
}

.algo-nav {
  width: 200px;
  min-width: 200px;
  background: var(--bg2);
  border-right: 1px solid var(--border);
  overflow-y: auto;
  padding: 0;
  display: flex;
  flex-direction: column;
}

.algo-item {
  padding: 9px 16px;
  font-family: var(--mono);
  font-size: .8rem;
  cursor: pointer;
  border-left: 2px solid transparent;
  transition: all .12s;
  color: var(--text2);
}

.algo-item:hover {
  background: var(--surface);
  color: var(--text);
  font-family: var(--mono);
}

.algo-item.active {
  border-left-color: var(--accent);
  background: var(--surface);
  color: var(--accent);
  font-family: var(--mono);
}

.algo-grp {
  font-family: var(--mono);
  font-size: .58rem;
  letter-spacing: .12em;
  text-transform: uppercase;
  color: var(--text3);
  padding: 10px 16px 4px;
}

.algo-content {
  flex: 1;
  overflow-y: auto;
  padding: 20px 24px;
}

.algo-title {
  font-family: var(--sans);
  font-size: 1.4rem;
  font-weight: 600;
  margin-bottom: 4px;
}

.algo-sub {
  font-family: var(--mono);
  font-size: .7rem;
  color: var(--text2);
  margin-bottom: 20px;
}

.card {
  background: var(--surface);
  border: 1px solid var(--border2);
  border-radius: var(--r);
  padding: 16px;
  margin-bottom: 14px;
  font-family: var(--mono);
}

.card-title {
  font-family: var(--mono);
  font-size: .7rem;
  letter-spacing: .08em;
  color: var(--text2);
  margin-bottom: 10px;
  text-transform: uppercase;
}

.result-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: .72rem;
}

.result-table th {
  background: var(--surface2);
  color: var(--text2);
  padding: 6px 10px;
  text-align: center;
  border: 1px solid var(--border2);
}

.result-table td {
  padding: 6px 10px;
  text-align: center;
  border: 1px solid var(--border);
  color: var(--text);
}

.result-table td.start-cell {
  color: var(--green);
}

.result-table td.acc-cell {
  color: var(--gold);
}

.result-table td.dead-cell {
  color: var(--text3);
}

.result-table td.marked {
  background: rgba(255, 107, 107, .12);
  color: var(--red);
}

.result-table td.unmarked {
  background: rgba(105, 240, 174, .08);
  color: var(--green);
}

.step-list {
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.step-item {
  display: flex;
  gap: 10px;
  align-items: flex-start;
  padding: 8px 12px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
}

.step-num {
  font-family: var(--mono);
  font-size: .65rem;
  color: var(--text3);
  min-width: 24px;
}

.step-text {
  font-family: var(--mono);
  font-size: .72rem;
  color: var(--text);
  line-height: 1.6;
}

.step-text em {
  color: var(--accent);
}

.step-sub {
  display: block;
  font-size: .63rem;
  color: var(--text3);
  margin-top: 4px;
  padding-left: 8px;
  line-height: 1.65;
  border-left: 2px solid var(--border2);
}

.step-sub em {
  color: var(--accent);
}

.step-acc {
  color: var(--green);
  font-weight: 500;
}

.step-dead {
  color: var(--red);
  opacity: .7;
}

.step-phase {
  color: var(--accent);
  font-weight: 600;
  letter-spacing: .04em;
}

.algo-btn {
  padding: 7px 16px;
  background: var(--accent);
  border: none;
  color: var(--on-accent);
  font-family: var(--mono);
  font-size: .7rem;
  border-radius: 6px;
  cursor: pointer;
  font-weight: 500;
  transition: all .15s;
  margin-right: 8px;
}

.algo-btn:hover {
  background: var(--accent);
}

.algo-btn.sec {
  background: var(--surface2);
  color: var(--text2);
  border: 1px solid var(--border2);
}

.algo-btn.sec:hover {
  background: var(--surface3);
  color: var(--text);
}

.regex-input-wrap {
  display: flex;
  gap: 6px;
  margin-bottom: 14px;
}

.regex-inp {
  flex: 1;
}

.info-box {
  background: rgba(79, 195, 247, .06);
  border: 1px solid rgba(79, 195, 247, .2);
  border-radius: 7px;
  padding: 10px 13px;
  font-family: var(--mono);
  font-size: .7rem;
  color: var(--text2);
  line-height: 1.75;
  margin-bottom: 12px;
}

.info-box em {
  color: var(--accent);
}

.subset-table-wrap {
  overflow-x: auto;
  margin-top: 8px;
}

.nfa-result-states {
  display: flex;
  flex-wrap: wrap;
  gap: 5px;
  margin-top: 8px;
}

.state-pill {
  font-family: var(--mono);
  font-size: .68rem;
  padding: 3px 10px;
  border-radius: 20px;
  border: 1px solid var(--border2);
  background: var(--surface);
  color: var(--text);
}

.state-pill.start {
  border-color: rgba(105, 240, 174, .4);
  color: var(--green);
}

.state-pill.acc {
  border-color: rgba(255, 213, 79, .4);
  color: var(--gold);
}

.state-pill.both {
  border-color: rgba(79, 195, 247, .4);
  color: var(--accent);
}

.min-table-wrap {
  overflow-x: auto;
  margin-top: 8px;
}

.min-table {
  width: auto;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: .68rem;
}

.min-table th,
.min-table td {
  border: 1px solid var(--border);
  padding: 5px 8px;
  text-align: center;
}

.min-table th {
  background: var(--surface2);
  color: var(--text2);
}

.min-table .X {
  color: var(--red);
  font-weight: 700;
}

.min-table .same {
  color: var(--green);
}

/* ─── GRAMMAR VIEW ─── */
#v-grammar {
  flex: 1;
  display: flex;
  overflow: hidden;
}

.gram-left {
  width: 300px;
  min-width: 300px;
  background: var(--bg2);
  border-right: 1px solid var(--border);
  overflow-y: auto;
  display: flex;
  flex-direction: column;
}

.gram-right {
  flex: 1;
  overflow-y: auto;
  padding: 20px 24px;
}

.prod-list {
  display: flex;
  flex-direction: column;
  gap: 4px;
  max-height: 220px;
  overflow-y: auto;
  margin-bottom: 8px;
}

.prod-item {
  display: flex;
  align-items: center;
  gap: 6px;
  padding: 6px 10px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 6px;
  font-family: var(--mono);
  font-size: .78rem;
}

.prod-arrow {
  color: var(--accent);
}

.prod-rhs {
  color: var(--text);
  flex: 1;
}

.prod-del {
  cursor: pointer;
  color: var(--text3);
  margin-left: auto;
  font-size: .8rem;
}

.prod-del:hover {
  color: var(--red);
}

.cyk-table {
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: .72rem;
  margin-top: 8px;
}

.cyk-cell {
  border: 1px solid var(--border2);
  padding: 6px 10px;
  text-align: center;
  min-width: 56px;
  background: var(--surface);
  color: var(--text);
  transition: background .2s;
}

.cyk-cell.has-start {
  background: rgba(105, 240, 174, .12);
  color: var(--green);
}

.cyk-cell.empty-cell {
  color: var(--text3);
}

.cyk-cell.header {
  background: var(--surface2);
  color: var(--accent);
}

.deriv-step {
  font-family: var(--mono);
  font-size: .78rem;
  padding: 6px 10px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
  line-height: 1.6;
  margin-bottom: 4px;
}

.deriv-step .nt {
  color: var(--accent);
}

.deriv-step .term {
  color: var(--gold);
}

.cnf-step {
  font-family: var(--mono);
  font-size: .7rem;
  padding: 8px 12px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
  margin-bottom: 6px;
}

.cnf-step .lbl {
  color: var(--purple);
  margin-right: 8px;
}

.grammar-display {
  font-family: var(--mono);
  font-size: .78rem;
  line-height: 2;
  padding: 12px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 7px;
  margin-bottom: 12px;
}

.grammar-display .nt {
  color: var(--accent);
}

.grammar-display .t {
  color: var(--gold);
}

.grammar-display .eps {
  color: var(--text3);
}

/* ─── THEORY VIEW ─── */
#v-theory {
  flex: 1;
  overflow: hidden;
}

.theory-grid {
  display: flex;
  flex-direction: column;
  gap: 20px;
  margin-bottom: 8px;
}

.theory-card {
  background: var(--surface);
  border: 1px solid var(--border2);
  border-radius: var(--r);
  padding: 24px 26px;
  position: relative;
}

.theory-card::before {
  content: '';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  height: 2px;
  background: var(--accent-c, var(--accent));
  opacity: .6;
}

.tc-title {
  font-family: var(--sans);
  font-size: 1.12rem;
  font-weight: 600;
  margin-bottom: 5px;
}

.tc-sub {
  font-family: var(--mono);
  font-size: .68rem;
  color: var(--text3);
  letter-spacing: .10em;
  text-transform: uppercase;
  margin-bottom: 18px;
  padding-bottom: 12px;
  border-bottom: 1px solid var(--border);
}

.tc-body {
  font-family: var(--mono);
  font-size: .76rem;
  color: var(--text2);
  line-height: 2.0;
}

.tc-body b {
  color: var(--text);
}

.tc-body em {
  color: var(--accent);
}

.tc-body .highlight {
  color: var(--gold);
}

.theorem-box {
  background: var(--bg3);
  border: 1px solid var(--border);
  border-left: 2px solid var(--accent);
  border-radius: 0 6px 6px 0;
  padding: 8px 12px;
  margin-top: 8px;
  font-family: var(--mono);
  font-size: .68rem;
  color: var(--text2);
  line-height: 1.7;
}

.theorem-box b {
  color: var(--accent);
}

.hierarchy-wrap {
  background: var(--surface);
  border: 1px solid var(--border2);
  border-radius: var(--r);
  padding: 20px;
  margin-bottom: 16px;
}

.hierarchy-title {
  font-family: var(--sans);
  font-size: 1.05rem;
  font-weight: 600;
  margin-bottom: 16px;
}

.hierarchy-svg-wrap {
  display: flex;
  justify-content: center;
}

/* Pumping lemma interactive */
.pump-section {
  background: var(--surface);
  border: 1px solid var(--border2);
  border-radius: var(--r);
  padding: 16px;
  margin-bottom: 14px;
}

.pump-title {
  font-family: var(--sans);
  font-size: 1rem;
  font-weight: 600;
  margin-bottom: 10px;
}

.pump-row {
  display: flex;
  gap: 8px;
  align-items: center;
  margin-bottom: 8px;
  flex-wrap: wrap;
}

.pump-lbl {
  font-family: var(--mono);
  font-size: .7rem;
  color: var(--text2);
  min-width: 80px;
}

.pump-val {
  font-family: var(--mono);
  font-size: .78rem;
  color: var(--text);
  padding: 4px 10px;
  background: var(--bg3);
  border: 1px solid var(--border2);
  border-radius: 5px;
  flex: 1;
  min-width: 80px;
}

.pump-string-vis {
  display: flex;
  align-items: center;
  gap: 3px;
  flex-wrap: wrap;
  margin: 10px 0;
  padding: 10px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 7px;
  min-height: 44px;
}

.pump-char {
  width: 26px;
  height: 26px;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--mono);
  font-size: .78rem;
  border-radius: 4px;
  border: 1px solid var(--border2);
}

.pump-char.x-part {
  background: rgba(79, 195, 247, .12);
  border-color: rgba(79, 195, 247, .3);
  color: var(--accent);
}

.pump-char.y-part {
  background: rgba(255, 213, 79, .12);
  border-color: rgba(255, 213, 79, .3);
  color: var(--gold);
}

.pump-char.z-part {
  background: rgba(105, 240, 174, .1);
  border-color: rgba(105, 240, 174, .3);
  color: var(--green);
}

.pump-result {
  font-family: var(--mono);
  font-size: .75rem;
  padding: 8px 12px;
  border-radius: 6px;
  margin-top: 8px;
}

.pump-result.ok {
  background: rgba(105, 240, 174, .1);
  color: var(--green);
  border: 1px solid rgba(105, 240, 174, .3);
}

.pump-result.fail {
  background: rgba(255, 107, 107, .1);
  color: var(--red);
  border: 1px solid rgba(255, 107, 107, .3);
}

.closure-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 8px;
  margin-top: 8px;
}

.closure-item {
  padding: 8px 10px;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 6px;
  text-align: center;
  font-family: var(--mono);
  font-size: .68rem;
  cursor: pointer;
  transition: all .15s;
}

.closure-item:hover {
  background: var(--surface2);
  border-color: var(--border2);
}

.closure-item.active {
  background: rgba(105, 240, 174, .1);
  border-color: rgba(105, 240, 174, .35);
  color: var(--green);
}

.closure-item.active::before {
  content: '✓ ';
  color: var(--green);
}

.closure-item.inactive {
  background: rgba(255, 107, 107, .05);
  border-color: rgba(255, 107, 107, .2);
  color: var(--red);
}

.closure-item.inactive::before {
  content: '✗ ';
  color: var(--red);
}

/* ── Theory view navigation ── */
.theory-nav {
  display: flex;
  flex-direction: column;
  overflow-y: auto;
}

.theory-nav-header {
  padding: 18px 14px 12px;
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
}

.theory-nav-title {
  font-family: var(--sans);
  font-size: 1.05rem;
  font-weight: 600;
  margin-bottom: 4px;
}

.theory-nav-subtitle {
  font-family: var(--mono);
  font-size: .6rem;
  color: var(--text3);
  line-height: 1.6;
}

.theory-nav-group {
  font-family: var(--mono);
  font-size: .58rem;
  letter-spacing: .1em;
  text-transform: uppercase;
  color: var(--text3);
  padding: 14px 14px 4px;
}

.theory-nav-link {
  display: block;
  font-family: var(--mono);
  font-size: .72rem;
  color: var(--text2);
  padding: 6px 14px 6px 16px;
  cursor: pointer;
  text-decoration: none;
  border-left: 2px solid transparent;
  transition: all var(--transition-fast);
}

.theory-nav-link:hover {
  background: var(--surface);
  color: var(--text);
  border-left-color: var(--border2);
}

.theory-nav-link.active {
  background: rgba(79, 195, 247, .08);
  color: var(--accent);
  border-left-color: var(--accent);
}

/* ── Theory content sections ── */
.theory-section {
  margin-bottom: 36px;
  scroll-margin-top: 20px;
}

.theory-section-title {
  font-family: var(--sans);
  font-size: 1.15rem;
  font-weight: 600;
  margin-bottom: 4px;
  display: flex;
  align-items: center;
  gap: 12px;
  color: var(--text);
}

.theory-section-title::after {
  content: '';
  flex: 1;
  height: 1px;
  background: var(--border);
}

.theory-section-sub {
  font-family: var(--mono);
  font-size: .65rem;
  color: var(--text3);
  margin-bottom: 14px;
}

.hierarchy-section {
  background: var(--surface);
  border: 1px solid var(--border2);
  border-radius: var(--r);
  padding: 16px 20px 8px;
}

.theory-card {
  transition: border-color var(--transition-fast), box-shadow var(--transition-fast);
}

.theory-card:hover {
  border-color: var(--border2);
  box-shadow: 0 2px 12px rgba(0, 0, 0, .28);
}

@media (max-width: 900px) {
  .app-body,
  .view-container,
  #v-build,
  #v-algo,
  #v-grammar,
  #v-theory,
  .algo-content,
  .gram-right {
    min-height: 0;
    min-width: 0;
  }

  .app-body,
  #v-build,
  #v-algo,
  #v-grammar,
  #v-theory {
    flex-direction: column;
  }

  .view-container {
    overflow: hidden;
  }

  .canvas-area {
    min-height: 38vh;
  }

  .rpanel {
    width: 100%;
    min-width: 0;
    max-height: 34vh;
    border-left: 0;
    border-top: 1px solid var(--border);
  }

  .rpanel.unpinned,
  .rpanel.unpinned:not(:hover) {
    position: relative;
    right: auto;
    top: auto;
    height: auto;
    width: 100%;
    min-width: 0;
    box-shadow: none;
    transition-delay: 0s;
  }

  .rpanel.unpinned::before {
    display: none;
  }

  .rpanel.unpinned > :not(style),
  .rpanel.unpinned:not(:hover) > :not(style) {
    opacity: 1;
    visibility: visible;
    pointer-events: auto;
  }

  .sim-row {
    flex-wrap: wrap;
  }

  .sim-row .run-btn {
    width: 100%;
  }

  .algo-nav,
  .gram-left,
  .theory-nav {
    width: 100% !important;
    min-width: 0 !important;
    max-height: 28vh;
    border-right: 0;
    border-bottom: 1px solid var(--border);
  }

  .algo-content,
  .gram-right {
    padding: 16px;
    overflow: auto;
  }

  .regex-input-wrap {
    flex-wrap: wrap;
  }

  .regex-input-wrap > * {
    width: 100%;
  }

  .card,
  .theory-card,
  .pump-section,
  .hierarchy-section {
    padding: 14px;
  }

  .closure-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .theory-section {
    margin-bottom: 24px;
  }

  .theory-section-title {
    font-size: 1rem;
    gap: 8px;
  }

  .theory-section-sub,
  .tc-sub {
    line-height: 1.5;
  }
}

@media (max-width: 640px) {
  .canvas-area {
    min-height: 34vh;
  }

  .rpanel,
  .algo-nav,
  .gram-left,
  .theory-nav {
    max-height: 32vh;
  }

  .closure-grid {
    grid-template-columns: 1fr;
  }
}