: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-481c5a20]{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-481c5a20]{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-481c5a20]{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;padding:.15rem .4rem;border-radius:3px;font-size:.7rem;font-weight:700}.file-name[data-v-481c5a20]{color:#94a3b8}.editor-content[data-v-481c5a20]{position:relative;flex:1;overflow:hidden}.highlight-layer[data-v-481c5a20]{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-481c5a20]{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-481c5a20]::placeholder{color:#4a5568}[data-v-481c5a20] .comment{color:#6b7280;font-style:italic}[data-v-481c5a20] .operator{color:#f472b6;font-weight:500}[data-v-481c5a20] .symbol{font-weight:700}[data-v-481c5a20] .symbol.infinity{color:#fbbf24}[data-v-481c5a20] .symbol.male{color:#60a5fa}[data-v-481c5a20] .symbol.female{color:#f472b6}[data-v-481c5a20] .symbol.context{color:#67e8f9}[data-v-481c5a20] .negation{color:#ef4444;font-weight:700}[data-v-481c5a20] .define{color:#60a5fa;font-weight:700}[data-v-481c5a20] .equality{color:#34d399;font-weight:500}[data-v-481c5a20] .bracket{color:#94a3b8}[data-v-481c5a20] .bracket.paren{color:#fbbf24}[data-v-481c5a20] .bracket.brace{color:#f472b6}[data-v-481c5a20] .bracket.square{color:#60a5fa}[data-v-481c5a20] .number{color:#a78bfa;font-weight:700}[data-v-481c5a20] .identifier{color:#e2e8f0}[data-v-481c5a20] .dot{color:#94a3b8}[data-v-481c5a20] .ast-highlight{background:#667eea4d;border-radius:2px;box-shadow:0 0 0 1px #667eea80}[data-v-481c5a20] .error-highlight{background:#f8717166;border-radius:2px;box-shadow:0 0 0 2px var(--error-color);padding:0 2px;animation:pulse-error-481c5a20 1.5s ease-in-out infinite}@keyframes pulse-error-481c5a20{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-481c5a20]{border-color:#667eea;box-shadow:0 0 0 2px #667eea4d}.drop-overlay[data-v-481c5a20]{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-481c5a20]{display:flex;flex-direction:column;align-items:center;gap:.5rem;color:var(--text-color);font-size:1rem}.drop-icon[data-v-481c5a20]{font-size:2rem}.symbol-buttons[data-v-481c5a20]{display:flex;align-items:center;gap:.35rem;margin-left:auto}.symbol-btn[data-v-481c5a20]{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-481c5a20]:hover{background:#667eea59;border-color:#667eea99;transform:translateY(-1px);box-shadow:0 2px 4px #0003}.symbol-btn[data-v-481c5a20]:active{transform:translateY(0)}.symbol-btn[data-v-481c5a20]:nth-child(1){color:#fbbf24;font-weight:700}.symbol-btn[data-v-481c5a20]:nth-child(2){color:#60a5fa;font-weight:700}.symbol-btn[data-v-481c5a20]:nth-child(3){color:#f472b6;font-weight:700}.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}.visual-link-network-viewer[data-v-887542ab]{width:100%;height:100%;min-height:420px}.visual-link-network-viewer__surface[data-v-887542ab]{position:relative;width:100%;height:100%;min-height:420px;overflow:hidden}.visual-link-network-viewer__controls[data-v-887542ab]{position:absolute;top:.75rem;left:.75rem;z-index:2}.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}}