: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-bc912bbd]{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-bc912bbd]{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-bc912bbd]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.file-name[data-v-bc912bbd]{color:#94a3b8}.editor-content[data-v-bc912bbd]{position:relative;flex:1;overflow:hidden}.highlight-layer[data-v-bc912bbd]{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-bc912bbd]{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-bc912bbd]::placeholder{color:#4a5568}[data-v-bc912bbd] .comment{color:#6b7280;font-style:italic}[data-v-bc912bbd] .operator{color:#f472b6;font-weight:500}[data-v-bc912bbd] .symbol{font-weight:700}[data-v-bc912bbd] .symbol.infinity{color:#fbbf24}[data-v-bc912bbd] .symbol.male{color:#60a5fa}[data-v-bc912bbd] .symbol.female{color:#f472b6}[data-v-bc912bbd] .negation{color:#ef4444;font-weight:700}[data-v-bc912bbd] .power{color:#8b5cf6}[data-v-bc912bbd] .define{color:#60a5fa;font-weight:700}[data-v-bc912bbd] .equality{color:#34d399;font-weight:500}[data-v-bc912bbd] .bracket{color:#94a3b8}[data-v-bc912bbd] .bracket.paren{color:#fbbf24}[data-v-bc912bbd] .bracket.brace{color:#f472b6}[data-v-bc912bbd] .bracket.square{color:#60a5fa}[data-v-bc912bbd] .number{color:#a78bfa;font-weight:700}[data-v-bc912bbd] .identifier{color:#e2e8f0}[data-v-bc912bbd] .dot{color:#94a3b8}[data-v-bc912bbd] .ast-highlight{background:#667eea4d;border-radius:2px;box-shadow:0 0 0 1px #667eea80}[data-v-bc912bbd] .error-highlight{background:#f8717166;border-radius:2px;box-shadow:0 0 0 2px var(--error-color);padding:0 2px;animation:pulse-error-bc912bbd 1.5s ease-in-out infinite}@keyframes pulse-error-bc912bbd{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-bc912bbd]{border-color:#667eea;box-shadow:0 0 0 2px #667eea4d}.drop-overlay[data-v-bc912bbd]{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-bc912bbd]{display:flex;flex-direction:column;align-items:center;gap:.5rem;color:var(--text-color);font-size:1rem}.drop-icon[data-v-bc912bbd]{font-size:2rem}.symbol-buttons[data-v-bc912bbd]{display:flex;align-items:center;gap:.35rem;margin-left:auto}.symbol-btn[data-v-bc912bbd]{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-bc912bbd]:hover{background:#667eea59;border-color:#667eea99;transform:translateY(-1px);box-shadow:0 2px 4px #0003}.symbol-btn[data-v-bc912bbd]:active{transform:translateY(0)}.symbol-btn[data-v-bc912bbd]:nth-child(1){color:#fbbf24;font-weight:700}.symbol-btn[data-v-bc912bbd]:nth-child(2){color:#60a5fa;font-weight:700}.symbol-btn[data-v-bc912bbd]:nth-child(3){color:#f472b6;font-weight:700}.ast-viewer[data-v-aa68a0bd]{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-aa68a0bd]{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-aa68a0bd]{background:linear-gradient(135deg,#34d399,#10b981);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.ast-title[data-v-aa68a0bd]{color:#94a3b8}.ast-controls[data-v-aa68a0bd]{display:flex;gap:.25rem;margin-left:auto}.ast-btn[data-v-aa68a0bd]{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-aa68a0bd]:hover{background:#ffffff1a;color:var(--text-color);border-color:#4a5568}.btn-icon[data-v-aa68a0bd]{font-size:.85rem}.btn-text[data-v-aa68a0bd]{display:none}@media(min-width:1400px){.btn-text[data-v-aa68a0bd]{display:inline}}.ast-content[data-v-aa68a0bd]{flex:1;overflow:auto;padding:1rem}.ast-error[data-v-aa68a0bd]{display:flex;align-items:center;gap:.5rem;padding:1rem;color:var(--error-color)}.ast-error-footer[data-v-aa68a0bd]{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-aa68a0bd]{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-aa68a0bd]{display:flex;align-items:left;justify-content:left;flex:1;color:#64748b}.tree-root[data-v-aa68a0bd]{font-family:JetBrains Mono,Fira Code,monospace;font-size:.85rem;align-items:left;text-align:left}.tree-node-content[data-v-aa68a0bd]{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-aa68a0bd]:hover{background:#667eea33}[data-v-aa68a0bd] .tree-node-content.highlighted{background:#667eea59;border-radius:3px;box-shadow:0 0 0 2px #667eea80}.tree-toggle[data-v-aa68a0bd]{width:1rem;color:#64748b;font-size:.7rem}.tree-toggle.expanded[data-v-aa68a0bd]{color:#94a3b8}.tree-leaf[data-v-aa68a0bd]{color:#4a5568}.tree-label[data-v-aa68a0bd]{color:var(--text-color)}.tree-type[data-v-aa68a0bd]{color:#64748b;font-size:.75rem;margin-left:.5rem}.tree-loc[data-v-aa68a0bd]{color:#4a5568;font-size:.65rem;margin-left:auto;font-style:italic}.tree-child-count[data-v-aa68a0bd]{color:#64748b;font-size:.7rem;margin-left:.25rem;opacity:.7}.tree-load-more[data-v-aa68a0bd]{padding:.25rem 0}.load-more-btn[data-v-aa68a0bd]{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-aa68a0bd]:hover{background:#667eea1a;border-style:solid}[data-v-aa68a0bd] .node-structural .tree-label{color:#94a3b8;font-weight:500}[data-v-aa68a0bd] .node-link .tree-label{color:#f472b6;font-weight:600}[data-v-aa68a0bd] .node-define .tree-label{color:#60a5fa;font-weight:600}[data-v-aa68a0bd] .node-equality .tree-label{color:#34d399;font-weight:600}[data-v-aa68a0bd] .node-symbol .tree-label{color:#fbbf24;font-weight:600}[data-v-aa68a0bd] .node-not .tree-label{color:#f87171;font-weight:600}[data-v-aa68a0bd] .node-number .tree-label{color:#a78bfa;font-weight:600}[data-v-aa68a0bd] .node-identifier .tree-label{color:#67e8f9;font-weight:500}.prover-panel[data-v-8aa0a8e0]{display:flex;flex-direction:column;height:100%;background:var(--bg-color);border:1px solid var(--border-color);border-radius:4px;overflow:hidden}.prover-header[data-v-8aa0a8e0]{display:flex;align-items:center;gap:.5rem;padding:.5rem 1rem;background:var(--accent-color);border-bottom:1px solid var(--border-color);font-size:.85rem}.prover-icon[data-v-8aa0a8e0]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.prover-title[data-v-8aa0a8e0]{color:#94a3b8}.prover-stats[data-v-8aa0a8e0]{margin-left:auto;display:flex;gap:.75rem}.stat[data-v-8aa0a8e0]{font-size:.8rem;padding:.15rem .5rem;border-radius:3px}.stat-passed[data-v-8aa0a8e0]{color:var(--success-color);background:#4ade801a}.stat-failed[data-v-8aa0a8e0]{color:var(--error-color);background:#f871711a}.prover-content[data-v-8aa0a8e0]{flex:1;overflow:auto;padding:.5rem}.prover-empty[data-v-8aa0a8e0]{display:flex;align-items:center;justify-content:center;height:100%;color:#64748b}.results-list[data-v-8aa0a8e0]{display:flex;flex-direction:column;gap:.5rem}.result-item[data-v-8aa0a8e0]{background:var(--panel-bg);border-radius:4px;padding:.75rem 1rem;border-left:3px solid var(--border-color)}.result-item.success[data-v-8aa0a8e0]{border-left-color:var(--success-color)}.result-item.failure[data-v-8aa0a8e0]{border-left-color:var(--error-color)}.result-header[data-v-8aa0a8e0]{display:flex;align-items:flex-start;gap:.5rem;margin-bottom:.25rem;cursor:pointer}.result-header:hover .expand-toggle[data-v-8aa0a8e0]{color:var(--text-color)}.result-status[data-v-8aa0a8e0]{font-weight:700;font-size:1rem}.result-item.success .result-status[data-v-8aa0a8e0]{color:var(--success-color)}.result-item.failure .result-status[data-v-8aa0a8e0]{color:var(--error-color)}.result-stmt[data-v-8aa0a8e0]{font-family:JetBrains Mono,Fira Code,monospace;font-size:.9rem;word-break:break-all;flex:1}.expand-toggle[data-v-8aa0a8e0]{color:#64748b;font-size:.75rem;padding:0 .25rem;transition:color .2s}.result-message[data-v-8aa0a8e0]{color:#94a3b8;font-size:.85rem;margin-left:1.5rem}.applied-axioms[data-v-8aa0a8e0]{margin-top:.5rem;margin-left:1.5rem;display:flex;align-items:center;gap:.5rem;flex-wrap:wrap}.axioms-label[data-v-8aa0a8e0]{color:#64748b;font-size:.75rem}.axioms-list[data-v-8aa0a8e0]{display:flex;gap:.25rem;flex-wrap:wrap}.axiom-badge[data-v-8aa0a8e0]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.1rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700;cursor:help}.proof-details[data-v-8aa0a8e0]{margin-top:.75rem;margin-left:1.5rem;padding:.75rem;background:#0003;border-radius:4px;border:1px solid var(--border-color)}.proof-steps-header[data-v-8aa0a8e0]{color:#94a3b8;font-size:.8rem;font-weight:700;margin-bottom:.5rem;text-transform:uppercase;letter-spacing:.05em}.proof-steps-list[data-v-8aa0a8e0]{display:flex;flex-direction:column;gap:.5rem}.proof-step[data-v-8aa0a8e0]{padding:.5rem;background:#00000026;border-radius:3px;border-left:2px solid #667eea}.step-header[data-v-8aa0a8e0]{display:flex;align-items:center;gap:.5rem;margin-bottom:.25rem}.step-index[data-v-8aa0a8e0]{color:#667eea;font-weight:700;font-size:.85rem}.step-action[data-v-8aa0a8e0]{color:var(--text-color);font-size:.85rem}.step-axiom[data-v-8aa0a8e0]{color:#a78bfa;font-size:.75rem;cursor:help}.step-transformation[data-v-8aa0a8e0]{display:flex;align-items:center;gap:.5rem;margin:.25rem 0;padding:.25rem .5rem;background:#0000001a;border-radius:3px;font-family:JetBrains Mono,Fira Code,monospace;font-size:.8rem}.step-before[data-v-8aa0a8e0]{color:#f87171}.step-arrow[data-v-8aa0a8e0]{color:#64748b}.step-after[data-v-8aa0a8e0]{color:#4ade80}.step-details[data-v-8aa0a8e0]{color:#94a3b8;font-size:.8rem;margin-top:.25rem;font-style:italic}.hints-section[data-v-8aa0a8e0]{margin-top:.75rem;margin-left:1.5rem;padding:.5rem;background:#fbbf241a;border-radius:4px;border:1px solid rgba(251,191,36,.3)}.hints-header[data-v-8aa0a8e0]{color:#fbbf24;font-size:.8rem;font-weight:700;margin-bottom:.5rem}.hints-list[data-v-8aa0a8e0]{display:flex;flex-direction:column;gap:.35rem}.hint-item[data-v-8aa0a8e0]{display:flex;align-items:flex-start;gap:.5rem;font-size:.8rem;padding:.25rem 0}.hint-icon[data-v-8aa0a8e0]{flex-shrink:0}.hint-message[data-v-8aa0a8e0]{color:#fbbf24;flex:1}.hint-axiom[data-v-8aa0a8e0]{color:#a78bfa;font-size:.75rem}.hint-structural .hint-message[data-v-8aa0a8e0]{color:#f87171}.hint-definition .hint-message[data-v-8aa0a8e0]{color:#60a5fa}.hint-axiom .hint-message[data-v-8aa0a8e0]{color:#a78bfa}.hint-suggestion .hint-message[data-v-8aa0a8e0]{color:#fbbf24}.result-steps[data-v-8aa0a8e0]{margin-top:.5rem;margin-left:1.5rem;padding:.5rem;background:#0003;border-radius:3px}.steps-header[data-v-8aa0a8e0]{color:#64748b;font-size:.75rem;text-transform:uppercase;margin-bottom:.25rem}.steps-list[data-v-8aa0a8e0]{margin:0;padding-left:1.25rem;font-size:.8rem;color:#94a3b8}.steps-list li[data-v-8aa0a8e0]{margin-bottom:.15rem}.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}.interactive-prover[data-v-13c46db5]{background:var(--panel-bg);border:2px solid #667eea;border-radius:8px;margin-bottom:.5rem;overflow:hidden}.prover-header[data-v-13c46db5]{display:flex;justify-content:space-between;align-items:center;padding:.75rem 1rem;background:linear-gradient(135deg,#667eea,#764ba2);color:#fff}.header-left[data-v-13c46db5]{display:flex;align-items:center;gap:.75rem}.prover-icon[data-v-13c46db5]{background:#fff3;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.prover-title[data-v-13c46db5]{font-weight:500;font-size:.9rem}.status-badge[data-v-13c46db5]{padding:.15rem .5rem;border-radius:3px;font-size:.75rem;font-weight:500}.status-badge.initial[data-v-13c46db5]{background:#fff3}.status-badge.in_progress[data-v-13c46db5]{background:#fbbf24;color:#000}.status-badge.completed[data-v-13c46db5]{background:var(--success-color);color:#000}.status-badge.failed[data-v-13c46db5]{background:var(--error-color)}.header-right[data-v-13c46db5]{display:flex;gap:.5rem;align-items:center}.control-btn[data-v-13c46db5]{background:#fff3;border:none;color:#fff;padding:.35rem .5rem;border-radius:4px;cursor:pointer;font-size:1rem;transition:background .2s}.control-btn[data-v-13c46db5]:hover:not(:disabled){background:#ffffff4d}.control-btn[data-v-13c46db5]:disabled{opacity:.5;cursor:not-allowed}.close-btn[data-v-13c46db5]{background:transparent;border:none;color:#fff;font-size:1.5rem;cursor:pointer;padding:0 .25rem;line-height:1}.close-btn[data-v-13c46db5]:hover{color:var(--error-color)}.prover-content[data-v-13c46db5]{padding:1rem;display:flex;flex-direction:column;gap:1rem}.section-header[data-v-13c46db5]{display:flex;align-items:center;gap:.5rem;margin-bottom:.5rem}.section-label[data-v-13c46db5]{font-size:.85rem;color:#94a3b8;text-transform:uppercase;letter-spacing:.05em}.goals-count[data-v-13c46db5]{font-size:.75rem;color:#64748b}.strategy-section[data-v-13c46db5]{display:flex;align-items:center;gap:1rem;flex-wrap:wrap}.strategy-buttons[data-v-13c46db5]{display:flex;gap:.25rem}.strategy-btn[data-v-13c46db5]{background:var(--accent-color);border:1px solid var(--border-color);color:#94a3b8;padding:.35rem .75rem;border-radius:4px;cursor:pointer;font-size:.8rem;transition:all .2s}.strategy-btn[data-v-13c46db5]:hover{background:#1a3a5c;color:var(--text-color)}.strategy-btn.active[data-v-13c46db5]{background:#667eea;color:#fff;border-color:#667eea}.auto-run-btn[data-v-13c46db5]{background:var(--success-color);border:none;color:#000;padding:.35rem .75rem;border-radius:4px;cursor:pointer;font-size:.8rem;font-weight:500;transition:background .2s}.auto-run-btn[data-v-13c46db5]:hover:not(:disabled){background:#22c55e}.auto-run-btn[data-v-13c46db5]:disabled{opacity:.5;cursor:not-allowed}.current-goal[data-v-13c46db5]{background:var(--accent-color);padding:.75rem;border-radius:4px;border-left:3px solid #667eea}.current-goal code[data-v-13c46db5]{font-family:JetBrains Mono,monospace;font-size:.9rem;color:var(--text-color)}.no-goal[data-v-13c46db5]{color:#64748b;font-style:italic;padding:.5rem}.steps-list[data-v-13c46db5]{display:flex;flex-direction:column;gap:.5rem}.step-item[data-v-13c46db5]{background:var(--accent-color);border:1px solid var(--border-color);border-radius:4px;padding:.75rem;cursor:pointer;transition:all .2s}.step-item[data-v-13c46db5]:hover{background:#1a3a5c;border-color:#667eea}.step-item.confidence-high[data-v-13c46db5]{border-left:3px solid var(--success-color)}.step-item.confidence-medium[data-v-13c46db5]{border-left:3px solid #fbbf24}.step-item.confidence-low[data-v-13c46db5]{border-left:3px solid #64748b}.step-header[data-v-13c46db5]{display:flex;align-items:center;gap:.5rem;margin-bottom:.25rem}.step-type[data-v-13c46db5]{background:#667eea33;color:#667eea;padding:.1rem .4rem;border-radius:3px;font-size:.7rem;font-weight:600;text-transform:uppercase}.step-axiom[data-v-13c46db5]{color:#a78bfa;font-size:.75rem;font-weight:500}.step-confidence[data-v-13c46db5]{margin-left:auto;font-size:.75rem;color:#64748b}.step-description[data-v-13c46db5]{font-size:.85rem;color:var(--text-color)}.step-details[data-v-13c46db5]{font-size:.75rem;color:#64748b;margin-top:.25rem;font-style:italic}.proof-steps-list[data-v-13c46db5]{display:flex;flex-direction:column;gap:.25rem}.proof-step-item[data-v-13c46db5]{display:flex;align-items:center;gap:.5rem;padding:.35rem .5rem;background:#0003;border-radius:3px;font-size:.8rem}.step-index[data-v-13c46db5]{color:#667eea;font-weight:600}.step-action[data-v-13c46db5]{color:var(--text-color)}.step-axiom-badge[data-v-13c46db5]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.1rem .3rem;border-radius:3px;font-size:.65rem;font-weight:700;margin-left:auto}.result-section[data-v-13c46db5]{padding-top:.5rem;border-top:1px solid var(--border-color)}.result-message[data-v-13c46db5]{display:flex;align-items:center;gap:.5rem;padding:.5rem .75rem;border-radius:4px;font-size:.85rem}.result-message.success[data-v-13c46db5]{background:#4ade801a;color:var(--success-color)}.result-message.failure[data-v-13c46db5]{background:#f871711a;color:var(--error-color)}.history-section[data-v-13c46db5]{background:#0003;border-radius:4px;padding:.75rem}.close-history-btn[data-v-13c46db5]{background:none;border:none;color:#64748b;cursor:pointer;font-size:1rem;margin-left:auto}.close-history-btn[data-v-13c46db5]:hover{color:var(--text-color)}.history-list[data-v-13c46db5]{display:flex;flex-direction:column;gap:.25rem;max-height:200px;overflow-y:auto}.history-item[data-v-13c46db5]{display:flex;align-items:center;gap:.5rem;padding:.35rem .5rem;border-radius:3px;cursor:pointer;transition:background .2s}.history-item[data-v-13c46db5]:hover{background:var(--accent-color)}.history-index[data-v-13c46db5]{color:#64748b;font-size:.75rem}.history-description[data-v-13c46db5]{font-size:.8rem;color:var(--text-color);flex:1}.history-time[data-v-13c46db5]{font-size:.7rem;color:#64748b}.proof-export[data-v-cd22f9c6]{position:relative}.export-btn[data-v-cd22f9c6]{display:flex;align-items:center;gap:.35rem;background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;border:none;padding:.35rem .6rem;border-radius:4px;font-family:inherit;font-size:.75rem;cursor:pointer;transition:all .2s;white-space:nowrap}.export-btn[data-v-cd22f9c6]:hover:not(:disabled){background:linear-gradient(135deg,#7c93f0,#8b5cbf)}.export-btn[data-v-cd22f9c6]:disabled{opacity:.5;cursor:not-allowed;background:var(--accent-color)}.btn-icon[data-v-cd22f9c6]{font-size:.85rem}.btn-text[data-v-cd22f9c6]{display:none}@media(min-width:1024px){.btn-text[data-v-cd22f9c6]{display:inline}}.dropdown-arrow[data-v-cd22f9c6]{font-size:.6rem;margin-left:.15rem}.export-dropdown[data-v-cd22f9c6]{position:absolute;top:100%;right:0;margin-top:.25rem;width:400px;max-height:80vh;background:var(--panel-bg, #16213e);border:1px solid var(--border-color, #334155);border-radius:8px;box-shadow:0 8px 24px #0006;z-index:200;overflow:hidden;display:flex;flex-direction:column}.dropdown-header[data-v-cd22f9c6]{display:flex;align-items:center;justify-content:space-between;padding:.75rem 1rem;background:linear-gradient(135deg,#667eea,#764ba2);color:#fff}.dropdown-title[data-v-cd22f9c6]{font-weight:600;font-size:.9rem}.close-btn[data-v-cd22f9c6]{background:none;border:none;color:#fff;font-size:1.2rem;cursor:pointer;padding:0;line-height:1}.close-btn[data-v-cd22f9c6]:hover{opacity:.8}.dropdown-content[data-v-cd22f9c6]{flex:1;overflow-y:auto;padding:.75rem}.format-list[data-v-cd22f9c6]{display:flex;flex-direction:column;gap:.5rem;margin-bottom:.75rem}.format-item[data-v-cd22f9c6]{display:flex;align-items:center;gap:.75rem;padding:.75rem;background:var(--accent-color, #0f3460);border:1px solid var(--border-color, #334155);border-radius:6px;cursor:pointer;transition:all .2s}.format-item[data-v-cd22f9c6]:hover{background:#1a3a5c}.format-item.selected[data-v-cd22f9c6]{border-color:#667eea;background:#667eea26}.format-icon[data-v-cd22f9c6]{font-size:1.5rem}.format-info[data-v-cd22f9c6]{flex:1;display:flex;flex-direction:column}.format-name[data-v-cd22f9c6]{font-weight:600;font-size:.9rem}.format-desc[data-v-cd22f9c6]{font-size:.75rem;color:#94a3b8}.check-mark[data-v-cd22f9c6]{color:#667eea;font-size:1.2rem;font-weight:700}.options-panel[data-v-cd22f9c6]{background:#0003;border-radius:6px;margin-bottom:.75rem;overflow:hidden}.options-header[data-v-cd22f9c6]{padding:.5rem .75rem;background:#0003;font-size:.8rem;font-weight:600;color:#94a3b8}.options-content[data-v-cd22f9c6]{padding:.75rem;display:flex;flex-direction:column;gap:.5rem}.option-row[data-v-cd22f9c6]{display:flex;align-items:center;gap:.5rem;font-size:.8rem}.option-row input[type=checkbox][data-v-cd22f9c6]{width:1rem;height:1rem;accent-color:#667eea}.option-row select[data-v-cd22f9c6]{background:var(--accent-color, #0f3460);color:var(--text-color, #eee);border:1px solid var(--border-color, #334155);border-radius:4px;padding:.25rem .5rem;font-family:inherit;font-size:.75rem}.preview-section[data-v-cd22f9c6]{margin-top:.75rem;border-top:1px solid var(--border-color, #334155);padding-top:.75rem}.preview-header[data-v-cd22f9c6]{font-size:.8rem;font-weight:600;color:#94a3b8;margin-bottom:.5rem}.preview-content[data-v-cd22f9c6]{background:#0000004d;border-radius:4px;padding:.5rem;font-size:.65rem;font-family:JetBrains Mono,Fira Code,monospace;white-space:pre-wrap;word-break:break-all;max-height:200px;overflow-y:auto;margin:0}.dropdown-actions[data-v-cd22f9c6]{display:flex;gap:.5rem;padding:.75rem;border-top:1px solid var(--border-color, #334155);background:#0000001a}.action-btn[data-v-cd22f9c6]{flex:1;display:flex;align-items:center;justify-content:center;gap:.35rem;padding:.6rem;border-radius:4px;font-family:inherit;font-size:.8rem;cursor:pointer;transition:all .2s}.action-btn.primary[data-v-cd22f9c6]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;border:none}.action-btn.primary[data-v-cd22f9c6]:hover:not(:disabled){background:linear-gradient(135deg,#7c93f0,#8b5cbf)}.action-btn.secondary[data-v-cd22f9c6]{background:var(--accent-color, #0f3460);color:var(--text-color, #eee);border:1px solid var(--border-color, #334155)}.action-btn.secondary[data-v-cd22f9c6]:hover:not(:disabled){background:#1a3a5c}.action-btn[data-v-cd22f9c6]:disabled{opacity:.5;cursor:not-allowed}.link-graph-viewer[data-v-be23ea44]{display:flex;flex-direction:column;height:100%;overflow:hidden}.graph-toolbar[data-v-be23ea44]{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-be23ea44]{font-weight:600;font-size:.85rem;color:#94a3b8}.graph-controls[data-v-be23ea44]{display:flex;align-items:center;gap:.35rem}.layout-select[data-v-be23ea44]{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-be23ea44]:hover{color:var(--text-color)}.graph-btn[data-v-be23ea44]{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-be23ea44]:hover{background:#1a3a5c;color:var(--text-color)}.graph-stats[data-v-be23ea44]{margin-left:auto;font-size:.75rem;color:#64748b}.dot-export-panel[data-v-be23ea44]{border-bottom:1px solid var(--border-color);max-height:200px;overflow:hidden;display:flex;flex-direction:column;flex-shrink:0}.dot-header[data-v-be23ea44]{display:flex;align-items:center;justify-content:space-between;padding:.35rem .75rem;background:#00000026;font-size:.75rem;color:#94a3b8}.copy-btn[data-v-be23ea44]{font-size:.7rem;padding:.15rem .4rem}.dot-output[data-v-be23ea44]{padding:.5rem .75rem;font-size:.7rem;color:#94a3b8;overflow:auto;flex:1;margin:0;background:#0000001a}.graph-container[data-v-be23ea44]{flex:1;min-height:200px;position:relative}.graph-container.empty[data-v-be23ea44]{display:flex;align-items:center;justify-content:center}.graph-empty[data-v-be23ea44]{display:flex;flex-direction:column;align-items:center;gap:.75rem;color:#475569}.empty-icon[data-v-be23ea44]{font-size:1.5rem;font-family:JetBrains Mono,monospace;color:#334155}.empty-text[data-v-be23ea44]{font-size:.85rem}.graph-legend[data-v-be23ea44]{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-be23ea44]{font-size:.7rem;color:#64748b;font-weight:600}.legend-item[data-v-be23ea44]{display:flex;align-items:center;gap:.25rem;font-size:.7rem;color:#94a3b8}.legend-dot[data-v-be23ea44]{width:10px;height:10px;border-radius:50%}.link-center-dot[data-v-be23ea44]{background:#3b82f6}.atom-dot[data-v-be23ea44]{background:#22c55e;border-radius:3px}.unary-dot[data-v-be23ea44]{background:#a855f7}.legend-line[data-v-be23ea44]{width:15px;height:2px}.link-start-line[data-v-be23ea44],.link-end-line[data-v-be23ea44]{background:#3b82f6}.legend-cross[data-v-be23ea44]{font-weight:700;color:#3b82f6;font-size:.8rem}.legend-arrow[data-v-be23ea44]{color:#3b82f6;font-size:.85rem}.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-color:var(--bg-color);color:var(--text-color);line-height:1.6}.app-container{display:flex;flex-direction:column;height:100vh;width:100%;padding:.5rem;overflow:hidden}.app-header{display:flex;align-items:center;padding:.75rem 1rem;background:var(--panel-bg);border-radius:8px;margin-bottom:.5rem;border:1px solid var(--border-color)}.header-left{display:flex;align-items:baseline;gap:.5rem}.app-header h1{font-size:1.5rem;background:linear-gradient(135deg,#667eea,#764ba2);-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text}.version{color:#64748b;font-size:.75rem}.subtitle{color:#64748b;font-size:.8rem;margin-left:1.5rem;flex:1}.header-right{margin-left:auto;display:flex;align-items:center;gap:.5rem}.toolbar{display:flex;align-items:center;gap:.25rem}.toolbar-btn{display:flex;align-items:center;gap:.35rem;background:var(--accent-color);color:#94a3b8;border:1px solid var(--border-color);padding:.35rem .6rem;border-radius:4px;font-family:inherit;font-size:.75rem;cursor:pointer;transition:all .2s;white-space:nowrap}.toolbar-btn:hover:not(:disabled){background:#1a3a5c;color:var(--text-color)}.toolbar-btn:disabled{opacity:.5;cursor:not-allowed}.toolbar-btn .btn-icon{font-size:.85rem}.toolbar-btn .btn-text{display:none}@media(min-width:1024px){.toolbar-btn .btn-text{display:inline}}.toolbar-separator{width:1px;height:1.5rem;background:var(--border-color);margin:0 .25rem}.dropdown-arrow{font-size:.6rem;margin-left:.15rem}.dropdown-container{position:relative}.recent-files-dropdown{position:absolute;top:100%;right:0;margin-top:.25rem;min-width:280px;max-width:350px;background:var(--panel-bg);border:1px solid var(--border-color);border-radius:4px;box-shadow:0 4px 12px #0000004d;z-index:100;overflow:hidden}.recent-empty{padding:1rem;color:#64748b;text-align:center;font-size:.85rem}.recent-file-item{display:flex;flex-direction:column;padding:.5rem .75rem;cursor:pointer;border-bottom:1px solid var(--border-color);transition:background .15s;position:relative}.recent-file-item:hover{background:var(--accent-color)}.recent-file-item:last-child{border-bottom:none}.recent-file-name{font-size:.85rem;color:var(--text-color);font-weight:500}.recent-file-preview{font-size:.75rem;color:#64748b;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;margin-top:.15rem}.recent-file-remove{position:absolute;right:.5rem;top:50%;transform:translateY(-50%);background:none;border:none;color:#64748b;font-size:1rem;cursor:pointer;padding:.25rem;opacity:0;transition:opacity .15s}.recent-file-item:hover .recent-file-remove{opacity:1}.recent-file-remove:hover{color:var(--error-color)}.recent-actions{padding:.5rem;border-top:1px solid var(--border-color);text-align:center}.recent-clear-btn{background:none;border:none;color:#64748b;font-size:.75rem;cursor:pointer;padding:.25rem .5rem}.recent-clear-btn:hover{color:var(--error-color)}.toggle-btn{background:var(--accent-color);color:#94a3b8;border:1px solid var(--border-color);padding:.4rem .75rem;border-radius:4px;font-family:inherit;font-size:.8rem;cursor:pointer;transition:all .2s}.toggle-btn:hover{background:#1a3a5c;color:var(--text-color)}.toggle-btn.active{background:#667eea;color:#fff;border-color:#667eea}.toggle-btn:disabled{opacity:.5;cursor:not-allowed}.toggle-btn.graph-btn-toggle.active{background:linear-gradient(135deg,#3b82f6,#2563eb);color:#fff;border-color:#3b82f6}.toggle-btn.graph-btn-toggle:not(:disabled):hover{background:#2563eb;color:#fff}.toggle-btn.interactive-btn{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;font-weight:600}.toggle-btn.interactive-btn:not(:disabled):hover{background:linear-gradient(135deg,#7c93f0,#8b5cbf)}.toggle-btn.interactive-btn:disabled{background:var(--accent-color);color:#64748b}.app-main{display:flex;gap:0;flex:1;min-height:0;overflow:hidden}@media(max-width:768px){.app-header{flex-wrap:wrap;gap:.5rem}.subtitle{width:100%;margin-left:0;order:3}}.panel{background:var(--panel-bg);border-radius:8px;overflow:hidden;display:flex;flex-direction:column;border:1px solid var(--border-color);min-width:0;width:100%;height:100%}.app-footer{display:flex;justify-content:space-between;align-items:center;padding:.5rem 1rem;margin-top:.5rem;color:#64748b;font-size:.8rem;background:var(--panel-bg);border-radius:8px;border:1px solid var(--border-color)}.footer-stats{color:var(--success-color)}.footer-links{display:flex;align-items:center;gap:.5rem}.separator{color:#4a5568}.footer-links a{color:#667eea;text-decoration:none}.footer-links a:hover{text-decoration:underline}.file-type-badge{padding:.2rem .5rem;border-radius:4px;font-size:.7rem;font-weight:600;margin-left:.5rem}.file-type-badge.astr{background:linear-gradient(135deg,#10b981,#059669);color:#fff}.file-type-badge.anum{background:linear-gradient(135deg,#f59e0b,#d97706);color:#fff}.conversion-panel{background:var(--panel-bg);border:1px solid var(--border-color);border-radius:8px;margin-bottom:.5rem;overflow:hidden}.conversion-header{display:flex;align-items:center;gap:1rem;padding:.75rem 1rem;background:linear-gradient(135deg,#10b981,#059669);color:#fff}.conversion-title{font-weight:600;font-size:.9rem}.conversion-subtitle{font-size:.75rem;opacity:.9}.conversion-steps{display:flex;overflow-x:auto;padding:1rem;gap:.5rem}.conversion-step{display:flex;flex-direction:column;align-items:center;min-width:150px;padding:.75rem;background:var(--accent-color);border-radius:8px;border:1px solid var(--border-color);position:relative}.conversion-step:not(:last-child):after{content:"→";position:absolute;right:-1rem;top:50%;transform:translateY(-50%);color:#64748b;font-size:1.2rem}.conversion-step.initial{background:linear-gradient(135deg,#667eea,#764ba2);border-color:#667eea}.step-number{width:2rem;height:2rem;display:flex;align-items:center;justify-content:center;background:#ffffff26;border-radius:50%;font-weight:600;font-size:.85rem;margin-bottom:.5rem}.step-content{text-align:center;width:100%}.step-char{margin-bottom:.25rem}.char-label{font-size:.7rem;color:#94a3b8}.char-value{font-family:JetBrains Mono,monospace;font-weight:600;color:#fbbf24;margin-left:.25rem}.step-description{font-size:.7rem;color:#94a3b8;margin-bottom:.5rem}.step-formal{font-size:.75rem;word-break:break-all}.step-formal code{background:#0000004d;padding:.25rem .5rem;border-radius:4px;display:inline-block;max-width:100%;overflow:hidden;text-overflow:ellipsis}.anum-header{background:linear-gradient(135deg,#f59e0b,#d97706)}.abit-legend{display:flex;gap:1rem;padding:.5rem 1rem;background:#0003;border-bottom:1px solid var(--border-color);flex-wrap:wrap}.legend-item{font-size:.75rem;color:#94a3b8}.legend-item code{background:#f59e0b4d;padding:.1rem .3rem;border-radius:3px;font-weight:600;color:#fbbf24;margin-right:.25rem}.abit-value{color:#f59e0b}.step-definition{display:flex;align-items:center;justify-content:center;gap:.25rem;margin-bottom:.25rem}.def-label{font-size:.75rem;color:#64748b}.def-value{font-size:.75rem;font-family:JetBrains Mono,monospace;color:#f59e0b}