:root{--font-ui: Inter, "Segoe UI", system-ui, -apple-system, Helvetica, Arial, sans-serif;--font-mono: "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;--bg: #f4f5f7;--panel: #ffffff;--panel-2: #f8f9fb;--border: #e1e4ea;--ink: #1d2330;--muted: #5f6b7d;--accent: #2563eb;--accent-soft: #e6eefd;--enabled: #15803d;--enabled-fill: #dcfce7;--error: #dc2626;--warning: #b45309;--node-fill: #ffffff;--node-stroke: #1d2330;--canvas: #fbfbfc;--grid: #c9ced8;--shadow: 0 8px 24px rgba(16, 24, 40, .14);--logical-fill: #e5e7eb;--note-fill: #fef9c3;--highlight: #f59e0b;--accent-ink: #ffffff;color-scheme:light}@media (prefers-color-scheme: dark){:root:not([data-theme=light]){--bg: #12151b;--panel: #1a1e26;--panel-2: #20252e;--border: #2e3440;--ink: #e6e9ef;--muted: #9aa4b5;--accent: #6ea0ff;--accent-soft: #23314d;--enabled: #4ade80;--enabled-fill: #163323;--error: #f87171;--warning: #fbbf24;--node-fill: #1d222b;--node-stroke: #d6dbe4;--canvas: #15181e;--grid: #343b48;--shadow: 0 8px 24px rgba(0, 0, 0, .5);--logical-fill: #343b48;--note-fill: #3b3415;--highlight: #fbbf24;--accent-ink: #0b1220;color-scheme:dark}}:root[data-theme=dark]{--bg: #12151b;--panel: #1a1e26;--panel-2: #20252e;--border: #2e3440;--ink: #e6e9ef;--muted: #9aa4b5;--accent: #6ea0ff;--accent-soft: #23314d;--enabled: #4ade80;--enabled-fill: #163323;--error: #f87171;--warning: #fbbf24;--node-fill: #1d222b;--node-stroke: #d6dbe4;--canvas: #15181e;--grid: #343b48;--shadow: 0 8px 24px rgba(0, 0, 0, .5);--logical-fill: #343b48;--note-fill: #3b3415;--highlight: #fbbf24;--accent-ink: #0b1220;color-scheme:dark}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{background:var(--bg);color:var(--ink);font:13px/1.4 var(--font-ui);overflow:hidden}button,input,select,textarea{font:inherit;color:inherit}button{background:var(--panel);border:1px solid var(--border);border-radius:6px;padding:5px 10px;cursor:pointer;display:inline-flex;align-items:center;gap:6px}button:hover:not(:disabled){background:var(--panel-2);border-color:var(--muted)}button:disabled{opacity:.45;cursor:default}button.icon{padding:5px;border-color:transparent;background:transparent}button.icon:hover:not(:disabled){background:var(--panel-2);border-color:var(--border)}button.icon.active{background:var(--accent-soft);color:var(--accent)}button.small{padding:3px 8px;font-size:12px}button.danger{color:var(--error)}button.ghost{border-color:transparent;background:transparent;color:var(--muted)}input,select,textarea{background:var(--panel);border:1px solid var(--border);border-radius:6px;padding:5px 8px;width:100%;min-width:0}input:focus,select:focus,textarea:focus,button:focus-visible{outline:2px solid var(--accent);outline-offset:-1px}input[type=checkbox],input[type=radio]{width:15px;height:15px;padding:0;margin:0;flex:none;accent-color:var(--accent);cursor:pointer}input.invalid{border-color:var(--warning)}.add-btn{width:100%;justify-content:center;margin-top:4px;padding:4px 8px;font-size:12.5px;border-style:dashed;background:transparent;color:var(--accent)}.add-btn span{font-weight:600;font-size:14px;line-height:1}.add-btn:hover:not(:disabled){border-color:var(--accent);background:var(--accent-soft)}button.icon.remove{color:var(--muted);padding:2px 6px}button.icon.remove:hover:not(:disabled){color:var(--error)}.decl-row{display:flex;gap:2px;align-items:center;margin-bottom:2px}.decl-row input{padding:3px 5px}input[type=range]{width:90px;padding:0}textarea{resize:vertical}.mono{font-family:var(--font-mono);font-size:12px}.muted{color:var(--muted)}.small{font-size:12px}kbd{font-family:var(--font-mono);font-size:11px;color:var(--muted)}.app{display:flex;flex-direction:column;height:100%}.topbar{display:flex;align-items:center;gap:10px;padding:6px 12px;background:var(--panel);border-bottom:1px solid var(--border);min-height:46px;flex-wrap:wrap}.brand{display:flex;align-items:center;gap:8px;color:var(--accent)}.brand-name{font-weight:650;color:var(--ink);white-space:nowrap}.doc-title{color:var(--muted);max-width:260px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;padding-right:6px;border-right:1px solid var(--border)}.dirty{color:var(--accent);margin-left:6px;font-size:10px}.tb-group{display:flex;align-items:center;gap:2px}.spacer{flex:1}.sim-controls{padding:2px 6px;background:var(--enabled-fill);border-radius:8px;gap:4px}.segmented{display:flex;border:1px solid var(--border);border-radius:7px;overflow:hidden}.segmented button{border:none;border-radius:0;background:transparent;padding:5px 14px}.segmented button.on{background:var(--accent);color:#fff}.menu{position:relative}.menu>button{border-color:transparent;background:transparent}.menu>button.active{background:var(--panel-2)}.menu-list{position:absolute;top:calc(100% + 4px);left:0;z-index:50;min-width:240px;background:var(--panel);border:1px solid var(--border);border-radius:8px;box-shadow:var(--shadow);padding:4px;display:flex;flex-direction:column}.menu-list button{border:none;background:transparent;justify-content:space-between;border-radius:5px;padding:6px 10px}.menu-list button:hover{background:var(--accent-soft)}.menu-list hr{border:none;border-top:1px solid var(--border);margin:4px 0}.main{flex:1;display:flex;min-height:0}.center{flex:1;display:flex;flex-direction:column;min-width:0}.palette{width:92px;background:var(--panel);border-right:1px solid var(--border);padding:8px 6px;display:flex;flex-direction:column;gap:3px;overflow-y:auto}.palette .tool,.palette .arc-kind{border:1px solid transparent;background:transparent;flex-direction:column;gap:2px;padding:6px 4px;font-size:11.5px}.palette .arc-kind{padding:4px}.palette .on{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.palette-sep{border-top:1px solid var(--border);margin:6px 2px}.palette-label{font-size:11px;color:var(--muted);text-align:center}.canvas-wrap{position:relative;flex:1;min-height:0;display:flex;flex-direction:column}.palette{touch-action:pan-y}.canvas{flex:1;width:100%;min-height:0;background:var(--canvas);touch-action:none;-webkit-user-select:none;user-select:none;display:block}.statusbar{display:flex;gap:14px;padding:3px 12px;background:var(--panel);border-top:1px solid var(--border);color:var(--muted);font-size:12px}.empty-hint{position:absolute;inset:40% 0 auto 0;text-align:center;color:var(--muted);pointer-events:none;display:flex;flex-direction:column;gap:4px}.empty-hint strong{color:var(--ink);font-size:15px}.binding-picker{position:absolute;z-index:40;background:var(--panel);border:1px solid var(--border);border-radius:8px;box-shadow:var(--shadow);padding:4px;display:flex;flex-direction:column;max-height:300px;overflow-y:auto;min-width:180px}.binding-picker button{border:none;background:transparent;font-family:var(--font-mono);font-size:12px;justify-content:flex-start}.binding-picker button:hover{background:var(--enabled-fill)}.binding-title{font-size:11.5px;color:var(--muted);padding:4px 8px}.props{width:var(--props-w, 300px);flex:none;background:var(--panel);border-left:1px solid var(--border);padding:14px;overflow-y:auto}.props h2{font-size:14px;margin:0 0 10px}.props h3{font-size:12.5px;margin:18px 0 6px;color:var(--muted);text-transform:uppercase;letter-spacing:.04em}.props fieldset{border:none;padding:0;margin:0;display:flex;flex-direction:column;gap:12px}.props fieldset.decl{gap:6px;margin-top:6px}.field{display:flex;flex-direction:column;gap:4px}.field-label{font-weight:550;font-size:12px}.field-hint{color:var(--muted);font-size:11.5px}.check{display:flex;gap:8px;align-items:flex-start;font-size:12.5px}.check input{margin-top:1px}.check{cursor:pointer;line-height:1.35}.inline-problems{margin-top:14px;display:flex;flex-direction:column;gap:6px}.inline-problems div{padding:6px 8px;border-radius:6px;font-size:12px}.inline-problems .error{background:color-mix(in srgb,var(--error) 12%,transparent);color:var(--error)}.inline-problems .warning{background:color-mix(in srgb,var(--warning) 14%,transparent);color:var(--warning)}.decl-table{width:100%;border-collapse:collapse}.decl-table th{text-align:left;font-weight:500;font-size:11.5px;color:var(--muted);padding:0 2px 2px}.decl-table td{padding:2px}.decl-table td:last-child{width:24px}.decl-table input,.decl-table select{padding:3px 5px;font-size:12px}.bottom{height:210px;background:var(--panel);border-top:1px solid var(--border);display:flex;flex-direction:column}.tabs{display:flex;gap:2px;padding:4px 8px 0;border-bottom:1px solid var(--border)}.tabs button{border:none;border-bottom:2px solid transparent;border-radius:0;background:transparent;padding:5px 10px}.tabs button.on{border-bottom-color:var(--accent);color:var(--accent)}.badge{font-size:10.5px;padding:0 6px;border-radius:9px;color:#fff}.badge.error{background:var(--error)}.badge.warning{background:var(--warning)}.tab-body{flex:1;overflow:auto;min-height:0}.empty{color:var(--muted);padding:12px}.problems{list-style:none;margin:0;padding:4px 0}.problems li{padding:4px 12px;cursor:pointer;display:flex;gap:10px}.problems li:hover{background:var(--panel-2)}.problems .sev{font-weight:600;width:60px}.problems .error .sev{color:var(--error)}.problems .warning .sev{color:var(--warning)}.sim-panel{display:grid;grid-template-columns:1fr 1fr 1fr;height:100%}.sim-col{border-right:1px solid var(--border);overflow:auto;padding:6px 10px;min-width:0}.sim-col h4{margin:0 0 4px;font-size:12px;color:var(--muted)}.history{list-style:none;margin:0;padding:0}.history li{padding:2px 6px;border-radius:4px;cursor:pointer;font-family:var(--font-mono);font-size:12px;display:flex;gap:8px}.history li:hover{background:var(--panel-2)}.history li.current{background:var(--accent-soft);color:var(--accent)}.history li.future{opacity:.5}.step-no{color:var(--muted);min-width:24px;text-align:right}.enabled-list{display:flex;flex-wrap:wrap;gap:4px}.enabled-list button{font-family:var(--font-mono);font-size:12px;padding:2px 8px;color:var(--enabled);border-color:var(--enabled)}.marking{width:100%;border-collapse:collapse}.marking td{padding:2px 6px;border-bottom:1px solid var(--border);cursor:pointer}.toast{position:fixed;bottom:24px;left:50%;transform:translate(-50%);background:var(--ink);color:var(--panel);padding:8px 16px;border-radius:8px;box-shadow:var(--shadow);z-index:100;max-width:min(640px,90vw);cursor:pointer}.toast.error{background:var(--error);color:#fff}@media (max-width: 900px){.props{width:min(var(--props-w, 240px),240px)}.brand-name,.doc-title{display:none}}.menu-heading{font-size:11px;color:var(--muted);padding:4px 10px 2px;text-transform:uppercase;letter-spacing:.04em}.decl-table{table-layout:fixed}.decl-table th:nth-child(2),.decl-table td:nth-child(2){width:84px}.props{width:var(--props-w, 320px)}button.primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}button.primary:hover:not(:disabled){filter:brightness(1.08);background:var(--accent)}button.link{border:none;background:none;color:var(--accent);padding:0 4px;font-size:12px}.menus{gap:0}.menus .menu>button{border:none;background:transparent;padding:5px 8px}.doc-title{border:none;background:transparent;font-weight:600;color:var(--ink);cursor:text;border-radius:6px;padding:4px 8px}.doc-title:hover{background:var(--panel-2)}.doc-title-input{font-weight:600;width:200px}.class-badge,.class-badge-label{font-size:12px;color:var(--accent);white-space:nowrap}.class-badge{padding:3px 8px;border:1px solid var(--accent);border-radius:12px}.menu-list.wide{display:block;column-count:2;column-gap:4px;min-width:470px}.menu-list.wide>*{break-inside:avoid}.menu-list.wide button{width:100%;justify-content:flex-start}.menu-group{break-inside:avoid;padding-bottom:4px}.menu-list .current{color:var(--accent);font-weight:600}.submenu{position:relative}.submenu>button{width:100%;display:flex;justify-content:space-between}.menu-list button{text-align:left}.menu-list.sub{min-width:300px;position:absolute;left:100%;top:-6px;margin-left:2px}.sub-arrow{color:var(--muted)}.palette{width:112px}.palette .tool span{overflow-wrap:break-word;-webkit-hyphens:auto;hyphens:auto;min-width:0}.palette .tool{cursor:grab}.palette .tool[data-testid=tool-select],.palette .tool[data-testid=tool-arc]{cursor:pointer}.palette .tool:active{cursor:grabbing}.palette-col{display:flex;flex-direction:column;gap:3px}.palette .arc-kind.on.idle{background:transparent;border-style:dashed}.palette-grid{display:grid;grid-template-columns:1fr 1fr;gap:3px}.palette-grid .tool span{font-size:10.5px;line-height:1.15;text-align:center}.canvas:focus{outline:none}.connect-handle{cursor:crosshair}.connect-dot{fill:var(--accent);opacity:.85;transition:opacity .1s}.connect-handle:hover .connect-dot{opacity:1}.seg-handle{fill:var(--panel);stroke:var(--accent);stroke-width:1.5;cursor:move;vector-effect:non-scaling-stroke}.end-handle{fill:var(--accent);stroke:var(--panel);stroke-width:1.5;cursor:crosshair;vector-effect:non-scaling-stroke}.drop-ring{fill:none;stroke:var(--accent);stroke-opacity:.7;pointer-events:none}.empty-hint{max-width:420px;margin:0 auto;text-align:center;line-height:1.5}.empty-hint span{display:block}.inline-editor{position:absolute;z-index:20;font:13px var(--font-mono);padding:3px 6px;border:1.5px solid var(--accent);border-radius:5px;background:var(--panel);color:var(--ink);box-shadow:var(--shadow);text-align:center}textarea.inline-editor{text-align:left;font-family:var(--font-ui);resize:both}.context-menu{position:absolute;z-index:30;min-width:210px;background:var(--panel);border:1px solid var(--border);border-radius:8px;box-shadow:var(--shadow);padding:4px;display:flex;flex-direction:column}.context-menu button{border:none;background:transparent;display:flex;justify-content:space-between;gap:16px;padding:5px 10px;text-align:left;white-space:pre}.context-menu button:hover:not(:disabled){background:var(--accent-soft)}.context-menu button.danger{color:var(--error)}.menu-sep{border-top:1px solid var(--border);margin:4px 2px}.mini-swatches{flex-wrap:nowrap!important}.menu-colors,.swatches,.mini-swatches{display:flex;flex-wrap:wrap;gap:4px;padding:3px 6px}.swatches{padding:2px 0;align-items:center}button.swatch{width:20px;height:20px;min-width:0;padding:0;border-radius:50%;border:1px solid var(--border)}button.swatch.small{width:16px;height:16px}button.swatch.on{outline:2px solid var(--accent);outline-offset:1px}.swatches input[type=color]{width:24px;height:22px;padding:0;border:none;background:none}.selection-bar{position:absolute;top:10px;left:50%;transform:translate(-50%);z-index:10;display:flex;align-items:center;gap:2px;background:var(--panel);border:1px solid var(--border);border-radius:10px;box-shadow:var(--shadow);padding:4px 6px}.selection-bar .icon-btn,.btn-row .icon{border:none;background:transparent;padding:4px}.selection-bar .icon-btn:hover:not(:disabled){background:var(--accent-soft)}.selection-bar .danger{color:var(--error)}.selection-bar .text-btn{border:none;background:transparent;padding:4px 8px}.sel-count{white-space:nowrap;font-size:12px;color:var(--muted);padding:0 6px}.bar-sep{width:1px;align-self:stretch;background:var(--border);margin:0 4px}.breadcrumbs{position:absolute;top:10px;left:10px;z-index:9;display:flex;align-items:center;gap:2px;background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:2px 4px;box-shadow:var(--shadow)}.breadcrumbs button{border:none;background:transparent;padding:3px 6px;color:var(--accent)}.breadcrumbs button:disabled{color:var(--ink);font-weight:600;opacity:1}.crumb-sep{color:var(--muted)}.minimap{position:absolute;right:12px;bottom:36px;z-index:8;background:var(--panel);border:1px solid var(--border);border-radius:8px;box-shadow:var(--shadow);overflow:hidden;opacity:.92;cursor:pointer}.minimap svg{display:block}.minimap-close{position:absolute;top:2px;right:2px;z-index:1;padding:0 5px;line-height:16px;font-size:13px;border:none;background:var(--panel);color:var(--muted);opacity:0;transition:opacity .15s}.minimap:hover .minimap-close{opacity:1}.hover-tip{position:absolute;z-index:15;max-width:300px;pointer-events:none;background:var(--panel);border:1px solid var(--border);border-radius:6px;box-shadow:var(--shadow);padding:6px 9px;font-size:12px;line-height:1.45}.hover-title{font-weight:600}.hover-hint{color:var(--muted);font-size:11px;margin-top:3px}.stepper{display:flex;gap:4px}.stepper input{flex:1;min-width:0;text-align:center}.stepper .icon{width:30px;font-size:16px;border:1px solid var(--border)}.pair{display:flex;gap:6px;align-items:center}.pair input,.pair select{flex:1;min-width:0}.btn-row{display:flex;flex-wrap:wrap;gap:4px;margin:4px 0 8px;align-items:center}.bottom.collapsed{height:auto}.bottom .tabs{align-items:center}.collapse-btn{border:none!important}.empty.ok{color:var(--enabled)}.clock-box{border:1px solid var(--border);border-radius:8px;padding:6px 8px;margin-bottom:8px;background:var(--panel-2)}.plot-panel,.ft-panel{padding:8px 12px;display:flex;flex-direction:column;gap:6px;height:100%}.plot-settings{display:flex;flex-wrap:wrap;gap:10px;align-items:flex-end}.plot-settings label{display:flex;flex-direction:column;font-size:11.5px;color:var(--muted);gap:2px}.plot-settings input[type=number]{width:90px}.plot-body{display:flex;gap:12px;flex:1;min-height:0}.plot-main{flex:1;min-width:0;display:flex;flex-direction:column;min-height:0}.plot{position:relative}.plot.fill{flex:1;min-height:120px;overflow:hidden}.plot.fill>svg{position:absolute;inset:0 0 auto 0}.plot-main>.muted.small{flex:none;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.plot-grid{stroke:var(--border);stroke-width:1}.plot-axis{stroke:var(--muted)}.plot-cursor{stroke:var(--muted);stroke-dasharray:3 3}.plot-tick,.plot-label{fill:var(--muted);font-size:11px;font-family:var(--font-ui)}.plot-readout{position:absolute;top:8px;background:var(--panel);border:1px solid var(--border);border-radius:6px;padding:4px 8px;font-size:11.5px;pointer-events:none;box-shadow:var(--shadow);max-height:180px;overflow:hidden}.dot{display:inline-block;width:9px;height:9px;border-radius:50%;margin-right:5px;vertical-align:middle}.plot-legend{width:190px;overflow-y:auto;font-size:12px}.plot-legend ul{list-style:none;margin:4px 0;padding:0}.plot-legend label{display:flex;align-items:center;gap:4px;padding:1px 0;cursor:pointer}.seg{display:flex;margin-bottom:4px}.seg button{flex:1;border-radius:0;padding:2px 6px;font-size:11.5px}.seg button:first-child{border-radius:6px 0 0 6px}.seg button:last-child{border-radius:0 6px 6px 0}.seg button.on{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.legend-actions{display:flex;gap:4px}.error-text{color:var(--error);margin:4px 0}.stat-row{display:flex;flex-wrap:wrap;gap:10px;margin:6px 0}.stat{border:1px solid var(--border);border-radius:8px;padding:6px 12px;display:flex;flex-direction:column;min-width:110px;background:var(--panel-2)}.stat b{font-size:18px}.stat span{color:var(--muted);font-size:11.5px}.ft-results{display:flex;gap:16px;flex-wrap:wrap;overflow:auto}.ft-col{min-width:220px;flex:1}.ft-col.wide{flex:2}.ft-col h4{margin:4px 0}.cutsets{margin:0;padding-left:26px;max-height:200px;overflow:auto;font-family:var(--font-mono);font-size:12px}.cutsets li{cursor:pointer;padding:1px 4px;border-radius:4px}.cutsets li:hover,.cutsets li.on{background:var(--accent-soft)}.imp-table,.rg-table,.shortcuts{border-collapse:collapse;font-size:12px;width:100%}.imp-table th,.imp-table td,.rg-table th,.rg-table td{border-bottom:1px solid var(--border);padding:3px 6px;text-align:left}.imp-table tbody tr,.rg-table tbody tr{cursor:pointer}.imp-table tbody tr:hover,.rg-table tbody tr:hover{background:var(--accent-soft)}.rg-table tr.dead td:first-child{color:var(--error);font-weight:600}.rg-table-wrap{max-height:50vh;overflow:auto}.rg-head{display:flex;gap:12px;align-items:center}.modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;z-index:100;background:#0a0e1673;display:flex;align-items:center;justify-content:center;padding:16px}.modal{background:var(--panel);border-radius:12px;box-shadow:var(--shadow);width:min(560px,100%);max-height:90vh;display:flex;flex-direction:column;border:1px solid var(--border)}.modal.wide{width:min(1040px,100%)}.modal header{display:flex;justify-content:space-between;align-items:center;padding:12px 16px 6px}.modal h2{margin:0;font-size:17px}.modal-body{padding:4px 16px 16px;overflow:auto}.gallery h3{font-size:12px;text-transform:uppercase;letter-spacing:.04em;color:var(--muted);margin:14px 0 6px}.gallery-row{display:grid;grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:8px}.class-card{display:flex;flex-direction:column;align-items:flex-start;gap:4px;text-align:left;padding:10px 12px;border-radius:10px;border:1px solid var(--border);background:var(--panel-2);color:var(--ink);min-height:96px}.class-card svg{color:var(--accent)}.class-card span{color:var(--muted);font-size:12px;line-height:1.35}.class-card:hover:not(:disabled){border-color:var(--accent);background:var(--accent-soft)}.class-card.compact{min-height:0}.help-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:20px}@media (max-width: 760px){.help-grid{grid-template-columns:1fr}}.help-grid h3{margin:8px 0 6px;font-size:14px}.help-steps{padding-left:18px;line-height:1.5}.help-steps li{margin-bottom:6px}.plus-dot{display:inline-block;width:16px;height:16px;line-height:15px;text-align:center;border-radius:50%;background:var(--accent);color:var(--accent-ink);font-weight:700}.shortcuts td{padding:3px 6px;vertical-align:top}.shortcuts kbd{white-space:nowrap}.search-pop{position:fixed;z-index:90;top:60px;left:50%;transform:translate(-50%);width:min(560px,calc(100% - 32px));background:var(--panel);border:1px solid var(--border);border-radius:10px;box-shadow:var(--shadow)}.search-row{display:flex;align-items:center;gap:8px;padding:8px 10px}.search-row input{flex:1;border:none;font-size:15px;background:transparent;outline:none}.search-results{list-style:none;margin:0;padding:4px;max-height:50vh;overflow:auto;border-top:1px solid var(--border)}.search-results li{display:flex;gap:8px;align-items:baseline;padding:5px 8px;border-radius:6px;cursor:pointer}.search-results li.on{background:var(--accent-soft)}.search-results .kind{font-size:11px;color:var(--muted);width:70px;text-transform:capitalize}.search-results .name{font-weight:600}.sim-bar{position:absolute;top:10px;left:50%;transform:translate(-50%);z-index:10;display:flex;align-items:center;gap:4px;background:var(--panel);border:1px solid var(--enabled);border-radius:10px;box-shadow:var(--shadow);padding:4px 8px;white-space:nowrap}.topbar{flex-wrap:nowrap}.topbar>*{flex-shrink:0}.topbar .doc-title{min-width:48px;flex-shrink:1}.topbar .segmented button{white-space:nowrap}@media (max-width: 1180px){.topbar .tb-view{display:none}}@media (max-width: 1100px){.topbar .tb-help{display:none}.class-badge-label{display:inline-block;max-width:120px;overflow:hidden;text-overflow:ellipsis;vertical-align:bottom}.topbar .menu>button{padding-left:6px;padding-right:6px}}@media (max-width: 1100px){.brand-name{display:none}}@media print{.topbar,.palette,.props,.bottom,.statusbar,.minimap,.selection-bar,.sim-bar,.breadcrumbs,.toast,.hover-tip,.props-peek,.step-tray,.props-host,.drawer-backdrop{display:none!important}.app{transform:none;height:100%;padding:0}.canvas{background:#fff}.canvas rect[fill="url(#grid)"]{display:none}}@page{margin:12mm}.splitter{flex:none;position:relative;z-index:6;background:transparent}.splitter-y{height:0;cursor:row-resize}.splitter-x{width:0;cursor:col-resize}.splitter:after{content:"";position:absolute;transition:background .12s}.splitter-y:after{left:0;right:0;top:-3px;height:6px}.splitter-x:after{top:0;bottom:0;left:-3px;width:6px}.splitter:hover:after,body.resizing-x .splitter-x:after,body.resizing-y .splitter-y:after{background:var(--accent);opacity:.5}body.resizing-x,body.resizing-x *{cursor:col-resize!important;-webkit-user-select:none;user-select:none}body.resizing-y,body.resizing-y *{cursor:row-resize!important;-webkit-user-select:none;user-select:none}.elements{display:flex;flex-direction:column;height:100%}.elements-bar{display:flex;gap:10px;align-items:center;padding:6px 10px;border-bottom:1px solid var(--border)}.small-seg button{padding:3px 10px;font-size:12.5px;gap:5px}.small-seg .count{font-size:11px;opacity:.75}.elements-filter{max-width:220px;padding:3px 8px}.elements-body{flex:1;overflow:auto;min-height:0}.grid-table{width:100%;border-collapse:collapse;font-size:12.5px}.grid-table th{position:sticky;top:0;z-index:1;background:var(--panel-2);text-align:left;font-weight:500;color:var(--muted);padding:4px 8px;border-bottom:1px solid var(--border);white-space:nowrap}.grid-table td{padding:1px 4px;border-bottom:1px solid var(--border);white-space:nowrap}.grid-table td:not(:has(input)){padding:4px 8px}.grid-table tr{cursor:pointer}.grid-table tr:hover td{background:color-mix(in srgb,var(--accent) 6%,transparent)}.grid-table tr.on td{background:var(--accent-soft)}.grid-table input{border-color:transparent;background:transparent;padding:3px 4px;font-size:12.5px}.grid-table input:hover:not(:disabled){border-color:var(--border)}.grid-table input:focus{background:var(--panel)}.tree{list-style:none;margin:0;padding:4px 0}.tree li{padding:4px 10px;cursor:pointer;display:flex;gap:6px;align-items:baseline}.tree li:hover{background:var(--panel-2)}.tree li.on{background:var(--accent-soft);color:var(--accent)}.tree-icon{color:var(--muted);width:14px;text-align:center}.warn-text{color:var(--warning)}.obs-table td:first-child{width:72px}.obs-table td:nth-child(2){width:76px!important}.pill{display:inline-block;padding:1px 8px;border-radius:10px;font-size:11.5px;font-weight:600;background:var(--panel-2);border:1px solid var(--border);white-space:nowrap}.pill.good{color:var(--enabled);border-color:color-mix(in srgb,var(--enabled) 45%,transparent);background:color-mix(in srgb,var(--enabled) 10%,transparent)}.pill.bad{color:var(--error);border-color:color-mix(in srgb,var(--error) 45%,transparent);background:color-mix(in srgb,var(--error) 10%,transparent)}.pill.muted-pill{color:var(--muted);font-weight:500}.stat.good b{color:var(--enabled)}.stat.bad b{color:var(--error)}.analysis-tabs{margin-top:8px;padding-left:0}.analysis-body{max-height:46vh;overflow:auto;padding:8px 2px}.analysis-body h3{font-size:13px;margin:10px 0 2px}.analysis-warnings{font-size:12px;color:var(--muted);margin:6px 0}.analysis-warnings summary{cursor:pointer}.prop-table{width:100%;border-collapse:collapse;font-size:13px}.prop-table td{padding:6px 8px;border-bottom:1px solid var(--border);vertical-align:top}.prop-name{width:34%;font-weight:500}.prop-name .muted{font-weight:400}.inv-list{list-style:none;margin:4px 0 8px;padding:0}.inv-list li{display:flex;gap:10px;align-items:center;padding:4px 8px;border-radius:5px;cursor:pointer}.inv-list li:hover{background:var(--panel-2)}.matrix td.pos{color:var(--enabled)}.matrix td.neg{color:var(--error)}.matrix td.zero{color:var(--muted)}.matrix th{position:sticky;left:0}.doc-title-text{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.statusbar>span:first-child{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.statusbar>span{flex-shrink:0}.statusbar>span:first-child{flex-shrink:1}.item-with-note{display:flex;flex-direction:column;gap:1px}.item-note{font-size:11px;color:var(--muted);white-space:normal;max-width:280px}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;-webkit-tap-highlight-color:transparent}html,body{overscroll-behavior:none}.app{height:var(--app-h, 100%);transform:translateY(var(--app-top, 0px));padding:env(safe-area-inset-top) env(safe-area-inset-right) env(safe-area-inset-bottom) env(safe-area-inset-left);background:var(--panel);touch-action:pan-x pan-y}@supports (height: 100dvh){.app{height:var(--app-h, 100dvh)}}.main{position:relative}.canvas,.palette,.topbar,.tabs,.statusbar,.props-host-head{-webkit-user-select:none;user-select:none;-webkit-touch-callout:none}.hit-pad{fill:none;stroke:transparent;stroke-width:0;pointer-events:stroke;vector-effect:non-scaling-stroke}.arc-hit{fill:none;stroke:transparent;stroke-width:12}.handle-pad{fill:transparent}[data-arcend] .handle-pad{cursor:crosshair}[data-segment] .handle-pad{cursor:move}.menu-btn{margin-left:-4px}.drawer-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;z-index:95;background:#0a0e1673;animation:fade-in .15s ease-out}.drawer{position:absolute;top:0;bottom:0;left:0;width:min(330px,88%);background:var(--panel);border-right:1px solid var(--border);box-shadow:var(--shadow);display:flex;flex-direction:column;padding:env(safe-area-inset-top) 0 env(safe-area-inset-bottom) env(safe-area-inset-left);animation:slide-in-left .2s ease-out}.drawer-head{display:flex;align-items:center;gap:8px;padding:6px 6px 6px 14px;border-bottom:1px solid var(--border)}.drawer-head .brand{flex:1}.drawer-head .brand-name{display:inline}.drawer-body{flex:1;overflow-y:auto;overscroll-behavior:contain;padding:6px}.drawer-section>button{width:100%;justify-content:space-between;border:none;background:transparent;font-weight:600;padding:10px}.drawer-section>button svg{transition:transform .15s}.drawer-section.open>button svg{transform:rotate(180deg)}.menu-list.inline{position:static;min-width:0;border:none;box-shadow:none;padding:0 0 8px 6px}.submenu.inline>button{width:100%;display:flex;justify-content:space-between}.sub-arrow.open{transform:rotate(90deg)}.sub-arrow{display:inline-block;transition:transform .15s}.sub-inline{display:flex;flex-direction:column;margin:0 0 4px 10px;padding-left:6px;border-left:2px solid var(--border)}.sub-inline .item-note{max-width:none}.seg-icon{display:none}.props-host{position:absolute;z-index:60;display:flex;flex-direction:column;background:var(--panel);box-shadow:var(--shadow)}.props-host .props{width:auto;flex:1;min-height:0;border:none;overflow-y:auto;overscroll-behavior:contain}.props-host.side{top:0;right:0;bottom:0;width:min(360px,88%);border-left:1px solid var(--border);animation:slide-in-right .2s ease-out}.props-host.sheet{left:0;right:0;bottom:0;height:min(64%,600px);border-top:1px solid var(--border);border-radius:14px 14px 0 0;animation:slide-up .22s ease-out}.props-host-head{position:relative;display:flex;align-items:center;gap:8px;padding:4px 6px 4px 14px;border-bottom:1px solid var(--border)}.props-host.sheet .props-host-head{padding-top:12px;touch-action:none;cursor:grab}.props-host-title{flex:1;font-weight:600}.grab{position:absolute;top:5px;left:50%;width:36px;height:4px;margin-left:-18px;border-radius:2px;background:var(--border)}.props-peek{position:absolute;z-index:12;bottom:34px;display:flex;align-items:center;gap:8px;max-width:calc(100% - 24px);min-height:40px;padding:6px 12px 6px 16px;border-radius:20px;background:var(--panel);box-shadow:var(--shadow);white-space:nowrap}.props-peek.sheet{left:50%;transform:translate(-50%)}.props-peek.side{right:12px}.props-peek-label{font-weight:600;overflow:hidden;text-overflow:ellipsis;min-width:0}.props-peek svg{transform:rotate(180deg);flex:none}.palette-ghost{position:fixed;z-index:120;width:44px;height:44px;margin:-22px 0 0 -22px;display:flex;align-items:center;justify-content:center;border-radius:50%;background:var(--accent-soft);color:var(--accent);border:1.5px solid var(--accent);box-shadow:var(--shadow);pointer-events:none}.tabs{overflow-x:auto;scrollbar-width:none}.tabs::-webkit-scrollbar,.palette::-webkit-scrollbar,.selection-bar::-webkit-scrollbar,.sim-bar::-webkit-scrollbar{display:none}.tabs>button{flex:none;white-space:nowrap}.tabs .collapse-btn{position:sticky;right:0;background:var(--panel)}.selection-bar,.sim-bar{max-width:calc(100% - 16px);overflow-x:auto;scrollbar-width:none}.selection-bar>*,.sim-bar>*{flex:none}.toast{max-width:min(640px,calc(100% - 24px))}.elements-bar{flex-wrap:wrap}@keyframes fade-in{0%{opacity:0}}@keyframes slide-up{0%{transform:translateY(100%)}}@keyframes slide-in-right{0%{transform:translate(100%)}}@keyframes slide-in-left{0%{transform:translate(-100%)}}@media (pointer: coarse){input,select,textarea,.inline-editor{font-size:16px}button.icon{min-width:38px;min-height:38px;justify-content:center}.menu-list button,.context-menu button,.drawer-section>button{min-height:42px;padding-top:8px;padding-bottom:8px}.tabs>button{min-height:40px}.search-results li{padding:10px 8px}.hit-pad{stroke-width:24px}.arc-hit{stroke-width:26}.splitter-y:after{top:-9px;height:18px}.splitter-x:after{left:-9px;width:18px}.minimap-close{opacity:1}.palette .tool,.palette .arc-kind{min-height:44px}}@media (hover: none){.minimap-close{opacity:1}}.app:not(.screen-desktop) .topbar{gap:4px;padding:4px 8px;min-height:44px}.app:not(.screen-desktop) .topbar .tb-help{display:none}.app:not(.screen-desktop) .topbar .doc-title{display:inline-flex;max-width:220px}.app:not(.screen-desktop) .context-menu,.app:not(.screen-desktop) .binding-picker{max-height:calc(100% - 8px);overflow-y:auto;overscroll-behavior:contain}.screen-tablet .palette{width:80px;padding:6px 4px}.screen-tablet .palette-grid{grid-template-columns:1fr}@media (max-height: 719px){.screen-tablet .palette .arc-kind.idle,.screen-tablet .palette-label{display:none}}.screen-short .palette{width:58px;padding:4px}.screen-short .palette .tool span,.screen-short .palette .arc-kind span,.screen-short .palette-label,.screen-short .palette .arc-kind.idle{display:none}.screen-short .palette-grid{grid-template-columns:1fr}.screen-tablet .palette,.screen-short .palette{touch-action:pan-y}.screen-phone .topbar .doc-title{flex:1 1 0;min-width:0;max-width:none;padding:4px}.screen-phone .topbar .spacer,.screen-phone .tb-theme{display:none}.screen-phone .topbar{gap:2px;padding:4px 6px}@media (max-width: 719px){.screen-tablet .seg-label{display:none}.screen-tablet .seg-icon{display:inline-flex}.screen-tablet .segmented button{padding:6px 10px}}@media (max-width: 359px){.screen-phone .tb-fit{display:none}}.screen-phone .seg-label,.screen-short .seg-label{display:none}.screen-phone .seg-icon,.screen-short .seg-icon{display:inline-flex}.screen-phone .segmented button,.screen-short .segmented button{padding:6px 10px}.screen-phone .main{flex-direction:column}.screen-phone .center{flex:1;min-height:0}.screen-phone .palette{order:2;width:auto;flex:none;flex-direction:row;align-items:stretch;gap:2px;padding:4px 6px;border-right:none;border-top:1px solid var(--border);overflow-x:auto;overflow-y:hidden;scrollbar-width:none;touch-action:pan-x}.screen-phone .palette-col,.screen-phone .palette-grid{display:flex;flex-direction:row;gap:2px}.screen-phone .palette .tool,.screen-phone .palette .arc-kind{flex:none;min-width:54px;max-width:78px;min-height:48px;padding:4px 6px;font-size:10.5px;justify-content:center}.screen-phone .palette .tool span,.screen-phone .palette .arc-kind span{max-width:100%;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.screen-phone .palette-label,.screen-phone .palette .arc-kind.idle{display:none}.screen-phone .palette-sep{border-top:none;border-left:1px solid var(--border);margin:6px 2px}.screen-phone.mode-simulate .palette{display:none}.screen-phone .bottom,.screen-short .bottom{max-height:45vh;max-height:45dvh}.screen-phone .statusbar{padding:2px 8px;font-size:11px}.screen-phone .sim-panel{grid-template-columns:1fr;height:auto}.screen-phone .sim-col{border-right:none;border-bottom:1px solid var(--border)}.screen-phone .plot-body{flex-direction:column}.screen-phone .plot-legend{width:auto;max-height:120px}.screen-phone .toast{bottom:72px}.screen-phone .search-pop,.screen-short .search-pop{top:calc(env(safe-area-inset-top) + 8px)}.screen-phone .selection-bar{top:8px}.screen-phone .sim-bar{flex-wrap:wrap;justify-content:center;width:max-content;top:8px}.screen-phone .breadcrumbs{max-width:calc(100% - 16px);overflow-x:auto;top:8px;left:8px}.screen-phone .modal-backdrop,.screen-short .modal-backdrop{padding:0}.screen-phone .modal,.screen-short .modal{width:100%;height:100%;max-height:none;border:none;border-radius:0;padding:env(safe-area-inset-top) env(safe-area-inset-right) env(safe-area-inset-bottom) env(safe-area-inset-left)}.screen-phone .modal-body,.screen-short .modal-body{flex:1;min-height:0}.screen-phone .analysis-body,.screen-short .analysis-body,.screen-phone .rg-table-wrap,.screen-short .rg-table-wrap{max-height:none}@media (min-width: 1800px){.screen-desktop .props{width:var(--props-w, 360px)}.modal.wide{width:min(1280px,100%)}.modal{width:min(620px,100%)}}@media (min-width: 2400px){.screen-desktop .props{width:var(--props-w, 400px)}.modal.wide{width:min(1440px,100%)}}@media (min-height: 1000px){.analysis-body,.rg-table-wrap{max-height:60vh}}@media (prefers-reduced-motion: reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}.sim-panel.ambient{grid-template-columns:repeat(4,minmax(0,1fr))}.screen-tablet .sim-panel.ambient,.screen-short .sim-panel.ambient{grid-template-columns:repeat(2,minmax(0,1fr));height:auto}.screen-tablet .sim-panel.ambient .sim-col,.screen-short .sim-panel.ambient .sim-col{border-bottom:1px solid var(--border)}.screen-phone .sim-panel.ambient{grid-template-columns:1fr}.st-list,.why-list{list-style:none;margin:0 0 8px;padding:0}.st-list li{display:flex;align-items:center;gap:6px;padding:1px 0}.st-pick{display:flex;align-items:center;gap:6px;flex:1;min-width:0;cursor:pointer;color:var(--enabled);font-size:12px}.fire-btn{color:var(--enabled);border-color:var(--enabled)}.step-box{border:1px solid var(--border);border-radius:8px;padding:6px 8px;margin:6px 0;background:var(--panel-2)}.step-box.ok{border-color:var(--enabled)}.step-box.bad{border-color:var(--error)}.step-box.bad .small{color:var(--error)}.steps-head{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-top:6px}.steps-head h4{margin:0;flex:1}.seg.mini{margin:0}.seg.mini button{flex:none;padding:1px 8px}.why-list li{padding:3px 4px;border-bottom:1px solid var(--border);cursor:pointer;display:flex;flex-direction:column;gap:2px;font-size:12px}.why-list li:hover{background:var(--panel-2)}.why{color:var(--muted);font-size:12px}.why.inhibitor{color:var(--error)}.why .pill{font-size:10.5px;padding:0 6px}.why-more summary{cursor:pointer;font-size:12px;color:var(--muted);padding:4px 0}.pad-b{padding-bottom:8px}.pad-t{margin-top:8px}.pairs{overflow-wrap:anywhere;line-height:1.5}.step-picker{min-width:220px;max-width:min(340px,calc(100% - 8px))}.picker-row{display:flex;align-items:center;gap:4px;padding:2px 4px}.picker-row.blocked{flex-direction:column;align-items:flex-start;gap:0;padding:4px 8px;border-top:1px solid var(--border)}.picker-row.blocked .mono{font-size:12px;color:var(--muted)}.binding-picker .pick-fire{flex:1;color:var(--enabled)}.binding-picker .pick-add{font-family:var(--font-ui);border:1px solid var(--border)}.binding-picker .pick-add.on{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.step-tray{position:absolute;z-index:12;bottom:34px;left:50%;transform:translate(-50%);display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:6px;max-width:calc(100% - 24px);padding:6px 10px;border-radius:12px;background:var(--panel);border:1px solid var(--border);box-shadow:var(--shadow)}.step-tray.ok{border-color:var(--enabled)}.step-tray.bad{border-color:var(--error)}.step-tray-text{font-size:12.5px;overflow-wrap:anywhere}.step-tray-why{flex-basis:100%;text-align:center;color:var(--error)}.rg-head.wrap{flex-wrap:wrap;row-gap:6px;margin-bottom:4px}.check.inline{align-items:center}.grow{flex:1;min-width:160px}.ok-text{color:var(--enabled)}.link-btn{border:none;background:transparent;color:var(--accent);padding:0 2px;text-decoration:underline;text-underline-offset:2px;cursor:pointer}.crg-list{display:flex;flex-direction:column;border-top:1px solid var(--border)}.crg-state{border-bottom:1px solid var(--border);padding:4px 2px}.crg-state.dead{background:color-mix(in srgb,var(--error) 6%,transparent)}.crg-state-head{display:flex;align-items:baseline;gap:8px;flex-wrap:wrap}.crg-state-head .link-btn{font-weight:600;min-width:42px;text-align:left}.crg-pairs{overflow-wrap:anywhere;flex:1;min-width:200px}.crg-edges{display:flex;flex-wrap:wrap;gap:4px;margin:3px 0 2px 50px}.edge-chip{font-size:11.5px;padding:1px 7px;color:var(--enabled);border-color:color-mix(in srgb,var(--enabled) 45%,transparent)}.cex{border:1px solid var(--error);border-radius:8px;padding:8px 12px;margin-top:8px}.cex h4{margin:4px 0;font-size:12.5px}.cex p{margin:4px 0}.cex-steps{margin:4px 0;padding-left:20px;font-size:12px;max-height:200px;overflow:auto}.cex-last{color:var(--error)}.cex-markings{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:8px}.problems.compact li{cursor:default;padding:3px 4px}.sets{display:grid;grid-template-columns:max-content 1fr;gap:4px 12px;font-size:12px}.sets dd{margin:0;overflow-wrap:anywhere}.section-title{font-size:13px;margin:14px 0 6px}.btn-row.end{justify-content:flex-end;margin-top:12px}.props-table{width:100%;border-collapse:collapse;font-size:12.5px}.props-table th,.props-table td{border-bottom:1px solid var(--border);padding:5px 6px;text-align:left;vertical-align:top}.props-table th{font-weight:550;width:30%}.props-table td:nth-child(2){width:52px}.screen-phone .props-table th{width:auto}.screen-phone .props-table tr{display:grid;grid-template-columns:1fr auto}.screen-phone .props-table td:last-child{grid-column:1 / -1;border-bottom:1px solid var(--border)}.screen-phone .props-table th,.screen-phone .props-table td:nth-child(2){border-bottom:none}.blocks{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:16px;align-items:start}.screen-phone .blocks,.screen-short .blocks{grid-template-columns:1fr}.blocks-form{display:flex;flex-direction:column;gap:10px;min-width:0}.blocks-preview{min-width:0}.net-preview{width:100%;max-height:340px;border:1px solid var(--border);border-radius:8px;background:var(--canvas)}.form-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:8px 12px}.chips{display:flex;flex-wrap:wrap;gap:4px}.chip{font-family:var(--font-mono);font-size:12px;padding:2px 10px;border-radius:12px}.chip.on{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.decisions{display:flex;flex-direction:column;gap:6px;align-items:flex-start}.decision-row{display:flex;flex-wrap:wrap;align-items:center;gap:6px}.seg.wrap-seg{flex-wrap:wrap;margin-bottom:6px}.seg.wrap-seg button{padding:4px 10px}.abbr-tag{display:inline-block;font-family:var(--font-mono);font-size:10.5px;border:1px solid var(--border);border-radius:4px;padding:0 4px;margin-right:6px;text-decoration:none;color:var(--muted)}.ctl-settings select{max-width:220px}.ctl-grid{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:16px;align-items:start;margin-top:8px}.screen-phone .ctl-grid,.screen-short .ctl-grid,.screen-tablet .ctl-grid{grid-template-columns:1fr}.template-picker{display:flex;flex-direction:column;gap:8px;border:1px solid var(--border);border-radius:8px;padding:8px 10px;background:var(--panel-2);min-width:0}.template-picker p{margin:0}.template-statement{font-style:italic}.formula-section,.ctl-paths section{display:flex;flex-direction:column;gap:6px;min-width:0}.formula-box textarea{width:100%;box-sizing:border-box;resize:vertical}.formula-box textarea[aria-invalid=true]{border-color:var(--error)}.formula-error{margin-top:2px}.syntax-help summary{cursor:pointer;font-size:12px;color:var(--muted)}.syntax-help dl{display:grid;grid-template-columns:max-content 1fr;gap:2px 10px;margin:4px 0;font-size:12px}.syntax-help dd{margin:0}.rules{display:flex;flex-direction:column;gap:6px;align-items:flex-start}.rule-row{display:flex;flex-wrap:wrap;align-items:flex-end;gap:6px;padding-bottom:6px;border-bottom:1px dashed var(--border);max-width:100%}.rule-cell{display:flex;flex-direction:column;gap:2px;min-width:0}.rule-cell select,.rule-cell input{max-width:160px}.multi{display:flex;flex-direction:column;gap:4px}.multi select{max-width:100%}.formula-preview{overflow-wrap:anywhere;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.ctl-verdict{display:flex;align-items:baseline;gap:8px;flex-wrap:wrap}.ctl-result-box{border:1px solid var(--border);border-radius:8px;padding:8px 10px}.trace p{margin:6px 0 2px}.trace-steps{max-height:220px;overflow:auto;margin:4px 0;padding-left:22px;overflow-wrap:anywhere}.path-view{margin-top:6px}.path-view summary{cursor:pointer;font-size:12.5px}.ctl-table td:first-child{max-width:420px}.ctl-faults{display:flex;flex-direction:column;gap:6px}@media (pointer: coarse){.st-list li{min-height:40px}.st-pick input{width:20px;height:20px}.picker-row button,.edge-chip,.chip,.seg.wrap-seg button{min-height:38px}.why-list li{padding:8px 4px}}.arc-tool{position:relative;display:flex;flex-direction:column}.arc-tool>.tool{width:100%}.arc-tool.choosable>.tool{padding-right:14px}.arc-type-toggle{position:absolute;right:2px;bottom:2px;width:20px;height:20px;padding:0;border:1px solid var(--border);border-radius:5px;background:var(--panel);color:var(--muted);font-size:11px;line-height:1;display:grid;place-items:center;cursor:pointer}.arc-type-toggle:hover,.arc-type-toggle.on{color:var(--accent);border-color:var(--accent)}.arc-menu{position:fixed;z-index:60;width:280px;max-width:calc(100vw - 16px);max-height:min(420px,calc(100dvh - 16px));overflow-y:auto;background:var(--panel);color:var(--ink);border:1px solid var(--border);border-radius:10px;box-shadow:var(--shadow);padding:6px}.arc-menu-title{font-size:11px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);padding:4px 8px 6px}.arc-choice{display:grid;grid-template-columns:38px 1fr auto;align-items:center;gap:8px;width:100%;text-align:left;border:1px solid transparent;border-radius:7px;background:transparent;color:inherit;padding:7px 8px;cursor:pointer}.arc-choice:hover,.arc-choice:focus-visible{background:var(--panel-2);outline:none}.arc-choice.on{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.arc-choice-icon{display:grid;place-items:center}.arc-choice-text{display:flex;flex-direction:column;min-width:0}.arc-choice-label{font-weight:600;font-size:13px}.arc-choice-help{font-size:11.5px;color:var(--muted);line-height:1.35}.arc-choice kbd{font-family:var(--font-mono);font-size:11px;color:var(--muted);border:1px solid var(--border);border-radius:4px;padding:1px 5px}@media (pointer: coarse){.arc-type-toggle{width:26px;height:26px;font-size:13px}.arc-choice{padding:10px 8px}.arc-choice kbd{display:none}}.screen-phone .arc-tool,.screen-short .arc-tool{flex:none}.screen-phone .arc-type-toggle,.screen-short .arc-type-toggle{top:1px;bottom:auto;right:1px;width:18px;height:18px;font-size:10px}.screen-phone .arc-tool.choosable>.tool,.screen-short .arc-tool.choosable>.tool{padding-right:6px}
