.graph-dfs-model-workbench_scope__tN5_i{--panel-bg:var(--surface,#fff);color:var(--text,#1e293b);color-scheme:light;display:grid;grid-gap:16px;gap:16px;background:var(--panel-bg);padding:16px;border-radius:18px;min-width:0}.graph-dfs-model-workbench_scope__tN5_i.algorithm-workbench{--aw-surface:var(--surface,#fff);--aw-panel:var(--surface-2,#f8fafc);--aw-line:var(--line,#cbd5e1);--aw-line-strong:var(--line-strong,#94a3b8);--aw-accent:var(--accent,#0284c7)}.graph-dfs-model-workbench_controls__IQ_s_{display:flex;gap:12px;flex-wrap:wrap;align-items:flex-end}.graph-dfs-model-workbench_controls__IQ_s_ label{display:grid;grid-gap:6px;gap:6px;font-size:13px;max-width:100%}.graph-dfs-model-workbench_controls__IQ_s_ input,.graph-dfs-model-workbench_controls__IQ_s_ select,.graph-dfs-model-workbench_controls__IQ_s_ textarea{color:inherit;background:var(--panel-bg);border:1px solid #cbd5e1;padding:8px;border-radius:8px;max-width:100%;min-width:0}.graph-dfs-model-workbench_controls__IQ_s_ textarea{width:340px;resize:vertical;font:inherit}.graph-dfs-model-workbench_controls__IQ_s_ input{width:130px}.graph-dfs-model-workbench_controls__IQ_s_ button{background:var(--surface,#fff);border:1px solid var(--line,#cbd5e1);border-radius:8px;padding:8px 10px;color:inherit}.graph-dfs-model-workbench_layout__Npemh{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(280px,1fr);grid-gap:16px;gap:16px;min-width:0}.graph-dfs-model-workbench_notes__1_Trn,.graph-dfs-model-workbench_visual__odAh8{min-width:0}.graph-dfs-model-workbench_current__hgUfW{padding:10px;background:#eff6ff;border-radius:8px;line-height:1.7}.graph-dfs-model-workbench_legend__eNFzy{font-size:12px;line-height:1.8;color:#475569}.graph-dfs-model-workbench_history__THIJl{grid-column:1/-1;height:220px;min-height:220px;max-height:220px;overflow:hidden}.graph-dfs-model-workbench_history__THIJl>div{height:calc(100% - 44px);min-height:0;overflow:hidden;box-sizing:border-box}.graph-dfs-model-workbench_history__THIJl:not([open]){height:auto;min-height:0}.graph-dfs-model-workbench_history__THIJl ol{height:100%;max-height:100%;overflow:auto}.graph-dfs-model-workbench_graphScroll__oFvy_{overflow:auto;background:#f8fafc;border:1px solid #e2e8f0;border-radius:10px;max-height:360px}.graph-dfs-model-workbench_graphScroll__oFvy_ svg{display:block;min-width:280px;width:100%;max-height:340px}.graph-dfs-model-workbench_graphScroll__oFvy_ path{stroke:#94a3b8;stroke-width:1.5;fill:none}.graph-dfs-model-workbench_graphScroll__oFvy_ text{font-size:10px;fill:#475569;text-anchor:middle}.graph-dfs-model-workbench_graphScroll__oFvy_ [data-active] path{stroke:#0284c7;stroke-width:3}.graph-dfs-model-workbench_vertex__2o6Pd circle{fill:#fff;stroke:#64748b;stroke-width:1.5}.graph-dfs-model-workbench_vertex__2o6Pd text{font-size:15px;font-weight:700;fill:#1e293b}.graph-dfs-model-workbench_vertex__2o6Pd[data-active] circle{fill:#dbeafe;stroke-width:3}.graph-dfs-model-workbench_edgeLists__X5lt7{max-height:190px;overflow:auto;font-size:12px;margin:10px 0}.graph-dfs-model-workbench_edgeLists__X5lt7>div{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:5px;border-bottom:1px solid #e2e8f0}.graph-dfs-model-workbench_edgeLists__X5lt7 span{border:1px solid #cbd5e1;padding:4px;border-radius:6px;overflow-wrap:anywhere;max-width:100%}.graph-dfs-model-workbench_edgeLists__X5lt7 [data-active]{background:#dbeafe;border-color:#0284c7}.graph-dfs-model-workbench_matrixScroll__yQZ_2{overflow:auto;max-height:360px}.graph-dfs-model-workbench_matrixScroll__yQZ_2 table{border-collapse:collapse;margin:auto;font-size:12px}.graph-dfs-model-workbench_matrixScroll__yQZ_2 td,.graph-dfs-model-workbench_matrixScroll__yQZ_2 th{padding:8px;min-width:32px;border:1px solid #cbd5e1;text-align:center}.graph-dfs-model-workbench_matrixScroll__yQZ_2 caption{padding:8px;text-align:left}.graph-dfs-model-workbench_matrixScroll__yQZ_2 [data-initialized=false]{background:#f1f5f9;color:#64748b;font-size:10px;white-space:nowrap}.graph-dfs-model-workbench_matrixScroll__yQZ_2 [data-active]{background:#dbeafe!important;color:#075985;box-shadow:inset 0 0 0 2px #0284c7}.graph-dfs-model-workbench_summary__Ss4rb{font-size:12px;line-height:1.8;overflow-wrap:anywhere}.graph-dfs-model-workbench_returnValue__8HMq7{background:#ecfdf5;color:#065f46;padding:10px;border-radius:8px;overflow-wrap:anywhere;line-height:1.7}.graph-dfs-model-workbench_empty__yCG_s{padding:14px;text-align:center;color:#64748b}@media(max-width:850px){.graph-dfs-model-workbench_layout__Npemh{grid-template-columns:minmax(0,1fr)}.graph-dfs-model-workbench_scope__tN5_i{padding:10px}.graph-dfs-model-workbench_controls__IQ_s_ textarea{width:100%}.graph-dfs-model-workbench_graphScroll__oFvy_{max-height:310px}}.graph-dfs-model-workbench_vertex__2o6Pd[data-visited] circle{fill:#dcfce7;stroke:#15803d}.graph-dfs-model-workbench_vertex__2o6Pd[data-on-path] circle{fill:#ffedd5;stroke:#ea580c}.graph-dfs-model-workbench_vertex__2o6Pd[data-active] circle{stroke:#0284c7;stroke-width:4}.graph-dfs-model-workbench_stateScroll__TiMyy{overflow:auto;max-height:260px}.graph-dfs-model-workbench_stateScroll__TiMyy table{border-collapse:collapse;width:100%;font-size:12px}.graph-dfs-model-workbench_stateScroll__TiMyy td,.graph-dfs-model-workbench_stateScroll__TiMyy th{border:1px solid #cbd5e1;padding:5px}.graph-dfs-model-workbench_matrixScroll__yQZ_2 [data-inactive],.graph-dfs-model-workbench_stateScroll__TiMyy [data-inactive]{background:#f1f5f9;color:#64748b}.graph-dfs-model-workbench_stack__j210L{padding:10px;background:#f8fafc;border:1px solid #cbd5e1;border-radius:8px;font-size:12px}.graph-dfs-model-workbench_stack__j210L h3{font-size:14px;margin:0 0 8px}.graph-dfs-model-workbench_stack__j210L [data-stack-frame]{border-bottom:1px solid #e2e8f0;padding:5px}.graph-dfs-model-workbench_paths__u0IW6{background:#fff7ed;padding:10px;border-radius:8px;font-size:12px}.graph-dfs-model-workbench_paths__u0IW6 ol{max-height:170px;overflow:auto;overflow-wrap:anywhere}.graph-interface-model-workbench_scope__O56As{--panel-bg:var(--surface,#fff);color:var(--text,#1e293b);color-scheme:light;display:grid;grid-gap:16px;gap:16px;background:var(--panel-bg);padding:16px;border-radius:18px;min-width:0}.graph-interface-model-workbench_scope__O56As.algorithm-workbench{--aw-surface:var(--surface,#fff);--aw-panel:var(--surface-2,#f8fafc);--aw-line:var(--line,#cbd5e1);--aw-line-strong:var(--line-strong,#94a3b8);--aw-accent:var(--accent,#0284c7)}.graph-interface-model-workbench_controls__ynpLH{display:flex;gap:12px;flex-wrap:wrap;align-items:flex-end}.graph-interface-model-workbench_controls__ynpLH label{display:grid;grid-gap:6px;gap:6px;font-size:13px;max-width:100%}.graph-interface-model-workbench_controls__ynpLH input,.graph-interface-model-workbench_controls__ynpLH select,.graph-interface-model-workbench_controls__ynpLH textarea{color:inherit;background:var(--panel-bg);border:1px solid #cbd5e1;padding:8px;border-radius:8px;max-width:100%;min-width:0}.graph-interface-model-workbench_controls__ynpLH textarea{width:340px;resize:vertical;font:inherit}.graph-interface-model-workbench_controls__ynpLH input{width:130px}.graph-interface-model-workbench_controls__ynpLH button{background:var(--surface,#fff);border:1px solid var(--line,#cbd5e1);border-radius:8px;padding:8px 10px;color:inherit}.graph-interface-model-workbench_layout__UhyI3{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(280px,1fr);grid-gap:16px;gap:16px;min-width:0}.graph-interface-model-workbench_notes__ggLS3,.graph-interface-model-workbench_visual__ukCwv{min-width:0}.graph-interface-model-workbench_current__sDaFG{padding:10px;background:#eff6ff;border-radius:8px;line-height:1.7}.graph-interface-model-workbench_legend__6I0ly{font-size:12px;line-height:1.8;color:#475569}.graph-interface-model-workbench_history__UsLLt{grid-column:1/-1;height:220px;min-height:220px;max-height:220px;overflow:hidden}.graph-interface-model-workbench_history__UsLLt>div{height:calc(100% - 44px);min-height:0;overflow:hidden;box-sizing:border-box}.graph-interface-model-workbench_history__UsLLt:not([open]){height:auto;min-height:0}.graph-interface-model-workbench_history__UsLLt ol{height:100%;max-height:100%;overflow:auto}.graph-interface-model-workbench_graphScroll__xA3Ks{overflow:auto;background:#f8fafc;border:1px solid #e2e8f0;border-radius:10px;max-height:360px}.graph-interface-model-workbench_graphScroll__xA3Ks svg{display:block;min-width:280px;width:100%;max-height:340px}.graph-interface-model-workbench_graphScroll__xA3Ks path{stroke:#94a3b8;stroke-width:1.5;fill:none}.graph-interface-model-workbench_graphScroll__xA3Ks text{font-size:10px;fill:#475569;text-anchor:middle}.graph-interface-model-workbench_graphScroll__xA3Ks [data-active] path{stroke:#0284c7;stroke-width:3}.graph-interface-model-workbench_vertex__l0jo4 circle{fill:#fff;stroke:#64748b;stroke-width:1.5}.graph-interface-model-workbench_vertex__l0jo4 text{font-size:15px;font-weight:700;fill:#1e293b}.graph-interface-model-workbench_vertex__l0jo4[data-active] circle{fill:#dbeafe;stroke:#0284c7;stroke-width:3}.graph-interface-model-workbench_edgeLists__fxw8n{max-height:190px;overflow:auto;font-size:12px;margin:10px 0}.graph-interface-model-workbench_edgeLists__fxw8n>div{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:5px;border-bottom:1px solid #e2e8f0}.graph-interface-model-workbench_edgeLists__fxw8n span{border:1px solid #cbd5e1;padding:4px;border-radius:6px;overflow-wrap:anywhere;max-width:100%}.graph-interface-model-workbench_edgeLists__fxw8n [data-active]{background:#dbeafe;border-color:#0284c7}.graph-interface-model-workbench_matrixScroll__P2HRM{overflow:auto;max-height:360px}.graph-interface-model-workbench_matrixScroll__P2HRM table{border-collapse:collapse;margin:auto;font-size:12px}.graph-interface-model-workbench_matrixScroll__P2HRM td,.graph-interface-model-workbench_matrixScroll__P2HRM th{padding:8px;min-width:32px;border:1px solid #cbd5e1;text-align:center}.graph-interface-model-workbench_matrixScroll__P2HRM caption{padding:8px;text-align:left}.graph-interface-model-workbench_matrixScroll__P2HRM [data-initialized=false]{background:#f1f5f9;color:#64748b;font-size:10px;white-space:nowrap}.graph-interface-model-workbench_matrixScroll__P2HRM [data-active]{background:#dbeafe!important;color:#075985;box-shadow:inset 0 0 0 2px #0284c7}.graph-interface-model-workbench_summary__MqeTI{font-size:12px;line-height:1.8;overflow-wrap:anywhere}.graph-interface-model-workbench_returnValue__xjdAl{background:#ecfdf5;color:#065f46;padding:10px;border-radius:8px;overflow-wrap:anywhere;line-height:1.7}.graph-interface-model-workbench_empty__8Pg54{padding:14px;text-align:center;color:#64748b}@media(max-width:850px){.graph-interface-model-workbench_layout__UhyI3{grid-template-columns:minmax(0,1fr)}.graph-interface-model-workbench_scope__O56As{padding:10px}.graph-interface-model-workbench_controls__ynpLH textarea{width:100%}.graph-interface-model-workbench_graphScroll__xA3Ks{max-height:310px}}.graph-interface-model-workbench_record__UEmOq{font-size:.82rem;padding:.6rem;background:var(--surface-muted,#f2f5fa);border-radius:8px}.graph-interface-model-workbench_finite__NGAff{padding:1rem;overflow-wrap:anywhere}.graph-interface-model-workbench_finite__NGAff li{padding:.45rem;border-left:3px solid transparent}.graph-interface-model-workbench_finite__NGAff [data-evaluated=false]{opacity:.55}.graph-interface-model-workbench_finite__NGAff [data-active=true]{background:#dbeafe;border-color:#2563eb}.graph-interface-model-workbench_interval__vITHW{border:1px solid #94a3b8;border-radius:10px;padding:.8rem;text-align:center}.graph-interface-model-workbench_edgeLists__fxw8n>div{overflow-wrap:anywhere}.graph-interface-model-workbench_graphScroll__xA3Ks svg text{font-size:10px}.graph-mst-model-workbench_scope__Jder1{--panel-bg:var(--surface,#fff);color:var(--text,#1e293b);color-scheme:light;display:grid;grid-gap:16px;gap:16px;background:var(--panel-bg);padding:16px;border-radius:18px;min-width:0}.graph-mst-model-workbench_scope__Jder1.algorithm-workbench{--aw-surface:var(--surface,#fff);--aw-panel:var(--surface-2,#f8fafc);--aw-line:var(--line,#cbd5e1);--aw-line-strong:var(--line-strong,#94a3b8);--aw-accent:var(--accent,#0284c7)}.graph-mst-model-workbench_controls__7nNE2{display:flex;gap:12px;flex-wrap:wrap;align-items:flex-end}.graph-mst-model-workbench_controls__7nNE2 label{display:grid;grid-gap:6px;gap:6px;font-size:13px;max-width:100%}.graph-mst-model-workbench_controls__7nNE2 input,.graph-mst-model-workbench_controls__7nNE2 select,.graph-mst-model-workbench_controls__7nNE2 textarea{color:inherit;background:var(--panel-bg);border:1px solid #cbd5e1;padding:8px;border-radius:8px;max-width:100%;min-width:0}.graph-mst-model-workbench_controls__7nNE2 textarea{width:340px;resize:vertical;font:inherit}.graph-mst-model-workbench_controls__7nNE2 input{width:130px}.graph-mst-model-workbench_controls__7nNE2 button{background:var(--surface,#fff);border:1px solid var(--line,#cbd5e1);border-radius:8px;padding:8px 10px;color:inherit}.graph-mst-model-workbench_layout__S1_yA{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(280px,1fr);grid-gap:16px;gap:16px;min-width:0}.graph-mst-model-workbench_notes__tPTlu,.graph-mst-model-workbench_visual__YAYry{min-width:0}.graph-mst-model-workbench_current__cLlas{padding:10px;background:#eff6ff;border-radius:8px;line-height:1.7}.graph-mst-model-workbench_legend__QAR2h{font-size:12px;line-height:1.8;color:#475569}.graph-mst-model-workbench_history__rWaEl{grid-column:1/-1;height:220px;min-height:220px;max-height:220px;overflow:hidden}.graph-mst-model-workbench_history__rWaEl>div{height:calc(100% - 44px);min-height:0;overflow:hidden;box-sizing:border-box}.graph-mst-model-workbench_history__rWaEl:not([open]){height:auto;min-height:0}.graph-mst-model-workbench_history__rWaEl ol{height:100%;max-height:100%;overflow:auto}.graph-mst-model-workbench_graphScroll__NCLKB{overflow:auto;background:#f8fafc;border:1px solid #e2e8f0;border-radius:10px;max-height:360px}.graph-mst-model-workbench_graphScroll__NCLKB svg{display:block;min-width:280px;width:100%;max-height:340px}.graph-mst-model-workbench_graphScroll__NCLKB path{stroke:#94a3b8;stroke-width:1.5;fill:none}.graph-mst-model-workbench_graphScroll__NCLKB text{font-size:10px;fill:#475569;text-anchor:middle}.graph-mst-model-workbench_vertex__7OyDa circle{fill:#fff;stroke:#64748b;stroke-width:1.5}.graph-mst-model-workbench_vertex__7OyDa text{font-size:15px;font-weight:700;fill:#1e293b}.graph-mst-model-workbench_edgeLists__BV8w8{max-height:190px;overflow:auto;font-size:12px;margin:10px 0}.graph-mst-model-workbench_edgeLists__BV8w8>div{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:5px;border-bottom:1px solid #e2e8f0}.graph-mst-model-workbench_edgeLists__BV8w8 span{border:1px solid #cbd5e1;padding:4px;border-radius:6px;overflow-wrap:anywhere;max-width:100%}.graph-mst-model-workbench_edgeLists__BV8w8 [data-active]{background:#dbeafe;border-color:#0284c7}.graph-mst-model-workbench_matrixScroll__0T472{overflow:auto;max-height:360px}.graph-mst-model-workbench_matrixScroll__0T472 table{border-collapse:collapse;margin:auto;font-size:12px}.graph-mst-model-workbench_matrixScroll__0T472 td,.graph-mst-model-workbench_matrixScroll__0T472 th{padding:8px;min-width:32px;border:1px solid #cbd5e1;text-align:center}.graph-mst-model-workbench_matrixScroll__0T472 caption{padding:8px;text-align:left}.graph-mst-model-workbench_matrixScroll__0T472 [data-initialized=false]{background:#f1f5f9;color:#64748b;font-size:10px;white-space:nowrap}.graph-mst-model-workbench_matrixScroll__0T472 [data-active]{background:#dbeafe!important;color:#075985;box-shadow:inset 0 0 0 2px #0284c7}.graph-mst-model-workbench_summary__MCdVm{font-size:12px;line-height:1.8;overflow-wrap:anywhere}.graph-mst-model-workbench_returnValue__H4ASN{background:#ecfdf5;color:#065f46;padding:10px;border-radius:8px;overflow-wrap:anywhere;line-height:1.7}.graph-mst-model-workbench_empty__NuthP{padding:14px;text-align:center;color:#64748b}@media(max-width:850px){.graph-mst-model-workbench_layout__S1_yA{grid-template-columns:minmax(0,1fr)}.graph-mst-model-workbench_scope__Jder1{padding:10px}.graph-mst-model-workbench_controls__7nNE2 textarea{width:100%}.graph-mst-model-workbench_graphScroll__NCLKB{max-height:310px}}.graph-mst-model-workbench_queue__Q_5ht{padding:12px;background:#f1f5f9;border:1px solid #cbd5e1;border-radius:10px;display:grid;grid-gap:8px;gap:8px}.graph-mst-model-workbench_queue__Q_5ht>div{display:flex;gap:8px;flex-wrap:wrap}.graph-mst-model-workbench_queue__Q_5ht span{background:white;border:1px solid #94a3b8;border-radius:6px;padding:6px 10px}.graph-mst-model-workbench_queue__Q_5ht small{overflow-wrap:anywhere}.graph-mst-model-workbench_vertex__7OyDa[data-discovered] circle{fill:#dcfce7;stroke:#16a34a}.graph-mst-model-workbench_graphScroll__NCLKB [data-tree] path{stroke:#16a34a}.graph-mst-model-workbench_graphScroll__NCLKB [data-active] path{stroke:#0284c7;stroke-width:3}.graph-mst-model-workbench_vertex__7OyDa[data-color="0"] circle{fill:#cce1ff;stroke:#2563eb}.graph-mst-model-workbench_vertex__7OyDa[data-color="1"] circle{fill:#ffdfb3;stroke:#a54c00}.graph-mst-model-workbench_vertex__7OyDa[data-color="-1"] circle{fill:#fff;stroke:#818898}.graph-mst-model-workbench_vertex__7OyDa[data-color="-2"] circle{fill:#eee;stroke-dasharray:3 3}.graph-mst-model-workbench_matrixScroll__0T472 td[data-color="0"]{background:#dceaff}.graph-mst-model-workbench_matrixScroll__0T472 td[data-color="1"]{background:#ffecd4}.graph-mst-model-workbench_edgeLists__BV8w8 [data-adjacency-row][data-active]{outline:2px solid #2463eb;border-radius:4px}.graph-mst-model-workbench_scope__Jder1 [data-bfs-run]{margin-block:1rem;padding:.7rem;border:1px solid #cbd5e1;border-radius:10px}.graph-mst-model-workbench_scope__Jder1 [data-bfs-run][data-active]{border-color:#2563eb}.graph-mst-model-workbench_scope__Jder1 h3{font-size:1rem}.graph-mst-model-workbench_graphScroll__NCLKB [data-selected-edge] path{stroke:#15803d;stroke-width:4}.graph-mst-model-workbench_vertex__7OyDa[data-root] circle,.graph-mst-model-workbench_vertex__7OyDa[data-used] circle{fill:#dcfce7;stroke:#15803d}.graph-mst-model-workbench_vertex__7OyDa[data-active] circle{fill:#dbeafe;stroke:#0284c7;stroke-width:3}.graph-mst-model-workbench_selected___tDYy,.graph-mst-model-workbench_stack__cOChE{display:flex;flex-wrap:wrap;gap:8px;padding:12px;background:#f1f5f9;border-radius:8px}.graph-mst-model-workbench_selected___tDYy strong,.graph-mst-model-workbench_stack__cOChE strong{width:100%}.graph-mst-model-workbench_selected___tDYy span,.graph-mst-model-workbench_stack__cOChE span{padding:6px;border:1px solid #cbd5e1;border-radius:5px;overflow-wrap:anywhere}.graph-mst-model-workbench_answers__vyT9G{max-height:160px;overflow:auto}.graph-mst-model-workbench_matrixScroll__0T472 td{overflow-wrap:anywhere;max-width:170px}.graph-mst-model-workbench_scope__Jder1 svg{display:block;width:100%;height:auto}.graph-mst-model-workbench_scope__Jder1 [data-dsu-link][data-active] path{stroke:#0284c7;stroke-width:4}.graph-property-model-workbench_scope__fokzB{--panel-bg:var(--surface,#fff);color:var(--text,#1e293b);color-scheme:light;display:grid;grid-gap:16px;gap:16px;background:var(--panel-bg);padding:16px;border-radius:18px;min-width:0}.graph-property-model-workbench_scope__fokzB.algorithm-workbench{--aw-surface:var(--surface,#fff);--aw-panel:var(--surface-2,#f8fafc);--aw-line:var(--line,#cbd5e1);--aw-line-strong:var(--line-strong,#94a3b8);--aw-accent:var(--accent,#0284c7)}.graph-property-model-workbench_controls__hEzTe{display:flex;gap:12px;flex-wrap:wrap;align-items:flex-end}.graph-property-model-workbench_controls__hEzTe label{display:grid;grid-gap:6px;gap:6px;font-size:13px;max-width:100%}.graph-property-model-workbench_controls__hEzTe input,.graph-property-model-workbench_controls__hEzTe select,.graph-property-model-workbench_controls__hEzTe textarea{color:inherit;background:var(--panel-bg);border:1px solid #cbd5e1;padding:8px;border-radius:8px;max-width:100%;min-width:0}.graph-property-model-workbench_controls__hEzTe textarea{width:340px;resize:vertical;font:inherit}.graph-property-model-workbench_controls__hEzTe input{width:130px}.graph-property-model-workbench_controls__hEzTe button{background:var(--surface,#fff);border:1px solid var(--line,#cbd5e1);border-radius:8px;padding:8px 10px;color:inherit}.graph-property-model-workbench_layout__PegVN{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(280px,1fr);grid-gap:16px;gap:16px;min-width:0}.graph-property-model-workbench_notes___OLCN,.graph-property-model-workbench_visual__K_xQe{min-width:0}.graph-property-model-workbench_current__uc1SC{padding:10px;background:#eff6ff;border-radius:8px;line-height:1.7}.graph-property-model-workbench_legend__ntPDY{font-size:12px;line-height:1.8;color:#475569}.graph-property-model-workbench_history__OKH_7{grid-column:1/-1;height:220px;min-height:220px;max-height:220px;overflow:hidden}.graph-property-model-workbench_history__OKH_7>div{height:calc(100% - 44px);min-height:0;overflow:hidden;box-sizing:border-box}.graph-property-model-workbench_history__OKH_7:not([open]){height:auto;min-height:0}.graph-property-model-workbench_history__OKH_7 ol{height:100%;max-height:100%;overflow:auto}.graph-property-model-workbench_graphScroll__RlUaQ{overflow:auto;background:#f8fafc;border:1px solid #e2e8f0;border-radius:10px;max-height:360px}.graph-property-model-workbench_graphScroll__RlUaQ svg{display:block;min-width:280px;width:100%;max-height:340px}.graph-property-model-workbench_graphScroll__RlUaQ path{stroke:#94a3b8;stroke-width:1.5;fill:none}.graph-property-model-workbench_graphScroll__RlUaQ text{font-size:10px;fill:#475569;text-anchor:middle}.graph-property-model-workbench_vertex__aG0Ne circle{fill:#fff;stroke:#64748b;stroke-width:1.5}.graph-property-model-workbench_vertex__aG0Ne text{font-size:15px;font-weight:700;fill:#1e293b}.graph-property-model-workbench_edgeLists__4w_yq{max-height:190px;overflow:auto;font-size:12px;margin:10px 0}.graph-property-model-workbench_edgeLists__4w_yq>div{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:5px;border-bottom:1px solid #e2e8f0}.graph-property-model-workbench_edgeLists__4w_yq span{border:1px solid #cbd5e1;padding:4px;border-radius:6px;overflow-wrap:anywhere;max-width:100%}.graph-property-model-workbench_edgeLists__4w_yq [data-active]{background:#dbeafe;border-color:#0284c7}.graph-property-model-workbench_matrixScroll__DJ8Sp{overflow:auto;max-height:360px}.graph-property-model-workbench_matrixScroll__DJ8Sp table{border-collapse:collapse;margin:auto;font-size:12px}.graph-property-model-workbench_matrixScroll__DJ8Sp td,.graph-property-model-workbench_matrixScroll__DJ8Sp th{padding:8px;min-width:32px;border:1px solid #cbd5e1;text-align:center}.graph-property-model-workbench_matrixScroll__DJ8Sp caption{padding:8px;text-align:left}.graph-property-model-workbench_matrixScroll__DJ8Sp [data-initialized=false]{background:#f1f5f9;color:#64748b;font-size:10px;white-space:nowrap}.graph-property-model-workbench_matrixScroll__DJ8Sp [data-active]{background:#dbeafe!important;color:#075985;box-shadow:inset 0 0 0 2px #0284c7}.graph-property-model-workbench_summary__95MW0{font-size:12px;line-height:1.8;overflow-wrap:anywhere}.graph-property-model-workbench_returnValue__L6srK{background:#ecfdf5;color:#065f46;padding:10px;border-radius:8px;overflow-wrap:anywhere;line-height:1.7}.graph-property-model-workbench_empty__mGIZI{padding:14px;text-align:center;color:#64748b}@media(max-width:850px){.graph-property-model-workbench_layout__PegVN{grid-template-columns:minmax(0,1fr)}.graph-property-model-workbench_scope__fokzB{padding:10px}.graph-property-model-workbench_controls__hEzTe textarea{width:100%}.graph-property-model-workbench_graphScroll__RlUaQ{max-height:310px}}.graph-property-model-workbench_queue__16aI2{padding:12px;background:#f1f5f9;border:1px solid #cbd5e1;border-radius:10px;display:grid;grid-gap:8px;gap:8px}.graph-property-model-workbench_queue__16aI2>div{display:flex;gap:8px;flex-wrap:wrap}.graph-property-model-workbench_queue__16aI2 span{background:white;border:1px solid #94a3b8;border-radius:6px;padding:6px 10px}.graph-property-model-workbench_queue__16aI2 small{overflow-wrap:anywhere}.graph-property-model-workbench_vertex__aG0Ne[data-discovered] circle{fill:#dcfce7;stroke:#16a34a}.graph-property-model-workbench_vertex__aG0Ne[data-active] circle{fill:#dbeafe;stroke:#0284c7;stroke-width:3}.graph-property-model-workbench_graphScroll__RlUaQ [data-tree] path{stroke:#16a34a}.graph-property-model-workbench_graphScroll__RlUaQ [data-active] path{stroke:#0284c7;stroke-width:3}.graph-property-model-workbench_vertex__aG0Ne[data-color="0"] circle{fill:#cce1ff;stroke:#2563eb}.graph-property-model-workbench_vertex__aG0Ne[data-color="1"] circle{fill:#ffdfb3;stroke:#a54c00}.graph-property-model-workbench_vertex__aG0Ne[data-color="-1"] circle{fill:#fff;stroke:#818898}.graph-property-model-workbench_vertex__aG0Ne[data-color="-2"] circle{fill:#eee;stroke-dasharray:3 3}.graph-property-model-workbench_matrixScroll__DJ8Sp td[data-color="0"]{background:#dceaff}.graph-property-model-workbench_matrixScroll__DJ8Sp td[data-color="1"]{background:#ffecd4}.graph-property-model-workbench_edgeLists__4w_yq [data-adjacency-row][data-active]{outline:2px solid #2463eb;border-radius:4px}.graph-property-model-workbench_scope__fokzB [data-bfs-run]{margin-block:1rem;padding:.7rem;border:1px solid #cbd5e1;border-radius:10px}.graph-property-model-workbench_scope__fokzB [data-bfs-run][data-active]{border-color:#2563eb}.graph-property-model-workbench_scope__fokzB h3{font-size:1rem}