.level-button[data-v-8ccd1fa3]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-sm) var(--space-md);border:1px solid transparent;text-align:left;font-size:var(--font-size-md);text-transform:capitalize}.level-button[data-v-8ccd1fa3]:hover{border-color:var(--border-color)}.level-button.completed[data-v-8ccd1fa3]{color:var(--text-secondary)}.level-badge[data-v-8ccd1fa3]{font-size:var(--font-size-sm);width:1.5em;text-align:center;color:var(--color-success)}.level-button:not(.completed) .level-badge[data-v-8ccd1fa3]{color:var(--text-muted)}.level-name[data-v-8ccd1fa3]{flex:1}.section-card[data-v-a5f92ab4]{border:1px solid var(--border-color);border-radius:var(--radius-md);overflow:hidden;margin-bottom:var(--space-sm)}.section-header[data-v-a5f92ab4]{width:100%;display:flex;align-items:center;gap:var(--space-md);padding:var(--space-md) var(--space-lg);border:none;border-radius:0;font-size:var(--font-size-lg);text-align:left;text-transform:capitalize}.section-name[data-v-a5f92ab4]{flex:1}.section-progress[data-v-a5f92ab4]{font-size:var(--font-size-sm);color:var(--text-secondary)}.section-arrow[data-v-a5f92ab4]{color:var(--text-muted);font-size:var(--font-size-sm)}.section-levels[data-v-a5f92ab4]{display:flex;flex-direction:column;padding:0 var(--space-md) var(--space-md);gap:var(--space-xs)}.level-select[data-v-ffbad8be]{max-width:700px;margin:0 auto;padding:var(--space-lg);height:100%;overflow-y:auto}.header[data-v-ffbad8be]{text-align:center;margin-bottom:var(--space-xl)}.title[data-v-ffbad8be]{font-size:2rem;font-weight:300;color:var(--text-primary)}.lambda[data-v-ffbad8be]{color:var(--text-accent);font-weight:700}.subtitle[data-v-ffbad8be]{color:var(--text-secondary);font-size:var(--font-size-sm);margin-top:var(--space-xs)}.sections[data-v-ffbad8be]{display:flex;flex-direction:column}.constants-list[data-v-df9a198a]{padding:var(--space-md);border:1px solid var(--border-color);border-radius:var(--radius-md);background:var(--bg-secondary)}.constants-title[data-v-df9a198a]{font-size:var(--font-size-sm);color:var(--text-secondary);font-weight:500;margin-bottom:var(--space-sm);text-transform:uppercase;letter-spacing:.05em}.constants-grid[data-v-df9a198a]{display:flex;flex-wrap:wrap;gap:var(--space-xs)}.constant-chip[data-v-df9a198a]{font-family:var(--font-mono);font-size:var(--font-size-sm);background:var(--bg-tertiary);padding:2px var(--space-sm);border-radius:var(--radius-sm);color:var(--text-accent)}.test-results[data-v-803aecb8]{display:flex;flex-direction:column;gap:var(--space-sm)}.test-case[data-v-803aecb8]{border:1px solid var(--border-color);border-radius:var(--radius-md);padding:var(--space-md);background:var(--bg-secondary)}.test-case.pass[data-v-803aecb8]{border-left:3px solid var(--color-success)}.test-case.fail[data-v-803aecb8]{border-left:3px solid var(--color-error)}.test-header[data-v-803aecb8]{display:flex;align-items:center;gap:var(--space-sm);margin-bottom:var(--space-sm)}.test-status[data-v-803aecb8]{font-family:var(--font-mono);font-size:var(--font-size-sm);font-weight:700;padding:1px var(--space-sm);border-radius:var(--radius-sm)}.pass .test-status[data-v-803aecb8]{background:#4caf5026;color:var(--color-success)}.fail .test-status[data-v-803aecb8]{background:#f4433626;color:var(--color-error)}.test-label[data-v-803aecb8]{font-size:var(--font-size-sm);color:var(--text-secondary);flex:1}.view-btn[data-v-803aecb8]{font-size:var(--font-size-sm);padding:2px var(--space-sm);color:var(--text-accent);background:transparent;border:1px solid var(--border-color)}.view-btn[data-v-803aecb8]:hover{background:var(--bg-tertiary)}.test-detail[data-v-803aecb8]{font-family:var(--font-mono);font-size:var(--font-size-sm)}.test-row[data-v-803aecb8]{display:flex;gap:var(--space-sm);margin-bottom:2px;line-height:1.4}.test-key[data-v-803aecb8]{color:var(--text-muted);min-width:5.5em;flex-shrink:0}.test-val[data-v-803aecb8]{word-break:break-all;color:var(--text-primary)}.test-val.mismatch[data-v-803aecb8],.error-text[data-v-803aecb8]{color:var(--color-error)}.test-stats[data-v-803aecb8]{margin-top:var(--space-sm);font-size:var(--font-size-sm);color:var(--text-muted)}.reduction-viewer[data-v-2828dac2]{border:1px solid var(--border-active);border-radius:var(--radius-md);padding:var(--space-md);background:var(--bg-secondary);outline:none}.reduction-header[data-v-2828dac2]{display:flex;align-items:center;gap:var(--space-md);margin-bottom:var(--space-md)}.reduction-header h3[data-v-2828dac2]{flex:1;font-size:var(--font-size-md);font-weight:500}.step-counter[data-v-2828dac2]{font-family:var(--font-mono);font-size:var(--font-size-sm);color:var(--text-secondary)}.close-btn[data-v-2828dac2]{font-size:var(--font-size-sm);padding:2px var(--space-sm)}.reduction-display[data-v-2828dac2]{font-family:var(--font-mono);font-size:var(--font-size-md);background:var(--bg-input);padding:var(--space-md);border-radius:var(--radius-sm);overflow-x:auto;white-space:pre-wrap;word-break:break-all;min-height:3em;line-height:1.5}.reduction-controls[data-v-2828dac2]{display:flex;gap:var(--space-sm);margin-top:var(--space-md)}.reduction-controls button[data-v-2828dac2]{flex:1}.reduction-controls button[data-v-2828dac2]:disabled{opacity:.4;cursor:default}.reduction-hint[data-v-2828dac2]{text-align:center;font-size:var(--font-size-sm);color:var(--text-muted);margin-top:var(--space-sm)}.reduction-error[data-v-2828dac2]{color:var(--color-error);font-family:var(--font-mono);font-size:var(--font-size-sm)}.reduction-empty[data-v-2828dac2]{color:var(--text-muted)}.editor-screen[data-v-44e4f30d]{height:100%;display:flex;flex-direction:column;overflow:hidden}.editor-header[data-v-44e4f30d]{display:flex;align-items:center;gap:var(--space-md);padding:var(--space-md) var(--space-lg);border-bottom:1px solid var(--border-color);background:var(--bg-secondary)}.back-btn[data-v-44e4f30d]{font-size:var(--font-size-sm);padding:var(--space-xs) var(--space-sm)}.level-name[data-v-44e4f30d]{flex:1;font-size:var(--font-size-lg);font-weight:500;text-transform:capitalize}.completed-badge[data-v-44e4f30d]{font-size:var(--font-size-sm);color:var(--color-success);background:#4caf5026;padding:2px var(--space-sm);border-radius:var(--radius-sm)}.editor-body[data-v-44e4f30d]{flex:1;display:flex;overflow:hidden}.left-panel[data-v-44e4f30d]{flex:1;overflow-y:auto;padding:var(--space-lg);display:flex;flex-direction:column;gap:var(--space-md)}.right-panel[data-v-44e4f30d]{width:250px;flex-shrink:0;padding:var(--space-lg);border-left:1px solid var(--border-color);overflow-y:auto}.description[data-v-44e4f30d]{background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:var(--radius-md);padding:var(--space-md)}.description-text[data-v-44e4f30d]{font-family:var(--font-sans);font-size:var(--font-size-md);white-space:pre-wrap;word-wrap:break-word;line-height:1.6;color:var(--text-primary)}.extra-info[data-v-44e4f30d]{background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:var(--radius-md);padding:var(--space-md)}.hint-toggle[data-v-44e4f30d]{font-size:var(--font-size-sm);color:var(--color-warning);background:transparent;border:1px solid var(--color-warning);padding:var(--space-xs) var(--space-sm)}.hint-text[data-v-44e4f30d]{font-family:var(--font-mono);font-size:var(--font-size-sm);white-space:pre-wrap;word-wrap:break-word;color:var(--text-secondary)}.code-section[data-v-44e4f30d]{display:flex;flex-direction:column;gap:var(--space-sm)}.code-label[data-v-44e4f30d]{font-size:var(--font-size-sm);color:var(--text-secondary);text-transform:uppercase;letter-spacing:.05em}.code-input[data-v-44e4f30d]{resize:vertical;min-height:60px;line-height:1.5}.code-actions[data-v-44e4f30d]{display:flex;gap:var(--space-sm)}.run-btn[data-v-44e4f30d]:disabled{opacity:.4;cursor:default}.error-banner[data-v-44e4f30d]{font-family:var(--font-mono);font-size:var(--font-size-sm);color:var(--color-error);background:#f443361a;border:1px solid rgba(244,67,54,.3);border-radius:var(--radius-md);padding:var(--space-md)}.success-banner[data-v-44e4f30d]{font-weight:600;color:var(--color-success);background:#4caf501a;border:1px solid rgba(76,175,80,.3);border-radius:var(--radius-md);padding:var(--space-md);text-align:center}.results-section[data-v-44e4f30d],.reduction-section[data-v-44e4f30d]{margin-top:var(--space-sm)}@media(max-width:768px){.editor-body[data-v-44e4f30d]{flex-direction:column}.right-panel[data-v-44e4f30d]{width:100%;border-left:none;border-top:1px solid var(--border-color)}}:root{--bg-primary: #1a1a2e;--bg-secondary: #16213e;--bg-tertiary: #0f3460;--bg-input: #0d1b2a;--bg-hover: #1b2838;--text-primary: #e0e0e0;--text-secondary: #a0a0b0;--text-muted: #606070;--text-accent: #64ffda;--color-success: #4caf50;--color-error: #f44336;--color-warning: #ff9800;--color-info: #42a5f5;--border-color: #2a2a4a;--border-active: #64ffda;--space-xs: 4px;--space-sm: 8px;--space-md: 16px;--space-lg: 24px;--space-xl: 32px;--font-mono: "JetBrains Mono", "Fira Code", "Cascadia Code", "Consolas", monospace;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-size-sm: .85rem;--font-size-md: 1rem;--font-size-lg: 1.25rem;--font-size-xl: 1.5rem;--radius-sm: 4px;--radius-md: 8px;--radius-lg: 12px}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html,body{height:100%;background:var(--bg-primary);color:var(--text-primary);font-family:var(--font-sans);font-size:var(--font-size-md);line-height:1.6;-webkit-font-smoothing:antialiased}#app{height:100%;display:flex;flex-direction:column}code,pre,.mono{font-family:var(--font-mono)}a{color:var(--text-accent);text-decoration:none}a:hover{text-decoration:underline}button{font-family:inherit;font-size:inherit;cursor:pointer;border:1px solid var(--border-color);border-radius:var(--radius-sm);background:var(--bg-secondary);color:var(--text-primary);padding:var(--space-sm) var(--space-md);transition:background .15s,border-color .15s}button:hover{background:var(--bg-hover);border-color:var(--text-secondary)}button:active{background:var(--bg-tertiary)}button.primary{background:var(--bg-tertiary);border-color:var(--text-accent);color:var(--text-accent)}button.primary:hover{background:#0f4470}textarea,input{font-family:var(--font-mono);font-size:var(--font-size-md);background:var(--bg-input);color:var(--text-primary);border:1px solid var(--border-color);border-radius:var(--radius-sm);padding:var(--space-sm) var(--space-md);outline:none;transition:border-color .15s}textarea:focus,input:focus{border-color:var(--text-accent)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-primary)}::-webkit-scrollbar-thumb{background:var(--border-color);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--text-muted)}