: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;place-items:center;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{max-width:1280px;margin:0 auto;padding:2rem;text-align:center}@media(prefers-color-scheme:light){:root{color:#213547;background-color:#fff}a:hover{color:#747bff}button{background-color:#f9f9f9}}.editor-container[data-v-42189913]{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-42189913]{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-42189913]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.file-name[data-v-42189913]{color:#94a3b8}.editor-content[data-v-42189913]{position:relative;flex:1;overflow:hidden}.highlight-layer[data-v-42189913]{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-42189913]{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-42189913]::placeholder{color:#4a5568}[data-v-42189913] .comment{color:#6b7280;font-style:italic}[data-v-42189913] .operator{color:#f472b6;font-weight:500}[data-v-42189913] .symbol{font-weight:700}[data-v-42189913] .symbol.infinity{color:#fbbf24}[data-v-42189913] .symbol.male{color:#60a5fa}[data-v-42189913] .symbol.female{color:#f472b6}[data-v-42189913] .negation{color:#ef4444;font-weight:700}[data-v-42189913] .power{color:#8b5cf6}[data-v-42189913] .define{color:#60a5fa;font-weight:700}[data-v-42189913] .equality{color:#34d399;font-weight:500}[data-v-42189913] .bracket{color:#94a3b8}[data-v-42189913] .bracket.paren{color:#fbbf24}[data-v-42189913] .bracket.brace{color:#f472b6}[data-v-42189913] .bracket.square{color:#60a5fa}[data-v-42189913] .number{color:#a78bfa;font-weight:700}[data-v-42189913] .identifier{color:#e2e8f0}[data-v-42189913] .dot{color:#94a3b8}[data-v-42189913] .ast-highlight{background:#667eea4d;border-radius:2px;box-shadow:0 0 0 1px #667eea80}[data-v-42189913] .error-highlight{background:#f8717166;border-radius:2px;box-shadow:0 0 0 2px var(--error-color);padding:0 2px;animation:pulse-error-42189913 1.5s ease-in-out infinite}@keyframes pulse-error-42189913{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-42189913]{border-color:#667eea;box-shadow:0 0 0 2px #667eea4d}.drop-overlay[data-v-42189913]{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-42189913]{display:flex;flex-direction:column;align-items:center;gap:.5rem;color:var(--text-color);font-size:1rem}.drop-icon[data-v-42189913]{font-size:2rem}.symbol-buttons[data-v-42189913]{display:flex;align-items:center;gap:.35rem;margin-left:auto}.symbol-btn[data-v-42189913]{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-42189913]:hover{background:#667eea59;border-color:#667eea99;transform:translateY(-1px);box-shadow:0 2px 4px #0003}.symbol-btn[data-v-42189913]:active{transform:translateY(0)}.symbol-btn[data-v-42189913]:nth-child(1){color:#fbbf24;font-weight:700}.symbol-btn[data-v-42189913]:nth-child(2){color:#60a5fa;font-weight:700}.symbol-btn[data-v-42189913]:nth-child(3){color:#f472b6;font-weight:700}.ast-viewer[data-v-d3fcc015]{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-d3fcc015]{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-d3fcc015]{background:linear-gradient(135deg,#34d399,#10b981);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.ast-title[data-v-d3fcc015]{color:#94a3b8}.ast-controls[data-v-d3fcc015]{display:flex;gap:.25rem;margin-left:auto}.ast-btn[data-v-d3fcc015]{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-d3fcc015]:hover{background:#ffffff1a;color:var(--text-color);border-color:#4a5568}.btn-icon[data-v-d3fcc015]{font-size:.85rem}.btn-text[data-v-d3fcc015]{display:none}@media(min-width:1400px){.btn-text[data-v-d3fcc015]{display:inline}}.ast-content[data-v-d3fcc015]{flex:1;overflow:auto;padding:1rem}.ast-error[data-v-d3fcc015]{display:flex;align-items:center;gap:.5rem;padding:1rem;color:var(--error-color)}.ast-error-footer[data-v-d3fcc015]{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-d3fcc015]{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-d3fcc015]{display:flex;align-items:left;justify-content:left;flex:1;color:#64748b}.tree-root[data-v-d3fcc015]{font-family:JetBrains Mono,Fira Code,monospace;font-size:.85rem;align-items:left;text-align:left}.tree-node-content[data-v-d3fcc015]{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-d3fcc015]:hover{background:#667eea33}[data-v-d3fcc015] .tree-node-content.highlighted{background:#667eea59;border-radius:3px;box-shadow:0 0 0 2px #667eea80}.tree-toggle[data-v-d3fcc015]{width:1rem;color:#64748b;font-size:.7rem}.tree-toggle.expanded[data-v-d3fcc015]{color:#94a3b8}.tree-leaf[data-v-d3fcc015]{color:#4a5568}.tree-label[data-v-d3fcc015]{color:var(--text-color)}.tree-type[data-v-d3fcc015]{color:#64748b;font-size:.75rem;margin-left:.5rem}.tree-loc[data-v-d3fcc015]{color:#4a5568;font-size:.65rem;margin-left:auto;font-style:italic}[data-v-d3fcc015] .node-structural .tree-label{color:#94a3b8;font-weight:500}[data-v-d3fcc015] .node-link .tree-label{color:#f472b6;font-weight:600}[data-v-d3fcc015] .node-define .tree-label{color:#60a5fa;font-weight:600}[data-v-d3fcc015] .node-equality .tree-label{color:#34d399;font-weight:600}[data-v-d3fcc015] .node-symbol .tree-label{color:#fbbf24;font-weight:600}[data-v-d3fcc015] .node-not .tree-label{color:#f87171;font-weight:600}[data-v-d3fcc015] .node-number .tree-label{color:#a78bfa;font-weight:600}[data-v-d3fcc015] .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}: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;min-height:100vh;max-width:1800px;margin:0 auto;padding:.5rem}.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}.app-main{display:grid;grid-template-columns:1fr 1fr;gap:.5rem;flex:1;min-height:0}.app-main.with-ast{grid-template-columns:1fr 1fr 1fr}@media(max-width:1200px){.app-main.with-ast{grid-template-columns:1fr 1fr}.app-main.with-ast .ast-panel{grid-column:span 2;max-height:300px}}@media(max-width:768px){.app-main,.app-main.with-ast{grid-template-columns:1fr}.app-main.with-ast .ast-panel{grid-column:span 1}.panel{max-height:400px}.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-height:400px}.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}