.geography-playground{margin-top:2rem;border:1px solid rgba(63,63,70,.75);border-radius:1.5rem;padding:1rem;background:#09090bb8;backdrop-filter:blur(14px)}.playground-toolbar{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.75rem;margin-bottom:1rem}.playground-layout{display:grid;gap:1rem}@media(min-width:960px){.playground-layout{grid-template-columns:minmax(0,1fr) 20rem}}.graph-panel,.solver-panel{border:1px solid rgba(255,255,255,.09);border-radius:1.25rem;background:#0000003d}.graph-panel{padding:.75rem}.geography-svg{touch-action:none;user-select:none}.geography-svg.vertex-mode{cursor:crosshair}.geography-svg.edge-mode{cursor:default}.edge-hitbox{stroke:transparent;stroke-width:18;cursor:pointer}.edge-line{pointer-events:none}.arrow-head{fill:#d2dcffb8}.vertex-group{cursor:grab}.vertex-group.dragging{cursor:grabbing}.vertex-group.dragging .vertex-circle{stroke:#fff;stroke-width:3.5}.geography-svg.edge-mode .vertex-group{cursor:pointer}.vertex-circle{transition:fill .12s ease,stroke .12s ease,stroke-width .12s ease}.vertex-circle.start{stroke:#fffffff2;stroke-width:3}.geography-svg{display:block;width:100%;min-height:22rem;border-radius:1rem;background:#030c2280;touch-action:none;user-select:none}.edge-line{stroke:#d2dcffb8;stroke-width:3;stroke-linecap:round;pointer-events:none}.vertex-circle{fill:#18181bf5;stroke:#ffffff61;stroke-width:2;transition:fill .12s ease,stroke .12s ease,stroke-width .12s ease}.vertex-circle.pending{fill:#505a82f5;stroke:#fffffff2}.vertex-label{fill:#fff;font-size:.9rem;font-weight:700;pointer-events:none;user-select:none}.playground-hint{margin:.75rem 0 0;color:#ffffff85;font-size:.85rem;line-height:1.5}.solver-panel{padding:1rem}.solver-panel h2{margin:.35rem 0 .75rem;font-size:1.5rem}.solver-panel p{color:#ffffffad;line-height:1.6}.solver-panel strong{color:#fff}.solver-panel ul{padding-left:1.25rem;color:#ffffffb8}.winning{color:#d4f7d4}.losing{color:#ffd0d0}.solver-stats{margin-top:1.25rem;padding-top:1rem;border-top:1px solid rgba(255,255,255,.09)}.solver-stats p{margin:.35rem 0;font-size:.85rem;color:#ffffff7a}.responsive-gif{display:block;max-width:100%;width:min(100%,1100px);height:auto;margin:1.5rem auto;border-radius:1rem}.qbf-geography{margin-top:2rem;border:1px solid rgba(63,63,70,.75);border-radius:1.5rem;padding:1rem;background:#09090bb8;backdrop-filter:blur(14px)}.qbf-top{display:grid;gap:1rem;margin-bottom:1rem}@media(min-width:900px){.qbf-top{grid-template-columns:minmax(0,1fr) auto;align-items:start}}.qbf-top h2{margin:.35rem 0 .5rem;font-size:clamp(1.5rem,4vw,2.25rem)}.qbf-top p{max-width:52rem;margin:0;color:#ffffffad;line-height:1.65}.qbf-result{width:fit-content;border:1px solid rgba(255,255,255,.12);border-radius:999px;padding:.5rem .75rem;font-size:.78rem;font-weight:800;letter-spacing:.05em;text-transform:uppercase}.qbf-result.winning{border-color:#beffbe38;background:#78ffa013;color:#dcffdce6}.qbf-result.losing{border-color:#ffbebe38;background:#ff787813;color:#ffdcdce6}.qbf-formula-display{display:flex;flex-wrap:wrap;align-items:center;gap:.65rem;margin-bottom:.75rem;border:1px solid rgba(255,255,255,.09);border-radius:1.25rem;padding:1rem;background:#0000003d}.qbf-prefix{display:flex;flex-wrap:wrap;gap:.4rem}.qbf-prefix-token,.qbf-clause-chip{border:1px solid rgba(255,255,255,.11);border-radius:999px;padding:.38rem .6rem;background:#ffffff0b;color:#ffffffdb;font:700 .9rem SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace}.qbf-prefix-token{cursor:pointer}.qbf-prefix-token:hover{border-color:#ffffff47;background:#ffffff17;color:#fff}.qbf-colon{color:#ffffff6b;font-weight:800}.qbf-clauses{display:flex;flex-wrap:wrap;gap:.4rem}.qbf-example-row{display:flex;flex-wrap:wrap;gap:.5rem;margin-bottom:1rem}.qbf-layout{display:grid;gap:1rem}@media(min-width:960px){.qbf-layout{grid-template-columns:minmax(16rem,20rem) minmax(0,1fr)}.qbf-solver-panel{grid-column:1 / -1}}@media(min-width:1280px){.qbf-layout{grid-template-columns:18rem minmax(0,1.75fr) 18rem}.qbf-solver-panel{grid-column:auto}}.qbf-builder-panel,.qbf-graph-panel,.qbf-solver-panel,.qbf-step-panel{border:1px solid rgba(255,255,255,.09);border-radius:1.25rem;background:#0000003d}.qbf-builder-panel,.qbf-graph-panel,.qbf-solver-panel{padding:1rem}.qbf-graph-panel{min-width:0}.qbf-builder-panel h3,.qbf-solver-panel h3,.qbf-step-panel h3{margin:0 0 .75rem}.qbf-muted{color:#ffffff94;font-size:.86rem;line-height:1.5}.qbf-table-wrap{overflow-x:auto;margin-top:1rem}.qbf-builder-table{width:100%;border-collapse:separate;border-spacing:.35rem}.qbf-builder-table th{color:#ffffff8a;font-size:.8rem;font-weight:700;text-align:center}.qbf-builder-table tbody th{width:3.5rem}.qbf-builder-table td{text-align:center}.qbf-literal-cell{width:100%;min-width:3rem;min-height:2.2rem;border:1px solid rgba(255,255,255,.09);border-radius:.65rem;background:#ffffff09;color:#ffffff70;font:700 .85rem SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace;cursor:pointer}.qbf-literal-cell:hover,.qbf-literal-cell.active{border-color:#ffffff47;background:#ffffff14;color:#fff}.qbf-literal-cell.negated{color:#ffdcdce6}.qbf-builder-actions{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:1rem}.qbf-assignment-panel{margin-top:1.25rem;padding-top:1rem;border-top:1px solid rgba(255,255,255,.09)}.qbf-assignment-row{display:flex;justify-content:space-between;gap:1rem;padding:.35rem 0;color:#ffffffad}.qbf-assignment-row strong{color:#fff;font:800 .95rem SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace}.qbf-controls{display:flex;flex-wrap:wrap;gap:.5rem;margin-bottom:.75rem}.qbf-graph-svg{display:block;width:100%;min-height:42rem;border-radius:1rem;background:radial-gradient(circle at 50% 12%,rgba(80,90,130,.18),transparent 22rem),#030c2280;cursor:grab;touch-action:none}.qbf-graph-svg.panning{cursor:grabbing}@media(min-width:1280px){.qbf-graph-svg{min-height:50rem}}.qbf-edge{fill:none;stroke:#d2dcff3d;stroke-width:2.2;stroke-linecap:round;stroke-linejoin:round}.qbf-edge.kind-choice{stroke:#dce6ff57}.qbf-edge.kind-join,.qbf-edge.kind-advance,.qbf-edge.kind-pad,.qbf-edge.kind-start{stroke:#d2dcff3d}.qbf-edge.kind-challenge{stroke:#d2dcff4d;stroke-dasharray:5 6}.qbf-edge.kind-literal{stroke:#d2dcff38;stroke-dasharray:7 7}.qbf-edge.available{stroke:#d2e6ff9e;stroke-width:3.2}.qbf-edge.traversed{stroke:#f4f4ff9e;stroke-width:3.4}.qbf-edge.current{stroke:#fffffffa;stroke-width:4.4;filter:drop-shadow(0 0 .45rem rgba(255,255,255,.32))}.qbf-edge.disabled{stroke:#ff787861;stroke-dasharray:4 5}.qbf-arrow-head{fill:#d2dcffcc}.qbf-edge-label{fill:#ffffffbf;font-size:.78rem;font-weight:800;paint-order:stroke;stroke:#000000ad;stroke-width:3px;stroke-linejoin:round}.qbf-vertex circle{fill:#3e425cfa;stroke:#ffffff75;stroke-width:2.4}.qbf-vertex.kind-start circle{fill:#4a4a58fa}.qbf-vertex.kind-variable circle{fill:#485282fa}.qbf-vertex.kind-branch circle{fill:#365e80fa}.qbf-vertex.kind-join circle{fill:#565276fa}.qbf-vertex.kind-check circle{fill:#705c84fa}.qbf-vertex.kind-clause circle{fill:#7c487cfa}.qbf-vertex.kind-literal circle{fill:#3a7060fa}.qbf-vertex.kind-pad circle{fill:#464652f0;stroke:#ffffff52}.qbf-vertex text{fill:#fffffff7;font-size:.86rem;font-weight:850;pointer-events:none;user-select:none;paint-order:stroke;stroke:#00000094;stroke-width:3px;stroke-linejoin:round}.qbf-vertex.kind-pad text{font-size:.66rem;fill:#ffffffb8}.qbf-vertex.kind-literal text{font-size:.76rem}.qbf-vertex.active circle{stroke:#fff;stroke-width:4.2;filter:drop-shadow(0 0 .85rem rgba(255,255,255,.34))}.qbf-vertex.visited circle{stroke:#ffffffc2}.qbf-step-panel{margin-top:1rem;padding:1rem}.qbf-step-panel p,.qbf-solver-panel p{color:#ffffffad;line-height:1.6}.qbf-step-panel .eyebrow{color:#ffffff7a}.qbf-solver-panel h2{margin:.35rem 0 .75rem;font-size:1.5rem}.qbf-solver-panel strong{color:#fff}.qbf-solver-stats{margin-top:1.25rem;padding-top:1rem;border-top:1px solid rgba(255,255,255,.09)}.qbf-solver-stats p{margin:.35rem 0;font-size:.86rem;color:#ffffff94}.qbf-strategy{margin-top:1.25rem}.qbf-strategy ol{padding-left:1.25rem;color:#ffffffb8;line-height:1.7}.qbf-warning{border:1px solid rgba(255,190,120,.28);border-radius:.85rem;padding:.75rem;background:#ffbe7814;color:#ffe6c8e6!important}.qbf-geography .winning{color:#d4f7d4}.qbf-geography .losing{color:#ffd0d0}@media(max-width:720px){.qbf-geography{padding:.75rem}.qbf-formula-display,.qbf-builder-panel,.qbf-graph-panel,.qbf-solver-panel,.qbf-step-panel{border-radius:1rem}.qbf-graph-svg{min-height:34rem}.qbf-edge-label{font-size:.68rem}.qbf-vertex text{font-size:.74rem}.qbf-vertex.kind-literal text,.qbf-vertex.kind-pad text{font-size:.62rem}}