:root{--paper:#f6f5f1;--surface:#fffefb;--surface-2:#f0eee8;--border:#e0ddd4;--border-strong:#cfcabd;--ink:#1b1d21;--ink-soft:#565b63;--ink-faint:#8a8f98;--accent:#0f766e;--accent-soft:#d7ece9;--accent-ink:#0b5750;--active:#c2620d;--active-soft:#fbe9d2;--accept:#15803d;--accept-soft:#d8efdf;--reject:#b4232a;--reject-soft:#f6dada;--mono:ui-monospace, "SF Mono", "JetBrains Mono", "Fira Code", Menlo, Consolas, monospace;--sans:ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--radius:12px;--shadow:0 1px 2px #14161a0a, 0 6px 20px #14161a0f}*{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--paper);color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;line-height:1.5}#app{max-width:1200px;margin:0 auto;padding:32px 24px 80px}.masthead{border-bottom:1px solid var(--border);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 24px;margin-bottom:28px;padding-bottom:20px;display:flex}.masthead h1{letter-spacing:-.02em;margin:0;font-size:26px;font-weight:650}.masthead h1 .mono{font-family:var(--mono);color:var(--accent)}.masthead p{color:var(--ink-soft);max-width:52ch;margin:0;font-size:14px}.controls{grid-template-columns:1fr 1fr;gap:16px;margin-bottom:24px;display:grid}@media (max-width:720px){.controls{grid-template-columns:1fr}}.field{flex-direction:column;gap:6px;display:flex}.field label{text-transform:uppercase;letter-spacing:.06em;color:var(--ink-faint);font-size:12px;font-weight:600}.field input{font-family:var(--mono);border:1px solid var(--border-strong);background:var(--surface);color:var(--ink);border-radius:10px;outline:none;padding:11px 13px;font-size:16px;transition:border-color .15s,box-shadow .15s}.field input:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.field input.invalid{border-color:var(--reject);box-shadow:0 0 0 3px var(--reject-soft)}.error-msg{min-height:18px;font-size:13px;font-family:var(--mono);color:var(--reject)}.examples{flex-wrap:wrap;gap:8px;margin:-8px 0 24px;display:flex}.examples span{color:var(--ink-faint);align-self:center;margin-right:2px;font-size:12px}.chip{font-family:var(--mono);border:1px solid var(--border-strong);background:var(--surface);color:var(--accent-ink);cursor:pointer;border-radius:999px;padding:4px 10px;font-size:13px;transition:background .12s,border-color .12s}.chip:hover{background:var(--accent-soft);border-color:var(--accent)}.stepper{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);margin-bottom:28px;padding:20px}.stepper-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;margin-bottom:16px;display:flex}.section-title{text-transform:uppercase;letter-spacing:.07em;color:var(--ink-soft);margin:0;font-size:13px;font-weight:700}.verdict{font-family:var(--mono);border:1px solid var(--border-strong);color:var(--ink-soft);background:var(--surface-2);border-radius:999px;padding:5px 12px;font-size:13px;font-weight:600}.verdict.accept{color:var(--accept);background:var(--accept-soft);border-color:var(--accept)}.verdict.reject{color:var(--reject);background:var(--reject-soft);border-color:var(--reject)}.tape{font-family:var(--mono);flex-wrap:wrap;gap:6px;margin-bottom:16px;font-size:18px;display:flex}.cell{border:1px solid var(--border-strong);background:var(--surface-2);min-width:30px;height:38px;color:var(--ink-soft);border-radius:8px;justify-content:center;align-items:center;padding:0 8px;display:inline-flex}.cell.consumed{background:var(--surface);color:var(--ink);border-color:var(--border)}.cell.cursor{background:var(--active-soft);border-color:var(--active);color:var(--active);font-weight:700}.tape-empty{color:var(--ink-faint);font-size:14px;font-style:italic;font-family:var(--sans)}.buttons{flex-wrap:wrap;align-items:center;gap:8px;display:flex}button.btn{font-family:var(--sans);border:1px solid var(--border-strong);background:var(--surface);color:var(--ink);cursor:pointer;border-radius:9px;padding:8px 14px;font-size:13px;font-weight:600;transition:background .12s,border-color .12s,color .12s}button.btn:hover:not(:disabled){border-color:var(--accent);color:var(--accent-ink)}button.btn.primary{background:var(--accent);border-color:var(--accent);color:#fff}button.btn.primary:hover:not(:disabled){background:var(--accent-ink);color:#fff}button.btn:disabled{opacity:.45;cursor:not-allowed}.step-readout{font-family:var(--mono);color:var(--ink-soft);margin-left:auto;font-size:13px}.graphs{grid-template-columns:1fr 1fr;gap:20px;display:grid}@media (max-width:860px){.graphs{grid-template-columns:1fr}}.panel{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);padding:16px 16px 8px;overflow:hidden}.panel-head{justify-content:space-between;align-items:baseline;margin-bottom:8px;display:flex}.panel-head .count{font-family:var(--mono);color:var(--ink-faint);font-size:12px}.panel .scroll{max-height:360px;overflow:auto}.panel svg{display:block}.node-circle{fill:var(--surface);stroke:var(--border-strong);stroke-width:1.6px}.node-circle.accepting-ring{fill:none}.node-circle.trap{fill:var(--surface-2);stroke:var(--ink-faint);stroke-dasharray:3 3}.node-circle.active{fill:var(--active-soft);stroke:var(--active);stroke-width:2.4px}.node-label{font-family:var(--mono);fill:var(--ink);text-anchor:middle;dominant-baseline:central;font-size:12px}.node-label.active{fill:var(--active);font-weight:700}.edge-path{fill:none;stroke:var(--border-strong);stroke-width:1.4px}.edge-path.epsilon{stroke:var(--ink-faint);stroke-dasharray:4 3}.edge-path.to-trap{stroke:var(--border)}.edge-label{font-family:var(--mono);fill:var(--ink-soft);text-anchor:middle;dominant-baseline:central;font-size:11px}.edge-label.epsilon{fill:var(--ink-faint);font-style:italic}.edge-label-bg{fill:var(--surface);opacity:.92;stroke:none}.start-arrow{stroke:var(--accent);stroke-width:1.8px;fill:none;marker-end:url(#arrow-start)}.ast-box{fill:var(--surface);stroke:var(--border-strong);stroke-width:1.4px;rx:7}.ast-box.leaf{fill:var(--accent-soft);stroke:var(--accent)}.ast-label{font-family:var(--mono);fill:var(--ink);text-anchor:middle;dominant-baseline:central;font-size:12px}.ast-edge{fill:none;stroke:var(--border-strong);stroke-width:1.4px}.redos{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);margin:28px 0;padding:20px}.redos-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;margin-bottom:6px;display:flex}.redos p.note{color:var(--ink-soft);max-width:80ch;margin:4px 0 16px;font-size:13px}.redos p.note code{font-family:var(--mono);background:var(--surface-2);border-radius:5px;padding:1px 5px}.legend{color:var(--ink-soft);gap:18px;margin-bottom:10px;font-size:13px;display:flex}.legend .key{align-items:center;gap:7px;display:inline-flex}.swatch{border-radius:2px;width:14px;height:3px;display:inline-block}.swatch.naive{background:var(--reject)}.swatch.engine{background:var(--accent)}.chart-line.naive{fill:none;stroke:var(--reject);stroke-width:2.2px}.chart-line.engine{fill:none;stroke:var(--accent);stroke-width:2.2px}.chart-dot.naive{fill:var(--reject)}.chart-dot.engine{fill:var(--accent)}.chart-axis{stroke:var(--border-strong);stroke-width:1px}.chart-grid{stroke:var(--border);stroke-width:1px}.chart-text{font-family:var(--mono);fill:var(--ink-faint);font-size:10px}.chart-cap{font-family:var(--mono);fill:var(--reject);font-size:11px}footer.colophon{border-top:1px solid var(--border);color:var(--ink-faint);margin-top:40px;padding-top:20px;font-size:13px}footer.colophon a{color:var(--accent-ink)}