.page.svelte-ngnjct{min-height:100vh;height:100vh;display:flex;flex-direction:column;overflow:hidden}.top.svelte-ngnjct{flex:0 0 auto;z-index:30;background:#0f172f;border-bottom:1px solid #1e293b;padding:12px 16px 8px}.top-bar.svelte-ngnjct{display:flex;flex-wrap:wrap;align-items:baseline;gap:10px 14px;margin-bottom:8px}.home-btn.svelte-ngnjct{color:#7dd3fc;text-decoration:none;font-weight:600;font-size:.9rem}.title.svelte-ngnjct{margin:0;font-size:1.2rem;letter-spacing:-.02em}.sub.svelte-ngnjct{margin:0;color:#94a3b8;font-size:.85rem;flex:1 1 200px}.frac.svelte-ngnjct{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:.78rem;color:#38bdf8;margin-left:6px}.controls.svelte-ngnjct{display:flex;flex-wrap:wrap;align-items:center;gap:8px}.btn.svelte-ngnjct{border:1px solid #334155;background:#1e293b;color:#e2e8f0;border-radius:6px;padding:7px 12px;font:inherit;font-size:.88rem;cursor:pointer}.btn.svelte-ngnjct:hover{border-color:#38bdf8}.btn.primary.svelte-ngnjct{background:#0c4a6e;border-color:#38bdf8;font-weight:600}.chk.svelte-ngnjct{display:inline-flex;align-items:center;gap:6px;font-size:.82rem;color:#94a3b8;cursor:pointer;-webkit-user-select:none;user-select:none}.chk.svelte-ngnjct input:where(.svelte-ngnjct){accent-color:#38bdf8}.stats.svelte-ngnjct{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:.78rem;color:#94a3b8;padding:5px 10px;background:#1e293b88;border-radius:8px}.status.svelte-ngnjct{margin:6px 0 0;font-size:.8rem;color:#94a3b8;min-height:1.2em}.stage.svelte-ngnjct{position:relative;flex:1 1 auto;min-height:320px;overflow:hidden}.tree.svelte-ngnjct{position:absolute;top:0;right:0;bottom:0;left:0;width:100%;height:100%;cursor:grab;touch-action:none;display:block}.tree.panning.svelte-ngnjct{cursor:grabbing}.inspector.svelte-ngnjct{position:absolute;top:12px;right:12px;width:min(420px,92vw);max-height:calc(100% - 24px);overflow:auto;background:#1e293bf5;border:1px solid #334155;border-radius:10px;box-shadow:0 8px 28px #0005;padding:14px 16px;font-size:12.5px;line-height:1.55;z-index:10}.inspector.svelte-ngnjct h2:where(.svelte-ngnjct){font-size:1.05rem;margin:0 0 6px}.meta.svelte-ngnjct{color:#94a3b8;margin:2px 0;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:12px}.meta.svelte-ngnjct b:where(.svelte-ngnjct){color:#e2e8f0}.steps.svelte-ngnjct{margin:10px 0 0;padding:0 0 0 1.1rem;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:11.5px;max-height:220px;overflow:auto}.steps.svelte-ngnjct li:where(.svelte-ngnjct){margin:3px 0;color:#cbd5e1}.steps.svelte-ngnjct .op:where(.svelte-ngnjct){display:inline-block;min-width:2.8rem;font-weight:700}.steps.svelte-ngnjct .odd:where(.svelte-ngnjct) .op:where(.svelte-ngnjct){color:#fbbf24}.steps.svelte-ngnjct .halve:where(.svelte-ngnjct) .op:where(.svelte-ngnjct){color:#38bdf8}.steps.svelte-ngnjct .sc:where(.svelte-ngnjct){color:#64748b;margin-left:6px}.hint-inline.svelte-ngnjct{color:#64748b;margin:10px 0 0;font-size:11.5px}.verdict.svelte-ngnjct{margin-top:10px;padding:8px 10px;border-radius:6px}.verdict.alive.svelte-ngnjct{background:#064e3b88;color:#6ee7b7}.verdict.pruned.svelte-ngnjct{background:#7f1d1d66;color:#fca5a5}.close.svelte-ngnjct{position:absolute;top:8px;right:10px;border:none;background:none;color:#94a3b8;font-size:18px;cursor:pointer;line-height:1}.wheel-panel.svelte-ngnjct{position:absolute;top:0;right:0;bottom:0;left:0;background:#0f172af5;overflow:auto;padding:16px 18px 40px;z-index:15}.wp-grid.svelte-ngnjct{display:grid;grid-template-columns:minmax(280px,380px) minmax(0,1fr);gap:18px;max-width:1280px;margin:0 auto}@media (max-width: 880px){.wp-grid.svelte-ngnjct{grid-template-columns:1fr}}.wp-card.svelte-ngnjct{background:#1e293b;border:1px solid #334155;border-radius:10px;padding:14px 16px;font-size:.88rem;line-height:1.55}.wp-card.svelte-ngnjct h2:where(.svelte-ngnjct){margin:0 0 8px;font-size:1.05rem}.wp-card.svelte-ngnjct h3:where(.svelte-ngnjct){margin:12px 0 6px;font-size:.9rem;color:#94a3b8}.wp-note.svelte-ngnjct{color:#64748b;font-size:.8rem;margin:6px 0}.wp-row.svelte-ngnjct{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin:6px 0}.wp-row.svelte-ngnjct label:where(.svelte-ngnjct){display:flex;flex-direction:column;gap:3px;font-size:.7rem;text-transform:uppercase;letter-spacing:.04em;color:#64748b}.wp-row.svelte-ngnjct input:where(.svelte-ngnjct){background:#0f172a;border:1px solid #334155;color:#e2e8f0;border-radius:6px;padding:6px 8px;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;width:8rem}.chips.svelte-ngnjct{display:flex;flex-wrap:wrap;gap:5px;margin:6px 0}.chip.svelte-ngnjct{padding:2px 9px;border-radius:999px;font-weight:700;font-size:.8rem;border:1px solid #334155;background:#0f172a;color:#94a3b8;cursor:pointer;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace}button.chip.svelte-ngnjct{font:inherit;font-weight:700;font-size:.8rem}.chip.c0.svelte-ngnjct{background:#33415555;color:#94a3b8}.chip.c1.svelte-ngnjct{background:#0c4a6e88;color:#7dd3fc;border-color:#38bdf866}.chip.c2.svelte-ngnjct{background:#7f1d1d66;color:#fca5a5;border-color:#f8717166}.resolve.svelte-ngnjct{margin-top:8px;padding:8px 10px;border-radius:6px;background:#064e3b44;color:#a7f3d0;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:.8rem}.stair.svelte-ngnjct{overflow-x:auto;background:#0f172a;border-radius:8px;padding:10px;margin:8px 0}.stair-row.svelte-ngnjct{display:flex;flex-wrap:nowrap;line-height:1.75}.stair-cell.svelte-ngnjct{border:none;background:transparent;color:#cbd5e1;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:.9rem;padding:0 .2em;cursor:pointer;min-width:1.1em;text-align:center}.stair-cell.lane-hit.svelte-ngnjct{background:#064e3b;border-radius:2px;color:#6ee7b7}.stair-cell.tail-zero.svelte-ngnjct{color:#475569}.stair-kind.svelte-ngnjct{margin-left:10px;font-size:.7rem;color:#64748b;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace}.hint.svelte-ngnjct{position:absolute;left:14px;bottom:12px;font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:11.5px;color:#475569;pointer-events:none;z-index:5}.foot.svelte-ngnjct{flex:0 0 auto;padding:8px 16px;font-size:.85rem;color:#64748b;border-top:1px solid #1e293b}.foot.svelte-ngnjct a:where(.svelte-ngnjct){color:#7dd3fc;text-decoration:none}.dot.svelte-ngnjct{margin:0 6px;opacity:.5}.muted.svelte-ngnjct{color:#475569}