*,*: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, .55);--minimap-node: #1f4a6c;color-scheme:light}body{background:var(--bg);color:var(--text);font-family:-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-size:14px;min-height:100dvh}.app{display:flex;flex-direction:column;height:100dvh;overflow:hidden}.app-header{display:flex;align-items:baseline;gap:16px;padding:10px 20px;background:var(--surface);border-bottom:1px solid var(--border);flex-shrink:0}.app-header>.install-app{margin-left:auto}.app-header>.install-app+.theme-toggle{margin-left: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}.left-col>*{flex-shrink:0}.right-col{flex:1;display:flex;flex-direction:column;background:var(--bg);overflow:hidden;gap:1px;position:relative}.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-shell{position:relative;background:var(--inset);border:1px solid var(--border);border-radius:5px;margin:6px 12px 4px;transition:border-color .12s,box-shadow .12s}.editor-shell:focus-within{border-color:var(--accent2);box-shadow:0 0 0 2px var(--accent-soft)}.editor-shell--error{border-color:var(--error)}.editor-shell:before{content:"";position:absolute;top:0;left:0;width:4px;height:18px;background:var(--accent);border-radius:5px 0 0;opacity:.85;pointer-events:none;z-index:3;transition:opacity .12s}.editor-shell:focus-within:before{opacity:0}.editor-highlight,.editor-textarea--overlay{font-family:var(--font-mono);font-size:14px;line-height:1.6;padding:12px;margin:0;border:none;box-sizing:border-box;white-space:pre-wrap;word-wrap:break-word;word-break:break-word;overflow-wrap:break-word;-moz-tab-size:4;tab-size:4}.editor-highlight{position:absolute;top:0;right:0;bottom:0;left:0;overflow:hidden;pointer-events:none;color:var(--text);background:transparent;z-index:1}.editor-textarea--overlay{position:relative;display:block;width:100%;min-height:96px;max-height:480px;color:transparent;caret-color:var(--text);background:transparent;resize:none;outline:none;overflow:auto;z-index:2}.editor-textarea--overlay::selection{background:var(--accent-soft);color:transparent}.editor-textarea--overlay:focus-visible{outline:none}.editor-textarea--overlay::placeholder{color:var(--text-dim);opacity:1}.editor-error{padding:6px 12px;font-size:12px;color:var(--error);background:var(--false-bg)}:root{--tok-pair-0: #d9a35a;--tok-pair-1: #5fa8d3;--tok-pair-2: #5bc78b;--tok-pair-3: #e5b14a;--tok-pair-4: #e87a6b;--tok-pair-5: #b39ddb;--tok-var-0: #d9a35a;--tok-var-1: #5fa8d3;--tok-var-2: #5bc78b;--tok-var-3: #e87a6b;--tok-var-4: #b39ddb;--tok-var-5: #f4c089;--tok-var-6: #7cd0c9;--tok-var-7: #e5b14a;--tok-num: #e5b14a;--tok-str: #5bc78b;--tok-punct: #6c7388;--tok-assign: #e7e3d6;--tok-pred: #b39ddb;--tok-op-not: #e87a6b;--tok-op-and: #d9a35a;--tok-op-or: #5fa8d3;--tok-op-xor: #f4c089;--tok-op-impl: #b39ddb;--tok-error-underline: #e87a6b}[data-theme=light]{--tok-pair-0: #6a4011;--tok-pair-1: #1f4a6c;--tok-pair-2: #1d5a3e;--tok-pair-3: #8c5010;--tok-pair-4: #7d2820;--tok-pair-5: #46376e;--tok-var-0: #6a4011;--tok-var-1: #1f4a6c;--tok-var-2: #1d5a3e;--tok-var-3: #7d2820;--tok-var-4: #46376e;--tok-var-5: #8c5010;--tok-var-6: #155956;--tok-var-7: #5c4410;--tok-num: #5c4410;--tok-str: #1d5a3e;--tok-punct: #3a4150;--tok-assign: #1c2230;--tok-pred: #46376e;--tok-op-not: #7d2820;--tok-op-and: #6a4011;--tok-op-or: #1f4a6c;--tok-op-xor: #8c5010;--tok-op-impl: #46376e;--tok-error-underline: #7d2820}.ls-tok-var--0{color:var(--tok-var-0)}.ls-tok-var--1{color:var(--tok-var-1)}.ls-tok-var--2{color:var(--tok-var-2)}.ls-tok-var--3{color:var(--tok-var-3)}.ls-tok-var--4{color:var(--tok-var-4)}.ls-tok-var--5{color:var(--tok-var-5)}.ls-tok-var--6{color:var(--tok-var-6)}.ls-tok-var--7{color:var(--tok-var-7)}.ls-tok-var{font-weight:500}.ls-tok-paren--0,.ls-tok-brace--0{color:var(--tok-pair-0)}.ls-tok-paren--1,.ls-tok-brace--1{color:var(--tok-pair-1)}.ls-tok-paren--2,.ls-tok-brace--2{color:var(--tok-pair-2)}.ls-tok-paren--3,.ls-tok-brace--3{color:var(--tok-pair-3)}.ls-tok-paren--4,.ls-tok-brace--4{color:var(--tok-pair-4)}.ls-tok-paren--5,.ls-tok-brace--5{color:var(--tok-pair-5)}.ls-tok-paren,.ls-tok-brace{font-weight:600}.ls-tok-num{color:var(--tok-num)}.ls-tok-str{color:var(--tok-str)}.ls-tok-comment{color:var(--text-dim);font-style:italic;opacity:.85}.ls-tok-punct{color:var(--tok-punct)}.ls-tok-assign{color:var(--tok-assign);font-weight:600}.ls-tok-pred-op{color:var(--tok-pred);font-weight:600}.ls-tok-op-not{color:var(--tok-op-not);font-weight:700}.ls-tok-op-and{color:var(--tok-op-and);font-weight:700}.ls-tok-op-or{color:var(--tok-op-or);font-weight:700}.ls-tok-op-xor{color:var(--tok-op-xor);font-weight:700}.ls-tok-op-impl{color:var(--tok-op-impl);font-weight:700}.ls-tok-error{text-decoration:underline wavy var(--tok-error-underline);text-decoration-skip-ink:none;text-underline-offset:2px}.ls-tok-other{color:var(--text)}.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}.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}.solver-enum-section{margin-top:12px;padding-top:10px;border-top:1px dashed var(--border)}.solver-enum-backend{font-size:11px;color:var(--text-dim);margin-left:6px;font-weight:400}.solver-enum-controls{display:flex;flex-wrap:wrap;align-items:end;gap:8px;margin-top:6px}.solver-enum-field{display:flex;flex-direction:column;gap:2px;font-size:11px;color:var(--text-dim)}.solver-enum-field input{width:80px;padding:4px 6px;font-size:12px;background:var(--surface);border:1px solid var(--border);border-radius:4px;color:var(--text)}.solver-enum-field .solver-enum-unit{position:relative;top:-16px;left:60px;font-size:10px;height:0}.solver-enum-run{padding:6px 12px;font-size:12px;background:var(--accent);color:var(--bg);border:none;border-radius:4px;cursor:pointer;font-weight:600}.solver-enum-run:disabled{opacity:.6;cursor:not-allowed}.solver-enum-error{margin-top:8px;padding:6px 8px;font-size:12px;color:var(--warn);background:color-mix(in srgb,var(--warn) 8%,transparent);border-radius:4px}.solver-enum-results{margin-top:8px}.solver-enum-banner{padding:6px 8px;font-size:12px;border-radius:4px;margin-bottom:6px}.solver-enum-banner--ok{background:color-mix(in srgb,var(--accent) 10%,transparent);color:var(--text)}.solver-enum-banner--unsat{background:color-mix(in srgb,var(--warn) 10%,transparent);color:var(--warn)}.solver-enum-banner--limit,.solver-enum-banner--timeout{background:color-mix(in srgb,var(--accent2, var(--accent)) 8%,transparent);color:var(--text-dim)}.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:100dvh;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,a.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;text-decoration:none;display:inline-flex;align-items:center}.app-tab:hover,a.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-empty{padding:18px 18px 14px;border:1px dashed var(--border);border-radius:8px;margin:12px;background:color-mix(in srgb,var(--surface2) 60%,transparent)}.nb-empty__title{font-size:14px;font-weight:600;color:var(--text);margin-bottom:6px}.nb-empty__body{font-size:13px;color:var(--text-dim);line-height:1.5;margin:0 0 10px}.nb-empty__hints{margin:0 0 12px;padding-left:18px;color:var(--text-dim);font-size:12px;line-height:1.55}.nb-empty__hints li{margin-bottom:4px}.nb-empty__hints strong{color:var(--text);font-weight:600}.nb-empty__actions{display:flex;gap:8px}.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:grid;grid-template-columns:repeat(3,1fr);gap:8px;flex-wrap:wrap}.rw-btn{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;background:var(--surface2);border:1px solid var(--border);border-radius:5px;color:var(--text);cursor:pointer;padding:8px 6px;min-width:0;width:100%;min-height:52px;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:normal;text-align:center;line-height:1.25}.rw-btn:hover:not(:disabled) .rw-btn-sub{color:var(--text-dim)}.rw-section:last-child .rw-section-buttons{grid-template-columns:1fr}.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);border:1px solid 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 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;align-self:start;margin-top:2px}.simplify-trace-desc{color:var(--text-dim);font-size:12px;white-space:normal;word-break:break-word;overflow-wrap:anywhere;line-height:1.5}.simplify-trace-inline-code{font-family:var(--font-mono);font-size:11px;color:var(--accent);background:var(--surface);padding:1px 4px;border-radius:3px;border:1px solid var(--border);white-space:pre-wrap;word-break:break-all}.simplify-trace-reason{color:var(--text-dim);font-size:12px}@media(max-width:640px){.simplify-trace-item{grid-template-columns:1fr;gap:3px}}.simplify-status{margin-left:auto;font-size:10px;font-weight:500;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim)}.simplify-primary{display:flex;flex-direction:column;gap:8px;padding:4px 0 2px}.simplify-primary-row{display:flex;flex-direction:column;gap:4px}.simplify-primary-label{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim)}.simplify-primary-code{font-family:var(--font-mono);font-size:14px;color:var(--success);background:var(--true-bg);border:1px solid var(--border);border-radius:4px;padding:6px 8px;word-break:break-word}.simplify-primary-actions{display:flex;gap:6px}.simplify-apply-btn,.simplify-copy-btn{font-size:11px;font-weight:600;padding:4px 10px;border-radius:4px;cursor:pointer;border:1px solid var(--border);background:var(--surface2);color:var(--text);transition:background .12s,border-color .12s}.simplify-apply-btn{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}.simplify-apply-btn:hover{background:var(--accent2);border-color:var(--accent2);color:var(--on-accent)}.simplify-copy-btn:hover{background:var(--hover-tint)}.simplify-pending{font-style:italic;color:var(--text-dim)}.simplify-minimal{color:var(--success)}.simplify-trace-details{margin-top:8px;border-top:1px solid var(--border);padding-top:8px}.simplify-trace-details summary{cursor:pointer;font-size:11px;font-weight:600;color:var(--text-dim);text-transform:uppercase;letter-spacing:.04em;list-style:none;-webkit-user-select:none;user-select:none}.simplify-trace-details summary::-webkit-details-marker{display:none}.simplify-trace-details summary:before{content:"▸ ";display:inline-block;transition:transform .12s}.simplify-trace-details[open] summary:before{content:"▾ "}.constraint-control{display:inline-flex;flex-wrap:wrap;gap:2px;background:var(--surface2);border:1px solid var(--border);border-radius:5px;padding:2px;margin-top:4px;max-width:100%}.constraint-pill{font-family:var(--font-mono);font-size:11px;font-weight:600;padding:3px 7px;min-width:28px;border:1px solid transparent;border-radius:3px;background:var(--surface);color:var(--text);cursor:pointer;transition:background .1s,color .1s,border-color .1s}.constraint-pill:hover{border-color:var(--accent);background:var(--hover-tint)}.constraint-pill--active{background:var(--surface);color:var(--text);border-color:var(--accent);box-shadow:0 1px 2px var(--shadow)}.constraint-pill--active.constraint-pill--false{background:var(--false-bg);color:var(--error)}.constraint-pill--active.constraint-pill--true{background:var(--true-bg);color:var(--success)}.constraint-pill--active.constraint-pill--dontcare{background:var(--accent-soft);color:var(--text-dim);font-style:italic}.variable-reset-btn{margin-left:auto;font-size:10px;font-weight:600;padding:3px 8px;border:1px solid var(--border);border-radius:3px;background:var(--surface2);color:var(--text-dim);cursor:pointer;text-transform:none;letter-spacing:0}.variable-reset-btn:hover{background:var(--hover-tint);color:var(--text);border-color:var(--accent)}.variable-dontcare-toggle{font-size:10px;font-weight:600;padding:3px 8px;border:1px solid var(--border);border-radius:3px;background:var(--surface2);color:var(--text-dim);cursor:pointer}.variable-dontcare-toggle--on{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.predicate-bucket-group{display:flex;flex-wrap:wrap;gap:4px;margin-top:6px}.bucket-pill{font-size:11px;font-weight:600;padding:4px 10px;border:1px solid var(--border);border-radius:12px;background:var(--surface2);color:var(--text-dim);cursor:pointer}.bucket-pill:hover{background:var(--hover-tint);color:var(--text)}.bucket-pill--active{background:var(--accent2);color:var(--true-bg);border-color:var(--accent2)}.predicate-chip-list{display:flex;flex-direction:column;gap:4px;margin-top:6px}.predicate-chip-row{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.variable-solver-result{margin:10px 12px 0;padding:10px;background:var(--surface2);border:1px solid var(--border);border-radius:5px;display:flex;flex-direction:column;gap:6px}.variable-solver-result .solver-simplified{font-size:12px}[data-theme=light] .react-flow__minimap{border:1px solid var(--border)!important;background:var(--surface)!important}[data-form-factor=desktop] .react-flow__minimap,[data-form-factor=tablet] .react-flow__minimap{width:140px!important;height:90px!important;margin:8px!important;opacity:.85;transition:opacity .12s ease-out}[data-form-factor=desktop] .react-flow__minimap:hover,[data-form-factor=tablet] .react-flow__minimap:hover{opacity:1}.intro-cover{position:absolute;top:0;right:0;bottom:0;left:0;z-index:10;display:flex;align-items:center;justify-content:center;pointer-events:none}.intro-cover__scrim{position:absolute;top:0;right:0;bottom:0;left:0;background:#0000006b;backdrop-filter:blur(2px);-webkit-backdrop-filter:blur(2px);pointer-events:all;cursor:pointer}.intro-cover__card{position:relative;pointer-events:all;background:var(--surface);border:1px solid var(--border);border-radius:10px;width:min(480px,calc(100% - 40px));max-height:calc(100% - 40px);overflow-y:auto;display:flex;flex-direction:column;gap:0;box-shadow:0 8px 32px #00000080}.intro-cover__brand{display:flex;flex-direction:column;gap:4px;padding:20px 24px 16px;border-bottom:1px solid var(--border);background:linear-gradient(135deg,var(--surface2) 0%,var(--surface) 100%);border-radius:10px 10px 0 0}.intro-cover__brand:before{content:"";position:absolute;top:0;left:0;right:0;height:3px;background:var(--accent);border-radius:10px 10px 0 0}.intro-cover__brand-name{font-size:18px;font-weight:700;color:var(--text);letter-spacing:-.01em}.intro-cover__brand-tag{font-size:12px;color:var(--text-dim);letter-spacing:.02em}.intro-cover__pitch{font-size:13px;line-height:1.65;color:var(--text-dim);margin:0;padding:16px 24px 8px}.intro-cover__chips-label{font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.07em;color:var(--accent);padding:0 24px 8px}.intro-cover__chips{display:flex;flex-wrap:wrap;gap:7px;padding:0 24px 16px}.intro-cover__chip{padding:5px 13px;background:var(--surface2);border:1px solid var(--border);border-radius:20px;color:var(--text);font-size:12px;cursor:pointer;transition:border-color .15s,background .15s;line-height:1.4}.intro-cover__chip:hover,.intro-cover__chip:focus-visible{border-color:var(--accent);background:var(--accent-soft);outline:none}.intro-cover__chip--more{color:var(--accent2);border-color:var(--accent2-soft)}.intro-cover__chip--more:hover,.intro-cover__chip--more:focus-visible{border-color:var(--accent2);background:var(--accent2-soft)}.intro-cover__type-hint{font-size:12px;color:var(--text-dim);margin:0;padding:0 24px 16px;opacity:.75}.intro-cover__footer{display:flex;align-items:center;justify-content:space-between;padding:12px 24px;border-top:1px solid var(--border);background:var(--surface2);border-radius:0 0 10px 10px;gap:10px;flex-wrap:wrap}.intro-cover__privacy{font-size:11px;color:var(--text-dim)}.intro-cover__links{display:flex;align-items:center;gap:6px}.intro-cover__link,a.intro-cover__link{background:none;border:none;color:var(--accent2);cursor:pointer;font-size:11px;padding:0;text-decoration:underline;text-underline-offset:2px}.intro-cover__link:hover,.intro-cover__link:focus-visible,a.intro-cover__link:hover,a.intro-cover__link:focus-visible{color:var(--text);outline:none}.intro-cover__sep{color:var(--border);font-size:11px;-webkit-user-select:none;user-select:none}.intro-cover__skip{background:none;border:1px solid var(--border);border-radius:4px;color:var(--text-dim);cursor:pointer;font-size:11px;padding:2px 8px;transition:border-color .15s,color .15s}.intro-cover__skip:hover,.intro-cover__skip:focus-visible{border-color:var(--text-dim);color:var(--text);outline:none}.about-section__action-link{background:none;border:none;color:var(--accent2);cursor:pointer;font-size:13px;padding:0;text-decoration:underline;text-underline-offset:2px}.about-section__action-link:hover,.about-section__action-link:focus-visible{color:var(--text);outline:none}.modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;background:#0000008c;display:flex;align-items:center;justify-content:center;z-index:1000}.modal-close{background:none;border:none;color:var(--text-dim);font-size:16px;cursor:pointer;padding:4px 8px;line-height:1;border-radius:4px}.modal-close:hover,.modal-close:focus-visible{color:var(--text);background:var(--surface2);outline:none}.modal-panel{background:var(--surface);border:1px solid var(--border);border-radius:8px;width:min(560px,calc(100vw - 32px));max-height:calc(100dvh - 60px);display:flex;flex-direction:column;overflow:hidden}.modal-panel__header{display:flex;align-items:center;justify-content:space-between;padding:16px 20px 12px;border-bottom:1px solid var(--border);flex-shrink:0}.modal-panel__title{font-size:15px;font-weight:600;margin:0;color:var(--text)}.modal-panel__body{padding:20px;overflow-y:auto;display:flex;flex-direction:column;gap:20px}.examples-drawer{background:var(--surface);border:1px solid var(--border);border-radius:8px;width:min(640px,calc(100vw - 32px));max-height:calc(100dvh - 60px);display:flex;flex-direction:column;overflow:hidden}.examples-drawer__header{display:flex;align-items:center;justify-content:space-between;padding:16px 20px 12px;border-bottom:1px solid var(--border);flex-shrink:0}.examples-drawer__title{font-size:15px;font-weight:600;margin:0;color:var(--text)}.examples-drawer__body{overflow-y:auto;padding:16px 20px;display:flex;flex-direction:column;gap:24px}.examples-drawer__category{font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.08em;color:var(--accent);margin:0 0 10px}.examples-drawer__list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:6px}.examples-drawer__item{display:flex;flex-direction:column;align-items:flex-start;gap:3px;width:100%;padding:10px 14px;background:var(--surface2);border:1px solid var(--border);border-radius:6px;cursor:pointer;text-align:left;transition:border-color .15s}.examples-drawer__item:hover,.examples-drawer__item:focus-visible{border-color:var(--accent);outline:none}.examples-drawer__item-label{font-size:13px;font-weight:600;color:var(--text)}.examples-drawer__item-desc{font-size:12px;color:var(--text-dim)}.examples-drawer__item-source{font-size:11px;color:var(--accent2);font-family:var(--font-mono, monospace)}.about-section__heading{font-size:12px;font-weight:700;text-transform:uppercase;letter-spacing:.07em;color:var(--accent);margin:0 0 8px}.about-section p{font-size:13px;line-height:1.6;color:var(--text);margin:0}.about-section code{font-size:12px;background:var(--surface2);border:1px solid var(--border);border-radius:3px;padding:1px 4px;font-family:var(--font-mono, monospace);color:var(--accent2)}.about-syntax-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:5px}.about-syntax-list li{font-size:13px;color:var(--text-dim)}.about-syntax-list code{font-size:12px;background:var(--surface2);border:1px solid var(--border);border-radius:3px;padding:1px 4px;font-family:var(--font-mono, monospace);color:var(--accent2)}.share-modal__description{font-size:13px;line-height:1.6;color:var(--text);margin:0}.share-modal__description code{font-size:12px;background:var(--surface2);border:1px solid var(--border);border-radius:3px;padding:1px 4px;font-family:var(--font-mono, monospace);color:var(--accent2)}.share-modal__url-row{display:flex;gap:8px}.share-modal__url-input{flex:1;padding:8px 10px;background:var(--surface2);border:1px solid var(--border);border-radius:5px;color:var(--text);font-size:12px;font-family:var(--font-mono, monospace);min-width:0}.share-modal__url-input:focus{outline:none;border-color:var(--accent)}.share-modal__copy-btn{padding:8px 16px;background:var(--accent);border:none;border-radius:5px;color:var(--on-accent);font-size:13px;font-weight:600;cursor:pointer;white-space:nowrap;flex-shrink:0;transition:opacity .15s}.share-modal__copy-btn:hover,.share-modal__copy-btn:focus-visible{opacity:.85;outline:none}.share-modal__copy-btn--copied{background:var(--accent2)}.share-modal__privacy-note{font-size:12px;color:var(--text-dim);margin:0}.share-modal__empty-note{font-size:12px;color:var(--accent);margin:0}.cmd-menu__backdrop{position:fixed;top:0;right:0;bottom:0;left:0;background:var(--overlay);z-index:1000;display:flex;align-items:flex-start;justify-content:center;padding-top:12vh}.cmd-menu{background:var(--surface);border:1px solid var(--border);border-radius:10px;box-shadow:0 8px 32px var(--shadow-strong);width:540px;max-width:calc(100vw - 32px);max-height:60vh;display:flex;flex-direction:column;overflow:hidden;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}.cmd-menu__search-row{display:flex;align-items:center;gap:8px;padding:10px 14px;border-bottom:1px solid var(--border);flex-shrink:0}.cmd-menu__search-icon{color:var(--text-dim);font-size:15px;line-height:1;flex-shrink:0}.cmd-menu__input{flex:1;background:transparent;border:none;outline:none;color:var(--text);font-size:15px;font-family:inherit;caret-color:var(--accent)}.cmd-menu__input::placeholder{color:var(--text-dim)}.cmd-menu__close{background:none;border:none;color:var(--text-dim);font-size:14px;cursor:pointer;padding:2px 6px;border-radius:4px;line-height:1;flex-shrink:0;transition:color .1s,background .1s}.cmd-menu__close:hover,.cmd-menu__close:focus-visible{color:var(--text);background:var(--hover-tint);outline:none}.cmd-menu__list{list-style:none;overflow-y:auto;flex:1;padding:6px 0}.cmd-menu__item{display:flex;align-items:center;gap:8px;padding:8px 14px;cursor:pointer;transition:background .08s;border-radius:0}.cmd-menu__item--active,.cmd-menu__item:hover{background:var(--accent-soft)}.cmd-menu__item--active{border-left:2px solid var(--accent);padding-left:12px}.cmd-menu__item-label{flex:1;font-size:14px;color:var(--text);min-width:0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.cmd-menu__item-desc{font-size:12px;color:var(--text-dim);flex:0 0 auto;max-width:180px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.cmd-menu__highlight{background:var(--accent-strong);color:var(--text);border-radius:2px}.cmd-menu__empty{padding:20px 14px;color:var(--text-dim);font-size:13px;text-align:center}.cmd-menu__kbd{display:inline-flex;align-items:center;justify-content:center;background:var(--surface2);border:1px solid var(--border);border-radius:4px;padding:1px 5px;font-size:11px;font-family:var(--font-mono);color:var(--text-dim);white-space:nowrap;flex-shrink:0}.cmd-menu__kbd--right{margin-left:auto}.cmd-menu__footer{display:flex;gap:16px;align-items:center;padding:8px 14px;border-top:1px solid var(--border);font-size:12px;color:var(--text-dim);flex-shrink:0;flex-wrap:wrap}.cmd-menu__footer .cmd-menu__kbd{margin-right:3px}.cmd-menu--help{max-height:75vh}.cmd-menu__header{display:flex;align-items:center;justify-content:space-between;padding:12px 14px 10px;border-bottom:1px solid var(--border);flex-shrink:0}.cmd-menu__title{font-size:14px;font-weight:600;color:var(--accent);letter-spacing:.04em;text-transform:uppercase;margin:0}.cmd-menu__help-body{overflow-y:auto;flex:1;padding:10px 0 6px}.cmd-menu__help-section{margin-bottom:4px}.cmd-menu__help-category{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--accent2);padding:6px 14px 4px;margin:0}.cmd-menu__help-list{list-style:none;padding:0}.cmd-menu__help-item{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:5px 14px;font-size:13px}.cmd-menu__help-item:hover{background:var(--hover-tint)}.cmd-menu__help-label{color:var(--text);flex:1}.shortcut-hint{display:flex;align-items:center;gap:5px;padding:6px 16px;font-size:12px;color:var(--text-dim);border-top:1px solid var(--border);background:var(--surface);flex-shrink:0;flex-wrap:wrap}.shortcut-hint__kbd{display:inline-flex;align-items:center;background:var(--surface2);border:1px solid var(--border);border-radius:4px;padding:0 5px;font-size:11px;font-family:var(--font-mono);color:var(--accent2);line-height:18px}.variable-row--binding{opacity:.9}.variable-row--binding-active{opacity:1}.binding-active-btn{background:none;border:1px solid var(--border);color:var(--text-dim);border-radius:50%;width:18px;height:18px;padding:0;line-height:1;cursor:pointer;font-size:10px;flex-shrink:0;display:flex;align-items:center;justify-content:center;transition:color .1s,border-color .1s,background .1s}.binding-active-btn--on{color:var(--accent, #6366f1);border-color:var(--accent, #6366f1);background:color-mix(in srgb,var(--accent, #6366f1) 12%,transparent)}.variable-atom-count{font-size:10px;color:var(--text-dim);margin-left:4px;padding:1px 5px;border-radius:10px;background:var(--surface2);border:1px solid var(--border);white-space:nowrap}.graph-target-bar{display:flex;align-items:center;gap:8px;padding:4px 10px;border-bottom:1px solid var(--border);background:var(--surface2);font-size:12px;flex-shrink:0}.graph-target-label{color:var(--text-dim)}.graph-target-select{font-size:12px;background:var(--inset-strong);color:var(--text);border:1px solid var(--border);border-radius:3px;padding:2px 5px;cursor:pointer}.graph-show-all-btn{font-size:11px;background:var(--inset-strong);color:var(--text-dim);border:1px solid var(--border);border-radius:3px;padding:2px 8px;cursor:pointer;transition:color .1s,border-color .1s,background .1s}.graph-show-all-btn--active{color:var(--accent, #6366f1);border-color:var(--accent, #6366f1);background:color-mix(in srgb,var(--accent, #6366f1) 12%,transparent)}.simplify-target-bar{display:flex;align-items:center;gap:6px;padding:4px 12px 2px;font-size:12px}.simplify-target-label{color:var(--text-dim)}.simplify-target-select{font-size:12px;background:var(--inset-strong);color:var(--text);border:1px solid var(--border);border-radius:3px;padding:2px 5px;cursor:pointer}.result-panel{background:var(--surface);border:1px solid var(--border);border-radius:6px;overflow:hidden}.result-panel .panel-header{background:var(--surface-2, var(--surface))}.result-section{padding:8px 12px 12px;border-top:1px solid var(--border)}.result-section:first-of-type{border-top:0}.result-section-header{font-size:11px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--text-dim);margin-bottom:6px}.result-section-empty .result-empty-hint{color:var(--text-dim);font-size:12px;font-style:italic}.result-section-simplify>.simplify-panel,.result-section-simplify>section{border:0;background:transparent;padding:0}.z3-loading{display:inline-flex;align-items:center;gap:6px;margin-left:6px;font-size:11px;color:var(--text-dim);font-variant-numeric:tabular-nums;vertical-align:middle;animation:z3-loading-in .16s ease-out}@keyframes z3-loading-in{0%{opacity:0}to{opacity:1}}.z3-loading__track{position:relative;display:inline-block;width:56px;height:4px;background:var(--border);border-radius:2px;overflow:hidden}.z3-loading__fill{display:block;height:100%;width:0%;background:var(--accent2);border-radius:2px;transition:width .12s linear}.z3-loading__track--indeterminate .z3-loading__fill{width:40%!important;animation:z3-loading-indet 1.1s ease-in-out infinite}@keyframes z3-loading-indet{0%{transform:translate(-100%)}50%{transform:translate(80%)}to{transform:translate(220%)}}.z3-loading__label{min-width:2.5em;text-align:left;letter-spacing:.02em}.z3-loading--error .z3-loading__fill{background:var(--error, #c95a4a);width:100%!important;animation:none}.z3-loading--error{color:var(--error, #c95a4a)}.z3-loading--ready{color:var(--success, #5fa872)}@media(prefers-reduced-motion:reduce){.z3-loading{animation:none}.z3-loading__track--indeterminate .z3-loading__fill{animation:none;width:100%!important}.z3-loading__fill{transition:none}}.equiv-diff{display:flex;flex-direction:column;height:100%;min-height:0;overflow-y:auto;background:var(--surface);padding:14px 16px 24px;gap:16px}.equiv-diff__header{border-bottom:1px solid var(--border);padding-bottom:12px}.equiv-diff__title-row{display:flex;align-items:baseline;justify-content:space-between;gap:12px}.equiv-diff__title{font-size:14px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--text);margin:0}.equiv-diff__help-toggle{font-size:11px;background:transparent;border:1px solid var(--border);color:var(--text-dim);border-radius:4px;padding:3px 8px;cursor:pointer}.equiv-diff__help-toggle:hover{color:var(--text);border-color:var(--accent2)}.equiv-diff__lede{margin:6px 0 0;font-size:12.5px;color:var(--text-dim);line-height:1.45}.equiv-diff__help{margin-top:10px;padding:10px 12px;background:var(--accent2-soft);border-left:3px solid var(--accent2);border-radius:0 4px 4px 0;font-size:12.5px;color:var(--text);line-height:1.5}.equiv-diff__help p{margin:0 0 8px}.equiv-diff__help p:last-child{margin-bottom:0}.equiv-diff__help ul{margin:6px 0 8px;padding-left:18px}.equiv-diff__help li{margin-bottom:4px}.equiv-diff__help code{background:var(--surface2);padding:1px 5px;border-radius:3px;font-size:11.5px}.equiv-diff__editors{display:grid;grid-template-columns:1fr auto 1fr;gap:12px;align-items:stretch}.equiv-diff__side{display:flex;flex-direction:column;gap:6px;min-width:0}.equiv-diff__side-header{display:flex;align-items:center;justify-content:space-between;gap:8px;flex-wrap:wrap}.equiv-diff__side-label{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim)}.equiv-diff__side-actions{display:inline-flex;gap:6px}.equiv-diff__quick-btn{font-size:11px;padding:3px 8px;background:var(--surface2);border:1px solid var(--border);border-radius:4px;color:var(--text-dim);cursor:pointer;font-family:inherit}.equiv-diff__quick-btn:hover:not(:disabled){color:var(--text);border-color:var(--accent2)}.equiv-diff__quick-btn:disabled{opacity:.45;cursor:not-allowed}.equiv-diff__quick-btn--danger:hover:not(:disabled){color:var(--error);border-color:var(--error)}.equiv-diff__editor{font-family:JetBrains Mono,Menlo,Consolas,monospace;font-size:13px;line-height:1.45;background:var(--surface2);color:var(--text);border:1px solid var(--border);border-radius:4px;padding:8px 10px;resize:vertical;min-height:80px;outline:none;transition:border-color .12s}.equiv-diff__editor:focus{border-color:var(--accent2);box-shadow:0 0 0 2px var(--accent2-soft)}.equiv-diff__editor--error{border-color:var(--error)}.equiv-diff__editor--error:focus{box-shadow:0 0 0 2px #e87a6b2e}.equiv-diff__parse-error{font-size:11.5px;color:var(--error);font-family:JetBrains Mono,Menlo,monospace}.equiv-diff__parse-ok{font-size:11px;color:var(--success);letter-spacing:.04em}.equiv-diff__swap-col{display:flex;align-items:center;justify-content:center;padding-top:22px}.equiv-diff__swap-btn{width:32px;height:32px;border-radius:50%;background:var(--surface2);border:1px solid var(--border);color:var(--text-dim);font-size:16px;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:transform .12s,color .12s,border-color .12s}.equiv-diff__swap-btn:hover:not(:disabled){color:var(--accent);border-color:var(--accent);transform:rotate(180deg)}.equiv-diff__swap-btn:disabled{opacity:.3;cursor:not-allowed}.equiv-diff__renames{background:var(--surface2);border:1px solid var(--border);border-radius:6px;padding:10px 12px}.equiv-diff__renames-header{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:8px}.equiv-diff__renames-label{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim)}.equiv-diff__renames-hint{font-weight:400;text-transform:none;letter-spacing:0;font-size:11.5px;color:var(--text-dim);margin-left:4px}.equiv-diff__renames-actions{display:inline-flex;gap:6px}.equiv-diff__renames-empty{font-size:12px;color:var(--text-dim);font-style:italic;padding:4px 0}.equiv-diff__rename-rows{display:flex;flex-direction:column;gap:6px}.equiv-diff__rename-row{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.equiv-diff__rename-side-label{font-size:11px;color:var(--text-dim);display:inline-flex;align-items:center;gap:4px}.equiv-diff__rename-side{font-size:12px;padding:2px 4px;background:var(--surface);color:var(--text);border:1px solid var(--border);border-radius:3px}.equiv-diff__rename-input{font-family:JetBrains Mono,Menlo,monospace;font-size:12px;padding:4px 8px;background:var(--surface);color:var(--text);border:1px solid var(--border);border-radius:3px;width:110px;outline:none}.equiv-diff__rename-input:focus{border-color:var(--accent2)}.equiv-diff__rename-arrow{color:var(--text-dim);font-size:13px}.equiv-diff__rename-remove{background:transparent;border:none;color:var(--text-dim);cursor:pointer;font-size:13px;padding:2px 5px;border-radius:3px}.equiv-diff__rename-remove:hover{color:var(--error);background:var(--surface)}.equiv-diff__empty{padding:24px 16px;text-align:center;font-size:13px;color:var(--text-dim);background:var(--surface2);border:1px dashed var(--border);border-radius:6px;line-height:1.5}.equiv-diff__result{display:flex;flex-direction:column;gap:14px}.equiv-diff__banner{display:flex;align-items:center;gap:10px;padding:10px 14px;border-radius:6px;font-size:13px;line-height:1.4;border:1px solid}.equiv-diff__banner-icon{font-size:18px;line-height:1;flex:0 0 auto}.equiv-diff__banner--equiv{background:#5bc78b1f;border-color:var(--success);color:var(--success)}.equiv-diff__banner--equiv strong{color:var(--text)}.equiv-diff__banner--diff{background:#e87a6b1a;border-color:var(--error);color:var(--error)}.equiv-diff__banner--diff strong{color:var(--text)}.equiv-diff__banner--warn{background:#e5b14a1f;border-color:var(--warn);color:var(--warn)}.equiv-diff__section{background:var(--surface2);border:1px solid var(--border);border-radius:6px;padding:12px}.equiv-diff__section-title{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim);margin-bottom:10px;display:flex;align-items:center;gap:12px}.equiv-diff__section-meta{font-weight:400;text-transform:none;letter-spacing:0;font-size:11.5px;color:var(--text-dim);margin-left:auto}.equiv-diff__toggle-rows{font-size:11px;background:transparent;border:1px solid var(--border);color:var(--text-dim);padding:2px 8px;border-radius:4px;cursor:pointer}.equiv-diff__toggle-rows:hover{color:var(--text);border-color:var(--accent2)}.equiv-diff__counterexample{display:flex;flex-direction:column;gap:8px}.equiv-diff__cx-assignment{display:flex;flex-wrap:wrap;gap:8px}.equiv-diff__cx-var{display:inline-flex;align-items:center;background:var(--surface);border:1px solid var(--border);border-radius:4px;padding:4px 8px;font-family:JetBrains Mono,Menlo,monospace;font-size:12px;gap:4px}.equiv-diff__cx-varname{color:var(--text)}.equiv-diff__cx-eq{color:var(--text-dim)}.equiv-diff__cx-val--1{color:var(--success);font-weight:600}.equiv-diff__cx-val--0{color:var(--error);font-weight:600}.equiv-diff__cx-outputs{display:flex;gap:18px;font-family:JetBrains Mono,Menlo,monospace;font-size:13px;color:var(--text-dim)}.equiv-diff__cx-out-val{font-weight:700;padding:0 4px;border-radius:3px}.equiv-diff__cx-out-val--1{color:var(--success)}.equiv-diff__cx-out-val--0{color:var(--error)}.equiv-diff__implicants{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:12px}.equiv-diff__implicants-side{background:var(--surface);border:1px solid var(--border);border-radius:4px;padding:8px 10px}.equiv-diff__implicants-label{font-size:11px;color:var(--text-dim);margin-bottom:6px;text-transform:uppercase;letter-spacing:.06em}.equiv-diff__implicants-label strong{color:var(--accent)}.equiv-diff__implicants-hint{font-weight:400;text-transform:none;letter-spacing:0;color:var(--text-dim)}.equiv-diff__implicants-list{margin:0;padding-left:18px}.equiv-diff__implicant{font-family:JetBrains Mono,Menlo,monospace;font-size:12px;color:var(--text);padding:2px 0}.equiv-diff__table-wrap{overflow-x:auto;max-height:360px;overflow-y:auto;border:1px solid var(--border);border-radius:4px;background:var(--surface)}.equiv-diff__table{width:100%;border-collapse:collapse;font-family:JetBrains Mono,Menlo,monospace;font-size:12px}.equiv-diff__table thead th{position:sticky;top:0;background:var(--surface2);border-bottom:1px solid var(--border);padding:6px 10px;text-align:center;font-weight:600;color:var(--text-dim);letter-spacing:.04em;z-index:1}.equiv-diff__table tbody td{padding:4px 10px;text-align:center;border-bottom:1px solid var(--border)}.equiv-diff__table tbody tr:last-child td{border-bottom:none}.equiv-diff__cell-var{color:var(--text)}.equiv-diff__cell-out--1{color:var(--success);font-weight:600}.equiv-diff__cell-out--0{color:var(--error);font-weight:600}.equiv-diff__cell-match{color:var(--error);font-weight:700}.equiv-diff__row--match{background:transparent}.equiv-diff__row--match .equiv-diff__cell-var,.equiv-diff__row--match .equiv-diff__cell-out--1,.equiv-diff__row--match .equiv-diff__cell-out--0{opacity:.55}.equiv-diff__row--diff{background:#e87a6b12}.equiv-diff__row--diff:hover{background:#e87a6b24}@media(max-width:720px){.equiv-diff__editors{grid-template-columns:1fr}.equiv-diff__swap-col{padding-top:0;justify-content:flex-start}.equiv-diff__swap-btn:hover:not(:disabled){transform:rotate(90deg)}}.equiv-diff__backend-note .equiv-diff__section-title{margin-bottom:6px}.equiv-diff__backend-explain{margin:0;font-size:12px;color:var(--text-dim);line-height:1.55}.equiv-diff__backend-explain strong{color:var(--text)}.stats-panel{display:flex;flex-direction:column;gap:14px;height:100%;min-height:0;overflow-y:auto;padding:14px 16px 24px;background:var(--surface)}.stats-panel--empty{align-items:center;justify-content:center;text-align:center}.stats-panel__empty-msg{font-size:13px;color:var(--text-dim);max-width:360px;line-height:1.5}.stats-panel__empty-msg--small{font-size:12px;font-style:italic;margin:4px 0 0}.stats-panel__header{border-bottom:1px solid var(--border);padding-bottom:10px}.stats-panel__title{font-size:14px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;margin:0 0 4px;color:var(--text)}.stats-panel__lede{margin:0;font-size:12px;color:var(--text-dim);line-height:1.5}.stats-panel__section{background:var(--surface2);border:1px solid var(--border);border-radius:6px;padding:12px 14px}.stats-panel__section-head{display:flex;align-items:center;justify-content:space-between}.stats-panel__h3{margin:0 0 10px;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim)}.stats-panel__section-head .stats-panel__h3{margin-bottom:0}.stats-panel__clear{font-size:11px;background:transparent;border:1px solid var(--border);color:var(--text-dim);padding:3px 8px;border-radius:4px;cursor:pointer}.stats-panel__clear:hover:not(:disabled){color:var(--text);border-color:var(--accent2)}.stats-panel__clear:disabled{opacity:.4;cursor:not-allowed}.stats-panel__grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:8px}.stats-metric{background:var(--surface);border:1px solid var(--border);border-radius:4px;padding:6px 8px;display:flex;flex-direction:column;gap:2px;min-width:0}.stats-metric__label{font-size:10.5px;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim)}.stats-metric__value{font-family:JetBrains Mono,Menlo,monospace;font-size:13px;font-weight:600;color:var(--text);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.stats-metric--good .stats-metric__value{color:var(--success)}.stats-metric--bad .stats-metric__value{color:var(--error)}.stats-metric--accent .stats-metric__value{color:var(--accent)}.stats-panel__op-hist{margin-top:10px}.stats-panel__op-hist-label{font-size:10.5px;text-transform:uppercase;letter-spacing:.06em;color:var(--text-dim);margin-bottom:4px}.stats-panel__op-hist-list{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:4px 8px}.stats-panel__op-hist-item{display:inline-flex;align-items:center;gap:4px;background:var(--surface);border:1px solid var(--border);border-radius:3px;padding:2px 6px;font-family:JetBrains Mono,Menlo,monospace;font-size:11.5px}.stats-panel__op-hist-name{color:var(--text)}.stats-panel__op-hist-count{color:var(--accent);font-weight:700}.stats-panel__backend-agg{margin-top:10px}.stats-panel__backend-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:4px}.stats-panel__backend-row{display:grid;grid-template-columns:90px 1fr 1fr 1fr;gap:8px;font-family:JetBrains Mono,Menlo,monospace;font-size:11.5px;padding:4px 8px;background:var(--surface);border:1px solid var(--border);border-radius:3px;align-items:baseline}.stats-panel__backend-name{font-weight:600;color:var(--text)}.stats-panel__backend-name--qm{color:var(--accent)}.stats-panel__backend-name--sat{color:var(--warn)}.stats-panel__backend-name--smt{color:var(--accent2)}.stats-panel__backend-name--enum,.stats-panel__backend-stat{color:var(--text-dim)}.stats-panel__backend-stat strong{color:var(--text);font-weight:600}.stats-panel__event-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:5px;max-height:360px;overflow-y:auto}.stats-panel__event{display:flex;flex-direction:column;background:var(--surface);border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:0 4px 4px 0;padding:6px 8px}.stats-panel__event--err{border-left-color:var(--error)}.stats-panel__event-row1{display:flex;align-items:baseline;gap:10px;font-family:JetBrains Mono,Menlo,monospace;font-size:11.5px}.stats-panel__event-backend{font-weight:700;min-width:70px}.stats-panel__event-backend--qm{color:var(--accent)}.stats-panel__event-backend--sat{color:var(--warn)}.stats-panel__event-backend--smt{color:var(--accent2)}.stats-panel__event-backend--enum{color:var(--text-dim)}.stats-panel__event-kind{color:var(--text);font-weight:500;flex:1}.stats-panel__event-dur{color:var(--accent);font-weight:600}.stats-panel__event-ago{color:var(--text-dim);font-size:10.5px;min-width:60px;text-align:right}.stats-panel__event-row2{display:flex;gap:10px;margin-top:3px;font-family:JetBrains Mono,Menlo,monospace;font-size:11px;color:var(--text-dim)}.stats-panel__event-result{color:var(--text)}.stats-panel__event-error{color:var(--error)}.right-rail{width:260px;flex-shrink:0;display:flex;flex-direction:column;background:var(--bg);border-left:1px solid var(--border);overflow:hidden}.right-rail>.shortcut-hint{margin-top:auto;border-top:1px solid var(--border);border-left:none;flex-shrink:0}@media(max-width:980px){.right-rail{display:none}}.graph-inspector{flex:1 1 auto;min-height:0;display:flex;flex-direction:column;gap:8px;padding:10px 12px;background:var(--surface);overflow-y:auto;font-size:11.5px}.graph-inspector__header{display:flex;align-items:center;justify-content:space-between;padding-bottom:6px;border-bottom:1px solid var(--border)}.graph-inspector__title{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.07em;color:var(--text)}.graph-inspector__parse{font-size:10px;font-family:var(--font-mono)}.graph-inspector__parse--ok{color:var(--success)}.graph-inspector__parse--err{color:var(--error)}.graph-inspector__section{display:flex;flex-direction:column;gap:4px}.graph-inspector__section--events{flex:1;min-height:0}.graph-inspector__section-label{font-size:9.5px;text-transform:uppercase;letter-spacing:.08em;color:var(--text-dim);margin-bottom:2px}.graph-inspector__dl{display:grid;grid-template-columns:auto 1fr;gap:2px 8px;margin:0;font-family:var(--font-mono);font-size:11px}.graph-inspector__dl dt{color:var(--text-dim);white-space:nowrap}.graph-inspector__dl dd{margin:0;text-align:right;color:var(--text);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;font-weight:600}.graph-inspector__dt-sat,.graph-inspector__dd-sat{color:var(--success)!important}.graph-inspector__dt-unsat,.graph-inspector__dd-unsat{color:var(--error)!important}.graph-inspector__dd-good{color:var(--success)!important}.graph-inspector__active{color:var(--accent)!important}.graph-inspector__backend{font-weight:700}.graph-inspector__backend--qm{color:var(--accent)}.graph-inspector__backend--sat{color:var(--warn)}.graph-inspector__backend--smt{color:var(--accent2)}.graph-inspector__z3--ready{color:var(--success)}.graph-inspector__z3--loading{color:var(--accent)}.graph-inspector__z3--error{color:var(--error)}.graph-inspector__verdict{margin-top:4px;text-align:center;padding:3px 6px;border-radius:4px;font-size:10.5px;font-weight:700;text-transform:uppercase;letter-spacing:.06em}.graph-inspector__verdict--contradiction{background:color-mix(in srgb,var(--error) 18%,transparent);color:var(--error)}.graph-inspector__verdict--tautology{background:color-mix(in srgb,var(--success) 18%,transparent);color:var(--success)}.graph-inspector__verdict--contingent{background:color-mix(in srgb,var(--accent) 14%,transparent);color:var(--accent)}.graph-inspector__events{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:3px;overflow-y:auto;font-family:var(--font-mono);font-size:10.5px}.graph-inspector__event{display:grid;grid-template-columns:38px 1fr auto;gap:6px;padding:3px 5px;background:var(--surface2);border-left:2px solid var(--accent);border-radius:0 3px 3px 0;align-items:baseline}.graph-inspector__event--err{border-left-color:var(--error)}.graph-inspector__event-backend{font-weight:700}.graph-inspector__event-backend--qm{color:var(--accent)}.graph-inspector__event-backend--sat{color:var(--warn)}.graph-inspector__event-backend--smt{color:var(--accent2)}.graph-inspector__event-kind{color:var(--text);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.graph-inspector__event-dur{color:var(--accent)}.graph-inspector__noevents{margin:0;font-size:10.5px;color:var(--text-dim);font-style:italic}.graph-inspector__footer{padding-top:6px;border-top:1px solid var(--border);font-size:10px;color:var(--text-dim);text-align:center}.graph-inspector__footer strong{color:var(--accent)}.graph-inspector--empty{align-items:center;justify-content:center}.graph-inspector__placeholder{text-align:center;padding:14px 6px;color:var(--text-dim)}.graph-inspector__placeholder-icon{font-size:24px;margin-bottom:6px;opacity:.6}.graph-inspector__placeholder p{margin:0 0 6px;font-size:11px;line-height:1.4}.graph-inspector__placeholder-sub{font-size:10px!important;font-style:italic;opacity:.8}@media(max-width:980px){.graph-inspector{display:none}}.mobile-header{display:flex;align-items:center;gap:10px;min-height:56px;padding:max(8px,env(safe-area-inset-top)) 12px 8px;background:var(--surface);border-bottom:1px solid var(--border);flex-shrink:0}.mobile-header__brand{display:flex;flex-direction:column;gap:3px;min-width:0;flex:1}.mobile-header__title{color:var(--accent);font-size:17px;line-height:1;letter-spacing:-.04em;margin:0}.mobile-header .theme-toggle{margin-left:0;min-width:38px;min-height:38px}.mobile-header .solver-status{flex-shrink:0}.mobile-header .z3-loading{max-width:120px}.mobile-shell{flex:1;min-height:0;overflow:hidden;background:var(--bg)}.mobile-view{height:100%;overflow-y:auto;-webkit-overflow-scrolling:touch;padding:12px 12px calc(72px + env(safe-area-inset-bottom))}.mobile-view--editor{display:flex;flex-direction:column;gap:12px}.mobile-view--graph,.mobile-view--truth{padding:0 0 calc(56px + env(safe-area-inset-bottom));overflow:hidden}.mobile-view--graph .graph-view{height:100%;min-height:0;border-radius:0}.mobile-view--truth .truth-table-panel{height:100%;border-radius:0}.mobile-view--truth .truth-table-scroll{overflow-x:auto}.mobile-view--tools{padding:12px 12px calc(84px + env(safe-area-inset-bottom))}.mobile-bottom-nav{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));min-height:calc(56px + env(safe-area-inset-bottom));padding:4px 8px max(4px,env(safe-area-inset-bottom));background:color-mix(in srgb,var(--surface) 94%,transparent);border-top:1px solid var(--border);box-shadow:0 -8px 24px var(--shadow);flex-shrink:0;z-index:30}.mobile-bottom-nav__item{min-height:52px;border:1px solid transparent;border-radius:14px;background:transparent;color:var(--text-dim);display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;cursor:pointer;-webkit-tap-highlight-color:transparent;touch-action:manipulation}.mobile-bottom-nav__item--active{color:var(--accent);background:var(--accent-soft);border-color:var(--accent-strong)}.mobile-bottom-nav__icon{font-size:17px;font-weight:700;line-height:1}.mobile-bottom-nav__label{font-size:11px;font-weight:700}.mobile-result-hero{border:1px solid var(--border);border-radius:22px;padding:16px;background:linear-gradient(135deg,var(--surface),var(--surface2));box-shadow:0 14px 40px var(--shadow)}.mobile-result-hero--tautology{border-color:color-mix(in srgb,var(--success) 70%,var(--border))}.mobile-result-hero--contradiction{border-color:color-mix(in srgb,var(--error) 70%,var(--border))}.mobile-result-hero--contingent{border-color:color-mix(in srgb,var(--accent) 70%,var(--border))}.mobile-result-hero__topline,.mobile-result-hero__expr-row{display:flex;align-items:center;justify-content:space-between;gap:10px}.mobile-result-hero__eyebrow{color:var(--text-dim);font-size:11px;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.mobile-result-hero__badge{padding:4px 8px;border-radius:999px;background:var(--inset-strong);color:var(--text);font-size:12px;font-weight:700}.mobile-result-hero__verdict{margin-top:6px;font-size:clamp(20px,6vw,28px);font-weight:700;letter-spacing:-.03em;color:var(--text)}.mobile-result-hero__expr-row{margin-top:12px;align-items:flex-start}.mobile-result-hero__expr{flex:1;min-width:0;padding:9px 10px;border-radius:12px;background:var(--bg);color:var(--accent2);font-family:var(--font-mono);font-size:12px;white-space:pre-wrap;overflow-wrap:anywhere}.mobile-result-hero__copy,.mobile-share-sheet__button{min-height:40px;border:1px solid var(--accent);border-radius:12px;background:var(--accent);color:var(--on-accent);font-weight:800;padding:0 12px;cursor:pointer}.example-picker{display:flex;flex-wrap:wrap;gap:8px}.example-picker__chip{border:1px solid var(--border);border-radius:14px;background:var(--surface);color:var(--text);display:flex;flex-direction:column;align-items:flex-start;gap:3px;min-height:48px;padding:8px 10px;cursor:pointer}.example-picker__chip:hover,.example-picker__chip:focus-visible{border-color:var(--accent);background:var(--hover-tint)}.example-picker__label{font-weight:700;font-size:12px}.example-picker__source{color:var(--text-dim);font-family:var(--font-mono);font-size:10px}.mobile-examples-block{border:1px solid var(--border);border-radius:16px;background:var(--surface);padding:10px}.mobile-examples-block__head{display:flex;align-items:center;justify-content:space-between;margin-bottom:8px}.mobile-examples-block__title{color:var(--text-dim);font-size:11px;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.mobile-examples-block__toggle{min-height:32px;padding:0 12px;border:1px solid var(--border);border-radius:999px;background:var(--bg);color:var(--text-dim);font-size:12px;font-weight:700;cursor:pointer}.mobile-examples-pill{align-self:flex-start;min-height:36px;padding:0 14px;border:1px dashed var(--border);border-radius:999px;background:transparent;color:var(--text-dim);font-size:12px;font-weight:700;cursor:pointer}.operator-keyboard{position:sticky;bottom:0;z-index:40;display:flex;gap:6px;overflow-x:auto;padding:8px 8px max(8px,env(safe-area-inset-bottom));margin:0 -12px calc(-72px - env(safe-area-inset-bottom));background:var(--surface);border-top:1px solid var(--border);box-shadow:0 -8px 22px var(--shadow);transition:transform .12s ease-out}.operator-keyboard--fixed{position:fixed;left:0;right:0;bottom:0;margin:0}.operator-keyboard__key,.operator-keyboard__var{min-width:44px;min-height:44px;border:1px solid var(--border);border-radius:12px;background:var(--bg);color:var(--text);font-weight:800;display:inline-flex;align-items:center;justify-content:center;padding:0 10px;flex-shrink:0}.operator-keyboard__key--undo{color:var(--text-dim);font-size:12px}.operator-keyboard__var{gap:6px;color:var(--accent)}.operator-keyboard__var select{background:transparent;color:var(--text);border:0;font-weight:800}.mobile-tools-list{display:flex;flex-direction:column;gap:10px}.mobile-tool-row{min-height:68px;width:100%;border:1px solid var(--border);border-radius:18px;background:var(--surface);color:var(--text);display:flex;align-items:center;gap:12px;padding:12px;text-align:left;cursor:pointer}.mobile-tool-row__icon{width:38px;height:38px;border-radius:12px;background:var(--accent-soft);color:var(--accent);display:grid;place-items:center;font-weight:900;flex-shrink:0}.mobile-tool-row__copy{display:flex;flex-direction:column;gap:3px;min-width:0;flex:1}.mobile-tool-row__title{font-size:15px;font-weight:800}.mobile-tool-row__subtitle{color:var(--text-dim);font-size:12px;line-height:1.3}.mobile-tool-row__chevron{color:var(--text-dim);font-size:24px}.mobile-sheet{position:fixed;top:0;right:0;bottom:0;left:0;z-index:80;pointer-events:none}.mobile-sheet__backdrop{position:absolute;top:0;right:0;bottom:0;left:0;background:var(--overlay);border:0;pointer-events:auto}.mobile-sheet__panel{position:absolute;left:0;right:0;bottom:0;max-height:min(82dvh,760px);min-height:260px;display:flex;flex-direction:column;background:var(--bg);border:1px solid var(--border);border-bottom:0;border-radius:24px 24px 0 0;box-shadow:0 -18px 48px var(--shadow-strong);padding-bottom:env(safe-area-inset-bottom);pointer-events:auto;transition:transform .16s ease-out}.mobile-sheet__panel--peek{max-height:50dvh}.mobile-sheet__handle-zone{padding:max(8px,env(safe-area-inset-top)) 0 4px;display:grid;place-items:center;touch-action:none}.mobile-sheet__handle{width:42px;height:5px;border:0;border-radius:999px;background:var(--border)}.mobile-sheet__header{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:0 16px 10px;border-bottom:1px solid var(--border)}.mobile-sheet__title{font-size:16px;color:var(--accent)}.mobile-sheet__close{min-width:40px;min-height:40px;border:1px solid var(--border);border-radius:12px;background:var(--surface);color:var(--text)}.mobile-sheet__body{overflow-y:auto;-webkit-overflow-scrolling:touch;padding:12px}.mobile-sheet__body>*{border-radius:14px}.mobile-share-sheet{display:flex;flex-direction:column;gap:12px;color:var(--text-dim)}@media(max-width:719px){body{min-height:100dvh;overflow:hidden}.app{height:100dvh}.app-header{padding-top:max(8px,env(safe-area-inset-top))}.app-body{display:block}.editor-panel{border-radius:16px;overflow:hidden}.editor-textarea,.editor-highlight{font-size:16px;line-height:1.55}.panel-header{min-height:38px}.shortcut-hint{display:none!important}.notebook-col{display:none}}html,body,#root,.app{overscroll-behavior:contain}.mobile-app{display:flex;flex-direction:column;height:100dvh;min-height:0;overflow:hidden;background:var(--bg)}.mobile-view--stats{padding:0 0 calc(56px + env(safe-area-inset-bottom));overflow:hidden}.mobile-view--stats .stats-panel{height:100%;overflow-y:auto;border-radius:0}@media(orientation:landscape)and (max-width:1023px)and (pointer:coarse){.mobile-app--landscape-graph .mobile-header,.mobile-app--landscape-graph:not(.mobile-app--nav-visible) .mobile-bottom-nav{display:none}.mobile-app--landscape-graph .mobile-view--graph{padding-bottom:0}}.mobile-landscape-menu{position:fixed;right:max(14px,env(safe-area-inset-right));top:max(14px,env(safe-area-inset-top));z-index:70;width:48px;height:48px;border:1px solid var(--border);border-radius:16px;background:color-mix(in srgb,var(--surface) 92%,transparent);color:var(--text);box-shadow:0 10px 28px var(--shadow);font-size:20px}.mobile-sheet__panel--peek,.mobile-sheet__panel--half,.mobile-sheet__panel--full{max-height:min(82dvh,760px)}.mobile-sheet__handle-zone{cursor:grab}.mobile-sheet__handle-zone:active{cursor:grabbing}.graph-fit-button{position:absolute;z-index:10;border:1px solid var(--border);background:var(--surface2);color:var(--text-dim);cursor:pointer}.graph-fit-button--desktop{top:8px;right:8px;border-radius:4px;padding:3px 8px;font-size:12px}.graph-fit-button--mobile{display:none}[data-form-factor=mobile] .react-flow__controls-button{width:44px!important;height:44px!important;min-width:44px;min-height:44px}[data-form-factor=mobile] .react-flow__minimap{display:none}[data-form-factor=mobile] .react-flow__pane{touch-action:pan-x pan-y pinch-zoom!important}[data-form-factor=mobile] .graph-fit-button--desktop{display:none}[data-form-factor=mobile] .graph-fit-button--mobile{display:grid;place-items:center;right:max(16px,env(safe-area-inset-right));bottom:calc(76px + env(safe-area-inset-bottom));width:56px;height:56px;border-radius:50%;background:var(--accent);color:var(--on-accent);border-color:var(--accent);box-shadow:0 14px 32px var(--shadow-strong);font-size:24px;font-weight:900}.mobile-app--landscape-graph:not(.mobile-app--nav-visible) .graph-fit-button--mobile{bottom:max(18px,env(safe-area-inset-bottom))}.mobile-stats-strip{display:flex;gap:10px;overflow-x:auto;padding:2px 2px 8px;scroll-snap-type:x proximity;-webkit-overflow-scrolling:touch}.mobile-stat-card{scroll-snap-align:start;flex:0 0 96px;width:96px;height:80px;border:1px solid var(--border);border-radius:18px;background:linear-gradient(180deg,var(--surface),var(--surface2));color:var(--text);padding:9px;text-align:left;display:flex;flex-direction:column;justify-content:space-between;box-shadow:0 8px 22px var(--shadow)}.mobile-stat-card__label{color:var(--text-dim);font-size:10px;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.mobile-stat-card__value{color:var(--accent);font-size:18px;line-height:1;overflow:hidden;text-overflow:ellipsis}.mobile-stat-card__hint{color:var(--text-dim);font-size:10px;line-height:1.15;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.mobile-stat-detail{background:var(--surface);border:1px solid var(--border);border-radius:14px;padding:14px}.mobile-stat-detail h3{color:var(--accent);margin-bottom:10px}.mobile-stat-detail ul{margin:0;padding-left:18px;color:var(--text)}.mobile-stat-detail li{margin:6px 0}[data-form-factor=mobile] .editor-shell--mobile{margin:0;border-radius:18px}[data-form-factor=mobile] .editor-shell--mobile .editor-highlight,[data-form-factor=mobile] .editor-shell--mobile .editor-textarea--overlay{min-height:calc(1.55em + 24px);max-height:calc(12.4em + 24px);font-size:16px;line-height:1.55;padding:12px}[data-form-factor=mobile] .editor-shell--mobile .op-token{color:var(--accent);font-weight:900}[data-form-factor=mobile] .editor-shell--mobile .parse-error-token{text-decoration:wavy underline var(--error);text-decoration-thickness:1.5px;text-underline-offset:3px}.mobile-result-hero{position:relative;touch-action:pan-y}.mobile-share-fab{position:absolute;top:12px;right:12px;min-width:48px;height:40px;border:1px solid var(--accent-strong);border-radius:999px;background:color-mix(in srgb,var(--accent) 18%,var(--surface));color:var(--accent);font-weight:900;display:inline-flex;align-items:center;justify-content:center;gap:4px;padding:0 10px}.mobile-share-fab__label{font-size:11px}.mobile-toast{position:absolute;left:50%;bottom:10px;transform:translate(-50%);padding:7px 11px;border-radius:999px;background:var(--text);color:var(--bg);font-weight:800;font-size:12px;box-shadow:0 8px 24px var(--shadow)}.mobile-force-popover{position:fixed;z-index:120;transform:translate(-50%,-115%);display:flex;gap:6px;padding:8px;border:1px solid var(--border);border-radius:999px;background:var(--surface);box-shadow:0 16px 40px var(--shadow-strong)}.mobile-force-popover__item,.mobile-force-popover__close{width:42px;height:42px;border:1px solid var(--border);border-radius:50%;background:var(--bg);color:var(--text);font-weight:900}.mobile-force-popover__item:focus-visible,.mobile-force-popover__close:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.mobile-empty-state{min-height:100%;display:flex;flex-direction:column;gap:14px;justify-content:center;padding-bottom:24px}.mobile-empty-state__hero{border:1px solid var(--border);border-radius:26px;padding:22px;background:radial-gradient(circle at top left,var(--accent-soft),transparent 55%),var(--surface);box-shadow:0 16px 44px var(--shadow)}.mobile-empty-state__eyebrow{color:var(--accent);font-size:12px;font-weight:900;letter-spacing:.12em;text-transform:uppercase;margin-bottom:8px}.mobile-empty-state__hero h2{font-size:clamp(30px,10vw,46px);line-height:.95;letter-spacing:-.07em;margin-bottom:12px}.mobile-empty-state__hero p:last-child{color:var(--text-dim);line-height:1.45}.example-picker--empty .example-picker__chip:nth-child(n+5){display:flex}.mobile-empty-state__more{align-self:center;min-height:44px;border:1px solid var(--border);border-radius:999px;background:var(--surface);color:var(--accent);font-weight:800;padding:0 16px}.mobile-bottom-nav{grid-template-columns:repeat(5,minmax(0,1fr))}.mobile-bottom-nav__icon{font-size:15px}.mobile-bottom-nav__label{font-size:10px}.graph-minimap-toggle{display:none;position:absolute;z-index:10;right:max(16px,env(safe-area-inset-right));bottom:calc(140px + env(safe-area-inset-bottom));width:48px;height:48px;border:1px solid var(--border);border-radius:50%;background:var(--surface2);color:var(--text);box-shadow:0 10px 26px var(--shadow);font-size:20px;font-weight:900}[data-form-factor=mobile] .graph-minimap-toggle{display:grid;place-items:center}[data-form-factor=mobile] .graph-minimap-toggle--open{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}[data-form-factor=mobile] .react-flow__minimap.react-flow__minimap--open{display:block;right:max(14px,env(safe-area-inset-right));bottom:calc(196px + env(safe-area-inset-bottom));width:min(42vw,180px);height:112px;border:1px solid var(--border);border-radius:14px;overflow:hidden;box-shadow:0 14px 32px var(--shadow-strong)}.mobile-app--landscape-graph:not(.mobile-app--nav-visible) .graph-minimap-toggle{bottom:calc(84px + env(safe-area-inset-bottom))}.mobile-declare-popover{position:fixed;z-index:120;transform:translate(-50%,-112%);display:flex;align-items:center;gap:6px;max-width:calc(100vw - 24px);overflow-x:auto;padding:8px;border:1px solid var(--border);border-radius:999px;background:var(--surface);box-shadow:0 16px 40px var(--shadow-strong)}.mobile-declare-popover__name{flex:0 0 auto;color:var(--accent);font-family:var(--font-mono);font-size:12px;font-weight:900;padding:0 4px 0 6px}.mobile-declare-popover button{flex:0 0 auto;min-width:42px;height:38px;border:1px solid var(--border);border-radius:999px;background:var(--bg);color:var(--text);font-weight:800;padding:0 10px}.mobile-declare-popover__close{min-width:38px!important;padding:0!important;border-radius:50%!important;color:var(--text-dim)!important}.mobile-app--landscape-graph:not(.mobile-app--nav-visible) .react-flow__minimap.react-flow__minimap--open{bottom:calc(140px + env(safe-area-inset-bottom))}.skip-link{position:fixed;top:max(8px,env(safe-area-inset-top));left:12px;z-index:2000;transform:translateY(calc(-100% - 16px));background:var(--accent);color:var(--on-accent);border-radius:999px;padding:9px 14px;font-weight:800;text-decoration:none;box-shadow:0 10px 26px var(--shadow-strong);transition:transform .12s ease-out}.skip-link:focus,.skip-link:focus-visible{transform:translateY(0);outline:2px solid var(--accent2);outline-offset:2px}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--accent2);outline-offset:2px}.install-app{display:inline-flex;align-items:center;gap:2px;border:1px solid var(--border);border-radius:999px;background:var(--surface2);overflow:hidden;align-self:center}.install-app__button,.install-app__dismiss{min-height:32px;border:0;background:transparent;color:var(--text);cursor:pointer}.install-app__button{padding:0 10px;font-size:12px;font-weight:800;color:var(--accent)}.install-app__dismiss{width:32px;color:var(--text-dim);font-size:16px}.install-app__button:hover,.install-app__dismiss:hover{background:var(--hover-tint)}.mobile-header .install-app__button{font-size:0;width:42px;min-height:38px;padding:0}.mobile-header .install-app__button:before{content:"⇩";font-size:18px}.mobile-header .install-app__dismiss{width:32px;min-height:38px}.history-panel{background:var(--surface);border-top:1px solid var(--border)}.history-panel__header{gap:8px}.history-panel__clear{margin-left:auto;min-height:28px;border:1px solid var(--border);border-radius:4px;background:var(--surface2);color:var(--text-dim);cursor:pointer;padding:3px 8px;font-size:11px}.history-panel__clear:hover{color:var(--text);border-color:var(--accent2)}.history-panel__list{list-style:none;display:flex;flex-direction:column;gap:1px;background:var(--border)}.history-panel__row{display:grid;grid-template-columns:1fr 42px;align-items:stretch;background:var(--surface)}.history-panel__row--favorite{box-shadow:inset 3px 0 0 var(--accent)}.history-panel__load{min-width:0;border:0;background:transparent;color:var(--text);display:flex;flex-direction:column;align-items:flex-start;gap:3px;padding:9px 10px 9px 12px;text-align:left;cursor:pointer}.history-panel__load:hover{background:var(--hover-tint)}.history-panel__source{max-width:100%;color:var(--accent2);font-family:var(--font-mono);font-size:11px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.history-panel__time{color:var(--text-dim);font-size:10px}.history-panel__star{min-width:42px;min-height:42px;border:0;border-left:1px solid var(--border);background:var(--surface);color:var(--text-dim);cursor:pointer;font-size:18px}.history-panel__star[aria-pressed=true]{color:var(--accent)}.history-panel__star:hover{background:var(--accent-soft);color:var(--accent)}.history-panel--compact{border:1px solid var(--border);border-radius:14px;overflow:hidden}[data-form-factor=tablet] .app-header{align-items:center;flex-wrap:wrap;padding:9px 14px}[data-form-factor=tablet] .app-subtitle{display:none}[data-form-factor=tablet] .left-col{width:280px}[data-form-factor=tablet] .right-rail{display:none}[data-form-factor=tablet] .right-tabs{flex-wrap:nowrap;overflow-x:auto;-webkit-overflow-scrolling:touch}[data-form-factor=tablet] .right-tab{min-height:34px;white-space:nowrap}[data-form-factor=tablet] .graph-view{min-height:360px}[data-form-factor=tablet] .intro-cover__card{width:min(460px,calc(100% - 24px))}[data-form-factor=tablet] .modal-panel,[data-form-factor=tablet] .cmd-menu{max-width:calc(100vw - 32px)}[data-form-factor=mobile] .theme-toggle,[data-form-factor=mobile] .btn-icon,[data-form-factor=mobile] .constraint-pill,[data-form-factor=mobile] .bucket-pill,[data-form-factor=mobile] .graph-show-all-btn,[data-form-factor=mobile] .coverage-action-btn,[data-form-factor=mobile] .dt-toggle-btn,[data-form-factor=mobile] .rw-btn,[data-form-factor=mobile] .ie-btn,[data-form-factor=mobile] .ie-tab,[data-form-factor=mobile] .ie-copy-btn,[data-form-factor=mobile] .export-btn,[data-form-factor=mobile] .equiv-diff__quick-btn,[data-form-factor=mobile] .equiv-diff__toggle-rows,[data-form-factor=mobile] .stats-panel__clear{min-height:44px}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.01ms!important}.mobile-sheet__panel,.operator-keyboard,.skip-link{transition:none!important}}.teaching-toggle{margin-left:0;position:relative}.teaching-toggle__icon{width:16px;height:16px;border:1.5px solid currentColor;border-radius:999px;display:inline-flex;align-items:center;justify-content:center;font-size:11px;font-weight:700;font-family:var(--font-mono, monospace);line-height:1}.teaching-toggle--off .teaching-toggle__icon:after{content:"";position:absolute;width:22px;height:1.5px;background:currentColor;transform:rotate(-35deg)}.info-disclosure{display:inline-flex;position:relative;align-items:center;justify-content:center;width:16px;height:16px;min-width:16px;min-height:16px;margin-left:4px;border:1px solid currentColor;border-radius:999px;color:var(--text-dim);background:transparent;font-size:10px;font-weight:700;font-family:var(--font-mono, monospace);line-height:1;vertical-align:text-bottom;cursor:pointer;opacity:.8;transition:color .15s,opacity .15s,background .15s,border-color .15s}.info-disclosure:hover,.info-disclosure:focus-visible{color:var(--accent);border-color:var(--accent);background:var(--hover-tint);opacity:1;outline:2px solid var(--accent2);outline-offset:2px}[data-teaching=off] .info-disclosure{display:none!important}.concept-modal{width:min(520px,calc(100vw - 32px))}.concept-modal__title{margin-bottom:3px}.concept-modal__short{margin:0;color:var(--accent2);font-size:12px;font-weight:600}.concept-modal__body{gap:14px}.concept-modal__body p{margin:0;color:var(--text);font-size:13px;line-height:1.6}.concept-modal__related{color:var(--text-dim)!important;font-size:12px!important}.concept-modal__learn-more{border-top:1px solid var(--border);padding-top:12px}.concept-modal__learn-more h3{margin:0 0 8px;font-size:12px;color:var(--text-dim);text-transform:uppercase;letter-spacing:.08em}.concept-modal__learn-more ul{margin:0;padding-left:18px}.concept-modal__learn-more li{margin:4px 0;font-size:13px}.concept-modal__learn-more a{color:var(--accent)}@media(max-width:640px),(pointer:coarse){.info-disclosure{width:20px;height:20px;min-width:20px;min-height:20px;font-size:12px;margin-left:6px}.info-disclosure:before{content:"";position:absolute;top:-6px;right:-6px;bottom:-6px;left:-6px}}.kmap-panel{background:var(--surface);border:1px solid var(--border);border-radius:6px;padding:12px}.kmap-panel--empty .kmap-empty{color:var(--text-dim);font-size:13px;line-height:1.5;margin:0}.kmap-header{margin-bottom:10px}.kmap-title{font-size:13px;font-weight:600;margin:0 0 4px}.kmap-subtitle{font-size:11px;color:var(--text-dim);margin:0;line-height:1.45}.kmap-grid-wrap{overflow-x:auto}.kmap-grid{border-collapse:separate;border-spacing:2px;font-family:var(--mono, monospace);font-size:12px}.kmap-corner{background:transparent;color:var(--text-dim);font-weight:400;text-align:center;padding:4px 6px}.kmap-corner-row,.kmap-corner-col{font-weight:600;color:var(--text)}.kmap-corner-sep{padding:0 2px}.kmap-col-header,.kmap-row-header{background:var(--surface-2, var(--surface));color:var(--text-dim);font-weight:500;padding:4px 8px;text-align:center;border-radius:3px}.kmap-cell{width:36px;height:36px;text-align:center;vertical-align:middle;font-weight:600;border-radius:3px;-webkit-user-select:none;user-select:none}.kmap-cell--one{background:color-mix(in srgb,var(--accent) 28%,transparent);color:var(--text);border:1px solid color-mix(in srgb,var(--accent) 60%,transparent)}.kmap-cell--zero{background:color-mix(in srgb,var(--text-dim) 6%,transparent);color:var(--text-dim);border:1px solid var(--border)}.kmap-cell--dc{background:transparent;color:var(--text-dim);border:1px dashed var(--border);font-style:italic}.kmap-legend{display:flex;gap:16px;margin-top:10px;font-size:11px;color:var(--text-dim)}.kmap-legend-item{display:inline-flex;align-items:center;gap:6px}.kmap-swatch{display:inline-block;width:14px;height:14px;border-radius:3px}.kmap-swatch--one{background:color-mix(in srgb,var(--accent) 28%,transparent);border:1px solid color-mix(in srgb,var(--accent) 60%,transparent)}.kmap-swatch--zero{background:color-mix(in srgb,var(--text-dim) 6%,transparent);border:1px solid var(--border)}.kmap-swatch--dc{background:transparent;border:1px dashed var(--border)}.ui-mode-toggle{font-weight:700;letter-spacing:-.5px}.ui-mode-toggle--basic{color:var(--text-dim)}.ui-mode-toggle--advanced{color:var(--accent)}.ui-mode-toggle__icon{display:inline-block;width:14px;height:14px;font-size:11px;line-height:14px;text-align:center}:root[data-ui-mode=basic] .ls-jargon{display:none!important}:root[data-ui-mode=advanced] .ls-plain{display:none!important}:root{color-scheme:dark}