@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-ext-400-normal-BQZuk6qB.woff2)format("woff2"),url(/assets/inter-cyrillic-ext-400-normal-DQukG94-.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-400-normal-obahsSVq.woff2)format("woff2"),url(/assets/inter-cyrillic-400-normal-HOLc17fK.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-ext-400-normal-DGGRlc-M.woff2)format("woff2"),url(/assets/inter-greek-ext-400-normal-KugGGMne.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-400-normal-B4URO6DV.woff2)format("woff2"),url(/assets/inter-greek-400-normal-q2sYcFCs.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-vietnamese-400-normal-DMkecbls.woff2)format("woff2"),url(/assets/inter-vietnamese-400-normal-Bbgyi5SW.woff)format("woff");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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-ext-400-normal-C1nco2VV.woff2)format("woff2"),url(/assets/inter-latin-ext-400-normal-77YHD8bZ.woff)format("woff");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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-400-normal-C38fXH4l.woff2)format("woff2"),url(/assets/inter-latin-400-normal-CyCys3Eg.woff)format("woff");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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-ext-600-normal-Dfes3d0z.woff2)format("woff2"),url(/assets/inter-cyrillic-ext-600-normal-Bcila6Z-.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-600-normal-CWCymEST.woff2)format("woff2"),url(/assets/inter-cyrillic-600-normal-4D_pXhcN.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-ext-600-normal-DRtmH8MT.woff2)format("woff2"),url(/assets/inter-greek-ext-600-normal-B8X0CLgF.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-600-normal-plRanbMR.woff2)format("woff2"),url(/assets/inter-greek-600-normal-BZpKdvQh.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-vietnamese-600-normal-Cc8MFFhd.woff2)format("woff2"),url(/assets/inter-vietnamese-600-normal-BuLX-rYi.woff)format("woff");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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-ext-600-normal-D2bJ5OIk.woff2)format("woff2"),url(/assets/inter-latin-ext-600-normal-CIVaiw4L.woff)format("woff");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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-600-normal-LgqL8muc.woff2)format("woff2"),url(/assets/inter-latin-600-normal-CiBQ2DWP.woff)format("woff");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:Hack;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/hack-regular-Dv5unGLz.woff2)format("woff2")}@font-face{font-family:Hack;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/hack-bold-o0myPlua.woff2)format("woff2")}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;--font-ui:"Inter", ui-sans-serif, system-ui, sans-serif;--font-mono:"Hack", ui-monospace, "Cascadia Code", "Source Code Pro", monospace;--radius:2px;--label-transform:uppercase;--label-tracking:.04em;--step--2:.75rem;--step--1:.8125rem;--step-0:.9375rem;--step-1:1.0625rem;--space-1:.25rem;--space-2:.5rem;--space-3:1rem;--leading:1.5;--control-pad-block:.15em;--control-border:1px;--bg:var(--lightningcss-light,#e9edf2)var(--lightningcss-dark,#101820);--bg-raised:var(--lightningcss-light,#fff)var(--lightningcss-dark,#16202a);--bg-chrome:var(--lightningcss-light,#f4f7fa)var(--lightningcss-dark,#122029);--rule:var(--lightningcss-light,#c8d3de)var(--lightningcss-dark,#273947);--fg:var(--lightningcss-light,#152430)var(--lightningcss-dark,#dbe6ef);--fg-dim:var(--lightningcss-light,#4a5f72)var(--lightningcss-dark,#8ea3b5);--accent:var(--lightningcss-light,#0f766e)var(--lightningcss-dark,#2dd4bf);--on-accent:var(--lightningcss-light,#fff)var(--lightningcss-dark,#06201d);--focus-ring:var(--lightningcss-light,#152430)var(--lightningcss-dark,#dbe6ef);--error:var(--lightningcss-light,#b42318)var(--lightningcss-dark,#f97066);--warn:var(--lightningcss-light,#8a5a00)var(--lightningcss-dark,#fdb022);--tok-neutral:var(--lightningcss-light,#4a5f72)var(--lightningcss-dark,#8ea3b5);--tok-keyword:var(--lightningcss-light,#0b5fb3)var(--lightningcss-dark,#5fa8f5);--tok-ident:var(--lightningcss-light,#152430)var(--lightningcss-dark,#dbe6ef);--tok-nat:var(--lightningcss-light,#9a3412)var(--lightningcss-dark,#f0956a);--tok-bool:var(--lightningcss-light,#9a3412)var(--lightningcss-dark,#f0956a);--tok-operator:var(--lightningcss-light,#6d28d9)var(--lightningcss-dark,#c4a8f5);--tok-punct:var(--lightningcss-light,#4f6477)var(--lightningcss-dark,#8ea3b5);--tok-binder:var(--lightningcss-light,#9f1188)var(--lightningcss-dark,#f472dc);--link-bg:color-mix(in oklab, var(--tok-nat) 20%, transparent);--link-edge:var(--tok-nat)}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}}:root[data-style=paper]{--font-ui:ui-sans-serif, system-ui, sans-serif;--font-mono:ui-monospace, "Cascadia Code", "Source Code Pro", monospace;--radius:5px;--label-transform:none;--label-tracking:.08em}:root[data-style=terminal]{--font-ui:ui-monospace, "Cascadia Code", "Source Code Pro", monospace;--font-mono:ui-monospace, "Cascadia Code", "Source Code Pro", monospace;--radius:3px;--label-transform:none;--label-tracking:.02em}:root[data-theme=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}:focus-visible{outline:2px solid var(--focus-ring);outline-offset:2px}body{background:var(--bg);color:var(--fg);font:var(--step-0) / var(--leading) var(--font-ui);flex-direction:column;min-height:100vh;margin:0;display:flex}.bar{align-items:center;gap:var(--space-3);padding:var(--space-2) var(--space-3);border-bottom:1px solid var(--rule);background:var(--bg-chrome);flex-wrap:wrap;display:flex}@media (width<=30rem){.bar{column-gap:var(--space-2)}}.wordmark{font-size:var(--step-1);letter-spacing:-.01em;font-weight:600}.encoding,.skin{color:var(--fg-dim);align-items:center;gap:var(--space-2);display:flex}.encoding select,.skin select{font:inherit;block-size:calc(var(--leading) * 1em + 2 * (var(--control-pad-block) + var(--control-border)));padding:var(--control-pad-block) .6em;border-radius:var(--radius);border:var(--control-border) solid var(--fg-dim);color:var(--fg);background:0 0}select option{background-color:var(--bg);color:var(--fg)}.bar-spacer{flex:auto}#workspace,#new-view,#buffers,#examples,#share,#appearance,#settings{font:inherit;padding:var(--control-pad-block) .6em;border-radius:var(--radius);border:var(--control-border) solid var(--fg-dim);color:inherit;cursor:pointer;white-space:nowrap;background:0 0;align-items:center;gap:.35em;display:inline-flex}.header-menu{position-area:block-end span-inline-end;position-try-fallbacks:flip-block, flip-inline, flip-block flip-inline;border:1px solid var(--rule);background:var(--bg);color:var(--fg);min-width:12rem;margin:0;padding:.25rem}@supports not (position-area:block-end){.header-menu{margin:auto}}.header-menu>button{text-align:left;width:100%;font:inherit;border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;border:1px solid #0000;padding:.25em .6em;display:block}.header-menu.settings{position-area:block-end span-inline-start;padding:var(--space-2) var(--space-3)}.header-menu.settings:popover-open{gap:var(--space-2);display:grid}.menu-group{align-items:baseline;gap:var(--space-1);padding:.15em .6em;display:flex}.menu-group:before{content:attr(aria-label);font-size:var(--step--2);color:var(--fg-dim);text-transform:var(--label-transform);letter-spacing:var(--label-tracking);flex:0 0 7rem}.menu-group button{font:inherit;border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;border:1px solid #0000;padding:.05em .45em}.menu-group button[aria-current=true]{border-color:var(--fg-dim)}#workspace-menu{min-width:min(20rem,100vw - 2rem);max-width:calc(100vw - 2rem)}#workspace-menu .menu-group{flex-wrap:wrap}#examples-menu{min-width:min(20rem,100vw - 2rem);max-width:min(36rem,100vw - 2rem)}@supports (position-area:block-end){#examples-menu,#share-menu,#workspace-menu{margin-inline-end:1rem}}#examples-menu .example-title,#examples-menu .example-description{display:block}#examples-menu .example-description{font-size:var(--step--2);color:var(--fg-dim)}.header-menu.share{padding:var(--space-2) var(--space-3);width:min(32rem,100vw - 2rem)}.header-menu.share:popover-open{gap:var(--space-2);display:grid}.share-field{align-items:center;gap:var(--space-2);color:var(--fg-dim);display:flex}.share-field input{min-width:0;font:inherit;padding:var(--control-pad-block) .6em;border-radius:var(--radius);border:var(--control-border) solid var(--fg-dim);color:var(--fg);background:0 0;flex:auto}.header-menu.share>.share-copy{border-color:var(--fg-dim);justify-self:start;width:auto}.share-line{font-size:var(--step--1);color:var(--fg-dim);margin:0}.view-more,.view-close,.buffer-delete,.buffer-temperature,.buffer-new,.panel-actions button{font:inherit;font-family:var(--font-mono);border-radius:var(--radius);border:1px solid var(--fg-dim);color:inherit;cursor:pointer;background:0 0;padding:.1em .45em}.pane{overflow:auto}.strip{align-items:baseline;gap:var(--space-1) var(--space-3);padding:var(--space-1) var(--space-3);border-top:1px solid var(--rule);background:var(--bg-raised);font-family:var(--font-mono);font-size:var(--step--1);flex-wrap:wrap;display:flex}.results{gap:var(--space-1) var(--space-3);flex-wrap:wrap;min-width:0;display:flex}.results[data-state=running][data-describes=program]{opacity:.55}.results .segment{white-space:nowrap;text-overflow:ellipsis;min-width:0;max-width:100%;overflow:hidden}.decline{background:color-mix(in oklab, var(--accent) 18%, transparent);border-radius:2px}.tok-keyword{color:var(--tok-keyword);font-weight:600}.tok-ident{color:var(--tok-ident)}.tok-nat{color:var(--tok-nat)}.tok-bool{color:var(--tok-bool)}.tok-operator{color:var(--tok-operator)}.tok-punct{color:var(--tok-punct)}.tok-comment,.tok-mnemonic,.tok-register,.tok-label,.tok-statename,.tok-tapesymbol,.tok-move{color:var(--tok-neutral)}.tok-binder{color:var(--tok-binder)}.cm-editor .cm-gutters{background:var(--bg);color:var(--fg-dim);border-right:1px solid var(--rule)}.cm-editor .cm-activeLine{background:color-mix(in oklab, var(--accent) 7%, transparent)}.cm-editor .cm-content{caret-color:var(--fg)}.cm-editor .cm-scroller{font-family:var(--font-mono)}.cm-editor.cm-editor.cm-focused{outline:none}.cm-editor .cm-content:focus-visible{outline:2px solid var(--focus-ring);outline-offset:-2px}.cm-hover-answer{background:var(--bg-raised);color:var(--fg);font-family:var(--font-mono);font-size:var(--step--1);padding:var(--space-1) var(--space-2);white-space:pre-line}.cm-tooltip.cm-tooltip.cm-tooltip{border-color:var(--rule);background:var(--bg-raised)}.pane h2{font-size:var(--step--1);text-transform:var(--label-transform);letter-spacing:var(--label-tracking);color:var(--fg-dim)}.view-header{align-items:center;gap:var(--space-2) var(--space-3);margin-bottom:var(--space-2);flex-wrap:wrap;display:flex}.view-header .view-title-heading{align-items:center;gap:var(--space-2);flex:1000 1 min-content;min-width:0;max-width:max-content;margin:0;display:flex}.view-steps{flex:auto}.view-actions{align-items:center;gap:var(--space-1);margin-inline-start:auto;display:flex}.view-title{font:inherit;color:var(--fg);letter-spacing:inherit;text-transform:none;flex:none;max-width:100%}span.view-title,.view-title-text{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}button.view-title{border-radius:var(--radius);cursor:pointer;background:0 0;border:1px solid #0000;align-items:center;gap:.35em;padding:.05em .35em;display:inline-flex}button.view-title:hover,button.view-title[aria-expanded=true]{border-color:var(--fg-dim)}.view-title-caret{flex:none;rotate:90deg}.view-status{border-radius:var(--radius);font-family:var(--font-mono);font-size:var(--step--2);letter-spacing:normal;text-transform:none;color:var(--fg);word-break:break-all;-webkit-line-clamp:1;line-clamp:1;border:1px solid;-webkit-box-orient:vertical;flex:0 auto;min-width:0;padding:0 .35em;display:-webkit-box;overflow:hidden}.view-title-menu{position-area:block-end span-inline-end;position-try-fallbacks:flip-block, flip-inline, flip-block flip-inline;border:1px solid var(--rule);background:var(--bg);min-width:12rem;margin:0;padding:.25rem}@supports not (position-area:block-end){.view-title-menu{margin:auto}}.view-title-menu button{text-align:left;width:100%;font:inherit;font-family:var(--font-mono);border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;border:1px solid #0000;padding:.15em .6em;display:block}.view-title-menu button[aria-current=true]{border-color:var(--fg-dim)}.term{font-family:var(--font-mono);font-size:var(--step--1);min-height:6lh;max-height:60vh;margin:0;position:relative;overflow:auto}.term-flat{white-space:pre-wrap;overflow-wrap:anywhere}.term-spacer{position:relative}.term-rows{inset-inline:0;position:absolute;top:0}.term-line{white-space:pre;height:20px;padding-inline-start:2ch;line-height:20px}.term-gutter{width:2ch;color:var(--fg-dim);cursor:pointer;-webkit-user-select:none;user-select:none;margin-inline-start:-2ch;display:inline-block}.term-gutter[data-open=true]:before{content:"▾"}.term-gutter[data-open=false]:before{content:"▸"}.term:focus-visible .term-line.is-active{box-shadow:inset 2px 0 0 var(--focus-ring)}.term-chip,.term-fold{cursor:pointer}.term-chip.tok-nat{text-decoration:overline}.term-fold{color:var(--fg-dim);font-style:italic}.term [data-marks]:before{content:attr(data-marks);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.term[data-stale] .term-rows{opacity:.7}.term-map{cursor:crosshair;width:100%;height:120px;display:block}.map-mode[aria-checked=true],.diagram-mode[aria-checked=true]{border-color:var(--accent);box-shadow:inset 0 -2px 0 var(--accent);font-weight:600}.diagram-mode:disabled{opacity:.45;cursor:not-allowed}.term-note{color:var(--fg-dim);margin:var(--space-1) 0 0;font-style:italic}.term-editor{border-bottom:1px solid var(--rule);max-height:8lh;margin-bottom:.5rem;overflow:auto}.truncated{color:var(--fg-dim);font-style:italic}.tm-status,.tm-value,.asm-value{font-family:var(--font-mono);font-size:var(--step--1);color:var(--fg-dim);margin-bottom:var(--space-2)}.tm-value:empty,.asm-value:empty{margin-bottom:0}.tapes{gap:var(--space-1);display:grid}.tape{gap:var(--space-2);grid-template-columns:5ch 1fr;align-items:center;display:grid}.tape-label{font-family:var(--font-mono);font-size:var(--step--2);color:var(--fg-dim);text-align:right}.cells{font-family:var(--font-mono);display:flex;overflow-x:auto}.cell{text-align:center;border:1px solid #0000;flex:none;min-width:1.6ch;padding:.1em 0}.cell.head{border-radius:var(--radius);border-color:currentColor;font-weight:600}.controls{align-items:center;gap:var(--space-2);margin-top:var(--space-3);display:flex}.controls button{font:inherit;font-family:var(--font-mono);border-radius:var(--radius);border:1px solid var(--fg-dim);color:inherit;cursor:pointer;background:0 0;padding:.15em .6em}.controls button:disabled{opacity:.35;cursor:default}.controls button[hidden]{display:none}.controls .step{font-family:var(--font-mono);font-size:var(--step--2);color:var(--fg-dim)}.controls .play{align-items:center;display:inline-flex}.controls .speed{font:inherit;font-family:var(--font-mono);font-size:var(--step--2);border-radius:var(--radius);border:1px solid var(--fg-dim);color:var(--fg);background:0 0;padding:.1em .3em}.view-steps .controls{row-gap:var(--space-1);flex-wrap:wrap;margin-top:0}.step-bar{padding:var(--space-1) var(--space-3);border-top:1px solid var(--rule);background:var(--bg-raised);align-items:center;display:flex}.step-bar[hidden]{display:none}.step-bar-inner{align-items:center;row-gap:var(--space-1);column-gap:var(--space-2);flex-wrap:wrap;display:flex}.step-bar-title{font-family:var(--font-mono);font-size:var(--step--1);color:var(--fg-dim);margin-inline-end:calc(var(--space-3) - var(--space-2))}.step-bar-title[hidden]{display:none}.step-bar .controls{display:contents}.view-more,.view-close{align-items:center;padding:.2em .35em;display:inline-flex}.view-menu{position-area:block-end span-inline-start;position-try-fallbacks:flip-block, flip-inline, flip-block flip-inline;border:1px solid var(--rule);background:var(--bg);min-width:14rem;margin:0;padding:.25rem}@supports not (position-area:block-end){.view-menu{margin:auto}}.view-menu button{text-align:left;width:100%;font:inherit;border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;border:1px solid #0000;grid-template-columns:auto 1fr;align-items:center;column-gap:.5em;padding:.25em .6em;display:grid}.view-menu button:disabled{opacity:.55;cursor:default}.view-menu .view-menu-label{grid-column:2}.view-menu .view-menu-hint{font-size:var(--step--2);color:var(--fg-dim);grid-column:2}.view-menu-choice[aria-checked=true]{box-shadow:inset 2px 0 0 var(--accent);font-weight:600}.buffer-list{position-area:block-end span-inline-end;position-try-fallbacks:flip-block, flip-inline, flip-block flip-inline;border:1px solid var(--rule);background:var(--bg);padding:var(--space-1);min-width:min(26rem,90vw);max-width:min(40rem,90vw);margin:0}@supports not (position-area:block-end){.buffer-list{margin:auto}}.buffer-row{justify-content:space-between;align-items:center;gap:var(--space-3);padding:var(--space-1);display:flex}.buffer-row-text{flex-direction:column;min-width:0;display:flex}.buffer-row-term{font-family:var(--font-mono);font-size:var(--step--1);color:var(--fg-dim);white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.buffer-row-term.is-absent{font-family:inherit;font-style:italic}.buffer-new{margin:var(--space-1)}.buffer-delete,.buffer-temperature{flex:none}.banner{padding:var(--space-3);border-radius:var(--radius);color:var(--error);font-family:var(--font-mono);font-size:var(--step--1);border:1px solid}.panel{margin-block-start:var(--space-2)}.panel-header{align-items:center;gap:var(--space-1) var(--space-2);padding:0 var(--space-2);background:var(--bg-chrome);border-block:1px solid var(--rule);flex-wrap:wrap;display:flex}.panel-toggle{align-items:center;gap:var(--space-1);padding:var(--space-1) 0;color:var(--fg-dim);font:inherit;font-size:var(--step--2);text-transform:var(--label-transform);letter-spacing:var(--label-tracking);cursor:pointer;background:0 0;border:0;display:inline-flex}.icon{vertical-align:-.125em;flex:none;width:1em;height:1em}.panel-toggle .icon{transition:transform .12s ease-out}.panel[data-open=true]>.panel-header .panel-toggle .icon{transform:rotate(90deg)}@media (prefers-reduced-motion:reduce){.panel-toggle .icon{transition:none}}.panel-actions{justify-content:flex-end;gap:var(--space-1) var(--space-2);font-size:var(--step--2);flex-wrap:wrap;margin-inline-start:auto;display:flex}.panel-actions:empty{display:none}.state-table,.asm-listing{font-family:var(--font-mono);font-size:var(--step--2);overflow-y:auto}.state-spacer,.asm-spacer{position:relative}.state-rows,.asm-rows{inset-inline:0;will-change:transform;position:absolute;top:0}.state-row,.asm-row{--row-bar:0 0 transparent;--row-edge:0 0 transparent;--row-active:0 0 transparent;height:24px;box-shadow:inset var(--row-bar), inset var(--row-edge), inset var(--row-active);border-inline-start:3px solid #0000;padding-inline:.5rem;line-height:24px}.state-cell,.asm-cell{white-space:pre;text-overflow:ellipsis;overflow:hidden}.state-table:focus-visible .state-row.is-active,.asm-listing:focus-visible .asm-row.is-active{--row-active:0 0 0 2px var(--focus-ring)}.state-cell[data-marks]:before,.asm-cell[data-marks]:before{content:attr(data-marks);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.state-row.is-state{font-weight:600}.state-row.is-accept>.state-cell:after{content:" · accept";opacity:.6;font-weight:400}.state-row.is-rule{opacity:.85;padding-inline-start:1.5rem}.state-row.is-linked,.asm-row.is-linked{background:var(--link-bg);border-inline-start-style:dashed;border-inline-start-color:var(--link-edge)}.state-row.is-focus,.asm-row.is-focus{background:color-mix(in oklab, var(--tok-operator) 22%, var(--bg));--row-edge:0 -2px 0 var(--tok-operator)}.state-row,.asm-row{cursor:pointer}.state-row.is-current{background:color-mix(in oklab, var(--accent) 14%, var(--bg));--row-bar:3px 0 0 var(--accent)}.state-row.is-next{background:color-mix(in oklab, var(--accent) 24%, var(--bg));outline:1px solid var(--accent);outline-offset:-1px}.cm-editor .linked{background:var(--link-bg);box-shadow:inset 0 0 0 1px var(--link-edge);-webkit-box-decoration-break:clone;box-decoration-break:clone}.cm-editor .is-focus-exact{background:color-mix(in oklab, var(--tok-operator) 22%, transparent);-webkit-text-decoration:underline solid var(--tok-operator) 2px;text-decoration:underline solid var(--tok-operator) 2px;text-underline-offset:.2em}.cm-editor .is-focus-within{background:color-mix(in oklab, var(--tok-operator) 10%, transparent);-webkit-text-decoration:underline dotted var(--tok-operator) 2px;text-decoration:underline dotted var(--tok-operator) 2px;text-underline-offset:.2em}.cm-editor .is-focus-coincident{--focus-coincident-hue:color-mix(in oklab, var(--tok-operator) 55%, var(--tok-nat) 45%);background:color-mix(in oklab, var(--focus-coincident-hue) 34%, transparent);-webkit-text-decoration:underline double var(--focus-coincident-hue);text-decoration:underline double var(--focus-coincident-hue);text-underline-offset:.2em;text-decoration-thickness:2px}.link-status{min-height:1.2em;color:var(--fg-dim);padding:.2em .4em;font-size:.85em}.strip .link-status{margin-inline-start:auto;padding:0}.term .is-linked{background:var(--link-bg);box-shadow:inset 0 0 0 1px var(--link-edge);-webkit-box-decoration-break:clone;box-decoration-break:clone}.term .is-contractum{background:color-mix(in oklab, var(--tok-operator) 22%, transparent);box-shadow:inset 0 -2px 0 var(--tok-operator)}.term .is-next-redex{outline:1px dashed var(--tok-operator);outline-offset:-1px}main{flex-direction:row;flex:auto;align-items:stretch;min-height:0;display:flex}#views{flex-direction:column;flex:auto;align-items:stretch;min-width:0;min-height:0;display:flex}.layout-divider{flex:0 0 var(--divider-size,4px);background:var(--rule);box-sizing:content-box;background-clip:content-box;border:4px solid #0000}.layout-split[data-dir=row]>.layout-divider{cursor:col-resize}.layout-split[data-dir=column]>.layout-divider{cursor:row-resize}.layout-divider:focus-visible{outline-offset:-2px}.stage{flex-direction:column;flex:auto;min-height:0;display:flex}.stage-tabs{gap:var(--space-1);padding:0 var(--space-2);background:var(--bg-chrome);border-block-end:1px solid var(--rule);display:flex}.stage-tab{font:inherit;font-family:var(--font-mono);font-size:var(--step--1);padding:var(--space-1) var(--space-2);color:var(--fg-dim);cursor:pointer;background:0 0;border:0;border-block-end:2px solid #0000}.stage-tab[aria-selected=true]{color:var(--fg);border-block-end-color:var(--accent)}.stage-tab:focus-visible{outline-offset:-2px}.notice{align-items:baseline;gap:var(--space-3);padding:var(--space-1) var(--space-3);border-bottom:1px solid var(--rule);background:var(--bg-raised);font-size:var(--step--1);display:flex}.notice[hidden]{display:none}.notice-action{font:inherit;border:1px solid var(--fg-dim);border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;margin-inline-start:auto;padding:0 .5em}.visually-hidden{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.base16-dialog{width:min(46rem, calc(100vw - 2 * var(--space-3)));max-height:calc(100vh - 2 * var(--space-3));padding:var(--space-3);border:1px solid var(--rule);border-radius:var(--radius);background:var(--bg-raised);color:var(--fg);overflow:auto}.base16-dialog[open]{gap:var(--space-2);display:grid}.base16-dialog::backdrop{background:color-mix(in oklab, var(--bg) 70%, transparent)}.base16-heading{font-size:var(--step-1);margin:0;font-weight:600}.base16-field{gap:var(--space-1);color:var(--fg-dim);display:grid}.base16-text{font:var(--step--1) / 1.4 var(--font-mono);padding:var(--space-2);border:1px solid var(--rule);border-radius:var(--radius);background:var(--bg);color:var(--fg);resize:vertical}.base16-check,.base16-remove,.base16-actions button{font:inherit;border:1px solid var(--fg-dim);border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;justify-self:start;padding:.15em .6em}.base16-check:disabled,.base16-actions button:disabled{opacity:.55;cursor:default}.base16-actions{gap:var(--space-2);flex-wrap:wrap;display:flex}.base16-now p,.base16-result p,.base16-why{margin:0}.base16-why,.base16-elsewhere{color:var(--fg-dim);font-size:var(--step--1)}.base16-errors{color:var(--error);margin:0}.base16-now-changes ul,.base16-details-body ul{margin:var(--space-1) 0;font-size:var(--step--1);padding-inline-start:var(--space-3)}.base16-changes{list-style:none}.base16-changes-label{color:var(--fg-dim);font-size:var(--step--2);text-transform:var(--label-transform);letter-spacing:var(--label-tracking)}.base16-scheme-name{text-transform:none}.base16-swatch{border:1px solid var(--rule);vertical-align:-.1em;width:.9em;height:.9em;margin-inline-end:.3em;display:inline-block}.inspector{border-inline-start:1px solid var(--rule);background:var(--bg-raised);flex-direction:column;flex:0 0 18rem;min-height:0;display:flex}.inspector[hidden]{display:none}.inspector>.panel{flex-direction:column;flex:auto;min-height:0;margin-block-start:0;display:flex}.inspector-body{min-height:0;padding:var(--space-2);font-family:var(--font-mono);font-size:var(--step--1);flex:auto;overflow-y:auto}.inspector .results{display:block}.inspector-body .row{gap:0 var(--space-2);padding-block:var(--space-1);grid-template-columns:minmax(0,1fr);display:grid}.inspector-body .row-label{font-size:var(--step--2);color:var(--fg-dim);letter-spacing:var(--label-tracking)}.inspector-body .row-value{white-space:pre-wrap;overflow-wrap:anywhere}.inspector-body .row-note{font-size:var(--step--2);color:var(--fg-dim)}.inspector-body .link-status{padding:var(--space-1) 0 0;margin-inline-start:0}@media (width<=30rem){main:has(>.inspector:not([hidden])){flex-direction:column;flex-basis:0;min-height:15rem}.inspector{border-inline-start:0;flex:none;max-height:40%}}.outline{flex-direction:column;max-height:40vh;padding:.25em 0;display:flex;overflow-y:auto}.outline-row{text-align:left;font:inherit;border-radius:var(--radius);color:inherit;cursor:pointer;background:0 0;border:1px solid #0000;padding:.15em .6em;padding-inline-start:calc(.6em + var(--outline-depth,0) * 1em)}.outline-row[data-depth="1"]{--outline-depth:1}.outline-row[data-depth="2"]{--outline-depth:2}.outline-row:hover{background:var(--bg-raised)}.outline-empty{font-size:var(--step--2);color:var(--fg-dim);margin:0;padding:.15em .6em}.state-diagram{font-family:var(--font-mono);font-size:var(--step--2);flex-direction:column;display:flex;container:state-diagram/inline-size}.program-level{flex:1 1 0;min-height:0;display:flex}.program-scroll{flex:auto;min-width:0;overflow-y:auto}.program-spacer{position:relative}.program-rows{will-change:transform;position:absolute;top:0;right:0}.program-gutter{position:absolute;left:0;overflow:hidden}.program-row{cursor:pointer;border-inline-start:3px solid #0000;height:24px;padding-inline:.5rem;line-height:24px}.program-cell{gap:var(--space-2);white-space:pre;display:flex;overflow:hidden}.program-name{min-width:5ch;color:var(--fg-dim);flex:none}.program-text{text-overflow:ellipsis;flex:1 1 0;overflow:hidden}.program-chips{gap:var(--space-1);flex:none;display:flex}.program-chip,.program-step{border:1px solid var(--rule);border-radius:var(--radius);color:var(--fg-dim);padding:0 .4em}.program-warn{color:var(--warn);flex:none}.program-count{color:var(--fg-dim);flex:none;margin-inline-start:auto}.program-cell>.program-count{flex:0 auto;min-width:0;display:flex}.program-count-number,.program-count-unit{flex-wrap:wrap;height:1lh;display:flex;overflow:clip}.program-count-number:before,.program-count-unit:before{content:"";height:100%}.program-count-number{flex:none;max-width:100%}.program-count-unit{flex:0 auto;min-width:0}.program-count-word{text-overflow:ellipsis;flex:none;width:100%;min-width:2ch;overflow:hidden}.program-row.is-label,.program-row.is-heading{color:var(--accent);cursor:default}.program-row.is-steps .program-cell{gap:var(--space-1);padding-inline-start:5ch}.program-step.is-now{color:var(--fg);border-color:var(--accent);font-weight:600}.program-row.is-linked{background:var(--link-bg);border-inline-start-style:dashed;border-inline-start-color:var(--link-edge)}.program-row.is-current{background:color-mix(in oklab, var(--accent) 14%, var(--bg));box-shadow:inset 3px 0 0 var(--accent)}.program-scroll:focus-visible .program-row.is-active{outline:2px solid var(--focus-ring);outline-offset:-2px}.program-arc,.program-link{fill:none;stroke:var(--fg-dim);stroke-width:1.3px}.program-arc.is-hot{stroke:var(--accent);stroke-width:1.8px}.program-link{stroke-dasharray:3 2}.program-side{border-inline-start:1px solid var(--rule);flex:none;width:11rem;position:relative}.program-links{width:100%;position:absolute;inset:0;overflow:hidden}.program-boxes{position:absolute;top:0}.program-box{gap:var(--space-2);width:104px;height:22px;font:inherit;color:inherit;background:var(--bg-raised);border:1px solid var(--rule);border-radius:var(--radius);cursor:pointer;align-items:center;margin-top:1px;padding:0 .4em;display:flex;position:absolute}.program-side[hidden]{display:none}.program-box.is-linked{background:var(--link-bg);border-style:dashed;border-color:var(--link-edge)}.program-box.is-current{background:color-mix(in oklab, var(--accent) 14%, var(--bg));box-shadow:inset 3px 0 0 var(--accent)}@container state-diagram (width<14rem){.program-level{overflow-x:auto}.program-scroll{min-width:100%}.program-box:focus-visible{outline-offset:-2px}}.local-level{flex:1 1 0;min-height:0;position:relative;overflow:auto}.local-level[hidden],.program-level[hidden]{display:none}.local-nodes{position:relative}.local-edges{position:absolute;top:0;left:0;overflow:visible}.local-node{height:24px;font:inherit;color:inherit;text-align:left;white-space:nowrap;text-overflow:ellipsis;background:var(--bg-raised);border:1px solid var(--rule);border-radius:var(--radius);cursor:pointer;padding:0 .4em;position:absolute;overflow:hidden}.local-node.is-linked{background:var(--link-bg);border-style:dashed;border-color:var(--link-edge)}.local-node.is-current{background:color-mix(in oklab, var(--accent) 14%, var(--bg));box-shadow:inset 3px 0 0 var(--accent);font-weight:600}.local-node:focus-visible{outline:2px solid var(--focus-ring);outline-offset:1px}.local-edge{fill:none;stroke:var(--fg-dim);stroke-width:1.2px}.local-edge.is-next{stroke:var(--accent);stroke-width:2.2px}.local-label{fill:var(--fg-dim);font-size:10px}.program-show{font:inherit;color:var(--accent);border:1px solid var(--rule);border-radius:var(--radius);cursor:pointer;background:0 0;padding:0 .5em}.pane[data-kind=tm]{flex-direction:column;display:flex}.tm-pane{flex-direction:column;flex:1 0 auto;display:flex}.tm-pane>*{flex:none}.tm-pane>.panel[data-panel=rules][data-open=true]:not([hidden]),.tm-pane>.panel[data-panel=diagram][data-open=true]:not([hidden]),.tm-pane>.panel[data-panel=outline][data-open=true]:not([hidden]){flex-direction:column;display:flex}.tm-pane>.panel[data-panel=rules][data-open=true]{flex:2 1 0}.tm-pane>.panel[data-panel=diagram][data-open=true],.tm-pane>.panel[data-panel=outline][data-open=true]{flex:1 1 0}.tm-pane>.panel[data-open=true]>.state-table,.tm-pane>.panel[data-open=true]>.state-diagram,.tm-pane>.panel[data-open=true]>.outline{flex:1 1 0;max-height:none}.tm-pane>.panel[data-open=true]>.state-table,.tm-pane>.panel[data-open=true]>.state-diagram{min-height:120px}.tm-pane>.panel[data-open=true]>.outline{min-height:5lh}.outline[hidden],.state-diagram[hidden]{display:none}.pane[data-kind=asm]{flex-direction:column;display:flex}.asm-pane{flex-direction:column;flex:1 0 auto;display:flex}.asm-pane>*{flex:none}.asm-pane>.panel[data-panel=listing][data-open=true],.asm-pane>.panel[data-panel=heap][data-open=true],.asm-pane>.panel[data-panel=outline][data-open=true]:not([hidden]),.asm-machine>.panel[data-open=true]{flex-direction:column;display:flex}.asm-pane>.panel[data-panel=listing][data-open=true]{flex:2 1 0}.asm-pane>.panel[data-panel=heap][data-open=true],.asm-pane>.panel[data-panel=outline][data-open=true]{flex:1 1 0}.asm-pane>.asm-machine:has(>.panel[data-open=true]){flex:1 1 0}.asm-pane>.panel[data-open=true]>.outline{flex:1 1 0;min-height:5lh;max-height:none}.asm-machine{align-items:stretch;column-gap:1rem;row-gap:var(--space-2);flex-wrap:wrap;margin-block-start:var(--space-2);display:flex}.asm-machine>.panel{flex:18rem;min-width:0;margin-block-start:0}.asm-machine>.panel[data-open=false]{flex:none;align-self:flex-start}.asm-pane>.panel[data-open=true]>.asm-listing{flex:1 1 0;min-height:120px}.asm-registers,.asm-stack,.asm-heap{min-height:5lh;font-family:var(--font-mono);font-size:var(--step--2);flex:1 1 0;margin:0;padding-inline:.5rem;list-style:none;overflow-y:auto}.panel-note{font-size:var(--step--2);color:var(--fg-dim)}.asm-pc{min-width:5ch;color:var(--fg-dim);display:inline-block}.asm-mnemonic{min-width:7ch;display:inline-block}.asm-row.is-label{color:var(--fg-dim);font-weight:600}.asm-row.is-next{background:color-mix(in oklab, var(--accent) 24%, var(--bg));outline:1px solid var(--accent);outline-offset:-1px;--row-bar:3px 0 0 var(--accent)}.asm-register-list{grid-template-columns:repeat(auto-fill,minmax(14ch,1fr));gap:0 1ch;margin:0;display:grid}.asm-register{gap:1ch;padding-inline:.25rem;display:flex}.asm-register dt{min-width:4ch;color:var(--fg-dim)}.asm-register dd{text-overflow:ellipsis;white-space:nowrap;margin:0;overflow:hidden}.asm-register.is-changed{outline:1px solid var(--accent);outline-offset:-1px;font-weight:600}.asm-register.is-unwritten{opacity:.55}.asm-note{color:var(--fg-dim);margin:0}.asm-frame,.asm-cell-line{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.asm-ret,.asm-refs{color:var(--fg-dim)}