@font-face{font-family:Space Grotesk;font-style:normal;font-weight:300 700;font-display:swap;src:url(../media/32687112bd2dd8db-s.0v2ipp7s07_p9.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Space Grotesk;font-style:normal;font-weight:300 700;font-display:swap;src:url(../media/28868e710e86be81-s.44ks8kcggj012.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Space Grotesk;font-style:normal;font-weight:300 700;font-display:swap;src:url(../media/0c89a48fa5027cee-s.p.1ii7211jqpzi_.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Space Grotesk Fallback;src:local(Arial);ascent-override:89.71%;descent-override:26.62%;line-gap-override:0.0%;size-adjust:109.69%}.space_grotesk_3e592899-module__Xc4gBa__className{font-family:Space Grotesk,Space Grotesk Fallback;font-style:normal}.space_grotesk_3e592899-module__Xc4gBa__variable{--font-ui:"Space Grotesk", "Space Grotesk Fallback"}
@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/13bf9871fe164e7f-s.3bz3aq452sydg.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/cc545e633e20c56d-s.2sb9jzhmrh7ny.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/71b036adf157cdcf-s.343obqi851wr5.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/89b21bb081cb7469-s.40kcwrf1wub16.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/3fe682a82f50d426-s.200l3jur7oygh.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(../media/70bc3e132a0a741e-s.p.269kn9uafm0ti.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono Fallback;src:local(Arial);ascent-override:75.79%;descent-override:22.29%;line-gap-override:0.0%;size-adjust:134.59%}.jetbrains_mono_4d72d6ee-module__MiW8xq__className{font-family:JetBrains Mono,JetBrains Mono Fallback;font-style:normal}.jetbrains_mono_4d72d6ee-module__MiW8xq__variable{--font-code:"JetBrains Mono", "JetBrains Mono Fallback"}
:root{--bg:#0d0f14;--surface:#141720;--surface2:#1c2030;--border:#2a2f45;--text:#e8ecf5;--text2:#8892b0;--accent:#7c6af7;--accent-hover:#8f7bf9;--green:#4ade80;--red:#f87171;--yellow:#fbbf24;--cyan:#22d3ee;--purple:#c084fc;--orange:#fb923c;--font-ui:"Space Grotesk", sans-serif;--font-code:"JetBrains Mono", monospace;--radius-panel:10px;--radius-btn:6px;--shadow:0 4px 20px #0000004d;--glow-green:0 0 20px #4ade8080;--glow-red:0 0 20px #f8717180}[data-theme=light]{--bg:#f0f2f8;--surface:#fff;--surface2:#e8ebf5;--border:#d0d5e0;--text:#1a1d2e;--text2:#5a6478;--accent:#6254e8;--accent-hover:#7b6ef0;--shadow:0 4px 20px #0000001a;--glow-green:0 0 20px #4ade8066;--glow-red:0 0 20px #f8717166}*{box-sizing:border-box;margin:0;padding:0}body{font-family:var(--font-ui);background:var(--bg);color:var(--text);min-height:100vh;transition:background .2s,color .2s;overflow-x:hidden}.theme-toggle{background:var(--surface2);border:1px solid var(--border);color:var(--text);border-radius:var(--radius-btn);cursor:pointer;justify-content:center;align-items:center;width:40px;height:40px;font-size:1.2rem;transition:all .2s;display:flex}.theme-toggle:hover{background:var(--border)}.sidebar{background:var(--surface);border-right:1px solid var(--border);max-height:calc(100vh - 62px);padding:1.25rem;position:sticky;top:62px;overflow-y:auto}@media (max-width:1024px){.sidebar{border-right:none;border-bottom:1px solid var(--border);max-height:none;position:static}}.sidebar-section{margin-bottom:1.5rem}.sidebar-title{color:var(--text2);text-transform:uppercase;letter-spacing:.05em;align-items:center;gap:.5rem;margin-bottom:.75rem;font-size:.85rem;font-weight:600;display:flex}.form-group{margin-bottom:1rem}.form-label{color:var(--text2);pointer-events:auto;margin-bottom:.4rem;font-size:.8rem;font-weight:500;display:block}.form-input,.form-textarea{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius-btn);width:100%;color:var(--text);font-family:var(--font-code);z-index:1;padding:.6rem .75rem;font-size:.85rem;transition:all .2s;position:relative;pointer-events:auto!important;cursor:text!important}.form-input:focus,.form-textarea:focus{border-color:var(--accent);z-index:10;outline:none;box-shadow:0 0 0 3px #7c6af733;pointer-events:auto!important}.form-textarea{resize:vertical;min-height:80px;cursor:text!important}.form-helper{color:var(--text2);pointer-events:none;margin-top:.3rem;font-size:.75rem}.form-error{color:var(--red);pointer-events:none;margin-top:.3rem;font-size:.75rem}.btn{border-radius:var(--radius-btn);font-family:var(--font-ui);cursor:pointer;border:none;justify-content:center;align-items:center;gap:.5rem;padding:.6rem 1rem;font-size:.85rem;font-weight:500;transition:all .2s;display:inline-flex}.btn-primary{background:var(--accent);color:#fff}.btn-primary:hover:not(:disabled){background:var(--accent-hover)}.btn-secondary{background:var(--surface2);color:var(--text);border:1px solid var(--border)}.btn-secondary:hover:not(:disabled){background:var(--border)}.btn:disabled{opacity:.5;cursor:not-allowed}.btn-full{width:100%}.btn-sm{padding:.4rem .6rem;font-size:.8rem}.example-grid{grid-template-columns:1fr;gap:.5rem;display:grid}.example-card{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius-panel);cursor:pointer;padding:.75rem;transition:all .2s}.example-card:hover{border-color:var(--accent);background:var(--border)}.example-card.active{border-color:var(--accent);background:#7c6af726}.example-name{margin-bottom:.25rem;font-size:.85rem;font-weight:600}.example-desc{color:var(--text2);font-size:.75rem}.transition-list{border:1px solid var(--border);border-radius:var(--radius-btn);background:var(--surface2);max-height:200px;overflow-y:auto}.transition-item{border-bottom:1px solid var(--border);font-family:var(--font-code);align-items:center;gap:.5rem;padding:.5rem .75rem;font-size:.75rem;display:flex}.transition-item:last-child{border-bottom:none}.transition-item:hover{background:var(--border)}.main-content{flex-direction:column;gap:1.25rem;min-width:0;max-width:100%;padding:1.25rem;display:flex;overflow-x:hidden}.viz-grid{grid-template-columns:1fr 1fr;gap:1.25rem;display:grid}@media (max-width:768px){.viz-grid{grid-template-columns:1fr}}.viz-panel{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-panel);overflow:hidden}.viz-panel-header{border-bottom:1px solid var(--border);background:var(--surface2);justify-content:space-between;align-items:center;padding:.75rem 1rem;display:flex}.viz-panel-title{align-items:center;gap:.5rem;font-size:.9rem;font-weight:600;display:flex}.viz-panel-content{min-height:150px;padding:1rem}.stack-container{flex-direction:column-reverse;gap:4px;display:flex}.stack-cell{background:var(--surface2);border:1px solid var(--border);font-family:var(--font-code);border-radius:4px;justify-content:space-between;align-items:center;padding:.5rem .75rem;font-size:.85rem;transition:all .2s;display:flex}.stack-cell.top{border-color:var(--accent);background:#7c6af726}.stack-cell.bottom-marker{border-color:var(--cyan);color:var(--cyan)}.tape-container{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.tape-cell{background:var(--surface2);border:1px solid var(--border);width:40px;height:40px;font-family:var(--font-code);border-radius:4px;justify-content:center;align-items:center;font-size:1rem;font-weight:600;transition:all .2s;display:flex}.tape-cell.current{border-color:var(--accent);background:var(--accent);color:#fff;transform:scale(1.1);box-shadow:0 0 15px #7c6af780}.tape-cell.consumed{opacity:.4;border-style:dashed}.step-log{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-panel);overflow:hidden}.step-log-header{border-bottom:1px solid var(--border);background:var(--surface2);justify-content:space-between;align-items:center;padding:.75rem 1rem;display:flex}.step-log-title{font-size:.9rem;font-weight:600}.step-log-content{max-height:250px;padding:.5rem;overflow-y:auto}.step-item{font-family:var(--font-code);background:var(--surface2);border:1px solid var(--border);white-space:nowrap;text-overflow:ellipsis;border-radius:6px;margin-bottom:.5rem;padding:.75rem 1rem;font-size:.8rem;line-height:2;display:block;overflow:hidden}.step-item:last-child{margin-bottom:0}.step-item span{white-space:nowrap;display:inline}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--surface2)}::-webkit-scrollbar-thumb{background:var(--border);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--text2)}.hidden{display:none!important}.text-accent{color:var(--accent)}.text-green{color:var(--green)}.text-red{color:var(--red)}.text-cyan{color:var(--cyan)}.text-orange{color:var(--orange)}.app{flex-direction:column;min-height:100vh;display:flex}.app-header{z-index:100;background:var(--surface);border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;gap:1rem;padding:.85rem 1.5rem;display:flex;position:sticky;top:0}.app-title{flex-wrap:wrap;align-items:baseline;gap:.75rem;display:flex}.app-title h1{letter-spacing:-.01em;font-size:1.2rem;font-weight:650}.app-subtitle{color:var(--text2);font-size:.82rem}.app-body{flex:1;grid-template-columns:340px minmax(0,1fr);align-items:start;display:grid}@media (max-width:1024px){.app-body{grid-template-columns:1fr}}.state-canvas{border-radius:0 0 var(--radius-panel) var(--radius-panel);width:100%;display:block}.sidebar-section-head{justify-content:space-between;align-items:center;gap:.5rem;margin-bottom:.75rem;display:flex}.sidebar-section-head .sidebar-title{margin-bottom:0}.example-card{text-align:left;width:100%;color:var(--text);flex-direction:column;gap:.15rem;font-family:inherit;display:flex;position:relative}.example-mode{font-family:var(--font-code);letter-spacing:.04em;border:1px solid #0000;border-radius:3px;padding:.1rem .34rem;font-size:.62rem;font-weight:700;position:absolute;top:.6rem;right:.6rem}.mode-dpda{color:var(--cyan);border-color:color-mix(in srgb, var(--cyan) 40%, transparent);background:color-mix(in srgb, var(--cyan) 12%, transparent)}.mode-npda{color:var(--purple);border-color:color-mix(in srgb, var(--purple) 40%, transparent);background:color-mix(in srgb, var(--purple) 12%, transparent)}.file-actions{flex-direction:column;gap:.5rem;display:flex}.form-select{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius-btn);width:100%;color:var(--text);font-family:var(--font-ui);cursor:pointer;padding:.6rem .75rem;font-size:.85rem}.form-select:focus{border-color:var(--accent);outline:none}.form-grid{gap:.5rem;margin-bottom:.6rem;display:grid}.transition-form{grid-template-columns:1fr 1fr}.transition-form input:last-child{grid-column:1/-1}.transition-item{justify-content:space-between}.transition-item.conflict{border-left:3px solid var(--red);background:color-mix(in srgb, var(--red) 10%, transparent)}.transition-remove{color:var(--text2);cursor:pointer;background:0 0;border:none;border-radius:3px;padding:0 .2rem;font-size:1.05rem;line-height:1}.transition-remove:hover{color:var(--red);background:color-mix(in srgb, var(--red) 15%, transparent)}.mt-4{margin-top:1rem}.mode-toggle{background:var(--bg);border:1px solid var(--border);border-radius:var(--radius-btn);gap:.15rem;padding:.15rem;display:flex}.mode-toggle label{font-family:var(--font-code);cursor:pointer;color:var(--text2);border-radius:4px;align-items:center;gap:.3rem;padding:.25rem .55rem;font-size:.72rem;font-weight:600;transition:background .15s,color .15s;display:flex}.mode-toggle label:has(input:checked){background:var(--accent);color:#fff}.mode-toggle input{accent-color:#fff;margin:0}.verdict{font-family:var(--font-code);text-transform:uppercase;letter-spacing:.05em;border:1px solid #0000;border-radius:4px;padding:.2rem .5rem;font-size:.72rem;font-weight:700}.verdict-accepted{color:var(--green);border-color:color-mix(in srgb, var(--green) 45%, transparent);background:color-mix(in srgb, var(--green) 14%, transparent)}.verdict-rejected{color:var(--red);border-color:color-mix(in srgb, var(--red) 45%, transparent);background:color-mix(in srgb, var(--red) 14%, transparent)}.verdict-incomplete{color:var(--yellow);border-color:color-mix(in srgb, var(--yellow) 45%, transparent);background:color-mix(in srgb, var(--yellow) 14%, transparent)}.input-row{margin-bottom:.85rem}.sim-message{color:var(--text2);margin-top:.85rem;font-size:.82rem;line-height:1.55}.stack-empty{font-family:var(--font-code);color:var(--text2);padding:.4rem 0;font-size:.8rem;font-style:italic}.stack-tag{font-family:var(--font-ui);text-transform:uppercase;letter-spacing:.05em;opacity:.85;font-size:.66rem}.stack-container-compact{gap:2px}.stack-container-compact .stack-cell{justify-content:center;padding:.2rem .4rem;font-size:.74rem}.branch-grid{grid-template-columns:repeat(auto-fill,minmax(118px,1fr));gap:.6rem;display:grid}.branch-card{text-align:left;color:var(--text);background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius-btn);cursor:pointer;border-left-width:3px;flex-direction:column;gap:.4rem;padding:.5rem;font-family:inherit;transition:border-color .15s,background .15s;display:flex}.branch-card:hover{border-color:var(--accent)}.branch-card.selected{border-color:var(--accent);background:color-mix(in srgb, var(--accent) 14%, var(--surface2));box-shadow:0 0 0 2px color-mix(in srgb, var(--accent) 35%, transparent)}.branch-card.accepted{border-left-color:var(--green)}.branch-card.dead{border-left-color:var(--red);opacity:.72}.branch-card.pruned{border-left-color:var(--yellow);opacity:.6}.branch-card.active{border-left-color:var(--accent)}.branch-card-head{flex-direction:column;gap:.1rem;display:flex}.branch-state{font-family:var(--font-code);font-size:.8rem;font-weight:700}.branch-meta,.branch-via{font-family:var(--font-code);color:var(--text2);font-size:.63rem;line-height:1.4}.branch-overflow{text-align:center;color:var(--text2);border:1px dashed var(--border);border-radius:var(--radius-btn);margin-top:.6rem;padding:.4rem;font-size:.74rem}.tape-end{font-family:var(--font-code);color:var(--text2);border-style:dashed}.tape-note{color:var(--text2);font-size:.82rem;font-style:italic}.playback{flex-direction:column;gap:.85rem;display:flex}.playback-buttons{flex-wrap:wrap;gap:.5rem;display:flex}.playback-meters{grid-template-columns:minmax(0,2fr) minmax(0,1fr);align-items:center;gap:1rem;display:grid}@media (max-width:700px){.playback-meters{grid-template-columns:1fr}}.playback-scrub,.playback-speed{align-items:center;gap:.6rem;min-width:0;display:flex}.playback-scrub input,.playback-speed input{min-width:0;accent-color:var(--accent);cursor:pointer;flex:1}.playback-label{font-family:var(--font-code);color:var(--text2);white-space:nowrap;font-size:.72rem}.playback-speed-value{font-family:var(--font-code);color:var(--text2);white-space:nowrap;text-align:right;min-width:3.4rem;font-size:.7rem}.analysis-panel{flex-direction:column;gap:.75rem;display:flex}.issue-block{border:1px solid var(--border);border-radius:var(--radius-panel);background:var(--surface);border-left-width:3px;padding:.85rem 1rem}.issue-block h4{text-transform:uppercase;letter-spacing:.05em;margin-bottom:.5rem;font-size:.8rem}.issue-block.error{border-left-color:var(--red)}.issue-block.error h4{color:var(--red)}.issue-block.warning{border-left-color:var(--yellow)}.issue-block.warning h4{color:var(--yellow)}.issue-block.info{border-left-color:var(--cyan)}.issue-block.info h4{color:var(--cyan)}.issue-explanation{color:var(--text2);margin-bottom:.5rem;font-size:.78rem;line-height:1.55}.issue-item{font-family:var(--font-code);color:var(--text);border-top:1px solid var(--border);padding:.3rem 0;font-size:.74rem;line-height:1.6}.issue-item:first-of-type{border-top:none}.step-item{white-space:normal}.step-note{color:var(--text2);text-align:center;padding:.75rem;font-size:.82rem}.how-it-works{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-panel);overflow:hidden}.how-toggle{background:var(--surface2);width:100%;color:var(--text);font-family:var(--font-ui);cursor:pointer;border:none;justify-content:space-between;align-items:center;gap:.5rem;padding:.75rem 1rem;font-size:.9rem;font-weight:600;display:flex}.how-toggle-icon{color:var(--text2);font-size:.7rem}.how-content{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:1.25rem;padding:1rem;display:grid}.how-content h3{color:var(--accent);margin-bottom:.4rem;font-size:.85rem}.how-content p,.how-content li{color:var(--text2);font-size:.8rem;line-height:1.65}.how-content ol,.how-content ul{padding-left:1.15rem}.how-content code{font-family:var(--font-code);background:var(--surface2);border:1px solid var(--border);border-radius:3px;padding:.05rem .28rem;font-size:.75rem}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.tape-cell.current{transform:none}}