:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;background-color:#242424;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;display:flex;min-width:320px;min-height:100vh}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#1a1a1a;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}.card{padding:2em}#app{width:100%;min-height:100vh}@media(prefers-color-scheme:light){:root{color:#213547;background-color:#fff}a:hover{color:#747bff}button{background-color:#f9f9f9}}.editor-container[data-v-092c5417]{display:flex;flex-direction:column;height:100%;background:var(--bg-color);border:1px solid var(--border-color);border-radius:4px;overflow:hidden}.editor-header[data-v-092c5417]{display:flex;align-items:center;gap:.5rem;padding:.5rem 1rem;background:var(--accent-color);border-bottom:1px solid var(--border-color);font-size:.85rem;justify-content:space-between}.file-icon[data-v-092c5417]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.file-name[data-v-092c5417]{color:#94a3b8}.editor-content[data-v-092c5417]{position:relative;flex:1;overflow:hidden}.highlight-layer[data-v-092c5417]{position:absolute;inset:0;padding:1rem;font-family:JetBrains Mono,Fira Code,monospace;font-size:.9rem;line-height:1.6;white-space:pre-wrap;word-wrap:break-word;color:var(--text-color);pointer-events:none;overflow:auto;text-align:left}.code-input[data-v-092c5417]{position:absolute;top:0;left:0;width:100%;height:100%;padding:1rem;background:transparent;border:none;color:transparent;caret-color:var(--text-color);font-family:JetBrains Mono,Fira Code,monospace;font-size:.9rem;line-height:1.6;resize:none;outline:none;text-align:left}.code-input[data-v-092c5417]::placeholder{color:#4a5568}[data-v-092c5417] .comment{color:#6b7280;font-style:italic}[data-v-092c5417] .operator{color:#f472b6;font-weight:500}[data-v-092c5417] .symbol{font-weight:700}[data-v-092c5417] .symbol.infinity{color:#fbbf24}[data-v-092c5417] .symbol.male{color:#60a5fa}[data-v-092c5417] .symbol.female{color:#f472b6}[data-v-092c5417] .symbol.context{color:#67e8f9}[data-v-092c5417] .negation{color:#ef4444;font-weight:700}[data-v-092c5417] .define{color:#60a5fa;font-weight:700}[data-v-092c5417] .equality{color:#34d399;font-weight:500}[data-v-092c5417] .bracket{color:#94a3b8}[data-v-092c5417] .bracket.paren{color:#fbbf24}[data-v-092c5417] .bracket.brace{color:#f472b6}[data-v-092c5417] .bracket.square{color:#60a5fa}[data-v-092c5417] .number{color:#a78bfa;font-weight:700}[data-v-092c5417] .identifier{color:#e2e8f0}[data-v-092c5417] .dot{color:#94a3b8}[data-v-092c5417] .ast-highlight{background:#667eea4d;border-radius:2px;box-shadow:0 0 0 1px #667eea80}[data-v-092c5417] .error-highlight{background:#f8717166;border-radius:2px;box-shadow:0 0 0 2px var(--error-color);padding:0 2px;animation:pulse-error-092c5417 1.5s ease-in-out infinite}@keyframes pulse-error-092c5417{0%,to{box-shadow:0 0 0 2px var(--error-color)}50%{box-shadow:0 0 0 2px var(--error-color),0 0 8px 2px var(--error-color)}}.editor-container.drag-over[data-v-092c5417]{border-color:#667eea;box-shadow:0 0 0 2px #667eea4d}.drop-overlay[data-v-092c5417]{position:absolute;inset:0;background:#667eea26;-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px);display:flex;align-items:center;justify-content:center;z-index:10;border-radius:4px}.drop-message[data-v-092c5417]{display:flex;flex-direction:column;align-items:center;gap:.5rem;color:var(--text-color);font-size:1rem}.drop-icon[data-v-092c5417]{font-size:2rem}.symbol-buttons[data-v-092c5417]{display:flex;align-items:center;gap:.35rem;margin-left:auto}.symbol-btn[data-v-092c5417]{background:#667eea33;color:var(--text-color);border:1px solid rgba(102,126,234,.4);padding:.25rem .5rem;border-radius:4px;font-family:inherit;font-size:1rem;cursor:pointer;transition:all .2s;min-width:2rem;display:flex;align-items:center;justify-content:center}.symbol-btn[data-v-092c5417]:hover{background:#667eea59;border-color:#667eea99;transform:translateY(-1px);box-shadow:0 2px 4px #0003}.symbol-btn[data-v-092c5417]:active{transform:translateY(0)}.symbol-btn[data-v-092c5417]:nth-child(1){color:#fbbf24;font-weight:700}.symbol-btn[data-v-092c5417]:nth-child(2){color:#60a5fa;font-weight:700}.symbol-btn[data-v-092c5417]:nth-child(3){color:#f472b6;font-weight:700}.ast-viewer[data-v-872c1fc0]{display:flex;flex-direction:column;height:100%;background:var(--bg-color);border:1px solid var(--border-color);border-radius:4px;overflow:hidden}.ast-header[data-v-872c1fc0]{display:flex;align-items:center;gap:.5rem;padding:.5rem 1rem;background:var(--accent-color);border-bottom:1px solid var(--border-color);font-size:.85rem}.ast-icon[data-v-872c1fc0]{background:linear-gradient(135deg,#34d399,#10b981);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.ast-title[data-v-872c1fc0]{color:#94a3b8}.ast-controls[data-v-872c1fc0]{display:flex;gap:.25rem;margin-left:auto}.ast-btn[data-v-872c1fc0]{display:flex;align-items:center;gap:.25rem;background:transparent;color:#94a3b8;border:1px solid var(--border-color);padding:.2rem .5rem;border-radius:3px;font-family:inherit;font-size:.75rem;cursor:pointer;transition:all .15s}.ast-btn[data-v-872c1fc0]:hover{background:#ffffff1a;color:var(--text-color);border-color:#4a5568}.btn-icon[data-v-872c1fc0]{font-size:.85rem}.btn-text[data-v-872c1fc0]{display:none}@media(min-width:1400px){.btn-text[data-v-872c1fc0]{display:inline}}.ast-content[data-v-872c1fc0]{flex:1;overflow:auto;padding:1rem}.ast-error[data-v-872c1fc0]{display:flex;align-items:center;gap:.5rem;padding:1rem;color:var(--error-color)}.ast-error-footer[data-v-872c1fc0]{display:flex;align-items:center;gap:.5rem;padding:.75rem 1rem;margin-top:.5rem;background:#f871711a;border-top:1px solid var(--error-color);color:var(--error-color);font-size:.85rem}.error-icon[data-v-872c1fc0]{display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;background:var(--error-color);color:#fff;border-radius:50%;font-size:.75rem;font-weight:700}.ast-empty[data-v-872c1fc0]{display:flex;align-items:left;justify-content:left;flex:1;color:#64748b}.tree-root[data-v-872c1fc0]{font-family:JetBrains Mono,Fira Code,monospace;font-size:.85rem;align-items:left;text-align:left}.tree-node-content[data-v-872c1fc0]{display:flex;align-items:left;gap:.25rem;padding:.25rem .5rem;border-radius:3px;cursor:pointer;transition:background-color .15s;text-align:left}.tree-node-content[data-v-872c1fc0]:hover{background:#667eea33}[data-v-872c1fc0] .tree-node-content.highlighted{background:#667eea59;border-radius:3px;box-shadow:0 0 0 2px #667eea80}.tree-toggle[data-v-872c1fc0]{width:1rem;color:#64748b;font-size:.7rem}.tree-toggle.expanded[data-v-872c1fc0]{color:#94a3b8}.tree-leaf[data-v-872c1fc0]{color:#4a5568}.tree-label[data-v-872c1fc0]{color:var(--text-color)}.tree-type[data-v-872c1fc0]{color:#64748b;font-size:.75rem;margin-left:.5rem}.tree-loc[data-v-872c1fc0]{color:#4a5568;font-size:.65rem;margin-left:auto;font-style:italic}.tree-child-count[data-v-872c1fc0]{color:#64748b;font-size:.7rem;margin-left:.25rem;opacity:.7}.tree-load-more[data-v-872c1fc0]{padding:.25rem 0}.load-more-btn[data-v-872c1fc0]{background:transparent;color:#667eea;border:1px dashed #667eea;padding:.25rem .5rem;border-radius:3px;font-family:inherit;font-size:.7rem;cursor:pointer;transition:all .15s}.load-more-btn[data-v-872c1fc0]:hover{background:#667eea1a;border-style:solid}[data-v-872c1fc0] .node-structural .tree-label{color:#94a3b8;font-weight:500}[data-v-872c1fc0] .node-link .tree-label{color:#f472b6;font-weight:600}[data-v-872c1fc0] .node-define .tree-label{color:#60a5fa;font-weight:600}[data-v-872c1fc0] .node-equality .tree-label{color:#34d399;font-weight:600}[data-v-872c1fc0] .node-symbol .tree-label{color:#fbbf24;font-weight:600}[data-v-872c1fc0] .node-not .tree-label{color:#f87171;font-weight:600}[data-v-872c1fc0] .node-number .tree-label{color:#a78bfa;font-weight:600}[data-v-872c1fc0] .node-identifier .tree-label{color:#67e8f9;font-weight:500}.error-panel[data-v-487bf69d]{background:#f871711a;border:1px solid var(--error-color);border-radius:4px;overflow:hidden}.error-header[data-v-487bf69d]{display:flex;align-items:center;gap:.5rem;padding:.5rem 1rem;background:#f8717126;border-bottom:1px solid rgba(248,113,113,.3)}.error-icon[data-v-487bf69d]{display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;background:var(--error-color);color:#fff;border-radius:50%;font-size:.75rem;font-weight:700}.error-title[data-v-487bf69d]{color:var(--error-color);font-weight:600}.error-content[data-v-487bf69d]{padding:.75rem 1rem}.error-message[data-v-487bf69d]{margin:0;font-family:JetBrains Mono,Fira Code,monospace;font-size:.85rem;color:var(--error-color);white-space:pre-wrap;word-break:break-word}.link-graph-viewer[data-v-15ca4444]{display:flex;flex-direction:column;height:100%;overflow:hidden}.graph-toolbar[data-v-15ca4444]{display:flex;align-items:center;gap:.75rem;padding:.5rem .75rem;background:#0003;border-bottom:1px solid var(--border-color);flex-shrink:0}.graph-title[data-v-15ca4444]{font-weight:600;font-size:.85rem;color:#94a3b8}.graph-controls[data-v-15ca4444]{display:flex;align-items:center;gap:.35rem}.layout-select[data-v-15ca4444]{background:var(--accent-color);color:#94a3b8;border:1px solid var(--border-color);border-radius:4px;padding:.25rem .5rem;font-family:inherit;font-size:.75rem;cursor:pointer}.layout-select[data-v-15ca4444]:hover{color:var(--text-color)}.graph-btn[data-v-15ca4444]{background:var(--accent-color);color:#94a3b8;border:1px solid var(--border-color);border-radius:4px;padding:.25rem .5rem;font-family:inherit;font-size:.75rem;cursor:pointer;transition:all .2s}.graph-btn[data-v-15ca4444]:hover{background:#1a3a5c;color:var(--text-color)}.graph-stats[data-v-15ca4444]{margin-left:auto;font-size:.75rem;color:#64748b}.dot-export-panel[data-v-15ca4444]{border-bottom:1px solid var(--border-color);max-height:200px;overflow:hidden;display:flex;flex-direction:column;flex-shrink:0}.dot-header[data-v-15ca4444]{display:flex;align-items:center;justify-content:space-between;padding:.35rem .75rem;background:#00000026;font-size:.75rem;color:#94a3b8}.copy-btn[data-v-15ca4444]{font-size:.7rem;padding:.15rem .4rem}.dot-output[data-v-15ca4444]{padding:.5rem .75rem;font-size:.7rem;color:#94a3b8;overflow:auto;flex:1;margin:0;background:#0000001a}.graph-container[data-v-15ca4444]{flex:1;min-height:200px;position:relative}.graph-container.empty[data-v-15ca4444]{display:flex;align-items:center;justify-content:center}.graph-empty[data-v-15ca4444]{display:flex;flex-direction:column;align-items:center;gap:.75rem;color:#475569}.empty-icon[data-v-15ca4444]{font-size:1.5rem;font-family:JetBrains Mono,monospace;color:#334155}.empty-text[data-v-15ca4444]{font-size:.85rem}.graph-legend[data-v-15ca4444]{display:flex;align-items:center;gap:.75rem;padding:.4rem .75rem;background:#0003;border-top:1px solid var(--border-color);flex-shrink:0;flex-wrap:wrap}.legend-title[data-v-15ca4444]{font-size:.7rem;color:#64748b;font-weight:600}.legend-item[data-v-15ca4444]{display:flex;align-items:center;gap:.25rem;font-size:.7rem;color:#94a3b8}.legend-dot[data-v-15ca4444]{width:10px;height:10px;border-radius:50%}.link-center-dot[data-v-15ca4444]{background:#3b82f6}.atom-dot[data-v-15ca4444]{background:#22c55e;border-radius:3px}.unary-dot[data-v-15ca4444]{background:#a855f7}.legend-line[data-v-15ca4444]{width:15px;height:2px}.link-start-line[data-v-15ca4444],.link-end-line[data-v-15ca4444]{background:#3b82f6}.legend-cross[data-v-15ca4444]{font-weight:700;color:#3b82f6;font-size:.8rem}.legend-arrow[data-v-15ca4444]{color:#3b82f6;font-size:.85rem}.proof-search-panel[data-v-6dcf4c8d]{display:flex;flex-direction:column;min-height:240px;max-height:48vh;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:6px;overflow:hidden}.proof-search-header[data-v-6dcf4c8d]{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.55rem .75rem;background:var(--accent-color);border-bottom:1px solid var(--border-color)}.proof-search-header>div[data-v-6dcf4c8d]:first-child{display:flex;align-items:baseline;gap:.65rem}.proof-search-subtitle[data-v-6dcf4c8d],.proof-search-empty[data-v-6dcf4c8d],.proof-search-message[data-v-6dcf4c8d],.proof-search-replay[data-v-6dcf4c8d]{color:#94a3b8;font-size:.72rem}.proof-search-action[data-v-6dcf4c8d]{padding:.25rem .5rem;color:#cbd5e1;background:#0f172a80;border:1px solid #475569;border-radius:4px;cursor:pointer}.proof-search-action[data-v-6dcf4c8d]:hover{color:#f8fafc;border-color:#94a3b8}.proof-search-action.primary[data-v-6dcf4c8d]{font-weight:600}.proof-search-action.close[data-v-6dcf4c8d]{min-width:2rem;font-size:1rem}.proof-search-body[data-v-6dcf4c8d]{display:grid;grid-template-columns:minmax(260px,.9fr) minmax(320px,1.1fr);gap:.75rem;min-height:0;padding:.75rem;overflow:auto}.proof-search-inputs[data-v-6dcf4c8d],.proof-search-result[data-v-6dcf4c8d]{display:flex;flex-direction:column;gap:.45rem;min-width:0}.proof-search-inputs label[data-v-6dcf4c8d]{color:#cbd5e1;font-size:.72rem;font-weight:600}.proof-search-source[data-v-6dcf4c8d],.proof-search-json[data-v-6dcf4c8d],.proof-search-artifact[data-v-6dcf4c8d]{width:100%;min-height:4.5rem;padding:.55rem;color:#e2e8f0;background:#020617;border:1px solid #334155;border-radius:4px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.72rem;resize:vertical}.proof-search-json[data-v-6dcf4c8d]{min-height:5.5rem}.proof-search-json.compact[data-v-6dcf4c8d]{min-height:3.5rem}.proof-search-artifact[data-v-6dcf4c8d]{min-height:10rem;flex:1}.proof-search-summary[data-v-6dcf4c8d],.proof-search-replay[data-v-6dcf4c8d]{display:flex;align-items:center;justify-content:space-between;gap:.75rem}.proof-search-status[data-v-6dcf4c8d],.proof-search-replay-verdict[data-v-6dcf4c8d]{font-size:.72rem;font-weight:700;letter-spacing:.04em}.proof-search-status.status-proven[data-v-6dcf4c8d],.proof-search-replay-verdict.accepted[data-v-6dcf4c8d]{color:#4ade80}.proof-search-status.status-not-proven[data-v-6dcf4c8d]{color:#facc15}.proof-search-status.status-error[data-v-6dcf4c8d],.proof-search-replay-verdict.rejected[data-v-6dcf4c8d]{color:#f87171}@media(max-width:900px){.proof-search-body[data-v-6dcf4c8d]{grid-template-columns:1fr}}.proof-replay-panel[data-v-7d625b77]{display:flex;flex-direction:column;min-height:240px;max-height:48vh;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:6px;overflow:hidden}.proof-replay-header[data-v-7d625b77]{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.55rem .75rem;background:var(--accent-color);border-bottom:1px solid var(--border-color)}.proof-replay-header>div[data-v-7d625b77]:first-child{display:flex;align-items:baseline;gap:.65rem}.proof-replay-subtitle[data-v-7d625b77],.proof-source-label[data-v-7d625b77],.proof-meta[data-v-7d625b77],.proof-none[data-v-7d625b77]{color:#94a3b8;font-size:.72rem}.proof-replay-actions[data-v-7d625b77]{display:flex;gap:.35rem}.proof-file-input[data-v-7d625b77]{display:none}.proof-action[data-v-7d625b77]{padding:.25rem .5rem;color:#cbd5e1;background:#0f172a80;border:1px solid var(--border-color);border-radius:4px;cursor:pointer}.proof-action[data-v-7d625b77]:hover{color:#fff}.proof-action.close[data-v-7d625b77]{font-size:1rem;line-height:1}.proof-replay-body[data-v-7d625b77]{display:grid;grid-template-columns:minmax(280px,.8fr) minmax(360px,1.2fr);gap:.6rem;min-height:0;padding:.6rem;overflow:hidden}.proof-source-label[data-v-7d625b77]{grid-column:1}.proof-source[data-v-7d625b77]{grid-column:1;min-height:160px;width:100%;resize:vertical;padding:.55rem;color:#e2e8f0;background:#0f172a;border:1px solid var(--border-color);border-radius:4px;font-family:inherit;font-size:.75rem}.proof-result[data-v-7d625b77]{grid-column:2;grid-row:1 / span 2;min-height:0;overflow:auto;padding:.55rem;border:1px solid var(--border-color);border-radius:4px}.proof-empty[data-v-7d625b77],.proof-invalid[data-v-7d625b77]{display:flex;flex-direction:column;gap:.4rem;color:#94a3b8}.proof-invalid[data-v-7d625b77]{color:var(--error-color)}.proof-summary[data-v-7d625b77],.proof-step-header[data-v-7d625b77],.proof-meta[data-v-7d625b77]{display:flex;align-items:center;gap:.55rem;flex-wrap:wrap}.proof-summary[data-v-7d625b77]{margin-bottom:.6rem}.proof-verdict[data-v-7d625b77],.step-verdict[data-v-7d625b77]{padding:.12rem .35rem;border-radius:3px;font-size:.7rem;font-weight:700}.accepted[data-v-7d625b77]{color:var(--success-color);background:#4ade801a}.rejected[data-v-7d625b77]{color:var(--error-color);background:#f871711a}.proof-steps[data-v-7d625b77],.proof-values[data-v-7d625b77],.context-rows[data-v-7d625b77]{display:flex;flex-direction:column;gap:.35rem}.proof-step[data-v-7d625b77]{padding:.55rem;background:#0f172a8c;border-left:3px solid var(--border-color);border-radius:4px}.proof-step-number[data-v-7d625b77]{color:#94a3b8;font-size:.72rem}.proof-expression[data-v-7d625b77]{display:block;margin:.5rem 0;color:#c4b5fd}.proof-section[data-v-7d625b77]{margin-top:.45rem}.proof-section-title[data-v-7d625b77]{display:block;margin-bottom:.2rem;color:#94a3b8;font-size:.68rem;text-transform:uppercase;letter-spacing:.04em}.proof-values code[data-v-7d625b77],.context-rows code[data-v-7d625b77]{font-size:.72rem}@media(max-width:900px){.proof-replay-panel[data-v-7d625b77]{max-height:60vh}.proof-replay-body[data-v-7d625b77]{display:flex;flex-direction:column;overflow:auto}.proof-source[data-v-7d625b77]{min-height:120px}.proof-result[data-v-7d625b77]{min-height:160px}}.anum-denotation-panel[data-v-8e602d5f]{border:1px solid var(--border-color);border-radius:4px;background:var(--panel-bg);overflow:hidden}.denotation-header[data-v-8e602d5f]{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.55rem .75rem;border-bottom:1px solid var(--border-color);background:var(--accent-color);font-size:.8rem}.denotation-header>div[data-v-8e602d5f]{display:flex;align-items:baseline;gap:.6rem}.boundary[data-v-8e602d5f],.veto-note[data-v-8e602d5f]{color:#64748b;font-size:.75rem}.denotation-content[data-v-8e602d5f]{padding:.65rem;max-height:320px;overflow:auto}.entry[data-v-8e602d5f]{padding:.55rem;border:1px solid var(--border-color);border-radius:4px}.entry+.entry[data-v-8e602d5f]{margin-top:.55rem}.entry-heading[data-v-8e602d5f]{display:flex;align-items:center;gap:.55rem;font-size:.76rem}.source[data-v-8e602d5f],.result[data-v-8e602d5f]{color:#c4b5fd}.kind[data-v-8e602d5f]{margin-left:auto;color:#94a3b8}.summary[data-v-8e602d5f]{display:grid;grid-template-columns:max-content minmax(0,1fr);gap:.25rem .7rem;margin:.55rem 0 0;font-size:.75rem}.summary dt[data-v-8e602d5f]{color:#64748b}.summary dd[data-v-8e602d5f]{margin:0;min-width:0}.error[data-v-8e602d5f]{margin-top:.5rem;color:var(--error-color);font-size:.75rem}.empty[data-v-8e602d5f]{color:#64748b;font-size:.8rem}.veto-note[data-v-8e602d5f]{margin-top:.65rem}.split-container[data-v-1a353870]{display:flex;width:100%;height:100%;overflow:hidden}.split-container.horizontal[data-v-1a353870]{flex-direction:row}.split-container.vertical[data-v-1a353870]{flex-direction:column}.split-pane[data-v-1a353870]{overflow:hidden;display:flex;flex-direction:column;min-width:0;min-height:0}.split-gutter[data-v-1a353870]{flex-shrink:0;display:flex;align-items:center;justify-content:center;z-index:10;transition:background-color .15s}.split-gutter.horizontal[data-v-1a353870]{width:6px;cursor:col-resize}.split-gutter.vertical[data-v-1a353870]{height:6px;cursor:row-resize}.split-gutter[data-v-1a353870]:hover,.split-container.dragging .split-gutter[data-v-1a353870]{background-color:#667eea4d}.gutter-handle[data-v-1a353870]{border-radius:2px;background-color:#475569;transition:background-color .15s}.split-gutter.horizontal .gutter-handle[data-v-1a353870]{width:2px;height:32px}.split-gutter.vertical .gutter-handle[data-v-1a353870]{width:32px;height:2px}.split-gutter:hover .gutter-handle[data-v-1a353870],.split-container.dragging .gutter-handle[data-v-1a353870]{background-color:#667eea}:root{--bg-color: #1a1a2e;--panel-bg: #16213e;--text-color: #eee;--accent-color: #0f3460;--success-color: #4ade80;--error-color: #f87171;--border-color: #334155}*{box-sizing:border-box;margin:0;padding:0}body{font-family:JetBrains Mono,Fira Code,Consolas,monospace;background:var(--bg-color);color:var(--text-color);line-height:1.5}button{font-family:inherit}.app-container{display:flex;flex-direction:column;height:100vh;width:100%;padding:.5rem;overflow:hidden;gap:.5rem}.app-header{display:flex;align-items:center;gap:1rem;padding:.65rem 1rem;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:8px}.header-left{display:flex;align-items:baseline;gap:.5rem}.app-header h1{font-size:1.5rem}.version,.subtitle{color:#94a3b8;font-size:.78rem}.subtitle{flex:1}.header-right,.toolbar,.view-controls{display:flex;align-items:center;gap:.35rem}.toolbar-btn,.toggle-btn,.recent-clear-btn{background:var(--accent-color);color:#cbd5e1;border:1px solid var(--border-color);padding:.35rem .55rem;border-radius:4px;cursor:pointer}.toolbar-btn:hover,.toggle-btn:hover,.recent-clear-btn:hover{color:#fff}.toolbar-btn.active,.toggle-btn.active{border-color:#667eea;color:#fff}.toggle-btn:disabled{opacity:.45;cursor:not-allowed}.dropdown-container{position:relative}.recent-files-dropdown{position:absolute;right:0;top:calc(100% + .25rem);z-index:20;min-width:290px;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:4px;padding:.35rem}.recent-empty{color:#94a3b8;padding:.6rem}.recent-file-item{position:relative;display:flex;flex-direction:column;gap:.1rem;padding:.45rem 1.7rem .45rem .45rem;cursor:pointer}.recent-file-item:hover{background:#ffffff0d}.recent-file-name{font-size:.8rem}.recent-file-preview{color:#64748b;font-size:.7rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.recent-file-remove{position:absolute;right:.35rem;top:.35rem;background:none;border:0;color:#94a3b8;cursor:pointer;font-size:1rem}.recent-clear-btn{width:100%;margin-top:.25rem;font-size:.7rem}.file-type-badge{font-size:.7rem;color:#a78bfa}.runtime-note{padding:.45rem .7rem;border:1px solid var(--border-color);border-radius:4px;color:#94a3b8;font-size:.75rem}.runtime-note code{color:#c4b5fd}.conversion-panel{display:flex;flex-direction:column;gap:.25rem;max-height:160px;overflow:auto;padding:.5rem;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:4px}.conversion-step{display:grid;grid-template-columns:2rem 1fr 1fr;gap:.5rem;font-size:.75rem}.conversion-step code{color:#c4b5fd}.app-main{flex:1;min-height:0;overflow:hidden}.panel{height:100%;min-width:0;overflow:hidden}.single-editor{border:1px solid var(--border-color);border-radius:4px}.app-footer{display:flex;align-items:center;justify-content:center;gap:.6rem;color:#64748b;font-size:.72rem}.app-footer a{color:#94a3b8;text-decoration:none}.footer-separator{color:#334155}@media(max-width:1000px){.subtitle,.toolbar-btn span{display:none}.app-header{gap:.5rem}}