.TapeDisplay-module__D187Qa__display{background:var(--surface-hover);border:.0625rem solid var(--edge);contain:layout style paint;border-radius:.5rem;margin:1rem 0;padding:.875rem;overflow:hidden}.TapeDisplay-module__D187Qa__name{color:var(--fg-muted);margin-bottom:.5rem;font-size:.875rem;font-weight:600}.TapeDisplay-module__D187Qa__cellsContainer{contain:strict;scrollbar-width:thin;scrollbar-color:var(--edge-strong) var(--edge);border:.0625rem solid var(--edge);background:var(--surface);border-radius:.25rem;width:100%;height:5.625rem;padding:.625rem 0;overflow:auto hidden}.TapeDisplay-module__D187Qa__cellsContainer::-webkit-scrollbar{height:.375rem}.TapeDisplay-module__D187Qa__cellsContainer::-webkit-scrollbar-track{background:var(--edge);border-radius:.1875rem}.TapeDisplay-module__D187Qa__cellsContainer::-webkit-scrollbar-thumb{background:var(--edge-strong);border-radius:.1875rem}.TapeDisplay-module__D187Qa__cellsContainer::-webkit-scrollbar-thumb:hover{background:var(--fg-muted)}.TapeDisplay-module__D187Qa__cells{height:4.375rem;display:block;position:relative}.TapeDisplay-module__D187Qa__cell{box-sizing:border-box;border:.125rem solid var(--edge-strong);background:var(--surface);border-radius:.25rem;justify-content:center;align-items:center;width:3.125rem;height:3.125rem;font-family:monospace;font-size:1.125rem;font-weight:700;display:flex;position:absolute}.TapeDisplay-module__D187Qa__headPosition{background:var(--color-warning);border-color:var(--color-warning-hover);box-shadow:0 .125rem .5rem #f59e0b4d}.TapeDisplay-module__D187Qa__cellValue{color:var(--fg)}.TapeDisplay-module__D187Qa__headMarker{color:var(--color-warning-hover);font-size:1.25rem;animation:1s infinite TapeDisplay-module__D187Qa__tapeBounce;position:absolute;top:-1.5625rem}@keyframes TapeDisplay-module__D187Qa__tapeBounce{0%,to{transform:translateY(0)}50%{transform:translateY(-.3125rem)}}.TapeDisplay-module__D187Qa__info{gap:1.25rem;margin-top:.5rem;display:flex}.TapeDisplay-module__D187Qa__alphabet,.TapeDisplay-module__D187Qa__boundary{color:var(--fg-muted);font-family:monospace;font-size:.6875rem}.TapeDisplay-module__D187Qa__boundary{font-weight:600}@media (max-width:30rem){.TapeDisplay-module__D187Qa__cell{width:2.5rem;height:2.5rem;font-size:.875rem}.TapeDisplay-module__D187Qa__info{flex-direction:column;gap:.25rem}}
.ControlPanel-module__-mwThq__panel{background:var(--surface-hover);border:.125rem solid var(--color-primary);border-radius:.5rem;margin:1rem 0;padding:1rem}.ControlPanel-module__-mwThq__stateDisplay{flex-wrap:wrap;align-items:center;gap:.75rem;margin-bottom:.75rem;display:flex}.ControlPanel-module__-mwThq__stateValue{border-radius:.375rem;padding:.375rem .75rem;font-family:monospace;font-weight:700}.ControlPanel-module__-mwThq__running{background:var(--color-primary-light);color:var(--color-primary);border:.125rem solid var(--color-primary-border)}.ControlPanel-module__-mwThq__status{border-radius:.25rem;padding:.25rem .625rem;font-size:.8125rem;font-weight:600}.ControlPanel-module__-mwThq__statusAccepted{color:var(--color-success);border:.09375rem solid var(--color-success);background:#10b9811a}.ControlPanel-module__-mwThq__statusRejected{color:var(--color-danger);border:.09375rem solid var(--color-danger);background:#ef44441a}.ControlPanel-module__-mwThq__controls{flex-wrap:wrap;gap:.5rem;display:flex}@media (max-width:30rem){.ControlPanel-module__-mwThq__controls{gap:.375rem}}
.TapeInput-module__2_iwnW__tapeInput{margin:.5rem 0}.TapeInput-module__2_iwnW__inputGroup{align-items:flex-end;gap:.5rem;display:flex}@media (max-width:30rem){.TapeInput-module__2_iwnW__inputGroup{flex-direction:column;gap:.375rem}}
.ZoomControls-module__7tKaIG__controls{z-index:10;background:var(--surface);border-radius:var(--radius-md);flex-direction:column;gap:.375rem;padding:.125rem;display:flex;position:absolute;top:.625rem;right:.625rem;box-shadow:0 .125rem .5rem #00000014}.ZoomControls-module__7tKaIG__controls [data-variant=ghost]:hover,.ZoomControls-module__7tKaIG__controls [data-variant=ghost]:focus-visible{background-color:var(--surface-hover)!important}
.DiagramExport-module__Un1wAa__options{flex-direction:column;gap:.875rem;display:flex}.DiagramExport-module__Un1wAa__exportBadgeWrap{display:inline-flex;position:relative}.DiagramExport-module__Un1wAa__exportBadgeDot{inset-inline-end:0;background:var(--node-active-stroke);border:.0625rem solid var(--surface);border-radius:50%;width:.5rem;height:.5rem;position:absolute;top:0;transform:translate(-40%,-40%)}[dir=rtl] .DiagramExport-module__Un1wAa__exportBadgeDot{transform:translate(-40%,-40%)}[dir=ltr] .DiagramExport-module__Un1wAa__exportBadgeDot{transform:translate(40%,-40%)}.DiagramExport-module__Un1wAa__radioGroup{flex-direction:column;gap:.5rem;padding:.25rem 0 .25rem 1.5rem;display:flex}.DiagramExport-module__Un1wAa__radio{color:var(--fg);cursor:pointer;align-items:center;gap:.5rem;font-size:.875rem;display:flex}.DiagramExport-module__Un1wAa__actions{justify-content:flex-end;gap:.5rem;margin-top:.5rem;display:flex}.DiagramExport-module__Un1wAa__latexSource{resize:vertical;width:100%;min-height:12rem;max-height:24rem;font-family:var(--font-mono,ui-monospace, monospace);white-space:pre;border:.0625rem solid var(--edge);border-radius:var(--radius-md,.5rem);background:var(--surface-hover);color:var(--fg);padding:.625rem .75rem;font-size:.75rem;line-height:1.5;overflow:auto}.DiagramExport-module__Un1wAa__printRoot{color:#111;--fg:#111;--fg-muted:#555;--edge:#cfcfcf;--edge-strong:#333;--surface:#fff;--surface-hover:#f4f4f5;--node-active-fill:#e8f0fe;--node-active-stroke:#1a73e8;--node-queued-fill:#fff4e5;--node-queued-stroke:#d98a0b;--node-visited-fill:#e6f4ea;--node-visited-stroke:#188038;--color-danger:#d93025;--color-danger-100:#d9302514;--color-warning-hover:#b8860b;background:#fff;padding:1.5rem 1.75rem;font-family:system-ui,sans-serif}.DiagramExport-module__Un1wAa__printTitle{break-after:avoid;margin:0 0 1rem;font-size:1.4rem;font-weight:700}.DiagramExport-module__Un1wAa__printDiagram{break-inside:avoid;width:100%;margin-bottom:1.5rem}.DiagramExport-module__Un1wAa__printDiagram svg{width:100%;max-width:100%;height:auto;max-height:74vh;display:block}.DiagramExport-module__Un1wAa__formal{font-size:.95rem;line-height:1.6}.DiagramExport-module__Un1wAa__tuple{margin-bottom:.5rem;font-size:1.05rem;font-weight:700}.DiagramExport-module__Un1wAa__entries{margin:0 0 1rem;padding:0;list-style:none}.DiagramExport-module__Un1wAa__entryLabel{font-weight:700}.DiagramExport-module__Un1wAa__equationsBlock{font-family:var(--font-mono,ui-monospace, monospace);break-inside:avoid;font-size:.95rem}.DiagramExport-module__Un1wAa__equationsBrace{font-size:1.05rem;font-weight:700}.DiagramExport-module__Un1wAa__equations{margin:0;padding:0 0 0 1.75rem;line-height:1.9;list-style:none}.DiagramExport-module__Un1wAa__table{border-collapse:collapse;break-inside:avoid;font-size:.9rem}.DiagramExport-module__Un1wAa__table th,.DiagramExport-module__Un1wAa__table td{text-align:center;border:1px solid #999;padding:.3rem .6rem}.DiagramExport-module__Un1wAa__table th{background:#f0f0f0}
.page-module__uoq17W__page{background:var(--bg);flex-direction:column;min-height:calc(100vh - 3.25rem);display:flex;overflow:visible}.page-module__uoq17W__content{flex:1 0 auto;align-items:stretch;display:flex}.page-module__uoq17W__resizableWrapper{align-self:stretch}.page-module__uoq17W__configCol{flex-direction:column;flex-shrink:0;gap:1rem;display:flex}.page-module__uoq17W__inputSection{border-top:.0625rem solid var(--edge);padding-top:1rem}.page-module__uoq17W__sectionLabel{color:var(--fg-muted);text-transform:uppercase;letter-spacing:.06em;margin:0 0 .5rem;font-size:.6875rem;font-weight:600}.page-module__uoq17W__inputRow{align-items:center;gap:.5rem;display:flex}.page-module__uoq17W__inputField{font-family:Geist Mono,monospace;font-size:var(--font-size-md);background:var(--surface-hover);border:.09375rem solid var(--edge);border-radius:var(--radius-md);color:var(--fg);transition:border-color var(--transition-normal);outline:none;flex:1;padding:.4375rem .625rem}.page-module__uoq17W__inputField:focus{border-color:var(--color-primary)}.page-module__uoq17W__simCol{flex-direction:column;flex:1;gap:.75rem;min-width:0;padding:1rem 1.25rem;display:flex}.page-module__uoq17W__simInner{flex:1;align-items:flex-start;gap:1.25rem;min-width:0;display:flex}.page-module__uoq17W__simMain{flex-direction:column;flex:1;gap:.75rem;min-width:0;display:flex}.page-module__uoq17W__stackSidebar{align-self:stretch;padding-top:.25rem}@media (max-width:900px){.page-module__uoq17W__page{min-height:auto}.page-module__uoq17W__content{flex-direction:column;overflow:visible}.page-module__uoq17W__resizableWrapper{flex-shrink:0;order:1;width:100%!important}.page-module__uoq17W__configCol{width:100%;max-width:unset;border-top:.0625rem solid var(--edge)}.page-module__uoq17W__simCol{padding:0;overflow:visible}.page-module__uoq17W__simInner{flex-direction:column;align-items:stretch}.page-module__uoq17W__simMain{flex:none}.page-module__uoq17W__stackSidebar{width:100%}}
.page-module__NnSscq__page{background:var(--bg);flex-direction:column;min-height:calc(100vh - 3.25rem);display:flex;overflow:visible}.page-module__NnSscq__content{flex:1 0 auto;align-items:stretch;display:flex}.page-module__NnSscq__resizableWrapper{align-self:stretch}.page-module__NnSscq__configCol{flex-direction:column;flex-shrink:0;gap:1rem;min-height:100%;padding:1rem 1.25rem;display:flex}.page-module__NnSscq__inputSection{border-top:.0625rem solid var(--edge);padding-top:1rem}.page-module__NnSscq__sectionLabel{color:var(--fg-muted);text-transform:uppercase;letter-spacing:.06em;margin:0 0 .5rem;font-size:.6875rem;font-weight:600}.page-module__NnSscq__inputRow{align-items:center;gap:.5rem;display:flex}.page-module__NnSscq__inputField{font-family:Geist Mono,monospace;font-size:var(--font-size-md);background:var(--surface-hover);border:.09375rem solid var(--edge);border-radius:var(--radius-md);color:var(--fg);transition:border-color var(--transition-normal);outline:none;flex:1;padding:.4375rem .625rem}.page-module__NnSscq__inputField:focus{border-color:var(--color-primary)}.page-module__NnSscq__simCol{flex-direction:column;flex:1;gap:.75rem;min-width:0;padding:1rem 1.25rem;display:flex}.page-module__NnSscq__tabs{border-bottom:.0625rem solid var(--edge);flex-shrink:0;gap:.125rem;display:flex}.page-module__NnSscq__tab{color:var(--fg-muted);cursor:pointer;white-space:nowrap;background:0 0;border:none;border-bottom:.125rem solid #0000;margin-bottom:-.0625rem;padding:.625rem .875rem;font-family:inherit;font-size:.8125rem;font-weight:600;line-height:1.2;text-decoration:none;transition:color .15s,border-color .15s}.page-module__NnSscq__tab:hover:not(:disabled){color:var(--fg)}.page-module__NnSscq__tab:disabled{opacity:.4;cursor:not-allowed}.page-module__NnSscq__tabActive{color:var(--fg);border-bottom-color:var(--color-primary)}.page-module__NnSscq__placeholder{color:var(--fg-muted);padding:1rem 0;font-size:.875rem}@media (max-width:900px){.page-module__NnSscq__page{min-height:auto}.page-module__NnSscq__content{flex-direction:column;overflow:visible}.page-module__NnSscq__resizableWrapper{flex-shrink:0;order:1;width:100%!important}.page-module__NnSscq__configCol{width:100%;max-width:unset;border-top:.0625rem solid var(--edge)}.page-module__NnSscq__simCol{padding:0;overflow:visible}.page-module__NnSscq__playerWindow{height:auto!important;min-height:unset!important}}
.page-module__1LWOAG__page{background:var(--bg);flex-direction:column;min-height:calc(100vh - 3.25rem);display:flex;overflow:visible}.page-module__1LWOAG__content{flex:1 0 auto;align-items:stretch;display:flex}.page-module__1LWOAG__resizableWrapper{align-self:stretch}.page-module__1LWOAG__configCol{flex-direction:column;flex-shrink:0;gap:1rem;min-height:100%;padding:1rem 1.25rem;display:flex}.page-module__1LWOAG__inputSection{border-top:.0625rem solid var(--edge);padding-top:1rem}.page-module__1LWOAG__sectionLabel{color:var(--fg-muted);text-transform:uppercase;letter-spacing:.06em;margin:0 0 .5rem;font-size:.6875rem;font-weight:600}.page-module__1LWOAG__inputRow{align-items:center;gap:.5rem;display:flex}.page-module__1LWOAG__inputField{font-family:Geist Mono,monospace;font-size:var(--font-size-md);background:var(--surface-hover);border:.09375rem solid var(--edge);border-radius:var(--radius-md);color:var(--fg);transition:border-color var(--transition-normal);outline:none;flex:1;padding:.4375rem .625rem}.page-module__1LWOAG__inputField:focus{border-color:var(--color-primary)}.page-module__1LWOAG__simCol{flex-direction:column;flex:1;gap:.75rem;min-width:0;padding:1rem 1.25rem;display:flex}@media (max-width:900px){.page-module__1LWOAG__page{min-height:auto}.page-module__1LWOAG__content{flex-direction:column;overflow:visible}.page-module__1LWOAG__resizableWrapper{flex-shrink:0;order:1;width:100%!important}.page-module__1LWOAG__configCol{width:100%;max-width:unset;border-top:.0625rem solid var(--edge)}.page-module__1LWOAG__simCol{padding:0;overflow:visible}.page-module__1LWOAG__playerWindow{height:auto!important;min-height:unset!important}}
.Collapsible-module__Ua5Fea__region{grid-template-rows:0fr;transition:grid-template-rows .25s;display:grid;overflow:hidden}.Collapsible-module__Ua5Fea__regionOpen{grid-template-rows:1fr}.Collapsible-module__Ua5Fea__content{min-height:0}@media (prefers-reduced-motion:reduce){.Collapsible-module__Ua5Fea__region{transition:none}}.Collapsible-module__Ua5Fea__root{border-bottom:.0625rem solid var(--edge)}.Collapsible-module__Ua5Fea__trigger{cursor:pointer;text-align:left;width:100%;color:var(--fg);background:0 0;border:none;justify-content:space-between;align-items:center;gap:1rem;padding:1rem 0;font-size:.9375rem;font-weight:600;line-height:1.4;display:flex}.Collapsible-module__Ua5Fea__trigger:hover{color:var(--color-primary)}.Collapsible-module__Ua5Fea__title{min-width:0}.Collapsible-module__Ua5Fea__icon{color:var(--fg-muted);flex-shrink:0;font-size:1.25rem;font-weight:300;line-height:1;transition:transform .2s}.Collapsible-module__Ua5Fea__iconOpen{transform:rotate(45deg)}.Collapsible-module__Ua5Fea__contentPadded{padding-bottom:1rem}@media (prefers-reduced-motion:reduce){.Collapsible-module__Ua5Fea__icon{transition:none}}
.ShareModal-module__0Rx0Oq__overlay{z-index:1000;background:#00000080;justify-content:center;align-items:center;display:flex;position:fixed;inset:0}.ShareModal-module__0Rx0Oq__modal{background:var(--surface);border:.0625rem solid var(--edge);border-radius:.5rem;width:90%;max-width:30rem;padding:1.75rem;position:relative;box-shadow:0 .5rem 1.5rem #00000026}.ShareModal-module__0Rx0Oq__closeBtn{cursor:pointer;color:var(--fg-muted);background:0 0;border:none;border-radius:.25rem;justify-content:center;align-items:center;width:1.75rem;height:1.75rem;font-size:1.25rem;display:flex;position:absolute;top:.75rem;right:.75rem}.ShareModal-module__0Rx0Oq__closeBtn:hover{background:var(--surface-hover);color:var(--fg)}.ShareModal-module__0Rx0Oq__modal h2{color:var(--fg);margin:0 0 .625rem;font-size:1.25rem}.ShareModal-module__0Rx0Oq__modal p{color:var(--fg-muted);margin:0 0 1rem;font-size:.8125rem;line-height:1.5}.ShareModal-module__0Rx0Oq__urlRow{gap:.5rem;margin-bottom:.875rem;display:flex}.ShareModal-module__0Rx0Oq__urlInput{border:.0625rem solid var(--edge);background:var(--surface-hover);color:var(--fg);border-radius:.25rem;outline:none;flex:1;padding:.5rem .625rem;font-family:Geist Mono,monospace;font-size:.75rem}.ShareModal-module__0Rx0Oq__urlInput:focus{border-color:var(--color-primary)}.ShareModal-module__0Rx0Oq__info{background:var(--surface-hover);border-left:.1875rem solid var(--color-primary);color:var(--fg-muted);border-radius:.25rem;padding:.625rem .75rem;font-size:.75rem}@media (max-width:31.25rem){.ShareModal-module__0Rx0Oq__urlRow{flex-direction:column}}
.TuringPage-module__jzcNKq__page{background:var(--bg);flex-direction:column;min-height:calc(100vh - 3.25rem);display:flex;overflow:visible}.TuringPage-module__jzcNKq__resizableWrapper{align-self:stretch}.TuringPage-module__jzcNKq__pageHeader{border-bottom:.0625rem solid var(--edge);background:var(--surface);flex-shrink:0;justify-content:space-between;align-items:center;padding:1rem 1.5rem;display:flex}.TuringPage-module__jzcNKq__title{color:var(--fg);letter-spacing:-.02em;margin:0;font-size:1.1rem;font-weight:700}.TuringPage-module__jzcNKq__headerActions{gap:.5rem;display:flex}.TuringPage-module__jzcNKq__headerBtn{border:.0625rem solid var(--edge);color:var(--fg-muted);cursor:pointer;transition:background var(--transition-normal,.15s), color var(--transition-normal,.15s), border-color var(--transition-normal,.15s);background:0 0;border-radius:.375rem;padding:.3125rem .875rem;font-size:.8125rem;font-weight:500}.TuringPage-module__jzcNKq__headerBtn:hover{background:var(--surface-hover);color:var(--fg);border-color:var(--edge-strong)}.TuringPage-module__jzcNKq__content{flex:1 0 auto;align-items:stretch;gap:0;display:flex}.TuringPage-module__jzcNKq__configCol{border-right:.0625rem solid var(--edge);flex-direction:column;flex-shrink:0;gap:0;width:25rem;min-width:20rem;max-width:30rem;min-height:100%;padding:1.25rem;display:flex}.TuringPage-module__jzcNKq__settingsSection{border-bottom:.0625rem solid var(--edge);margin-bottom:1rem;padding-bottom:1rem}.TuringPage-module__jzcNKq__machineCol{flex-direction:column;flex:1;gap:0;min-width:0;padding:1.25rem;display:flex}.TuringPage-module__jzcNKq__section{margin-bottom:.5rem}.TuringPage-module__jzcNKq__sectionTitle{color:var(--fg-muted);text-transform:uppercase;letter-spacing:.05em;margin:0 0 .5rem;font-size:.85rem;font-weight:600}.TuringPage-module__jzcNKq__branch{margin-bottom:.75rem}.TuringPage-module__jzcNKq__branchLabel{color:var(--fg);margin-bottom:.25rem;font-size:.8125rem;font-weight:600}.TuringPage-module__jzcNKq__warning{color:var(--color-warning-hover);background:#f59e0b1a;border:.0625rem solid #f59e0b4d;border-radius:.375rem;margin:.5rem 0;padding:.625rem .875rem;font-size:.8125rem}.TuringPage-module__jzcNKq__moreBranches{color:var(--fg-muted);margin:.25rem 0 0;font-size:.75rem}@media (max-width:900px){.TuringPage-module__jzcNKq__content{flex-direction:column}.TuringPage-module__jzcNKq__resizableWrapper{flex-shrink:0;order:1;width:100%!important}.TuringPage-module__jzcNKq__configCol{width:100%;max-width:unset;border-right:none;border-top:.0625rem solid var(--edge)}}