:root{font-family:Inter,Arial,sans-serif;color:#172033;background:#f4f7fb;--blue:#0e4aa8;--green:#167c3b;--amber:#8a5a00;--border:#cbd5e1}
*{box-sizing:border-box}body{margin:0}.hero{background:linear-gradient(135deg,#0e4aa8,#253ea7);color:white;padding:34px 24px}.hero>div{max-width:1100px;margin:auto}.eyebrow{font-size:.85rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase;opacity:.85}h1{margin:.35rem 0 .4rem;font-size:2rem}h2{color:var(--blue);font-size:1.08rem;margin-top:0}main{max-width:1100px;margin:auto;padding:24px}.panel{background:white;border:1px solid var(--border);border-radius:16px;padding:20px;margin:0 0 18px;box-shadow:0 5px 18px #00000010}.controls{display:flex;gap:9px;align-items:center;flex-wrap:wrap}.spacer{flex:1}.grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.facts{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;line-height:1.7;padding-left:22px}.query{margin-top:14px;padding:12px;border-radius:10px;background:#eef5ff;border:1px solid #b7caef}.strategy{font-weight:800;color:var(--blue);margin-bottom:12px}button{font:inherit;padding:10px 14px;border-radius:10px;border:1px solid var(--blue);background:var(--blue);color:#fff;font-weight:700;cursor:pointer}.secondary{background:#fff;color:var(--blue)}.mode{background:#fff;color:var(--blue)}.mode.active{background:var(--blue);color:#fff}pre{background:#f7faff;padding:14px;border-radius:10px;white-space:pre-wrap;min-height:82px}.trace{display:grid;gap:10px}.step{display:grid;grid-template-columns:42px 1fr;gap:12px;align-items:start;padding:12px;border-radius:12px;background:#f8fafc;border-left:4px solid var(--blue)}.n{width:32px;height:32px;border-radius:50%;display:grid;place-items:center;background:#e7efff;color:var(--blue);font-weight:800}.step strong{display:block;margin-bottom:4px}.derived{border-left-color:var(--green)}.goal{border-left-color:var(--amber)}.note{border-left:5px solid var(--blue)}@media(max-width:760px){.grid{grid-template-columns:1fr}.spacer{display:none}.controls button{flex:1}.hero{padding:26px 20px}main{padding:18px}}