@font-face{font-family:Comic Shanns Mono;src:url(/assets/ComicShannsMono-Regular-ydGRTn6i.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:Comic Shanns Mono;src:url(/assets/ComicShannsMono-Bold-ZdANzspC.woff2)format("woff2");font-weight:700;font-display:swap}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--bg:#e6e9ef;--pane:#eff1f5;--inset:#dce0e8;--card:#fbfcfe;--border:#ccd0da;--border-2:#bcc0cc;--text:#4c4f69;--muted:#6c6f85;--faint:#8c8fa1;--accent:#209fb5;--accent-strong:#04a5e5;--hl:#b3e0f2;--hl-ring:#04a5e58c;--pink:#ea76cb;--mauve:#8839ef;--red:#d20f39;--red-bg:#d20f3914;--peach:#fe640b;--yellow:#df8e1d;--green:#40a02f;--lavender:#7287fd;--blue:#1e66f5;--syn-kw:var(--mauve);--syn-type:var(--yellow);--syn-fn:var(--blue);--syn-punct:#7c7f93;--syn-comment:#9ca0b0;--syn-const:var(--peach);--font-ui:ui-rounded, "Hiragino Maru Gothic ProN", "BIZ UDGothic", "Segoe UI", system-ui, sans-serif;--font-mono:"Comic Shanns Mono", "Maple Mono", ui-monospace, "Cascadia Code", Consolas, monospace;--font-math:"Latin Modern Math", "STIX Two Math", "Cambria Math", Georgia, serif;--radius:14px;--veil:#ffffff8c;--shadow:0 2px 10px #4c4f6912}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#232634;--pane:#303446;--inset:#292c3c;--card:#292c3c;--border:#414559;--border-2:#51576d;--text:#c6d0f5;--muted:#a5adce;--faint:#838ba7;--accent:#85c1dc;--accent-strong:#99d1db;--hl:#3f6f80;--hl-ring:#99d1dbd9;--pink:#f4b8e4;--mauve:#ca9ee6;--red:#e78284;--red-bg:#e782841f;--peach:#ef9f76;--yellow:#e5c890;--green:#a6d189;--lavender:#babbf1;--blue:#8caaee;--syn-punct:#949cbb;--syn-comment:#737994;--veil:#ffffff14;--shadow:0 2px 10px #00000040}}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#232634;--pane:#303446;--inset:#292c3c;--card:#292c3c;--border:#414559;--border-2:#51576d;--text:#c6d0f5;--muted:#a5adce;--faint:#838ba7;--accent:#85c1dc;--accent-strong:#99d1db;--hl:#3f6f80;--hl-ring:#99d1dbd9;--pink:#f4b8e4;--mauve:#ca9ee6;--red:#e78284;--red-bg:#e782841f;--peach:#ef9f76;--yellow:#e5c890;--green:#a6d189;--lavender:#babbf1;--blue:#8caaee;--syn-punct:#949cbb;--syn-comment:#737994;--veil:#ffffff14;--shadow:0 2px 10px #00000040}*{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--bg);height:100vh;color:var(--text);font-family:var(--font-ui);grid-template-columns:1fr 1fr;font-size:14px;display:grid}a{color:var(--accent)}a:hover{color:var(--accent-strong)}#app{min-width:0;height:100vh}#left-pane{background:var(--pane);border-right:2px solid var(--border);flex-direction:column;min-width:0;height:100%;display:flex}#left-pane header{border-bottom:2px solid var(--border);flex-wrap:wrap;align-items:center;gap:8px 10px;padding:12px 16px;display:flex}#left-pane h1{font-family:var(--font-ui);letter-spacing:.18em;text-transform:uppercase;white-space:nowrap;background:linear-gradient(105deg, var(--accent-strong) 20%, var(--lavender) 90%);color:#0000;-webkit-background-clip:text;background-clip:text;flex-basis:100%;margin:0 6px 0 0;font-size:14px;font-weight:800}#lang-select,#example-select{border:1.5px solid var(--border-2);background:var(--card);min-width:0;max-width:150px;color:var(--text);font:inherit;border-radius:10px;flex:0 auto;padding:5px 8px;font-size:13px}#lang-select:focus-visible,#example-select:focus-visible,.run-buttons button:focus-visible,.example-nav button:focus-visible,.vim-toggle input:focus-visible{outline:2px solid var(--accent-strong);outline-offset:2px}.vim-toggle{color:var(--muted);font-size:12.5px;font-family:var(--font-mono);cursor:pointer;-webkit-user-select:none;user-select:none;align-items:center;gap:6px;display:inline-flex}.vim-toggle input{appearance:none;background:var(--border-2);cursor:pointer;border-radius:999px;width:32px;height:18px;margin:0;transition:background .15s;position:relative}.vim-toggle input:after{content:"";background:var(--pane);border-radius:50%;width:14px;height:14px;transition:translate .15s;position:absolute;top:2px;left:2px}.vim-toggle input:checked{background:var(--accent)}.vim-toggle input:checked:after{translate:14px}.example-nav{gap:4px;margin-left:auto;display:flex}.example-nav button{border:1.5px solid var(--border-2);background:var(--card);width:30px;height:30px;color:var(--muted);font:inherit;cursor:pointer;border-radius:50%;padding:0;font-size:16px;line-height:1;transition:background .12s,border-color .12s,color .12s;position:relative}.example-nav button:hover{border-color:var(--accent);background:color-mix(in srgb, var(--veil), var(--card));color:var(--accent)}.example-nav button:disabled{opacity:.4;cursor:not-allowed}.example-nav button:disabled:hover{border-color:var(--border-2);background:var(--card);color:var(--muted)}.example-nav button:hover:not(:disabled):after{content:attr(title);background:var(--text);color:var(--pane);font-family:var(--font-ui);white-space:nowrap;z-index:10;pointer-events:none;border-radius:7px;padding:3px 9px;font-size:11px;font-weight:700;position:absolute;top:calc(100% + 7px);left:50%;translate:-50%}#theme-toggle{border:1.5px solid var(--border-2);background:var(--card);width:30px;height:30px;color:var(--muted);cursor:pointer;border-radius:50%;place-items:center;margin-left:6px;padding:0;font-size:14px;line-height:1;transition:background .12s,border-color .12s,color .12s;display:grid}#theme-toggle:hover{border-color:var(--accent);background:var(--hl);color:var(--accent)}#theme-toggle:focus-visible{outline:2px solid var(--accent-strong);outline-offset:2px}#theme-toggle:hover:after{content:attr(title);background:var(--text);color:var(--pane);font-family:var(--font-ui);white-space:nowrap;z-index:10;pointer-events:none;border-radius:7px;padding:3px 9px;font-size:11px;font-weight:700;position:absolute;top:calc(100% + 7px);right:0}.run-buttons{z-index:5;flex:none;justify-content:flex-end;gap:6px;margin:-50px 26px 34px auto;display:flex;position:relative}.run-buttons button{border:1.5px solid var(--border-2);background:var(--card);color:var(--text);font:inherit;cursor:pointer;border-radius:999px;padding:6px 13px;font-size:13px;font-weight:700;transition:background .12s,border-color .12s,translate .12s;position:relative}.run-buttons button:hover{border-color:var(--accent);background:color-mix(in srgb, var(--veil), var(--card));translate:0 -1px}#btn-end{background:var(--accent);border-color:var(--accent);color:var(--pane)}#btn-end:hover{background:color-mix(in srgb, #fff 18%, var(--accent));border-color:color-mix(in srgb, #fff 18%, var(--accent))}.run-buttons button:hover:after{content:attr(title);background:var(--text);color:var(--pane);font-family:var(--font-ui);white-space:nowrap;z-index:10;pointer-events:none;border-radius:7px;padding:3px 9px;font-size:11px;font-weight:700;position:absolute;bottom:calc(100% + 7px);left:50%;translate:-50%}.ic-bar{vertical-align:-.08em;background:currentColor;border-radius:1px;width:2px;height:.8em;margin-left:2px;display:inline-block}#editor{border:2px solid var(--border);border-radius:var(--radius);background:var(--card);min-height:0;box-shadow:var(--shadow);flex:1;margin:16px 16px 0;overflow:hidden}#editor .cm-editor{background:var(--card);height:100%;color:var(--text);font-family:var(--font-mono);font-size:13.5px;line-height:1.7}#editor .cm-scroller{height:100%;font-family:inherit;display:flex;overflow:auto}#editor .cm-gutters{color:var(--faint);-webkit-user-select:none;user-select:none;background:0 0;border:0;padding:0;font-size:12px;line-height:18.9px}#editor .cm-gutterElement{line-height:inherit;text-align:right;padding:0 12px 0 16px}#editor .cm-content{padding:10px 14px}#editor .cm-line{padding:0 2px}#editor .cm-activeLine{background:0 0}#editor .cm-cursor{border-left:2px solid var(--accent-strong)}.cm-fat-cursor,#editor .cm-fat-cursor{border-radius:3px;outline:none;background:var(--accent-strong)!important;color:var(--pane)!important}.cm-lintRange-error{-webkit-text-decoration:underline wavy var(--red);text-decoration:underline wavy var(--red);text-underline-offset:4px;background:0 0;text-decoration-thickness:1.5px}.tok-keyword{color:var(--syn-kw);font-weight:700}.tok-type{color:var(--syn-type)}.tok-fn{color:var(--syn-fn)}.tok-punct{color:var(--syn-punct)}.tok-comment{color:var(--syn-comment);font-style:italic}.tok-const{color:var(--syn-const)}.cm-content .ch-hl{background:var(--hl);border-radius:4px}html[data-theme=dark] .cm-content .ch-hl,html[data-theme=dark] .cm-content .ch-hl span{color:#f0f6ff}#output{border:2px solid var(--border);border-radius:var(--radius);background:var(--inset);max-height:34%;font-family:var(--font-mono);flex:none;margin:0 16px 16px;padding:6px 0;font-size:12.5px;overflow-y:auto}#output pre{font:inherit;white-space:pre-wrap;margin:0;padding:2px 14px;line-height:1.35}#output .error{border-top:1px dashed var(--border);background:var(--red-bg);color:var(--red)}::highlight(ch-text){background-color:#b3e0f2;background-color:var(--hl);color:#04506e}html[data-theme=dark] ::highlight(ch-text){background-color:#3f6f80;background-color:var(--hl);color:#f0f6ff}#derivations{background:var(--bg);min-width:0;height:100vh;color:var(--text);flex-direction:column;gap:14px;padding:16px;display:flex;overflow-y:auto}.derivation-figure{border:2px solid var(--border);border-radius:var(--radius);background:var(--card);box-shadow:var(--shadow);color:inherit;font-family:var(--font-math);flex:none;padding:22px 22px 20px 58px;font-size:16px;position:relative;overflow-x:auto}.derivation-figure:first-child{padding-left:22px}.derivation-figure+.derivation-figure:before{content:"⟶";color:var(--accent);font-family:var(--font-math);font-size:20px;position:absolute;top:50%;left:16px;translate:0 -50%}.derivation-figure:last-child{border-color:var(--accent)}.ch-hl-node{background:var(--hl)}*{scrollbar-width:thin;scrollbar-color:var(--border-2) transparent}