*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}:root{--bg: #11151c;--surface: #1a2030;--surface2: #232c40;--text: #e7e3d6;--text-dim: #a4abba;--border: #364056;--accent: #d9a35a;--accent2: #5fa8d3;--success: #5bc78b;--warn: #e5b14a;--error: #e87a6b;--on-accent: #11151c;--shadow: rgba(0, 0, 0, .45);--shadow-strong: rgba(0, 0, 0, .6);--overlay: rgba(0, 0, 0, .6);--hover-tint: rgba(255, 255, 255, .06);--inset-tint: rgba(255, 255, 255, .04);--inset-strong: rgba(255, 255, 255, .08);--true-bg: rgba(91, 199, 139, .18);--false-bg: rgba(232, 122, 107, .16);--dim-bg: rgba(139, 148, 166, .12);--accent-soft: rgba(217, 163, 90, .1);--accent-strong: rgba(217, 163, 90, .3);--accent2-soft: rgba(95, 168, 211, .15);--accent2-mid: rgba(95, 168, 211, .35);--node-leaf-bg: #1f3a52;--node-leaf-border: #5fa8d3;--node-op-bg: #3a2a4e;--node-op-border: #8a7eaa;--node-pred-bg: #1e3c2e;--node-pred-border: #5bc78b;--grid-dot: #2c3548;--minimap-mask: rgba(17, 21, 28, .7);--minimap-node: #5fa8d3;--font-mono: "JetBrains Mono", "Fira Code", "Cascadia Code", monospace;color-scheme:dark}:root[data-theme=light]{--bg: #f5f1e6;--surface: #fffcf3;--surface2: #ebe5d2;--text: #1c2230;--text-dim: #4a5363;--border: #c5bda0;--accent: #8a5616;--accent2: #2c628f;--success: #2f7a55;--warn: #b86a14;--error: #a23a2d;--on-accent: #fffcf3;--shadow: rgba(28, 34, 48, .12);--shadow-strong: rgba(28, 34, 48, .22);--overlay: rgba(28, 34, 48, .45);--hover-tint: rgba(28, 34, 48, .05);--inset-tint: rgba(28, 34, 48, .03);--inset-strong: rgba(28, 34, 48, .06);--true-bg: rgba(47, 122, 85, .12);--false-bg: rgba(162, 58, 45, .1);--dim-bg: rgba(91, 99, 113, .1);--accent-soft: rgba(138, 86, 22, .1);--accent-strong: rgba(138, 86, 22, .28);--accent2-soft: rgba(44, 98, 143, .12);--accent2-mid: rgba(44, 98, 143, .28);--node-leaf-bg: #e0ecf5;--node-leaf-border: #2c628f;--node-op-bg: #ece4f0;--node-op-border: #6b5a82;--node-pred-bg: #e0efe5;--node-pred-border: #2f7a55;--grid-dot: #d9d1ba;--minimap-mask: rgba(245, 241, 230, .7);--minimap-node: #2c628f;color-scheme:light}body{background:var(--bg);color:var(--text);font-family:-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-size:14px;min-height:100vh}.app{display:flex;flex-direction:column;height:100vh;overflow:hidden}.app-header{display:flex;align-items:baseline;gap:12px;padding:10px 20px;background:var(--surface);border-bottom:1px solid var(--border);flex-shrink:0}.theme-toggle{margin-left:auto;background:transparent;border:1px solid var(--border);color:var(--text-dim);border-radius:6px;padding:4px 6px;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;min-width:30px;min-height:28px;transition:background .15s,color .15s,border-color .15s;align-self:center}.theme-toggle:hover{color:var(--accent);border-color:var(--accent);background:var(--hover-tint)}.theme-toggle:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.app-title{font-size:18px;font-weight:700;color:var(--accent);letter-spacing:-.5px;line-height:1.2;margin:0}.app-subtitle{font-size:12px;color:var(--text-dim)}.app-body{display:flex;flex:1;overflow:hidden;gap:1px;background:var(--border)}.left-col{display:flex;flex-direction:column;width:340px;flex-shrink:0;background:var(--bg);overflow-y:auto;gap:1px}.right-col{flex:1;display:flex;flex-direction:column;background:var(--bg);overflow:hidden;gap:1px}.right-tabs{display:flex;flex-wrap:wrap;gap:2px;padding:4px 6px;background:var(--surface);border-bottom:1px solid var(--border);flex-shrink:0}.right-tab{padding:5px 9px;min-height:24px;font-size:11px;font-weight:600;background:transparent;color:var(--text-dim);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:background .15s,color .15s}.right-tab:hover{background:var(--hover-tint);color:var(--text)}.right-tab--active{background:var(--surface);color:var(--accent);border-color:var(--accent);box-shadow:inset 0 -2px 0 var(--accent)}.right-tab:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.panel-header{display:flex;align-items:center;justify-content:space-between;padding:8px 12px;font-size:11px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--text-dim);background:var(--surface);border-bottom:1px solid var(--border)}.panel-empty{padding:16px 12px;color:var(--text-dim);font-size:13px;font-style:italic}.panel-loading{padding:16px 12px;color:var(--text-dim)}.editor-panel{display:flex;flex-direction:column;background:var(--surface)}.editor-textarea{flex:1;min-height:160px;padding:12px;font-family:var(--font-mono);font-size:14px;color:var(--text);background:var(--bg);border:none;border-bottom:2px solid var(--border);resize:vertical;outline:none;line-height:1.6}.editor-textarea:focus{border-bottom-color:var(--accent2)}.editor-textarea:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.editor-textarea--error{border-bottom-color:var(--error)}.editor-error{padding:6px 12px;font-size:12px;color:var(--error);background:var(--false-bg)}.variable-panel{padding:0;background:var(--surface)}.variable-list{padding:8px 12px;display:flex;flex-direction:column;gap:6px}.variable-row{display:flex;align-items:center;gap:8px;cursor:pointer;-webkit-user-select:none;user-select:none}.variable-row input[type=checkbox]{accent-color:var(--accent);width:14px;height:14px}.variable-name{font-family:var(--font-mono);font-weight:600;min-width:24px}.variable-tag{font-size:11px;color:var(--text-dim)}.variable-hint{padding:6px 12px 10px;font-size:11px;color:var(--text-dim);line-height:1.4}.predicate-var-unused-badge{font-size:10px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--text-dim);background:var(--hover-tint);border:1px solid var(--border);border-radius:3px;padding:1px 5px;margin-left:2px}.simplify-panel{background:var(--surface)}.simplify-btn{padding:3px 10px;font-size:11px;font-weight:600;background:var(--accent2);color:var(--text);border:none;border-radius:3px;cursor:pointer;transition:background .15s}.simplify-btn:hover{background:var(--accent)}.simplify-result{padding:10px 12px}.simplify-warning{font-size:12px;color:var(--warn);margin-bottom:6px}.simplify-output{font-size:13px;color:var(--text-dim)}.simplify-label{font-weight:600;color:var(--text);margin-right:8px}.simplify-code{font-family:var(--font-mono);color:var(--success)}.truth-table-panel{background:var(--surface);flex-shrink:0}.truth-table-scroll{overflow-x:auto;max-height:360px;overflow-y:auto}.truth-table{width:100%;border-collapse:collapse;font-family:var(--font-mono);font-size:13px}.truth-table th,.truth-table td{padding:4px 12px;text-align:center;border-bottom:1px solid var(--border)}.truth-table th{background:var(--surface2);color:var(--text-dim);font-size:11px;font-weight:600;letter-spacing:.05em;position:sticky;top:0}.truth-table .row-dontcare{opacity:.5;font-style:italic}.truth-table .result-1{color:var(--success);font-weight:700}.truth-table .result-0{color:var(--text-dim)}.truth-table .result-\?{color:var(--warn)}.graph-view{flex:1;min-height:300px;background:var(--bg);position:relative}.graph-empty{display:flex;align-items:center;justify-content:center;flex:1;min-height:200px;color:var(--text-dim);font-style:italic;font-size:13px}.variable-row{padding:6px 0;border-bottom:1px solid var(--border)}.variable-row-top{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.variable-id{font-family:monospace;font-size:13px;color:var(--accent);min-width:1.5em}.variable-display-name{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:12px;padding:2px 6px;flex:1;min-width:100px}.variable-display-name:focus{outline:none;border-color:var(--accent)}.variable-display-name:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.variable-dontcare{display:flex;align-items:center;gap:4px;font-size:11px;color:var(--text-dim);cursor:pointer;white-space:nowrap}.solver-panel{background:var(--surface);border:1px solid var(--border);border-radius:8px;overflow:hidden}.solver-header{padding:8px 14px;background:var(--surface);border-bottom:1px solid var(--border)}.solver-body{padding:10px 14px}.solver-vars{display:flex;flex-direction:column;gap:6px;margin-bottom:12px}.solver-var-row{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.solver-var-name{font-family:monospace;font-size:13px;min-width:5em;color:var(--text)}.solver-var-controls{display:flex;gap:10px;flex-wrap:wrap}.solver-radio{display:flex;align-items:center;gap:3px;font-size:12px;color:var(--text-dim);cursor:pointer}.solver-results{border-top:1px solid var(--border);padding-top:10px}.solver-outcome{font-size:13px;margin-bottom:8px}.solver-always-true{color:var(--success);font-weight:600}.solver-always-false{color:var(--error);font-weight:600}.solver-unsat{color:var(--warn);font-weight:600}.solver-simplified{margin-bottom:8px;font-size:12px;color:var(--text-dim)}.solver-simplified-label{margin-right:6px}.solver-simplified-expr{background:var(--bg);padding:2px 6px;border-radius:3px;color:var(--accent);font-size:13px}.solver-table-wrap{max-height:250px;overflow-y:auto;margin-top:8px}.solver-table th,.solver-table td{padding:3px 8px;font-size:12px}.expanded-panel{background:var(--surface);border:1px solid var(--border);border-radius:8px;overflow:hidden}.expanded-header{padding:8px 14px}.expanded-body{padding:10px 14px}.expanded-hint{font-size:11px;color:var(--text-dim);margin-bottom:8px}.expanded-output{display:block;background:var(--bg);padding:8px 10px;border-radius:4px;font-size:13px;color:var(--accent);word-break:break-all;white-space:pre-wrap}.export-panel{border-top:1px solid var(--border);background:var(--bg);padding:0}.export-body{padding:8px 12px;display:flex;flex-direction:column;gap:8px}.export-group{display:flex;flex-wrap:wrap;align-items:center;gap:6px}.export-group-label{font-size:11px;color:var(--text-dim);min-width:44px;text-transform:uppercase;letter-spacing:.04em}.export-btn{background:var(--surface);border:1px solid var(--border);color:var(--text);border-radius:4px;padding:4px 10px;font-size:12px;cursor:pointer;transition:background .15s;white-space:nowrap}.export-btn:hover:not(:disabled){background:var(--surface2);border-color:var(--accent2)}.export-btn:disabled{opacity:.4;cursor:not-allowed}.export-btn-secondary{border-color:var(--border);color:var(--text-dim)}.export-status{font-size:12px;color:var(--success);padding:2px 0}.app-embed{background:var(--bg)}.app-embed .app-body{height:100vh;flex-direction:column}.app-embed .right-col{flex:1;display:flex;flex-direction:column;overflow:hidden}.embed-open-link{position:fixed;bottom:8px;right:10px;z-index:100;font-size:11px}.embed-open-link a{color:var(--text-dim);text-decoration:none;background:var(--overlay);border:1px solid var(--border);padding:2px 7px;border-radius:4px}.embed-open-link a:hover{color:var(--text)}.decision-table-panel{background:var(--surface);border-top:1px solid var(--border);flex-shrink:0}.dt-toggle-btn{font-size:11px;padding:2px 8px;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;margin-right:4px}.dt-toggle-btn:hover{background:var(--accent2);border-color:var(--accent2)}.dt-cond-header{background:color-mix(in srgb,var(--surface2) 60%,transparent);font-size:11px;padding:4px 8px}.dt-divider-header,.dt-divider-cell{width:4px;min-width:4px;max-width:4px;background:var(--border);padding:0}.dt-out-header{background:color-mix(in srgb,var(--accent) 20%,var(--surface));font-size:11px;font-weight:700;padding:4px 10px;color:var(--accent)}.dt-dontcare{color:var(--text-dim);text-align:center;font-style:italic}.dt-cond-1{text-align:center;color:var(--text)}.dt-cond-0{text-align:center;color:var(--text-dim)}.dt-out-1{background:var(--true-bg);color:var(--success);font-weight:700;text-align:center}.dt-out-0{background:var(--false-bg);color:var(--error);font-weight:700;text-align:center}.dt-out-unknown{background:var(--dim-bg);color:var(--text-dim);text-align:center}.panel-warn{font-size:11px;color:var(--warn);padding:4px 14px;border-bottom:1px solid var(--border)}.app-tabs{display:flex;gap:4px;margin-left:auto}.app-tab{padding:4px 12px;font-size:12px;font-weight:600;background:transparent;color:var(--text-dim);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:background .15s,color .15s}.app-tab:hover{background:var(--hover-tint);color:var(--text)}.app-tab--active{background:var(--surface);color:var(--accent);border-color:var(--accent);box-shadow:inset 0 -2px 0 var(--accent)}.app-tab:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.notebook-col{flex:1;overflow-y:auto;background:var(--bg)}.notebook-panel{display:flex;flex-direction:column;min-height:100%}.nb-header-actions{display:flex;align-items:center;gap:10px}.nb-status{font-size:11px;font-style:italic}.nb-status--untitled{color:var(--text-dim)}.nb-status--saved{color:var(--success)}.nb-status--unsaved{color:var(--warn)}.nb-toolbar{display:flex;align-items:center;gap:8px;padding:8px 12px;background:var(--surface);border-bottom:1px solid var(--border)}.nb-search{flex:1;background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:13px;padding:4px 8px;outline:none}.nb-search:focus{border-color:var(--accent2)}.nb-search:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.nb-list{display:flex;flex-direction:column;gap:1px;background:var(--border)}.nb-entry{background:var(--surface);padding:10px 14px;display:flex;flex-direction:column;gap:6px}.nb-entry--active{border-left:3px solid var(--accent);padding-left:11px}.nb-entry-header{display:flex;align-items:center;gap:10px}.nb-entry-name{background:none;border:none;color:var(--text);font-size:14px;font-weight:600;cursor:pointer;padding:0;text-align:left;flex:1}.nb-entry-name:hover{color:var(--accent)}.nb-entry-date{font-size:11px;color:var(--text-dim);white-space:nowrap}.nb-entry-source{font-family:var(--font-mono);font-size:12px;color:var(--text-dim);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.nb-tags{display:flex;gap:4px;flex-wrap:wrap}.nb-tag{background:var(--surface2);color:var(--accent2);font-size:11px;padding:1px 6px;border-radius:10px;border:1px solid var(--border)}.nb-entry-meta{display:flex;align-items:center;gap:8px}.nb-meta-label{font-size:11px;color:var(--text-dim);white-space:nowrap}.nb-tag-input{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:12px;padding:2px 6px;flex:1;outline:none}.nb-tag-input:focus{border-color:var(--accent2)}.nb-tag-input:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.nb-notes{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:13px;padding:6px 8px;width:100%;min-height:80px;resize:vertical;outline:none;font-family:inherit}.nb-notes:focus{border-color:var(--accent2)}.nb-notes:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.nb-btn-primary{background:var(--accent2);color:var(--text);border:none;border-radius:4px;cursor:pointer;font-weight:600;transition:background .15s}.nb-btn-primary:hover{background:var(--accent)}.nb-btn-secondary{background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:background .15s}.nb-btn-secondary:hover{background:var(--accent2)}.nb-btn-danger{background:none;color:var(--error);border:1px solid var(--error);border-radius:4px;cursor:pointer;font-weight:700;transition:background .15s}.nb-btn-danger:hover{background:var(--false-bg)}.nb-btn-sm{padding:4px 10px;font-size:12px}.nb-btn-xs{padding:2px 6px;font-size:11px}.nb-modal-overlay{position:fixed;top:0;right:0;bottom:0;left:0;background:var(--overlay);display:flex;align-items:center;justify-content:center;z-index:1000}.nb-modal{background:var(--surface);border:1px solid var(--border);border-radius:8px;padding:20px 24px;min-width:320px;display:flex;flex-direction:column;gap:12px;box-shadow:0 8px 32px var(--shadow)}.nb-modal--wide{min-width:480px}.nb-modal-title{font-size:15px;font-weight:700;color:var(--text)}.nb-modal-input{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:14px;padding:6px 10px;outline:none}.nb-modal-input:focus{border-color:var(--accent2)}.nb-modal-input:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.nb-modal-textarea{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:12px;font-family:var(--font-mono);padding:8px 10px;width:100%;min-height:200px;resize:vertical;outline:none}.nb-modal-textarea:focus{border-color:var(--accent2)}.nb-modal-textarea:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.nb-modal-actions{display:flex;justify-content:flex-end;gap:8px}.import-export-panel{background:var(--surface);border-radius:6px;overflow:hidden}.import-export-body{padding:12px;display:flex;flex-direction:column;gap:12px}.ie-section{display:flex;flex-direction:column;gap:6px}.ie-section-title{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--muted)}.ie-row{display:flex;align-items:center;gap:8px}.ie-label{font-size:12px;white-space:nowrap}.ie-select{flex:1;font-size:12px;background:var(--bg);border:1px solid var(--border);color:var(--text);border-radius:4px;padding:3px 6px}.ie-textarea{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:12px;font-family:var(--font-mono);padding:6px 8px;resize:vertical;width:100%;box-sizing:border-box;outline:none}.ie-textarea:focus{border-color:var(--accent2)}.ie-textarea:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.ie-btn{align-self:flex-start;background:var(--accent);color:var(--on-accent);border:none;border-radius:4px;padding:5px 12px;font-size:12px;cursor:pointer}.ie-btn:hover{background:var(--accent2)}.ie-error{color:var(--error);font-size:11px}.ie-warnings{color:var(--warn);font-size:11px}.ie-export-tabs{display:flex;flex-wrap:wrap;gap:4px}.ie-tab{background:var(--bg);border:1px solid var(--border);border-radius:4px;color:var(--muted);font-size:11px;padding:2px 8px;cursor:pointer}.ie-tab:hover{border-color:var(--accent2);color:var(--text)}.ie-tab-active{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}.ie-export-output-row{display:flex;align-items:flex-start;gap:8px}.ie-export-output{flex:1;background:var(--bg);border:1px solid var(--border);border-radius:4px;padding:6px 8px;font-size:12px;white-space:pre-wrap;word-break:break-all}.ie-copy-btn{background:var(--surface2, var(--surface2));border:1px solid var(--border);border-radius:4px;color:var(--text);font-size:11px;padding:4px 10px;cursor:pointer;white-space:nowrap}.ie-copy-btn:hover{border-color:var(--accent2)}.rw-section{padding:8px 12px;border-bottom:1px solid var(--border)}.rw-section:last-child{border-bottom:none}.rw-section-title{font-size:10px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--text-dim);margin-bottom:6px}.rw-section-buttons{display:flex;flex-wrap:wrap;gap:6px}.rw-btn{display:flex;flex-direction:column;align-items:center;gap:2px;background:var(--surface2);border:1px solid var(--border);border-radius:5px;color:var(--text);cursor:pointer;padding:5px 10px;min-width:70px;transition:background .12s,border-color .12s}.rw-btn:hover:not(:disabled){background:var(--accent2);border-color:var(--accent2)}.rw-btn:active:not(:disabled){background:var(--accent);border-color:var(--accent)}.rw-btn:disabled{opacity:.4;cursor:default}.rw-btn-label{font-size:13px;font-weight:600;font-family:var(--font-mono)}.rw-btn-sub{font-size:10px;color:var(--text-dim);white-space:nowrap}.rw-btn:hover:not(:disabled) .rw-btn-sub{color:var(--text-dim)}.rw-preview-wrap{padding:6px 12px;background:var(--surface);border-bottom:1px solid var(--border)}.rw-preview-toggle{background:none;border:none;color:var(--text-dim);font-size:11px;cursor:pointer;padding:0;text-align:left;width:100%}.rw-preview-toggle:hover{color:var(--text)}.rw-preview{margin-top:6px;display:flex;flex-direction:column;gap:4px}.rw-preview-row{display:flex;align-items:baseline;gap:6px}.rw-preview-tag{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim);min-width:38px}.rw-preview-tag.after{color:var(--success)}.rw-preview-code{font-family:var(--font-mono);font-size:11px;color:var(--text);flex:1;word-break:break-all}.rw-copy-btn{background:var(--surface2);border:1px solid var(--border);border-radius:3px;color:var(--text-dim);cursor:pointer;font-size:11px;padding:1px 5px;line-height:1.4}.rw-copy-btn:hover{color:var(--text);border-color:var(--accent2)}.rw-copy-btn:disabled{opacity:.4;cursor:default}.rw-noop-notice{margin-top:4px;font-size:11px;color:var(--text-dim);font-style:italic}.rw-error{padding:5px 12px;font-size:12px;color:var(--error)}.rw-pseudocode-block{background:var(--bg);border:1px solid var(--border);border-radius:4px;overflow:hidden;width:100%}.rw-pseudocode-header{display:flex;justify-content:space-between;align-items:center;padding:4px 8px;background:var(--surface2);border-bottom:1px solid var(--border)}.rw-pseudocode-label{font-size:11px;font-weight:600;letter-spacing:.05em;color:var(--text-dim)}.rw-pseudocode-body{font-family:var(--font-mono);font-size:11px;color:var(--text);padding:6px 8px;white-space:pre-wrap;word-break:break-all;max-height:180px;overflow-y:auto}.simplify-disclosure{margin-top:6px}.simplify-disclosure-toggle{background:none;border:none;color:var(--text-dim);font-size:11px;cursor:pointer;padding:0;text-align:left;width:100%}.simplify-disclosure-toggle:hover{color:var(--text)}.simplify-disclosure-body{margin-top:6px;display:flex;flex-direction:column;gap:4px}.export-group-code{flex-direction:column}.export-code-list{display:flex;flex-direction:column;gap:6px;margin-top:2px}.export-code-block{background:var(--bg);border:1px solid var(--border);border-radius:4px;overflow:hidden}.export-code-header{display:flex;justify-content:space-between;align-items:center;padding:3px 8px;background:var(--surface2);border-bottom:1px solid var(--border)}.export-code-lang{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim)}.export-code-actions{display:flex;gap:4px}.export-code-btn{background:var(--surface);border:1px solid var(--border);border-radius:3px;color:var(--text-dim);cursor:pointer;font-size:11px;padding:1px 5px;line-height:1.4}.export-code-btn:hover{color:var(--text);border-color:var(--accent2)}.export-code-pre{font-family:var(--font-mono);font-size:11px;color:var(--text);padding:5px 8px;white-space:pre-wrap;word-break:break-all;max-height:100px;overflow-y:auto;margin:0}.simplify-trace-section{margin-top:8px}.simplify-trace{list-style:none;margin-top:6px;padding:0;display:flex;flex-direction:column;gap:4px}.simplify-trace-step{display:flex;align-items:flex-start;gap:6px;font-size:12px;padding:4px 6px;border-radius:4px;background:var(--inset-tint);border:1px solid transparent;line-height:1.4}.simplify-trace-step code{background:var(--hover-tint);padding:1px 3px;border-radius:2px}.simplify-trace-irrelevant-var-removed{border-color:var(--false-bg)}.simplify-trace-combine{border-color:var(--accent2-soft)}.simplify-trace-select-prime{border-color:var(--true-bg)}.simplify-trace-final-cover{border-color:var(--accent-soft);background:var(--accent-soft)}.simplify-trace-desc{flex:1}.solver-impact-section{margin-top:10px}.solver-impact-list{display:flex;flex-direction:column;gap:5px;margin-top:4px}.solver-impact-row{display:flex;align-items:center;gap:8px;font-size:12px}.solver-impact-name{width:60px;font-family:var(--font-mono);flex-shrink:0;overflow:hidden;text-overflow:ellipsis}.solver-impact-bar-wrap{flex:1;height:8px;background:var(--hover-tint);border-radius:4px;overflow:hidden}.solver-impact-bar{height:100%;background:var(--accent2);border-radius:4px;transition:width .3s}.solver-impact-pct{font-size:11px;color:var(--text-dim);flex-shrink:0;max-width:180px}.solver-impact-irrelevant{color:var(--error);opacity:.7}.truth-table-panel{min-width:0}.truth-table-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch}.app-tabs{display:flex;flex-wrap:wrap;overflow-x:auto;scroll-snap-type:x mandatory;-webkit-overflow-scrolling:touch}.app-tab{scroll-snap-align:start;flex-shrink:0}.btn-primary{padding:5px 12px;font-size:12px;font-weight:600;background:var(--accent2);color:var(--text);border:1px solid var(--accent2);border-radius:4px;cursor:pointer;transition:background .12s,border-color .12s}.btn-primary:hover:not(:disabled){background:var(--accent);border-color:var(--accent)}.btn-primary:disabled{opacity:.4;cursor:default}.btn-secondary{padding:5px 12px;font-size:12px;font-weight:500;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:background .12s,border-color .12s}.btn-secondary:hover:not(:disabled){background:var(--accent2);border-color:var(--accent2)}.btn-secondary:disabled{opacity:.4;cursor:default}.btn-ghost{padding:4px 10px;font-size:11px;font-weight:500;background:transparent;color:var(--text-dim);border:1px dashed var(--border);border-radius:4px;cursor:pointer;transition:color .12s,border-color .12s,background .12s}.btn-ghost:hover:not(:disabled){color:var(--text);border-color:var(--accent2);background:var(--accent2-soft)}.input-select{padding:4px 26px 4px 8px;font-size:12px;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;-webkit-appearance:none;-moz-appearance:none;appearance:none;background-image:linear-gradient(45deg,transparent 50%,var(--text-dim) 50%),linear-gradient(135deg,var(--text-dim) 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.input-select:hover{border-color:var(--accent2)}.input-select:focus-visible{outline:2px solid var(--accent2);outline-offset:1px}.typed-var-add-btn{width:calc(100% - 24px);margin:6px 12px 8px;display:inline-flex;align-items:center;justify-content:center;gap:6px}.coverage-panel{background:var(--surface);display:flex;flex-direction:column;min-height:0;height:100%;overflow-y:auto}.coverage-strategy-section{padding:10px 12px 8px;border-bottom:1px solid var(--border)}.coverage-strategy-row{display:flex;align-items:center;gap:10px}.coverage-strategy-label{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim)}.coverage-strategy-select{padding:4px 26px 4px 8px;font-size:12px;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;-webkit-appearance:none;-moz-appearance:none;appearance:none;background-image:linear-gradient(45deg,transparent 50%,var(--text-dim) 50%),linear-gradient(135deg,var(--text-dim) 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.coverage-strategy-select:hover{border-color:var(--accent2)}.coverage-strategy-desc{margin-top:6px;font-size:12px;color:var(--text-dim);line-height:1.4}.coverage-generate-btn{margin:10px 12px;padding:7px 14px;font-size:12px;font-weight:600;background:var(--accent2);color:var(--text);border:1px solid var(--accent2);border-radius:4px;cursor:pointer;transition:background .12s,border-color .12s;align-self:flex-start}.coverage-generate-btn:hover{background:var(--accent);border-color:var(--accent)}.coverage-result{padding:0 12px 14px;display:flex;flex-direction:column;gap:12px}.coverage-summary{padding:6px 10px;background:var(--surface2);border-left:3px solid var(--accent2);border-radius:3px;font-size:12px;color:var(--text)}.coverage-table-wrap{overflow-x:auto;max-height:320px;overflow-y:auto;border:1px solid var(--border);border-radius:4px}.coverage-table{width:100%;border-collapse:collapse;font-family:var(--font-mono);font-size:12px}.coverage-table th,.coverage-table td{padding:4px 10px;text-align:center;border-bottom:1px solid var(--border);white-space:nowrap}.coverage-table th{background:var(--surface2);color:var(--text-dim);font-size:11px;font-weight:600;letter-spacing:.05em;position:sticky;top:0;z-index:1}.coverage-table tbody tr:hover{background:var(--accent2-soft)}.coverage-output--true{color:var(--success);font-weight:700}.coverage-output--false{color:var(--text-dim)}.coverage-label-col{text-align:left;color:var(--text-dim);font-family:-apple-system,sans-serif}.coverage-actions{display:flex;gap:8px;flex-wrap:wrap}.coverage-action-btn{padding:5px 12px;font-size:11px;font-weight:500;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:background .12s,border-color .12s}.coverage-action-btn:hover{background:var(--accent2);border-color:var(--accent2)}.coverage-code-tabs{display:flex;gap:2px;border-bottom:1px solid var(--border);margin-top:2px}.coverage-code-tab{padding:5px 12px;font-size:11px;font-weight:600;background:transparent;color:var(--text-dim);border:1px solid transparent;border-bottom:none;border-radius:4px 4px 0 0;cursor:pointer;transition:background .12s,color .12s}.coverage-code-tab:hover{color:var(--text);background:var(--surface2)}.coverage-code-tab--active{background:var(--surface2);color:var(--text);border-color:var(--border);border-bottom-color:var(--surface2);margin-bottom:-1px}.coverage-code-block{background:var(--surface2);border:1px solid var(--border);border-radius:0 4px 4px;padding:8px}.coverage-code-actions{display:flex;gap:6px;margin-bottom:6px}.coverage-code{margin:0;font-family:var(--font-mono);font-size:11px;line-height:1.5;color:var(--text);overflow-x:auto;max-height:280px;white-space:pre}@media(max-width:640px){.app-body{flex-direction:column;overflow-y:auto;overflow-x:hidden}.left-col{width:100%;flex-shrink:0;overflow-y:visible;overflow-x:hidden}.right-col{flex:none;width:100%;overflow:visible;min-height:70vh;display:flex;flex-direction:column}.graph-view{min-height:60vh;height:60vh}}@media(max-width:480px){.app-header{flex-wrap:wrap;padding:8px 12px;gap:6px}.app-title{font-size:15px}.app-subtitle{display:none}.app-tabs{order:3;width:100%}.left-col,.right-col{width:100%;overflow-x:hidden}.truth-table-scroll{overflow-x:auto}body{overflow-x:hidden}}.predicate-var-list{display:flex;flex-direction:column;gap:8px;padding:8px 12px 4px}.predicate-var-item{display:flex;flex-direction:column;gap:6px;padding:8px 10px;background:var(--surface2);border:1px solid var(--border);border-radius:4px}.predicate-var-header{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.predicate-var-name{font-family:var(--font-mono);font-size:13px;font-weight:600;color:var(--accent);letter-spacing:.02em}.predicate-var-type-badge{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;padding:2px 7px;border-radius:999px;background:var(--accent2);color:var(--text);border:1px solid var(--accent2)}.predicate-var-type-badge.predicate-var-untyped{background:transparent;color:var(--text-dim);border-color:var(--border);border-style:dashed}.predicate-var-unused-badge{font-size:10px;font-weight:500;text-transform:uppercase;letter-spacing:.06em;padding:2px 7px;border-radius:999px;background:transparent;color:var(--warn, var(--warn));border:1px solid var(--warn, var(--warn))}.predicate-var-header>.btn-icon:first-of-type{margin-left:auto}.btn-icon{display:inline-flex;align-items:center;justify-content:center;width:24px;height:24px;padding:0;font-size:12px;line-height:1;background:transparent;color:var(--text-dim);border:1px solid var(--border);border-radius:4px;cursor:pointer;transition:color .12s,border-color .12s,background .12s}.btn-icon:hover{color:var(--text);border-color:var(--accent2);background:var(--surface2)}.btn-icon.btn-danger:hover{color:var(--error);border-color:var(--error);background:var(--false-bg)}.predicate-chips{display:flex;flex-wrap:wrap;gap:4px}.predicate-chip{display:inline-block;padding:2px 7px;font-family:var(--font-mono);font-size:11px;font-weight:500;background:var(--accent2-soft);color:var(--text);border:1px solid var(--border);border-radius:3px;letter-spacing:.02em}.typed-var-editor{display:flex;flex-direction:column;gap:6px;margin-top:4px;padding:8px;background:var(--surface);border:1px solid var(--border);border-radius:4px}.typed-var-editor-row{display:flex;align-items:center;gap:6px}.typed-var-editor-row>label{flex:0 0 70px;font-size:11px;font-weight:600;color:var(--text-dim);text-transform:uppercase;letter-spacing:.05em}.typed-var-input,.typed-var-input-narrow,.typed-var-select{padding:4px 8px;font-size:12px;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:3px;font-family:inherit}.typed-var-input{flex:1}.typed-var-input-narrow{flex:0 0 80px}.typed-var-input:focus-visible,.typed-var-input-narrow:focus-visible,.typed-var-select:focus-visible{outline:2px solid var(--accent2);outline-offset:1px;border-color:var(--accent2)}.typed-var-select{padding:4px 26px 4px 8px;cursor:pointer;-webkit-appearance:none;-moz-appearance:none;appearance:none;background-image:linear-gradient(45deg,transparent 50%,var(--text-dim) 50%),linear-gradient(135deg,var(--text-dim) 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.typed-var-editor-actions{display:flex;gap:6px;margin-top:4px}.simplify-trace{margin-top:10px;padding:10px 12px;background:var(--surface2);border-left:3px solid var(--accent2);border-radius:0 4px 4px 0}.simplify-trace-header{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim);margin-bottom:6px}.simplify-trace-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:6px}.simplify-trace-item{display:grid;grid-template-columns:auto auto 1fr;gap:8px;align-items:baseline;font-size:12px;line-height:1.4}.simplify-trace-tag{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;padding:2px 7px;border-radius:999px;background:var(--accent2-soft);color:var(--text);border:1px solid var(--accent2);white-space:nowrap}.simplify-trace-expr{font-family:var(--font-mono);font-size:12px;color:var(--accent);background:var(--surface);padding:1px 6px;border-radius:3px;border:1px solid var(--border);white-space:nowrap}.simplify-trace-reason{color:var(--text-dim);font-size:12px}@media(max-width:640px){.simplify-trace-item{grid-template-columns:1fr;gap:3px}}.react-flow{direction:ltr;--xy-edge-stroke-default: #b1b1b7;--xy-edge-stroke-width-default: 1;--xy-edge-stroke-selected-default: #555;--xy-connectionline-stroke-default: #b1b1b7;--xy-connectionline-stroke-width-default: 1;--xy-attribution-background-color-default: rgba(255, 255, 255, .5);--xy-minimap-background-color-default: #fff;--xy-minimap-mask-background-color-default: rgba(240, 240, 240, .6);--xy-minimap-mask-stroke-color-default: transparent;--xy-minimap-mask-stroke-width-default: 1;--xy-minimap-node-background-color-default: #e2e2e2;--xy-minimap-node-stroke-color-default: transparent;--xy-minimap-node-stroke-width-default: 2;--xy-background-color-default: transparent;--xy-background-pattern-dots-color-default: #91919a;--xy-background-pattern-lines-color-default: #eee;--xy-background-pattern-cross-color-default: #e2e2e2;background-color:var(--xy-background-color, var(--xy-background-color-default));--xy-node-color-default: inherit;--xy-node-border-default: 1px solid #1a192b;--xy-node-background-color-default: #fff;--xy-node-group-background-color-default: rgba(240, 240, 240, .25);--xy-node-boxshadow-hover-default: 0 1px 4px 1px rgba(0, 0, 0, .08);--xy-node-boxshadow-selected-default: 0 0 0 .5px #1a192b;--xy-node-border-radius-default: 3px;--xy-handle-background-color-default: #1a192b;--xy-handle-border-color-default: #fff;--xy-selection-background-color-default: rgba(0, 89, 220, .08);--xy-selection-border-default: 1px dotted rgba(0, 89, 220, .8);--xy-controls-button-background-color-default: #fefefe;--xy-controls-button-background-color-hover-default: #f4f4f4;--xy-controls-button-color-default: inherit;--xy-controls-button-color-hover-default: inherit;--xy-controls-button-border-color-default: #eee;--xy-controls-box-shadow-default: 0 0 2px 1px rgba(0, 0, 0, .08);--xy-edge-label-background-color-default: #ffffff;--xy-edge-label-color-default: inherit;--xy-resize-background-color-default: #3367d9}.react-flow.dark{--xy-edge-stroke-default: #3e3e3e;--xy-edge-stroke-width-default: 1;--xy-edge-stroke-selected-default: #727272;--xy-connectionline-stroke-default: #b1b1b7;--xy-connectionline-stroke-width-default: 1;--xy-attribution-background-color-default: rgba(150, 150, 150, .25);--xy-minimap-background-color-default: #141414;--xy-minimap-mask-background-color-default: rgba(60, 60, 60, .6);--xy-minimap-mask-stroke-color-default: transparent;--xy-minimap-mask-stroke-width-default: 1;--xy-minimap-node-background-color-default: #2b2b2b;--xy-minimap-node-stroke-color-default: transparent;--xy-minimap-node-stroke-width-default: 2;--xy-background-color-default: #141414;--xy-background-pattern-dots-color-default: #777;--xy-background-pattern-lines-color-default: #777;--xy-background-pattern-cross-color-default: #777;--xy-node-color-default: #f8f8f8;--xy-node-border-default: 1px solid #3c3c3c;--xy-node-background-color-default: #1e1e1e;--xy-node-group-background-color-default: rgba(240, 240, 240, .25);--xy-node-boxshadow-hover-default: 0 1px 4px 1px rgba(255, 255, 255, .08);--xy-node-boxshadow-selected-default: 0 0 0 .5px #999;--xy-handle-background-color-default: #bebebe;--xy-handle-border-color-default: #1e1e1e;--xy-selection-background-color-default: rgba(200, 200, 220, .08);--xy-selection-border-default: 1px dotted rgba(200, 200, 220, .8);--xy-controls-button-background-color-default: #2b2b2b;--xy-controls-button-background-color-hover-default: #3e3e3e;--xy-controls-button-color-default: #f8f8f8;--xy-controls-button-color-hover-default: #fff;--xy-controls-button-border-color-default: #5b5b5b;--xy-controls-box-shadow-default: 0 0 2px 1px rgba(0, 0, 0, .08);--xy-edge-label-background-color-default: #141414;--xy-edge-label-color-default: #f8f8f8}.react-flow__background{background-color:var(--xy-background-color-props, var(--xy-background-color, var(--xy-background-color-default)));pointer-events:none;z-index:-1}.react-flow__container{position:absolute;width:100%;height:100%;top:0;left:0}.react-flow__pane{z-index:1}.react-flow__pane.draggable{cursor:grab}.react-flow__pane.dragging{cursor:grabbing}.react-flow__pane.selection{cursor:pointer}.react-flow__viewport{transform-origin:0 0;z-index:2;pointer-events:none}.react-flow__renderer{z-index:4}.react-flow__selection{z-index:6}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible{outline:none}.react-flow__edge-path{stroke:var(--xy-edge-stroke, var(--xy-edge-stroke-default));stroke-width:var(--xy-edge-stroke-width, var(--xy-edge-stroke-width-default));fill:none}.react-flow__connection-path{stroke:var(--xy-connectionline-stroke, var(--xy-connectionline-stroke-default));stroke-width:var(--xy-connectionline-stroke-width, var(--xy-connectionline-stroke-width-default));fill:none}.react-flow .react-flow__edges{position:absolute}.react-flow .react-flow__edges svg{overflow:visible;position:absolute;pointer-events:none}.react-flow__edge{pointer-events:visibleStroke}.react-flow__edge.selectable{cursor:pointer}.react-flow__edge.animated path{stroke-dasharray:5;animation:dashdraw .5s linear infinite}.react-flow__edge.animated path.react-flow__edge-interaction{stroke-dasharray:none;animation:none}.react-flow__edge.inactive{pointer-events:none}.react-flow__edge.selected,.react-flow__edge:focus,.react-flow__edge:focus-visible{outline:none}.react-flow__edge.selected .react-flow__edge-path,.react-flow__edge.selectable:focus .react-flow__edge-path,.react-flow__edge.selectable:focus-visible .react-flow__edge-path{stroke:var(--xy-edge-stroke-selected, var(--xy-edge-stroke-selected-default))}.react-flow__edge-textwrapper{pointer-events:all}.react-flow__edge .react-flow__edge-text{pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__arrowhead polyline{stroke:var(--xy-edge-stroke, var(--xy-edge-stroke-default))}.react-flow__arrowhead polyline.arrowclosed{fill:var(--xy-edge-stroke, var(--xy-edge-stroke-default))}.react-flow__connection{pointer-events:none}.react-flow__connection .animated{stroke-dasharray:5;animation:dashdraw .5s linear infinite}svg.react-flow__connectionline{z-index:1001;overflow:visible;position:absolute}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{position:absolute;-webkit-user-select:none;-moz-user-select:none;user-select:none;pointer-events:all;transform-origin:0 0;box-sizing:border-box;cursor:default}.react-flow__node.selectable{cursor:pointer}.react-flow__node.draggable{cursor:grab;pointer-events:all}.react-flow__node.draggable.dragging{cursor:grabbing}.react-flow__nodesselection{z-index:3;transform-origin:left top;pointer-events:none}.react-flow__nodesselection-rect{position:absolute;pointer-events:all;cursor:grab}.react-flow__handle{position:absolute;pointer-events:none;min-width:5px;min-height:5px;width:6px;height:6px;background-color:var(--xy-handle-background-color, var(--xy-handle-background-color-default));border:1px solid var(--xy-handle-border-color, var(--xy-handle-border-color-default));border-radius:100%}.react-flow__handle.connectingfrom{pointer-events:all}.react-flow__handle.connectionindicator{pointer-events:all;cursor:crosshair}.react-flow__handle-bottom{top:auto;left:50%;bottom:0;transform:translate(-50%,50%)}.react-flow__handle-top{top:0;left:50%;transform:translate(-50%,-50%)}.react-flow__handle-left{top:50%;left:0;transform:translate(-50%,-50%)}.react-flow__handle-right{top:50%;right:0;transform:translate(50%,-50%)}.react-flow__edgeupdater{cursor:move;pointer-events:all}.react-flow__pane.selection .react-flow__panel{pointer-events:none}.react-flow__panel{position:absolute;z-index:5;margin:15px}.react-flow__panel.top{top:0}.react-flow__panel.bottom{bottom:0}.react-flow__panel.top.center,.react-flow__panel.bottom.center{left:50%;transform:translate(-15px) translate(-50%)}.react-flow__panel.left{left:0}.react-flow__panel.right{right:0}.react-flow__panel.left.center,.react-flow__panel.right.center{top:50%;transform:translateY(-15px) translateY(-50%)}.react-flow__attribution{font-size:10px;background:var(--xy-attribution-background-color, var(--xy-attribution-background-color-default));padding:2px 3px;margin:0}.react-flow__attribution a{text-decoration:none;color:#999}@keyframes dashdraw{0%{stroke-dashoffset:10}}.react-flow__edgelabel-renderer{position:absolute;width:100%;height:100%;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;left:0;top:0}.react-flow__viewport-portal{position:absolute;width:100%;height:100%;left:0;top:0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__minimap{background:var( --xy-minimap-background-color-props, var(--xy-minimap-background-color, var(--xy-minimap-background-color-default)) )}.react-flow__minimap-svg{display:block}.react-flow__minimap-mask{fill:var( --xy-minimap-mask-background-color-props, var(--xy-minimap-mask-background-color, var(--xy-minimap-mask-background-color-default)) );stroke:var( --xy-minimap-mask-stroke-color-props, var(--xy-minimap-mask-stroke-color, var(--xy-minimap-mask-stroke-color-default)) );stroke-width:var( --xy-minimap-mask-stroke-width-props, var(--xy-minimap-mask-stroke-width, var(--xy-minimap-mask-stroke-width-default)) )}.react-flow__minimap-node{fill:var( --xy-minimap-node-background-color-props, var(--xy-minimap-node-background-color, var(--xy-minimap-node-background-color-default)) );stroke:var( --xy-minimap-node-stroke-color-props, var(--xy-minimap-node-stroke-color, var(--xy-minimap-node-stroke-color-default)) );stroke-width:var( --xy-minimap-node-stroke-width-props, var(--xy-minimap-node-stroke-width, var(--xy-minimap-node-stroke-width-default)) )}.react-flow__background-pattern.dots{fill:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-dots-color-default)) )}.react-flow__background-pattern.lines{stroke:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-lines-color-default)) )}.react-flow__background-pattern.cross{stroke:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-cross-color-default)) )}.react-flow__controls{display:flex;flex-direction:column;box-shadow:var(--xy-controls-box-shadow, var(--xy-controls-box-shadow-default))}.react-flow__controls.horizontal{flex-direction:row}.react-flow__controls-button{display:flex;justify-content:center;align-items:center;height:26px;width:26px;padding:4px;border:none;background:var(--xy-controls-button-background-color, var(--xy-controls-button-background-color-default));border-bottom:1px solid var( --xy-controls-button-border-color-props, var(--xy-controls-button-border-color, var(--xy-controls-button-border-color-default)) );color:var( --xy-controls-button-color-props, var(--xy-controls-button-color, var(--xy-controls-button-color-default)) );cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__controls-button svg{width:100%;max-width:12px;max-height:12px;fill:currentColor}.react-flow__edge.updating .react-flow__edge-path{stroke:#777}.react-flow__edge-text{font-size:10px}.react-flow__node.selectable:focus,.react-flow__node.selectable:focus-visible{outline:none}.react-flow__node-input,.react-flow__node-default,.react-flow__node-output,.react-flow__node-group{padding:10px;border-radius:var(--xy-node-border-radius, var(--xy-node-border-radius-default));width:150px;font-size:12px;color:var(--xy-node-color, var(--xy-node-color-default));text-align:center;border:var(--xy-node-border, var(--xy-node-border-default));background-color:var(--xy-node-background-color, var(--xy-node-background-color-default))}.react-flow__node-input.selectable:hover,.react-flow__node-default.selectable:hover,.react-flow__node-output.selectable:hover,.react-flow__node-group.selectable:hover{box-shadow:var(--xy-node-boxshadow-hover, var(--xy-node-boxshadow-hover-default))}.react-flow__node-input.selectable.selected,.react-flow__node-input.selectable:focus,.react-flow__node-input.selectable:focus-visible,.react-flow__node-default.selectable.selected,.react-flow__node-default.selectable:focus,.react-flow__node-default.selectable:focus-visible,.react-flow__node-output.selectable.selected,.react-flow__node-output.selectable:focus,.react-flow__node-output.selectable:focus-visible,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.selectable:focus-visible{box-shadow:var(--xy-node-boxshadow-selected, var(--xy-node-boxshadow-selected-default))}.react-flow__node-group{background-color:var(--xy-node-group-background-color, var(--xy-node-group-background-color-default))}.react-flow__nodesselection-rect,.react-flow__selection{background:var(--xy-selection-background-color, var(--xy-selection-background-color-default));border:var(--xy-selection-border, var(--xy-selection-border-default))}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible,.react-flow__selection:focus,.react-flow__selection:focus-visible{outline:none}.react-flow__controls-button:hover{background:var( --xy-controls-button-background-color-hover-props, var(--xy-controls-button-background-color-hover, var(--xy-controls-button-background-color-hover-default)) );color:var( --xy-controls-button-color-hover-props, var(--xy-controls-button-color-hover, var(--xy-controls-button-color-hover-default)) )}.react-flow__controls-button:disabled{pointer-events:none}.react-flow__controls-button:disabled svg{fill-opacity:.4}.react-flow__controls-button:last-child{border-bottom:none}.react-flow__controls.horizontal .react-flow__controls-button{border-bottom:none;border-right:1px solid var( --xy-controls-button-border-color-props, var(--xy-controls-button-border-color, var(--xy-controls-button-border-color-default)) )}.react-flow__controls.horizontal .react-flow__controls-button:last-child{border-right:none}.react-flow__resize-control{position:absolute}.react-flow__resize-control.left,.react-flow__resize-control.right{cursor:ew-resize}.react-flow__resize-control.top,.react-flow__resize-control.bottom{cursor:ns-resize}.react-flow__resize-control.top.left,.react-flow__resize-control.bottom.right{cursor:nwse-resize}.react-flow__resize-control.bottom.left,.react-flow__resize-control.top.right{cursor:nesw-resize}.react-flow__resize-control.handle{width:5px;height:5px;border:1px solid #fff;border-radius:1px;background-color:var(--xy-resize-background-color, var(--xy-resize-background-color-default));translate:-50% -50%}.react-flow__resize-control.handle.left{left:0;top:50%}.react-flow__resize-control.handle.right{left:100%;top:50%}.react-flow__resize-control.handle.top{left:50%;top:0}.react-flow__resize-control.handle.bottom{left:50%;top:100%}.react-flow__resize-control.handle.top.left,.react-flow__resize-control.handle.bottom.left{left:0}.react-flow__resize-control.handle.top.right,.react-flow__resize-control.handle.bottom.right{left:100%}.react-flow__resize-control.line{border-color:var(--xy-resize-background-color, var(--xy-resize-background-color-default));border-width:0;border-style:solid}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{width:1px;transform:translate(-50%);top:0;height:100%}.react-flow__resize-control.line.left{left:0;border-left-width:1px}.react-flow__resize-control.line.right{left:100%;border-right-width:1px}.react-flow__resize-control.line.top,.react-flow__resize-control.line.bottom{height:1px;transform:translateY(-50%);left:0;width:100%}.react-flow__resize-control.line.top{top:0;border-top-width:1px}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}.react-flow__edge-textbg{fill:var(--xy-edge-label-background-color, var(--xy-edge-label-background-color-default))}.react-flow__edge-text{fill:var(--xy-edge-label-color, var(--xy-edge-label-color-default))}:root{color-scheme:dark}