.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}}.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}