.ba.svelte-18oi2tp.svelte-18oi2tp{background:var(--paper-alt);padding:22px 24px;margin:18px 0;border-top:2px solid var(--violet)}.ba__hd.svelte-18oi2tp.svelte-18oi2tp{display:flex;justify-content:space-between;align-items:baseline;gap:16px;flex-wrap:wrap;margin-bottom:16px}.ba__eyebrow.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--violet);letter-spacing:.08em;text-transform:uppercase;font-weight:600}.ba__hint.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--muted);letter-spacing:.04em}.ba__controls.svelte-18oi2tp.svelte-18oi2tp{display:grid;gap:10px;padding:12px 14px;background:var(--paper);border:1px solid var(--rule);margin-bottom:18px}.ba__row.svelte-18oi2tp.svelte-18oi2tp{display:grid;grid-template-columns:110px minmax(0,1fr);gap:12px;align-items:center}.ba__lbl.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink-2);letter-spacing:.04em;text-transform:uppercase}.ba__text.svelte-18oi2tp.svelte-18oi2tp{padding:5px 10px;background:var(--paper-alt);border:1px solid var(--rule);color:var(--ink);font-size:13px}.ba__text--num.svelte-18oi2tp.svelte-18oi2tp{max-width:100px}.ba__text.svelte-18oi2tp.svelte-18oi2tp:focus{outline:none;border-color:var(--violet)}.ba__viz.svelte-18oi2tp.svelte-18oi2tp{display:grid;gap:12px;padding:8px 0}.ba__row-lbl.svelte-18oi2tp.svelte-18oi2tp{font-size:10px;color:var(--muted);text-transform:uppercase;letter-spacing:.08em}.ba__viz.svelte-18oi2tp svg.svelte-18oi2tp{width:100%;height:auto;max-height:160px;background:var(--paper);border:1px solid var(--rule)}.ba__verdict.svelte-18oi2tp.svelte-18oi2tp{padding:8px 14px;background:var(--paper);border-left:3px solid var(--violet)}.ba__verdict--feasible.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--verdant);background:color-mix(in srgb,var(--verdant) 7%,var(--paper))}.ba__verdict--infeasible.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--rust);background:color-mix(in srgb,var(--rust) 7%,var(--paper))}.ba__verdict--found.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--highlight);background:color-mix(in srgb,var(--highlight) 8%,var(--paper))}.ba__verdict-text.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink);font-feature-settings:"tnum";line-height:1.5}.ba__predicate.svelte-18oi2tp.svelte-18oi2tp{display:flex;gap:12px;flex-wrap:wrap;align-items:center;padding:8px 12px;background:var(--paper);border:1px solid var(--rule)}.ba__pred-k.svelte-18oi2tp.svelte-18oi2tp{font-size:10px;color:var(--muted);text-transform:uppercase;letter-spacing:.08em}.ba__pred-c.svelte-18oi2tp.svelte-18oi2tp{font-family:var(--type-mono);font-size:12px;color:var(--ink);background:var(--paper-alt);padding:2px 6px;border-radius:2px}.ba__pred-eval.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink-2)}.ba__bar.svelte-18oi2tp.svelte-18oi2tp{display:flex;gap:6px;align-items:center;padding:14px 0 10px;flex-wrap:wrap}.ba__btn.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;padding:5px 12px;background:var(--paper);border:1px solid var(--rule);color:var(--ink-2);cursor:pointer}.ba__btn.svelte-18oi2tp.svelte-18oi2tp:hover{background:var(--paper-alt);border-color:var(--ink-2)}.ba__btn--primary.svelte-18oi2tp.svelte-18oi2tp{background:var(--violet);color:var(--paper);border-color:var(--violet)}.ba__btn--primary.svelte-18oi2tp.svelte-18oi2tp:hover{background:var(--ink);border-color:var(--ink)}.ba__step.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--muted);margin-left:auto;font-feature-settings:"tnum"}.ba__notes.svelte-18oi2tp.svelte-18oi2tp{padding-top:12px;border-top:1px solid var(--rule);font-size:12px;color:var(--ink-2);line-height:1.55;font-family:var(--type-display)}.ba__notes.svelte-18oi2tp strong.svelte-18oi2tp{font-weight:600;color:var(--ink);margin-right:4px;font-size:11px;letter-spacing:.04em;text-transform:uppercase}.ba__notes.svelte-18oi2tp em.svelte-18oi2tp{font-style:italic;font-weight:500;color:var(--ink)}.ba__notes.svelte-18oi2tp code.svelte-18oi2tp{font-family:var(--type-mono);font-size:.9em;background:var(--paper);padding:1px 5px;border-radius:2px}