.automata-lab-module {
  --automata-border: rgba(23, 33, 43, 0.12);
  --automata-surface: rgba(255, 255, 255, 0.86);
  --automata-muted: rgba(23, 33, 43, 0.62);
  scroll-margin-top: 92px;
}

.automata-lab-status code,
.automata-help code {
  font-size: 0.92em;
}

.automata-lab-shell {
  display: grid;
  gap: var(--space-6);
  margin: var(--space-8) 0;
}

.automata-lab-toolbar,
.automata-visual-panel,
.automata-runtime-panel,
.automata-trace-panel,
.automata-verification-panel,
.automata-source-note {
  background: var(--automata-surface);
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  box-shadow: 0 18px 45px rgba(23, 33, 43, 0.08);
}

.automata-source-note {
  margin-top: var(--space-8);
  padding: var(--space-5);
  color: var(--color-text-secondary);
  font-size: var(--text-sm);
}

.automata-lab-toolbar {
  display: grid;
  grid-template-columns: minmax(170px, 0.8fr) minmax(180px, 1fr) minmax(180px, 1.1fr) auto;
  gap: var(--space-4);
  align-items: end;
  padding: var(--space-5);
}

.automata-lab-toolbar h2 {
  align-self: center;
  margin: 0;
  color: var(--ink);
  font-family: var(--font-display);
  font-size: var(--text-2xl);
  line-height: var(--leading-tight);
}

.automata-field {
  display: grid;
  gap: var(--space-2);
}

.automata-field span,
.automata-meter span {
  color: var(--automata-muted);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 800;
  text-transform: uppercase;
}

.automata-field select,
.automata-field input {
  width: 100%;
  min-height: 44px;
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  background: #fff;
  color: var(--ink);
  font-family: var(--font-body);
  font-size: var(--text-base);
  font-weight: 700;
  padding: 0.7rem 0.8rem;
}

.automata-field select:focus,
.automata-field input:focus,
.automata-playback button:focus-visible {
  outline: 3px solid var(--color-accent-muted);
  outline-offset: 2px;
}

.automata-help {
  grid-column: 2 / 4;
  margin: 0;
  color: var(--color-text-secondary);
  font-size: var(--text-sm);
  line-height: 1.45;
}

.automata-playback {
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: var(--space-2);
}

.automata-playback button {
  appearance: none;
  min-height: 44px;
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  background: #fff;
  color: var(--ink);
  cursor: pointer;
  font-family: var(--font-body);
  font-size: var(--text-sm);
  font-weight: 800;
  padding: 0.7rem 0.9rem;
  transition: background var(--duration-fast), border-color var(--duration-fast), color var(--duration-fast), transform var(--duration-fast);
}

.automata-playback button:hover {
  border-color: var(--color-accent-muted);
  transform: translateY(-1px);
}

.automata-playback .automata-primary-action {
  background: var(--color-accent);
  border-color: var(--color-accent);
  color: #fff;
}

.automata-lab-workspace {
  display: grid;
  grid-template-columns: minmax(0, 1.45fr) minmax(300px, 0.85fr);
  gap: var(--space-6);
  align-items: stretch;
}

.automata-visual-panel,
.automata-runtime-panel {
  padding: var(--space-5);
}

.automata-panel-heading {
  display: flex;
  justify-content: space-between;
  gap: var(--space-4);
  align-items: start;
  margin-bottom: var(--space-4);
}

.automata-panel-heading h2,
.automata-runtime-panel h2,
.automata-tape h3,
.automata-stack h3 {
  margin: 0;
  color: var(--ink);
}

.automata-panel-heading p {
  max-width: 58ch;
  margin: var(--space-2) 0 0;
  color: var(--color-text-secondary);
}

.automata-source-line {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 800;
  text-transform: uppercase;
}

.automata-source-line span {
  color: var(--ink);
  text-transform: none;
}

.automata-step-counter {
  flex: 0 0 auto;
  border-radius: 999px;
  background: var(--color-accent-light);
  color: var(--color-accent-hover);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 900;
  padding: 0.45rem 0.7rem;
}

.automata-svg-frame {
  min-height: 360px;
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  background:
    linear-gradient(90deg, rgba(42, 123, 155, 0.055) 1px, transparent 1px),
    linear-gradient(0deg, rgba(42, 123, 155, 0.055) 1px, transparent 1px),
    #fff;
  background-size: 24px 24px;
  overflow: hidden;
}

.automata-svg-frame svg {
  display: block;
  width: 100%;
  height: 100%;
  min-height: 360px;
}

.automata-edge {
  fill: none;
  stroke: var(--teal);
  stroke-width: 4;
}

.automata-start-arrow {
  fill: none;
  stroke: var(--ink);
  stroke-width: 4;
}

.automata-edge-muted {
  stroke: var(--plum);
  opacity: 0.55;
}

.automata-edge-active {
  stroke: var(--vermillion);
  stroke-width: 6;
  filter: drop-shadow(0 0 6px rgba(217, 79, 48, 0.3));
}

.automata-edge-label {
  fill: var(--automata-muted);
  font-family: var(--font-mono);
  font-size: 14px;
  font-weight: 800;
}

.automata-edge-label-group {
  pointer-events: none;
}

.automata-edge-label-bg {
  fill: rgba(255, 255, 255, 0.92);
  stroke: rgba(23, 33, 43, 0.08);
  stroke-width: 1;
}

.automata-state circle {
  fill: #fff;
  stroke: var(--ink);
  stroke-width: 4;
}

.automata-state text {
  fill: var(--ink);
  font-family: var(--font-mono);
  font-size: 20px;
  font-weight: 900;
}

.automata-state-active circle:first-child {
  fill: var(--color-accent-light);
  stroke: var(--color-accent);
}

.automata-state-final circle {
  stroke: var(--forest);
}

.automata-runtime-panel {
  display: grid;
  gap: var(--space-5);
}

.automata-runtime-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: var(--space-3);
}

.automata-meter {
  min-width: 0;
  border-left: 4px solid var(--teal);
  border-radius: 8px;
  background: #fff;
  padding: var(--space-4);
  box-shadow: var(--shadow-sm);
}

.automata-meter:nth-child(2) {
  border-left-color: var(--plum);
}

.automata-meter:nth-child(3) {
  border-left-color: var(--forest);
}

.automata-meter output {
  display: block;
  margin-top: var(--space-2);
  color: var(--ink);
  font-family: var(--font-mono);
  font-size: var(--text-lg);
  font-weight: 900;
  overflow-wrap: anywhere;
}

.automata-tape,
.automata-stack {
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  background: #fff;
  padding: var(--space-4);
}

.automata-tape canvas {
  display: block;
  width: 100%;
  height: auto;
  max-height: 120px;
  margin-top: var(--space-3);
  border: 1px dashed rgba(23, 33, 43, 0.22);
  border-radius: 8px;
  background: rgba(42, 123, 155, 0.04);
}

.automata-tape-cells {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: var(--space-2);
  margin-top: var(--space-3);
}

.automata-tape-cells span {
  display: grid;
  place-items: center;
  min-height: 42px;
  border: 1px solid var(--automata-border);
  border-radius: 6px;
  font-family: var(--font-mono);
  font-weight: 900;
}

.automata-tape-cells .is-head {
  background: var(--color-accent);
  border-color: var(--color-accent);
  color: #fff;
}

.automata-stack ol {
  display: flex;
  flex-direction: column;
  gap: var(--space-2);
  max-width: 180px;
  margin: var(--space-3) 0 0;
  padding: 0;
  list-style: none;
}

.automata-stack li {
  display: grid;
  place-items: center;
  min-height: 38px;
  border: 1px solid var(--automata-border);
  border-radius: 6px;
  background: var(--color-accent-light);
  font-family: var(--font-mono);
  font-weight: 900;
}

.automata-lab-bottom {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(320px, 0.95fr);
  gap: var(--space-6);
}

.automata-trace-panel,
.automata-verification-panel {
  margin: 0;
}

.automata-trace-panel ol {
  font-size: var(--text-sm);
}

.automata-checklist {
  display: grid;
  gap: var(--space-3);
}

.automata-check {
  display: flex;
  justify-content: space-between;
  gap: var(--space-4);
  align-items: center;
  border: 1px solid var(--automata-border);
  border-radius: 8px;
  background: #fff;
  padding: var(--space-4);
}

.automata-check strong {
  color: var(--ink);
}

.automata-check span {
  flex: 0 0 auto;
  border-radius: 999px;
  background: rgba(23, 33, 43, 0.07);
  color: var(--automata-muted);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 900;
  padding: 0.35rem 0.65rem;
}

@media (max-width: 980px) {
  .automata-lab-toolbar,
  .automata-lab-workspace,
  .automata-lab-bottom {
    grid-template-columns: 1fr;
  }

  .automata-help {
    grid-column: auto;
  }

  .automata-playback {
    justify-content: flex-start;
  }
}

@media (max-width: 640px) {
  .automata-lab-toolbar,
  .automata-visual-panel,
  .automata-runtime-panel,
  .automata-trace-panel,
  .automata-verification-panel {
    padding: var(--space-4);
  }

  .automata-runtime-grid {
    grid-template-columns: 1fr;
  }

  .automata-panel-heading,
  .automata-check {
    align-items: stretch;
    flex-direction: column;
  }

  .automata-svg-frame,
  .automata-svg-frame svg {
    min-height: 280px;
  }

  .automata-playback button {
    flex: 1 1 112px;
  }
}