.themed-select-trigger.themed-select-trigger{border:1px solid var(--rule);background:var(--panel);min-width:0;max-width:100%;min-height:44px;color:var(--ink);letter-spacing:normal;text-align:start;touch-action:manipulation;cursor:pointer;border-radius:2px;justify-content:space-between;align-items:center;gap:10px;padding:8px 11px;font-family:inherit;font-size:16.5px;font-weight:400;line-height:1.4;display:inline-flex}.themed-select-trigger:hover:not([data-disabled]),.themed-select-trigger[data-popup-open]{border-color:var(--accent)}.themed-select-trigger:focus-visible{outline:2px solid var(--focus,var(--accent));outline-offset:3px}.themed-select-trigger[data-disabled]{opacity:.55;cursor:not-allowed}.themed-select-value{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.themed-select-chevron,.themed-select-indicator{flex:0 0 16px;justify-content:center;align-items:center;display:inline-flex}.themed-select-chevron{color:var(--muted)}.themed-select-positioner{z-index:200;max-width:max(0px, var(--available-width));color:var(--ink);font-family:var(--body)}.themed-select-positioner[data-anchor-hidden]{visibility:hidden;pointer-events:none}.themed-select-popup{box-sizing:border-box;min-width:max(0px, min(var(--anchor-width), var(--available-width)));width:max-content;max-width:min(36rem, max(0px, var(--available-width)));max-height:min(24rem, max(0px, var(--available-height)));border:1px solid var(--rule);background:var(--panel);color:var(--ink);box-shadow:var(--shadow);border-radius:2px;outline:none;overflow:hidden}.themed-select-list{box-sizing:border-box;max-height:min(24rem, max(0px, var(--available-height)));overscroll-behavior:contain;scrollbar-color:var(--muted) var(--panel);scrollbar-width:thin;padding:4px;overflow-y:auto}.themed-select-option{min-height:44px;color:var(--ink);-webkit-user-select:none;user-select:none;cursor:pointer;border-radius:0;outline:none;justify-content:space-between;align-items:center;gap:14px;padding:9px 10px;font-size:16.5px;line-height:1.45;display:flex}.themed-select-option-text{overflow-wrap:anywhere;min-width:0}.themed-select-option[data-highlighted]{background:var(--syntax-selection);color:var(--syntax-selection-ink)}.themed-select-option[data-selected]{font-weight:400}.themed-select-option[data-disabled]{opacity:.5;cursor:not-allowed}.app-header .theme-picker{background:0 0;border:0;border-radius:0;min-height:44px;padding:0}.app-header .theme-picker:focus-within{outline:none}.theme-picker .themed-select-trigger{min-width:116px}.themed-select-trigger.lhs-select{width:90px;font-family:var(--mono)}.themed-select-trigger.object-select{width:calc(100% - 44px);max-width:calc(100% - 44px);font-size:18px}.transition-table .themed-select-trigger{width:100%;min-width:88px}.transition-table .missing-cell .themed-select-trigger{border-style:dashed}.transition-inspector .themed-select-trigger,.machine-settings .themed-select-trigger{width:100%}.speed-row .themed-select-trigger{min-width:72px}@media (width<=650px){.themed-select-trigger.themed-select-trigger,.themed-select-option{font-size:16px}.app-shell .theme-picker .themed-select-trigger{width:136px;font-size:14px}.themed-select-trigger.object-select{width:calc(100% - 24px);max-width:calc(100% - 24px)}}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#f7f5ed;--panel:#fffef8;--surface:#f0eee4;--surface-raised:#e9e6db;--ink:#24251f;--muted:#66685d;--rule:#d9d8cb;--rule-dark:#a8aa9b;--border:var(--rule);--accent:#b94e31;--accent-light:#fff3e9;--button-ink:#fffdf4;--green:#4b6a43;--red:#a33f32;--blue:#476d81;--purple:#765778;--yellow:#82682d;--positive-surface:#e9efdf;--negative-surface:#f8e6df;--warning-surface:#f5eddb;--blue-surface:#e7edf0;--purple-surface:#ede6ed;--shadow:0 5px 0 #24251f0b;--canvas-grid:#dcdcd1;--state-1:#e8c3a9;--state-2:#cedcdf;--state-3:#dce3c5;--state-4:#ded1df;--state-5:#e9dfb6;--state-6:#c8ded1;--syntax-selection:#e6ddc9;--syntax-selection-ink:var(--ink);--scroll-thumb:#a2a597}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#191b18;--panel:#20231e;--surface:#262a23;--surface-raised:#30352b;--ink:#e7e9da;--muted:#a6ad9b;--rule:#3b4236;--rule-dark:#626d56;--accent:#e09b70;--accent-light:#3e3025;--button-ink:#191b18;--green:#a5c18c;--red:#efa08d;--blue:#a2c2d0;--purple:#cfb2d0;--yellow:#d9c18c;--positive-surface:#293623;--negative-surface:#3c2922;--warning-surface:#373222;--blue-surface:#27333a;--purple-surface:#342a35;--canvas-grid:#343b2e;--state-1:#745341;--state-2:#435b62;--state-3:#50603b;--state-4:#5e4961;--state-5:#695e35;--state-6:#3f6050;--syntax-selection:#46503b;--scroll-thumb:#65705c;--shadow:0 5px 0 #0003}:root[data-theme=blueprint]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#192831;--panel:#1d303a;--surface:#233943;--surface-raised:#2b4652;--ink:#e3ede8;--muted:#a9bdbb;--rule:#3c5661;--rule-dark:#66818a;--accent:#e4b181;--accent-light:#3f3930;--button-ink:#192831;--green:#b5cfa1;--red:#f0ae9e;--blue:#aecedd;--purple:#cfbbde;--yellow:#dbc38d;--positive-surface:#2a4038;--negative-surface:#443637;--warning-surface:#3e3d30;--blue-surface:#2d4453;--purple-surface:#393b52;--canvas-grid:#30434c;--state-1:#6a5345;--state-2:#436174;--state-3:#526849;--state-4:#5d536e;--state-5:#70633d;--state-6:#436960;--syntax-selection:#425b64;--scroll-thumb:#607c83}:root[data-theme=high-contrast]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#0b0c0b;--panel:#0b0c0b;--surface:#191c17;--surface-raised:#2b3027;--ink:#fffef5;--muted:#c7d1bd;--rule:#99a68b;--rule-dark:#d1dbc7;--accent:#ffca81;--accent-light:#362919;--button-ink:#0b0c0b;--green:#c2ed9c;--red:#ffb3a6;--blue:#aee0ff;--purple:#e4baff;--yellow:#fff09c;--positive-surface:#243316;--negative-surface:#3f2019;--warning-surface:#332e18;--blue-surface:#203039;--purple-surface:#302339;--state-1:#58402c;--state-2:#254550;--state-3:#354822;--state-4:#4a3455;--state-5:#514727;--state-6:#284b3d;--canvas-grid:#30392a;--syntax-selection:#435233;--scroll-thumb:#aebba0}:root{--focus:var(--accent);--danger:var(--red);--state-ink:var(--ink);--state-stroke:var(--ink);--state-stroke-active:var(--accent);--state-stroke-selected:var(--blue);--diagram-edge:var(--muted);--diagram-edge-active:var(--accent);--diagram-edge-selected:var(--blue);--diagram-start:var(--ink);--diagram-label:var(--muted);--diagram-label-active:var(--accent);--diagram-accept:var(--green);--diagram-active-ring:var(--accent);--diagram-selected-ring:var(--blue);--diagram-warning:var(--yellow);--diagram-reject:var(--red);--diagram-shadow:var(--ink);--diagram-particle:var(--accent);--diagram-port-bg:var(--panel);--diagram-port-stroke:var(--rule-dark);--diagram-port-ink:var(--ink);--diagram-token:var(--accent);--diagram-token-outline:var(--paper);--transition-bg:var(--panel);--transition-border:var(--rule-dark);--transition-header:var(--surface);--transition-header-ink:var(--muted);--transition-ink:var(--ink);--transition-active-ink:var(--accent);--transition-selected-ink:var(--blue);--transition-active-bg:var(--accent-light);--transition-selected-bg:var(--blue-surface);--transition-rule:var(--rule);--preview-edge:var(--muted);--preview-state-1:var(--state-1);--preview-state-2:var(--state-2);--preview-state-3:var(--state-3);--preview-state-4:var(--state-4);--preview-state-stroke:var(--ink);--preview-state-ink:var(--ink);--brand-stroke:var(--ink);--brand-edge:var(--ink);--brand-state-1:var(--state-1);--brand-state-2:var(--state-2);--brand-state-3:var(--state-3);--tree-edge:var(--rule-dark);--tree-consumed:var(--positive-surface);--tree-terminal:var(--surface);--tree-variable:var(--purple-surface);--tree-terminal-stroke:var(--rule-dark);--tree-variable-stroke:var(--purple);--tree-ink:var(--ink);--syntax-variable:var(--purple);--syntax-terminal:var(--blue);--syntax-operator:var(--accent);--syntax-atom:var(--green);--syntax-comment:var(--muted);--syntax-gutter:var(--muted);--syntax-tooltip-border:var(--rule-dark);--syntax-tooltip-shadow:var(--shadow)}*{box-sizing:border-box;scrollbar-width:thin;scrollbar-color:var(--scroll-thumb) transparent}::-webkit-scrollbar{width:9px;height:9px}::-webkit-scrollbar-track{background:0 0}::-webkit-scrollbar-thumb{border:2px solid var(--paper);background:var(--scroll-thumb);border-radius:0}::-webkit-scrollbar-corner{background:0 0}html{scrollbar-gutter:stable}body{background:var(--paper);color:var(--ink);font:16.5px/1.5 var(--body);margin:0}button,input,select,textarea{font:inherit;color:inherit}button,summary{cursor:pointer;touch-action:manipulation}button{background:0 0;border:0}button:disabled{opacity:.42;cursor:default}a{color:var(--accent);text-underline-offset:4px}svg{flex-shrink:0}h1,h2,h3,h4,h5,h6,p{margin:0}h1,h2,h3,h4,h5,h6,strong,b,button,label{font-weight:400}h1{font-size:33px;line-height:1.25}h2{font-size:22px;line-height:1.35}h3,h4{font-size:16.5px}input,textarea,select{border:1px solid var(--rule-dark);background:var(--panel);border-radius:2px;min-width:0;padding:8px 11px}input::placeholder,textarea::placeholder{color:var(--muted);opacity:.8}input[type=checkbox]{width:18px;height:18px;accent-color:var(--accent);cursor:pointer}input[type=range]{accent-color:var(--accent);box-shadow:none;border:0;min-height:24px;padding:0}button:focus-visible,a:focus-visible,summary:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline:2px solid var(--focus);outline-offset:3px}::selection{background:var(--syntax-selection);color:var(--syntax-selection-ink)}code,pre,kbd,.mono,.math-text{font:inherit;font-family:var(--mono)}pre{white-space:pre-wrap;overflow-wrap:anywhere}kbd{border:1px solid var(--rule);background:var(--surface);padding:0 5px;font-size:14px}.muted,.quiet-note,.eyebrow{color:var(--muted)}.quiet-note{font-size:14px}.eyebrow{letter-spacing:0;font-size:14px}.danger,.error-text{color:var(--red)}.error-text{overflow-wrap:anywhere}.variable-symbol{color:var(--purple)}.terminal-symbol{color:var(--blue)}.flex-spacer{flex:1}.button,.soft-button,.text-button,.icon-button{white-space:nowrap;border-radius:2px;justify-content:center;align-items:center;gap:8px;min-height:40px;line-height:1.25;display:inline-flex}.button,.soft-button{border:1px solid var(--rule-dark);background:var(--panel);padding:9px 13px}.button.primary,.button.dark{color:var(--button-ink);background:var(--accent);border-color:var(--accent)}.button:hover:not(:disabled),.soft-button:hover:not(:disabled){background:var(--surface-raised);border-color:var(--ink)}.button.primary:hover:not(:disabled),.button.dark:hover:not(:disabled){background:var(--ink);border-color:var(--ink);color:var(--paper)}.text-button{color:var(--accent);padding:6px 2px}.text-button:hover:not(:disabled){text-underline-offset:4px;text-decoration:underline}.icon-button{border:1px solid #0000;flex-shrink:0;width:40px;padding:0}.icon-button:hover:not(:disabled),.icon-button.selected{background:var(--surface-raised);color:var(--ink)}.icon-button.selected{border-color:var(--rule-dark)}.spinner{border:2px solid;border-right-color:#0000;border-radius:50%;flex-shrink:0;width:17px;height:17px;animation:.7s linear infinite rotate;display:inline-block}@keyframes rotate{to{transform:rotate(360deg)}}.loading-panel{min-height:140px;color:var(--muted);justify-content:center;align-items:center;gap:12px;padding:24px;display:flex}.notice{border:1px solid var(--rule);background:var(--surface);flex-wrap:wrap;align-items:center;gap:12px;margin-bottom:20px;padding:14px 16px;display:flex}.notice.error{border-color:var(--red);background:var(--negative-surface)}.app-header{z-index:30;background:var(--paper);border-bottom:1px solid var(--rule);align-items:center;gap:32px;min-height:76px;padding:12px 28px;display:flex;position:sticky;top:0}.brand-button{text-align:left;padding:0}.brand{align-items:center;gap:12px;font-size:22px;line-height:1.1;display:flex}.brand svg{width:34px;height:34px}.brand-dot{color:var(--accent)}.main-nav{align-items:center;gap:8px;display:flex}.main-nav button{min-height:40px;color:var(--muted);border:1px solid #0000;border-radius:2px;padding:8px 12px}.main-nav button.active{color:var(--ink);background:var(--surface);border-color:var(--rule)}.main-nav button:hover{color:var(--ink)}.header-actions{margin-left:auto}.app-body{grid-template-columns:240px minmax(0,1fr);display:grid}.app-body.full-page{display:block}.workspace-sidebar{border-right:1px solid var(--rule);flex-direction:column;gap:18px;height:calc(100dvh - 76px);padding:24px 16px;display:flex;position:sticky;top:76px}.sidebar-heading{justify-content:space-between;align-items:center;padding:0 8px;display:flex}.count-bubble{color:var(--muted);font-size:14px}.new-button{justify-content:flex-start;width:100%}.sidebar-search{align-items:center;gap:8px;padding:0 8px;display:flex}.sidebar-search input{background:0 0;border:0;width:100%;padding:6px 0;font-size:14px}.sidebar-search svg{color:var(--muted)}.workspace-list{flex-direction:column;gap:5px;min-height:0;margin:-4px -4px 0;padding:4px;display:flex;overflow-y:auto}.workspace-object{text-align:left;border:1px solid #0000;border-radius:2px;align-items:center;gap:12px;width:100%;padding:12px 10px;display:flex}.workspace-object>span:nth-child(2){min-width:0}.workspace-object strong{overflow-wrap:anywhere;font-size:14px;line-height:1.5;display:block}.workspace-object small{color:var(--muted);margin-top:2px;font-size:14px;display:block}.workspace-object:hover{background:var(--surface)}.workspace-object.active{background:var(--panel);border-color:var(--rule-dark)}.object-icon{width:28px;color:var(--muted);flex-shrink:0;place-items:center;display:grid}.active-dot{background:var(--accent);flex-shrink:0;width:4px;height:4px;margin-left:auto}.model-glyph{width:24px;height:24px}.text-glyph{white-space:nowrap;width:auto;height:auto;font-size:16.5px}.main-content{min-width:0;padding:38px 36px 64px}.workspace-page{width:100%;max-width:1600px;margin:0 auto}.workspace-titlebar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:20px;margin-bottom:30px;display:flex}.title-line{flex-wrap:wrap;align-items:center;gap:12px;min-width:0;display:flex}.title-line h1{overflow-wrap:anywhere;max-width:100%}.title-line h1 button{text-align:left;padding:0}.title-input{width:min(100%,500px);font-size:25px}.kind-badge{color:var(--muted);border:1px solid var(--rule);white-space:nowrap;border-radius:2px;align-items:center;gap:6px;padding:3px 7px;font-size:14px;display:inline-flex}.kind-badge .model-glyph{display:none}.workspace-actions{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.undo-controls{border-left:1px solid var(--rule);gap:0;margin-left:4px;padding-left:8px;display:flex}.action-menu{position:relative}.action-menu>summary{list-style:none}.action-menu>summary::-webkit-details-marker{display:none}.action-menu-panel{z-index:45;border:1px solid var(--rule-dark);background:var(--panel);width:270px;max-width:calc(100vw - 32px);box-shadow:var(--shadow);padding:6px;position:absolute;top:calc(100% + 8px);right:0}.action-menu-panel>button{text-align:left;align-items:center;gap:12px;width:100%;min-height:44px;padding:10px 12px;display:flex}.action-menu-panel>button:hover{background:var(--surface)}.menu-appearance{border-top:1px solid var(--rule);gap:8px;padding:12px;display:grid}.theme-picker{align-items:center;gap:8px;display:flex}.theme-picker .themed-select-trigger{flex:1}.save-indicator{color:var(--muted);border-top:1px solid var(--rule);align-items:center;gap:8px;padding:10px 12px;font-size:14px;display:flex}.save-indicator>span{background:var(--green);width:5px;height:5px}.save-indicator.unavailable>span{background:var(--red)}.model-provenance{color:var(--muted);border-top:1px solid var(--rule);padding:10px 12px;font-size:14px}.mobile-workspace-toggle{display:none}.back-to-model{margin-bottom:16px}.workbench-grid{grid-template-columns:minmax(0,1fr) 300px;align-items:start;gap:28px;display:grid}.object-workbench{border:1px solid var(--rule-dark);background:var(--panel);border-radius:2px;min-width:0}.workbench-tools{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:center;gap:12px;padding:10px 14px;display:flex}.workbench-tools .themed-select-trigger{background:0 0;border:0;min-width:145px;padding-left:0}.results-column{gap:20px;min-width:0;display:grid}.simulation-panel{background:0 0;border:0;min-width:0}.simulation-title{justify-content:space-between;align-items:center;margin-bottom:12px;display:flex}.simulation-title .icon-button{width:32px;min-height:32px}.input-run-row{gap:8px;display:flex}.input-run-row input{width:100%;min-width:0;padding:8px 11px;font-size:22px;line-height:1.3}.run-status{color:var(--muted);align-items:flex-start;gap:9px;padding:15px 0 2px;display:flex}.run-status>svg,.run-status>.spinner{margin-top:3px}.run-status.accepted{color:var(--green)}.run-status.rejected,.run-status.error{color:var(--red)}.run-status.unknown{color:var(--yellow)}.run-status p{color:var(--muted);margin-top:6px;font-size:14px}.run-settings{gap:12px;padding:16px 0;display:grid}.run-settings label{grid-template-columns:1fr 145px;align-items:center;gap:10px;font-size:14px;display:grid}.run-settings input{width:100%}.result-disclosure,.playback-disclosure,.trace-panel{border-top:1px solid var(--rule)}.playback-disclosure{margin-top:20px}.result-disclosure>summary,.playback-disclosure>summary{justify-content:space-between;align-items:center;gap:8px;padding:14px 0;list-style:none;display:flex}.result-disclosure>summary:after,.playback-disclosure>summary:after{content:"+";color:var(--muted);margin-left:auto}.result-disclosure[open]>summary:after,.playback-disclosure[open]>summary:after{content:"−"}.result-disclosure>summary::-webkit-details-marker{display:none}.playback-disclosure>summary::-webkit-details-marker{display:none}.result-disclosure summary>span,.playback-disclosure summary>span{color:var(--muted);margin-left:auto;font-size:14px}.result-disclosure summary>span+:after{margin-left:0}.playback-content{padding-bottom:10px}.input-ribbon{flex-wrap:wrap;align-items:center;gap:4px;padding:8px 0 16px;display:flex}.input-token{border:1px solid var(--rule);background:var(--panel);place-items:center;min-width:26px;height:32px;padding:2px 4px;display:inline-grid}.input-token.current{border-color:var(--accent);background:var(--accent-light)}.input-token.consumed{color:var(--green);background:var(--positive-surface)}.input-end{color:var(--muted)}.playback-controls{justify-content:space-between;align-items:center;gap:3px;margin-bottom:10px;display:flex}.playback-controls .icon-button{width:32px}.timeline-range{width:100%}.speed-row{color:var(--muted);justify-content:space-between;align-items:center;margin:12px 0;font-size:14px;display:flex}.speed-row .themed-select-trigger{min-height:34px}.frame-description{color:var(--muted);margin-top:8px;font-size:14px}.trace-toggle{text-align:left;justify-content:space-between;align-items:center;gap:10px;width:100%;padding:14px 0;display:flex}.trace-toggle>span{align-items:center;gap:6px;display:flex}.trace-toggle .eyebrow{color:var(--ink);font-size:16.5px}.trace-toggle .muted{font-size:14px}.trace-step-label{display:none}.trace-content{padding-bottom:16px}.trace-events{max-height:340px;overflow:auto}.trace-events>button{border-bottom:1px solid var(--rule);text-align:left;align-items:baseline;gap:10px;width:100%;padding:10px 8px;font-size:14px;display:flex}.trace-events>button.current{background:var(--surface-raised)}.trace-events>button .mono{overflow-wrap:anywhere;margin-left:auto}.trace-number{color:var(--muted)}.earley-chart{border:1px solid var(--rule);max-height:320px;margin-top:16px;padding:12px;font-size:14px;overflow:auto}.earley-chart h4{margin-bottom:8px}.earley-chart>div{white-space:nowrap;padding:4px 0}.earley-chart small{color:var(--muted);margin-left:8px}.memory-view{padding:16px 0 0}.memory-row{gap:8px;margin-bottom:12px;display:grid}.memory-cells,.tape-cells{flex-wrap:wrap;gap:3px;display:flex}.memory-cells>span{border:1px solid var(--rule);background:var(--panel);padding:3px 7px}.empty-memory{color:var(--muted)}.branch-select{gap:6px;margin-bottom:15px;font-size:14px;display:grid}.tape-cells>div{justify-items:center;display:grid}.tape-cells>div>span{border:1px solid var(--rule);padding:4px 6px}.tape-cells .head>span{border-color:var(--accent);background:var(--accent-light)}.tape-cells small,.tape-view p{color:var(--muted);font-size:14px}.graph-canvas{background-color:var(--panel);background-image:radial-gradient(var(--canvas-grid) .75px, transparent .75px);background-size:22px 22px;position:relative}.canvas-topline{color:var(--muted);justify-content:space-between;align-items:center;padding:14px 18px 0;font-size:14px;display:flex}.graph-surface{justify-content:center;align-items:center;width:100%;display:flex;position:relative;overflow:hidden}.graph-surface>svg,.graph-surface>div>svg{min-width:0;max-width:100%;display:block}.graph-surface>div:not(.canvas-context-menu):not(.canvas-name-editor){width:100%}.graph-surface>svg.transition-flow-overlay,.graph-surface>svg.connection-draft-overlay{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.canvas-bottomline{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px;padding:12px;display:flex}.canvas-tools{background:var(--panel);border:1px solid var(--rule);border-radius:2px;align-items:center;gap:2px;padding:2px;display:flex}.canvas-tools .icon-button{width:36px;min-height:36px}.canvas-scale{min-width:48px;min-height:36px;padding:4px;font-size:14px}.tool-separator{background:var(--rule);width:1px;height:18px;margin:0 3px}.canvas-hint{color:var(--muted);font-size:14px}.graph-surface>.canvas-context-menu{z-index:8;width:230px;max-width:100%;box-shadow:var(--shadow);border-radius:2px;position:absolute}.canvas-context-title{color:var(--muted);overflow-wrap:anywhere;padding:8px}.canvas-context-menu button{text-align:left;border-radius:0;justify-content:space-between;align-items:center;width:100%;min-height:40px;padding:9px;display:flex}.canvas-name-editor{z-index:9;width:240px;max-width:100%;margin:0;position:absolute;transform:translate(-50%,-50%)}.state-editable-name{cursor:text}.state-connection-handle:hover>circle,.state-connection-handle:focus-visible>circle{fill:var(--positive-surface);stroke:var(--green)}.inline-inspector,.transition-inspector{border-top:1px solid var(--rule);background:var(--surface);padding:16px}.inline-inspector,.transition-edit-row{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.inline-inspector label,.transition-edit-row label{align-items:center;gap:6px;font-size:14px;display:flex}.inline-inspector label input:not([type=checkbox]){width:90px}.inspector-heading{align-items:center;gap:8px;display:flex}.transition-edit-row input{width:90px}.inspector-note{color:var(--muted);margin-top:10px;font-size:14px}.model-issues{border-top:1px solid var(--rule);color:var(--yellow);background:var(--warning-surface);align-items:center;gap:8px;padding:10px 15px;font-size:14px;display:flex}.model-issues.error{color:var(--red);background:var(--negative-surface)}.machine-settings-panel{border-bottom:1px solid var(--rule);background:var(--surface);padding:18px}.machine-settings{gap:14px;display:grid}.machine-settings label{gap:6px;font-size:14px;display:grid}.representation-note{border-top:1px solid var(--rule);justify-content:flex-end;padding:8px 16px;display:flex}.large-graph{padding:40px 24px}.large-graph h3{margin-bottom:10px}.large-graph p{color:var(--muted)}.table-editor,.transition-table-wrap,.grammar-analysis{min-width:0;padding:16px}.transition-table-wrap{overscroll-behavior-x:contain;max-width:100%;overflow-x:auto}.transition-table-wrap .table-intro{margin-bottom:12px}.transition-table-wrap>.soft-button{margin-top:16px}.transition-table-wrap>.empty-table{color:var(--muted);padding:16px 8px 0}.transition-table-wrap>.table-pagination:last-child{padding-bottom:0}.transition-table,.proof-renaming-table{border-collapse:collapse;text-align:left;width:100%;font-size:14px}.transition-table th,.transition-table td,.proof-renaming-table th,.proof-renaming-table td{border-bottom:1px solid var(--rule);padding:10px 8px;font-weight:400}.transition-table th{color:var(--muted)}.transition-table td[data-field]{overflow-wrap:anywhere;white-space:pre-wrap}.transition-table .themed-select-trigger{min-height:36px;padding:5px 8px}.transition-table input{max-width:130px}.table-scroll,.analysis-table-scroll{max-width:100%;overflow:auto}.table-pagination{color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:10px;padding:14px 0;font-size:14px;display:flex}.table-pagination .soft-button{padding:8px;font-size:14px}.state-table-link{color:var(--ink);padding:5px 0}.state-table-link:hover{color:var(--accent)}.analysis-chips{flex-wrap:wrap;gap:8px;margin-bottom:16px;display:flex}.analysis-chips span{font-size:14px}.analysis-chips span+span:before{content:"· ";color:var(--muted)}.analysis-section{margin:16px 0}.analysis-section h4{margin-bottom:10px}.grammar-analysis{padding:0 0 10px}.analysis-table-scroll th,.analysis-table-scroll td{padding:7px 4px;font-size:14px}.model-summary{min-width:0;overflow:hidden}.model-summary>svg{width:100%;max-height:180px;display:block}.grammar-summary,.regex-summary{font-size:22px;line-height:1.7}.section-heading{justify-content:space-between;align-items:center;gap:12px;display:flex}.tree-pagination{align-items:center;gap:8px;font-size:14px;display:flex}.tree-scroll{background:var(--panel);border:1px solid var(--rule);max-width:100%;max-height:520px;margin:10px 0;overflow:auto}.tree-scroll svg{display:block}.tree-proof{color:var(--purple);align-items:center;gap:8px;margin:10px 0;font-size:14px;display:flex}.tree-empty{color:var(--muted);padding:24px 0}.tree-empty p{margin-top:10px;font-size:14px}.toast{z-index:120;border:1px solid var(--rule-dark);background:var(--panel);max-width:calc(100vw - 32px);box-shadow:var(--shadow);align-items:center;gap:12px;padding:12px 16px;font-size:14px;display:flex;position:fixed;bottom:24px;left:50%;transform:translate(-50%)}.toast>button{place-items:center;padding:4px;display:grid}@media (width>=1750px){.app-body{grid-template-columns:270px minmax(0,1fr)}.main-content{padding-inline:54px}.workbench-grid{grid-template-columns:minmax(0,1fr) 340px;gap:36px}}@media (width<=1250px){.app-body{grid-template-columns:210px minmax(0,1fr)}.main-content{padding:28px 24px 48px}.app-header{gap:24px}.brand{font-size:16.5px}.workbench-grid{grid-template-columns:minmax(0,1fr) 270px;gap:22px}.workspace-actions{gap:6px}}@media (width<=1050px){.workbench-grid,.results-column{grid-template-columns:1fr}.simulation-panel{max-width:560px}.run-settings{max-width:460px}.results-column .trace-content{grid-template-columns:1fr 1fr;gap:18px;display:grid}.earley-chart{margin-top:0}.workspace-titlebar{margin-bottom:22px}.title-line h1{font-size:27.5px}}@media (width<=760px){.app-header{gap:12px;min-height:66px;padding:10px 16px}.brand svg{width:29px}.brand{gap:8px;font-size:16.5px}.app-body{display:block}.mobile-workspace-toggle{border-bottom:1px solid var(--rule);text-align:left;align-items:center;gap:8px;width:100%;padding:12px 20px;display:flex}.mobile-workspace-toggle svg:last-child{margin-left:auto}.workspace-sidebar{display:none}.workspace-sidebar.open{border-right:0;border-bottom:1px solid var(--rule);height:auto;max-height:65dvh;padding:20px;display:flex;position:static}.main-content{padding:26px 20px 48px}.main-nav{gap:0;margin-left:auto}.main-nav button{padding:8px;font-size:14px}.header-actions{margin-left:0}.brand>span{max-width:135px}.workspace-actions{gap:6px}.workspace-actions .button{min-height:42px;padding:8px 10px;font-size:14px}.workspace-actions .button svg{display:none}.undo-controls{margin-left:0;padding-left:4px}.workspace-titlebar{align-items:flex-start;gap:16px}.workspace-actions .icon-button{width:36px;min-height:42px}.workbench-grid{gap:24px}.results-column .trace-content{display:block}.earley-chart{margin-top:16px}.title-line h1{font-size:27.5px}.graph-surface{min-width:0}.run-settings label{grid-template-columns:1fr 145px}.toast{width:max-content;bottom:16px}}@media (width<=500px){.brand svg{display:none}}@media (width<=390px){.app-header{gap:5px;padding-inline:12px}.brand svg{display:none}.main-content{padding-inline:14px}.workspace-actions .button{padding-inline:8px}.undo-controls .icon-button{width:30px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important}}@font-face{font-family:Departure Mono;src:url(/fonts/DepartureMono-Regular.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Departure Mono;src:url(/fonts/AutomataSymbols-Regular.woff)format("woff");font-style:normal;font-weight:400;font-display:swap;unicode-range:U+2B2,U+2E1-2E2,U+3F5,U+141F,U+1D38,U+1D3A,U+1D3C,U+1D3F,U+1D48-1D49,U+1D4F-1D50,U+1D56-1D58,U+1D5B,U+1D62-1D65,U+1D9C,U+1DA0,U+1DA6,U+2071,U+207A-207B,U+207D-207F,U+208A-208E,U+2093,U+2096,U+2098-209C,U+2194,U+21A6,U+21D2,U+2200,U+2203,U+2205,U+2208-2209,U+2216-2218,U+2227-222A,U+2261,U+2282,U+2286,U+2295,U+2297,U+22A2-22A5,U+22C3,U+22EF,U+2308-230B,U+25C7,U+2713,U+2733,U+2C7C}:root{--mono:"Departure Mono", ui-monospace, monospace;--body:var(--mono);--display:var(--mono);--label:var(--mono);--sans:var(--mono)}html{font-family:var(--mono);font-synthesis:none;font-kerning:none;font-variant-ligatures:none}body,button,input,select,textarea,code,pre,kbd,.math-text,svg text{font-family:var(--mono)}.math-text,code,pre,kbd{letter-spacing:0;text-transform:none;font-style:normal}.canvas-interaction-footer{border-top:1px solid var(--rule)}.canvas-layout-tools{flex-wrap:wrap;align-items:center;gap:8px;padding:10px 14px;display:flex}.canvas-layout-button{border:1px solid var(--rule);background:var(--panel);min-height:36px;color:var(--ink);border-radius:2px;justify-content:center;align-items:center;gap:7px;padding:6px 10px;font-size:14px;display:inline-flex}.canvas-layout-button span{color:var(--muted)}.canvas-layout-button.enabled{border-color:var(--green)}.canvas-layout-button:hover:not(:disabled){background:var(--surface)}.canvas-layout-button:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.machine-edge{--diagram-edge-current:var(--diagram-edge)}.machine-edge[data-selected=true]{--diagram-edge-current:var(--diagram-edge-selected)}.machine-edge[data-active=true]{--diagram-edge-current:var(--diagram-edge-active)}.machine-state{--state-stroke-current:var(--state-stroke);--diagram-label-current:var(--diagram-label);--diagram-ring-current:var(--diagram-warning)}.machine-state[data-selected=true]{--state-stroke-current:var(--state-stroke-selected);--diagram-ring-current:var(--diagram-selected-ring)}.machine-state[data-active=true]{--state-stroke-current:var(--state-stroke-active);--diagram-label-current:var(--diagram-label-active);--diagram-ring-current:var(--diagram-active-ring)}.machine-state[data-connection-target=true]{--diagram-ring-current:var(--diagram-accept)}.transition-card-row{--transition-ink-current:var(--transition-ink);--transition-bg-current:transparent}.transition-card-row[data-selected=true]{--transition-ink-current:var(--transition-selected-ink);--transition-bg-current:var(--transition-selected-bg)}.transition-card-row[data-active=true]{--transition-ink-current:var(--transition-active-ink);--transition-bg-current:var(--transition-active-bg)}.graph-surface svg:focus,.graph-surface .machine-state:focus,.graph-surface .machine-edge:focus,.graph-surface .transition-card-row:focus,.graph-surface .state-connection-handle:focus{outline:none}.graph-surface .machine-state:focus-visible{--state-stroke-current:var(--focus);--diagram-label-current:var(--focus);--diagram-ring-current:var(--focus)}.graph-surface .machine-state:focus-visible circle[stroke="var(--state-stroke-current)"]{stroke-width:3px}.graph-surface .machine-edge:focus-visible{--diagram-edge-current:var(--focus)}.graph-surface .machine-edge:focus-visible>path:first-of-type{stroke-width:3px}.graph-surface .transition-card-row:focus-visible{--transition-ink-current:var(--focus);--transition-bg-current:var(--accent-light)}.graph-surface .state-connection-handle:focus-visible>circle[stroke]{fill:var(--accent-light);stroke:var(--focus);stroke-width:2px}.graph-surface .state-connection-handle:focus-visible>circle:not([stroke]){fill:#0000;stroke:none}.graph-canvas .graph-surface{touch-action:none;overscroll-behavior:contain;-webkit-touch-callout:none;-webkit-user-select:none;user-select:none}.graph-canvas .canvas-tools>button,.graph-canvas .canvas-layout-button,.graph-canvas .canvas-state-actions{touch-action:manipulation;min-width:44px;min-height:44px}.canvas-state-actions{border:1px solid var(--rule-dark);background:var(--panel,var(--paper));color:var(--ink);font:inherit;cursor:pointer;border-radius:2px;justify-content:center;align-items:center;gap:7px;padding:8px 12px;font-size:14px;display:inline-flex}.canvas-state-actions:disabled{opacity:.55;cursor:default}.canvas-state-actions:focus-visible,.canvas-name-actions>button:focus-visible,.canvas-context-menu button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.canvas-context-menu{box-sizing:border-box;border:1px solid var(--rule-dark);background:var(--panel,var(--paper));color:var(--ink);box-shadow:var(--shadow);border-radius:2px;padding:6px;font-size:14px}.canvas-context-menu button{touch-action:manipulation;white-space:normal;min-height:44px}.canvas-context-menu button:hover,.canvas-context-menu button:focus-visible{background:var(--surface-raised,var(--paper))}.canvas-context-menu button.danger{color:var(--danger,#a53721)}.canvas-name-editor{box-sizing:border-box;border:1px solid var(--rule-dark);background:var(--panel,var(--paper));color:var(--ink);box-shadow:var(--shadow);border-radius:2px;padding:12px}.canvas-name-label{text-align:left;margin-bottom:8px;font-size:14px;display:block}.canvas-name-editor input{box-sizing:border-box;width:100%;max-width:100%;min-height:44px;font-size:17px}.canvas-name-actions{gap:8px;margin-top:10px;display:flex}.canvas-name-actions>button{border:1px solid var(--rule-dark);background:var(--surface-raised,var(--paper));min-height:44px;color:var(--ink);font:inherit;touch-action:manipulation;border-radius:2px;flex:1;font-size:14px}.canvas-name-actions>button[type=submit]{background:var(--ink);color:var(--paper)}.canvas-gesture-help .canvas-help-touch{display:none}@media (pointer:coarse),(width<=620px){.graph-canvas .canvas-bottomline{flex-wrap:wrap;gap:8px;padding:10px}.graph-canvas .canvas-hint{flex-basis:100%;order:3;justify-content:center}.graph-canvas .canvas-tools{gap:4px}.graph-canvas .canvas-layout-tools{padding:10px}.canvas-state-actions{flex-basis:100%}.canvas-gesture-help .canvas-help-desktop{display:none}.canvas-gesture-help .canvas-help-touch{display:inline}}.symbolic-editor{min-width:0;color:var(--ink);--symbol-size:22px;background:0 0;position:relative}.symbolic-document{min-width:0;overflow:hidden}.symbolic-editor .cm-content,.symbolic-editor .cm-scroller{font-family:var(--mono);font-weight:400}.symbolic-token{-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:2px}.symbolic-variable,.symbolic-terminal,.symbolic-declaration,.symbolic-epsilon,.symbolic-empty{background:color-mix(in srgb, var(--ink) 6%, transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--ink) 10%, transparent);margin:0 2px;padding:5px 7px}.symbolic-variable,.symbolic-declaration{background:color-mix(in srgb, var(--accent,#ea5b27) 12%, transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--accent,#ea5b27) 24%, transparent)}.symbolic-declaration{text-align:center;min-width:25px;display:inline-block}.symbolic-arrow{color:var(--muted,#666);text-align:center;vertical-align:middle;width:32px;font-size:0;display:inline-block}.symbolic-arrow:after{content:"→";font:22px var(--mono);line-height:1}.symbolic-operator{color:var(--ink);padding:4px 2px}.symbolic-epsilon,.symbolic-empty{color:var(--muted,#666)}.symbolic-comment{color:var(--muted,#777);font-size:15px}.symbolic-unfinished{-webkit-text-decoration:underline dotted color-mix(in srgb, var(--accent,#b74421) 70%, transparent);text-decoration:underline dotted color-mix(in srgb, var(--accent,#b74421) 70%, transparent);text-underline-offset:5px}.symbolic-selected{background:color-mix(in srgb, var(--accent,#ea5b27) 18%, transparent)}.symbolic-token-controls{z-index:6;pointer-events:none;justify-content:space-between;min-width:39px;height:22px;display:flex;position:absolute}.symbolic-token-controls button{pointer-events:auto;border:1px solid color-mix(in srgb, var(--ink) 22%, transparent);background:var(--panel,#fff);width:22px;min-width:22px;height:22px;min-height:22px;color:var(--ink);border-radius:2px;justify-content:center;align-items:center;padding:0;display:flex}.symbolic-token-controls button:hover{color:var(--panel,#fff);background:var(--ink)}.symbolic-drag{cursor:grab;touch-action:none}.symbolic-drag:active{cursor:grabbing}.symbolic-drop-caret{background:var(--accent,#ea5b27);pointer-events:none;z-index:8;width:3px;position:absolute}.symbolic-drag-ghost{z-index:1000;font:20px var(--mono);border:1px solid var(--ink);background:var(--panel,#fff);color:var(--ink);pointer-events:none;box-shadow:2px 3px 0 color-mix(in srgb, var(--ink) 20%, transparent);border-radius:2px;padding:7px 12px;position:fixed}.symbolic-quick-actions{flex-wrap:wrap;gap:6px;padding:10px 22px 16px;display:flex}.symbolic-quick-actions button{border:1px solid var(--rule);min-width:32px;min-height:32px;font:14px var(--mono);color:var(--muted,#666);background:0 0;border-radius:2px;justify-content:center;align-items:center;gap:5px;padding:3px 9px;display:inline-flex}.symbolic-quick-actions button:hover{border-color:var(--ink);color:var(--ink)}.symbolic-error{font:14px/1.55 var(--mono);color:var(--danger,#a42f20);border-top:1px solid color-mix(in srgb, var(--danger,#a42f20) 30%, transparent);margin:0;padding:12px 24px}.symbolic-workbench{flex-direction:column;min-height:100%;display:flex}.symbolic-workbench-header{font:14px var(--mono);color:var(--muted,#666);justify-content:flex-end;align-items:center;gap:14px;padding:12px 22px 0;display:flex}.symbolic-start{align-items:center;gap:8px;display:flex}.symbolic-start select,.symbolic-start .themed-select-trigger{font:14px var(--mono);min-height:32px}.symbolic-workbench-footer{flex-wrap:wrap;align-items:center;gap:12px;padding:0 22px 20px;display:flex}.symbolic-workbench-footer>button{color:var(--muted,#666);font:14px var(--mono);background:0 0;border:0;align-items:center;gap:6px;padding:6px 0;display:flex}.symbolic-workbench-footer>button:hover{color:var(--ink)}.symbolic-workbench-footer .symbol-input{min-width:120px;max-width:220px}.symbolic-workbench-footer .symbol-input input{border:1px solid var(--rule);width:100%;min-height:34px;color:var(--ink);font:14px var(--mono);background:0 0;border-radius:2px;padding:5px 9px}.symbol-suggestions{z-index:1200;background:var(--panel,#fff);color:var(--ink);border:1px solid var(--rule);box-shadow:3px 4px 0 color-mix(in srgb, var(--ink) 12%, transparent);font:14px var(--mono);padding:4px}.symbol-suggestions button{width:100%;font:inherit;color:inherit;text-align:left;background:0 0;border:0;justify-content:space-between;gap:12px;padding:8px;display:flex}.symbol-suggestions button.highlighted{background:var(--ink);color:var(--panel,#fff)}.empty-suggestions{font:13px var(--mono);padding:10px;display:block}@media (width<=600px){.symbolic-editor{--symbol-size:20px}.symbolic-editor .cm-line{padding-left:14px!important;padding-right:14px!important}.symbolic-workbench-header{padding-right:14px}.symbolic-quick-actions{padding-left:14px}.symbolic-quick-actions button{min-width:40px;min-height:40px}.symbolic-token-controls{min-width:70px;height:34px;transform:translateY(-10px)}.symbolic-token-controls button{width:34px;min-width:34px;height:34px;min-height:34px}}.example-catalog{width:min(100%,1180px);color:var(--ink);font-family:var(--mono);margin:0 auto;padding:0}.catalog-heading{justify-content:space-between;align-items:baseline;gap:20px;margin-bottom:28px;display:flex}.catalog-heading h1{font:inherit;margin:0;font-size:33px;font-weight:400}.catalog-count{color:var(--muted);white-space:nowrap;font-size:14px}.catalog-toolbar{gap:12px;margin-bottom:24px;display:flex}.catalog-search{border:1px solid var(--border);background:var(--panel);min-width:0;min-height:44px;color:var(--muted);border-radius:2px;flex:1;align-items:center;gap:10px;padding:0 12px;display:flex}.catalog-search:focus-within{outline:2px solid var(--accent);outline-offset:2px}.catalog-search input{width:100%;min-width:0;box-shadow:none;color:var(--ink);font:inherit;background:0 0;border:0;outline:none;padding:10px 0;font-size:16.5px}.catalog-search input:focus{box-shadow:none;border:0;outline:0}.catalog-search input::-webkit-search-cancel-button{appearance:none}.catalog-search input::placeholder{color:var(--muted);opacity:1}.catalog-clear{width:30px;height:30px;color:var(--muted);cursor:pointer;background:0 0;border:0;flex:0 0 30px;place-items:center;padding:0;display:grid}.catalog-type{flex:0 0 238px;min-height:44px}.catalog-list{grid-template-columns:repeat(2,minmax(0,1fr));column-gap:32px;margin:0;padding:0;list-style:none;display:grid}.catalog-list>li{border-top:1px solid var(--border);min-width:0}.catalog-entry{text-align:left;width:100%;min-height:139px;color:var(--ink);font:inherit;cursor:pointer;background:0 0;border:0;border-radius:0;grid-template-columns:minmax(0,1fr) 22px;gap:12px 16px;padding:21px 0;display:grid}.catalog-entry-title{overflow-wrap:anywhere;align-self:center;font-size:16.5px;line-height:1.4}.catalog-entry-action{color:var(--muted);align-self:center;transition:color .1s,transform .1s}.catalog-entry:hover .catalog-entry-title{color:var(--accent)}.catalog-entry:hover .catalog-entry-action{color:var(--accent);transform:translate(3px)}.catalog-entry:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.catalog-entry-details{flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:8px;display:flex}.catalog-entry-details .kind-badge{color:var(--muted);background:0 0;border:0;padding:0;font-size:14px}.catalog-entry-details .model-glyph{width:18px;height:18px;font-size:14px}.catalog-pair-label{border-left:1px solid var(--border);color:var(--muted);padding-left:8px;font-size:14px}.catalog-entry-description{white-space:nowrap;text-overflow:ellipsis;color:var(--muted);grid-column:1/-1;font-size:14px;line-height:1.45;overflow:hidden}.catalog-expression{color:var(--ink)}.catalog-more{border-top:1px solid var(--border);color:var(--muted);justify-content:space-between;align-items:center;gap:20px;padding-top:22px;font-size:14px;display:flex}.catalog-empty{border-top:1px solid var(--border);color:var(--muted);padding:44px 0}.catalog-empty p{margin:0 0 20px}.catalog-load-error{color:var(--muted);margin:0 0 20px}.catalog-load-error button{color:var(--accent);font:inherit;cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}@media (width<=780px){.catalog-list{grid-template-columns:1fr}.catalog-toolbar{flex-wrap:wrap}.catalog-search,.catalog-type{flex-basis:100%}.catalog-entry{min-height:124px}.catalog-heading h1{font-size:27.5px}}@media (prefers-reduced-motion:reduce){.catalog-entry-action{transition:none}}.compare-page{width:100%;max-width:1160px;margin:0 auto;padding:0}.compare-page .page-heading{justify-content:space-between;align-items:center;gap:24px;margin-bottom:28px;display:flex}.compare-page h1{margin:0;font-size:33px;font-weight:400;line-height:1.25}.compare-grid{border:1px solid var(--rule);background:var(--panel);grid-template-columns:repeat(2,minmax(0,1fr));display:grid;position:relative}.compare-card{min-width:0;padding:20px}.compare-card:first-child{border-right:1px solid var(--rule)}.compare-card>header{justify-content:space-between;align-items:center;gap:12px;margin-bottom:12px;display:flex}.compare-card-label{align-items:center;gap:10px;display:flex}.compare-edit{white-space:nowrap}.compare-card .themed-select-trigger.object-select{border:0;border-bottom:1px solid var(--rule);background:0 0;border-radius:0;width:100%;max-width:100%;min-height:44px;padding:8px 0;font-size:16.5px}.compare-card .model-summary{height:220px;max-height:220px;margin:0;overflow:auto}.compare-source-preview{height:220px;margin:0;padding:20px 0;font-size:22px;line-height:1.5;overflow:auto}.compare-source-error{color:var(--red);overflow-wrap:anywhere;font-size:14px}.compare-card .grammar-summary{align-items:center;padding:20px 0;font-size:22px;line-height:1.5;display:flex}.compare-card .regex-summary{padding:20px 0;font-size:22px}.compare-card .model-summary>svg{width:100%;height:100%;max-height:220px}.swap-languages{border:1px solid var(--rule);background:var(--paper);width:40px;height:40px;color:var(--ink);border-radius:0;place-items:center;padding:0;display:grid;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.swap-languages:hover{border-color:var(--accent);color:var(--accent)}.compare-action{justify-content:space-between;align-items:center;gap:20px;padding:20px 0;display:flex}.compare-action>div{min-width:0}.compare-action p{margin:0}.compare-action>.button{flex-shrink:0}.comparison-settings{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:repeat(3,minmax(0,1fr));gap:20px;margin-bottom:20px;padding:20px 0;display:grid}.comparison-settings label{min-width:0;color:var(--muted);flex-direction:column;gap:8px;font-size:14px;display:flex}.comparison-settings input,.comparison-settings .themed-select-trigger{border:1px solid var(--rule);background:var(--panel);width:100%;min-height:44px;color:var(--ink);border-radius:0;padding:8px 10px;font-size:16.5px}.comparison-settings-hint{color:var(--muted);grid-column:1/-1;margin:0;font-size:14px}.operation-progress{border-top:1px solid var(--rule);align-items:center;gap:12px;min-height:64px;display:flex}.operation-progress .text-button{margin-left:auto}.comparison-result{border-top:1px solid var(--rule);padding:16px 0}.comparison-status-row{justify-content:space-between;align-items:center;gap:16px;display:flex}.result-heading{align-items:center;gap:10px;min-width:0;display:flex}.result-heading>svg{flex-shrink:0}.result-heading h2{margin:0;font-size:20px;font-weight:400}.comparison-result.equivalent .result-heading{color:var(--green)}.comparison-result.different .result-heading{color:var(--red)}.comparison-coverage{color:var(--muted);flex-wrap:wrap;gap:6px 18px;margin-top:8px;font-size:14px;display:flex}.counterexample{flex-wrap:wrap;align-items:center;gap:8px 20px;padding-top:16px;display:flex}.counterexample-direction{width:100%;color:var(--muted);font-size:14px}.counterexample>code{overflow-wrap:anywhere;margin-right:auto;font-size:22px}.counterexample>button{flex-shrink:0}@media (width<=760px){.compare-page{padding:0}.compare-page .page-heading{flex-direction:column;align-items:flex-start;gap:16px}.compare-grid{grid-template-columns:minmax(0,1fr)}.compare-card:first-child{border-right:0;border-bottom:1px solid var(--rule)}.compare-card{padding:16px}.compare-card .model-summary{height:180px;max-height:180px}.swap-languages{top:50%;left:auto;right:16px;transform:translateY(-50%)rotate(90deg)}.comparison-settings{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=420px){.compare-action{flex-direction:column-reverse;align-items:stretch;gap:12px}.compare-action>.button{justify-content:center}.comparison-settings{grid-template-columns:minmax(0,1fr)}}.conversion-record,.ambiguity-details{border-top:1px solid var(--rule);margin-top:20px}.conversion-record>summary,.ambiguity-details>summary{color:var(--muted);cursor:pointer;padding:14px 0}.modal{border:1px solid var(--rule-dark,var(--rule));background:var(--paper);width:min(560px,100vw - 40px);max-width:none;max-height:calc(100dvh - 40px);color:var(--ink);overscroll-behavior:contain;border-radius:0;margin:auto;padding:0;overflow:auto;box-shadow:0 16px 60px #0003}.modal.wide{width:min(860px,100vw - 40px)}.modal::backdrop{background:#15181180}.modal-inner{padding:24px}.modal-header{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:center;gap:20px;margin-bottom:24px;padding-bottom:18px;display:flex}.modal-header h2{margin:0;font-size:22px;font-weight:400;line-height:1.3}.modal-description{overflow-wrap:anywhere;margin:0 0 24px}.modal-footer{border-top:1px solid var(--rule);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px 24px;margin-top:24px;padding-top:20px;display:flex}.modal-footer>.button:last-child{margin-left:auto}.create-grid,.transform-grid{border-top:1px solid var(--rule);border-left:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.create-grid>button,.transform-grid>button{border:0;border-bottom:1px solid var(--rule);border-right:1px solid var(--rule);min-height:78px;color:var(--ink);text-align:left;background:0 0;border-radius:0;align-items:center;gap:14px;padding:18px;display:flex}.create-grid>button:hover,.transform-grid>button:hover{background:var(--accent-light);color:var(--accent)}.create-grid h3{flex:1;margin:0;font-size:16.5px;font-weight:400}.create-grid>button>svg,.transform-grid>button>svg{flex-shrink:0;margin-left:auto}.create-icon{width:32px;color:var(--accent);flex:0 0 32px;place-items:center;display:grid}.create-icon .model-glyph{width:28px;height:28px;font-size:22px}.share-scope{border:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));margin-bottom:24px;display:grid}.share-scope button{min-width:0;color:var(--ink);text-align:left;background:0 0;border:0;border-radius:0;align-items:center;gap:12px;padding:16px 12px;display:flex}.share-scope button+button{border-left:1px solid var(--rule)}.share-scope button.active{background:var(--accent-light);color:var(--accent);box-shadow:inset 0 -2px var(--accent)}.share-scope button>span{min-width:0}.share-scope .model-glyph,.share-scope button>svg{flex:0 0 24px;width:24px}.share-scope small{text-overflow:ellipsis;white-space:nowrap;color:var(--muted);margin-top:4px;font-size:14px;display:block;overflow:hidden}.modal .field-label{color:var(--muted);margin-bottom:8px;font-size:14px;display:block}.share-link{gap:8px;display:flex}.share-link input{border:1px solid var(--rule);background:var(--panel);min-width:0;color:var(--ink);border-radius:0;flex:1;padding:10px;font-size:14px}.share-meta,.import-dropzone{border:1px dashed var(--rule-dark,var(--rule));background:var(--panel);width:100%;color:var(--ink);border-radius:0;flex-direction:column;align-items:center;gap:12px;padding:30px 16px;display:flex}.import-dropzone>svg{color:var(--accent)}.import-dropzone strong{font-weight:400}.import-dropzone>span{color:var(--muted);font-size:14px}.or-divider{text-align:center;color:var(--muted);padding:18px 0;font-size:14px}.import-textarea{border:1px solid var(--rule);background:var(--panel);width:100%;min-height:180px;color:var(--ink);resize:vertical;border-radius:0;padding:14px;line-height:1.6;display:block}.import-object-list>div{border-bottom:1px solid var(--rule);align-items:center;gap:14px;padding:12px 0;display:flex}.import-object-list strong{font-weight:400}.export-options{border-top:1px solid var(--rule)}.export-options>button{border:0;border-bottom:1px solid var(--rule);width:100%;color:var(--ink);text-align:left;background:0 0;border-radius:0;grid-template-columns:88px minmax(0,1fr) 20px;align-items:center;gap:14px;padding:18px 0;display:grid}.export-options>button:hover:not(:disabled){color:var(--accent)}.export-options strong,.export-options small{overflow-wrap:anywhere;font-weight:400;display:block}.export-options small{color:var(--muted);margin-top:6px;font-size:14px}.file-type{color:var(--muted);font-size:14px}.ambiguity-start{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;display:flex}.ambiguity-start p{color:var(--muted);margin:0;font-size:14px}.ambiguity-result h3{margin:0 0 16px;font-size:22px;font-weight:400}.ambiguity-result.ambiguous h3{color:var(--red)}.ambiguity-result.unambiguous h3{color:var(--green)}.witness-word{overflow-wrap:anywhere;margin:20px 0;font-size:22px;display:block}.transformation-preview{min-height:180px;max-height:320px;overflow:auto}.transformation-preview .model-summary{min-height:180px;font-size:22px}.readability-metrics{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;margin:20px 0;padding:16px 0;display:grid}.readability-metrics span{color:var(--muted);flex-direction:column;gap:6px;font-size:14px;display:flex}.readability-metrics b{color:var(--ink);font-size:22px;font-weight:400}.conversion-steps>section{border-top:1px solid var(--rule);padding:12px 0}.conversion-step-heading{justify-content:space-between;align-items:center;gap:16px;display:flex}.conversion-stage{margin-top:16px}.conversion-stage .model-summary{max-height:240px;overflow:auto}.export-construction{margin-top:18px}@media (width<=760px){.modal,.modal.wide{width:calc(100vw - 24px);max-height:calc(100dvh - 24px)}.modal-inner{padding:20px 16px}.create-grid,.transform-grid{grid-template-columns:minmax(0,1fr)}.create-grid>button,.transform-grid>button{min-height:64px;padding:14px}}@media (width<=420px){.share-scope button{gap:8px;padding:12px 8px;font-size:14px}.share-scope .model-glyph,.share-scope button>svg{display:none}.export-options>button{grid-template-columns:64px minmax(0,1fr) 20px;gap:10px}.file-type{overflow-wrap:anywhere}.readability-metrics{grid-template-columns:minmax(0,1fr);gap:12px}.readability-metrics span{flex-direction:row;justify-content:space-between;align-items:baseline}.modal-footer>.button:last-child{margin-left:0}}