.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:block;width:100%}.qbf-graph-panel{width:100%;min-width:0}.qbf-lower-panels{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(260px,.85fr);gap:1rem;margin-top: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}@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}}.qbf-graph-viewport{width:100%;margin-top:.7rem;border:1px solid rgba(148,163,184,.12);border-radius:.8rem;overflow:hidden;background:#03060e4d}.qbf-graph-svg{display:block;width:100%;height:auto;aspect-ratio:1240 / 650;min-height:0;cursor:grab;touch-action:none}.qbf-graph-svg.panning{cursor:grabbing}.geo-versus{width:100%;max-width:none;box-sizing:border-box;margin:1.5rem 0 3rem;padding:1.15rem;border:1px solid rgba(63,63,70,.75);border-radius:1rem;background:#09090bb8}.geo-versus-header{display:flex;align-items:center;justify-content:space-between;gap:1rem}.geo-versus-header h2{margin:0;font-size:clamp(1.2rem,3vw,1.55rem);font-weight:650}.geo-versus-kicker{margin:0 0 .18rem;color:#b4bed79e;font-size:.7rem;font-weight:700;letter-spacing:.11em;text-transform:uppercase}.geo-versus-intro{max-width:68ch;margin:.8rem 0 1rem;color:#cdd4e6c2;line-height:1.6}.geo-status{flex:0 0 auto;border:1px solid rgba(148,163,184,.16);border-radius:999px;padding:.42rem .7rem;background:#ffffff06;color:#cdd4e6c7;font-size:.77rem;font-weight:650}.geo-status-human,.geo-status-computer{border-color:#94a3b82e;background:#ffffff09;color:#e1e6f2db}.geo-versus-stage{width:100%;overflow:hidden;border:1px solid rgba(148,163,184,.1);border-radius:.8rem;background:#03060e61}.geo-versus-stage svg{display:block;width:100%;height:auto}.geo-edge{stroke:#a5afc861;stroke-width:3;transition:opacity .18s ease,stroke .18s ease,stroke-width .18s ease}.geo-edge-legal{stroke:#becde1b8;stroke-width:4}.geo-edge-used{stroke:#78829b40;stroke-width:2;stroke-dasharray:5 7;opacity:.3}.geo-node{fill:#0d111d;stroke:#b9c3da99;stroke-width:3;transition:fill .15s ease,stroke .15s ease,r .15s ease}.geo-vertex-legal{cursor:pointer}.geo-vertex-legal .geo-node{fill:#becde10f;stroke:#cdd7ebd1}.geo-vertex-legal:hover .geo-node,.geo-vertex-legal:focus .geo-node{fill:#cdd7eb1c;stroke:#e1e8f5f2;r:17px}.geo-vertex:focus{outline:none}.geo-token-human{fill:#bedce1f2}.geo-token-computer{fill:#beb9d2f2}.geo-hint-ring{fill:none;stroke:#becdbebf;stroke-width:2.5;stroke-dasharray:5 5;animation:geo-hint-pulse 1.15s ease-in-out infinite alternate}@keyframes geo-hint-pulse{0%{opacity:.35;r:21px}to{opacity:.8;r:26px}}.geo-versus-controls{display:flex;flex-wrap:wrap;gap:.6rem;margin-top:.9rem}.geo-versus-controls button{min-height:2.4rem;border:1px solid rgba(148,163,184,.16);border-radius:.6rem;padding:.5rem .85rem;background:#ffffff09;color:#dce1eee0;font:inherit;font-size:.84rem;font-weight:600;cursor:pointer;transition:background .14s ease,border-color .14s ease}.geo-versus-controls button:hover:not(:disabled){border-color:#afb9d24d;background:#fff1}.geo-versus-controls button:disabled{opacity:.35;cursor:default}.geo-versus-controls .geo-secondary-button{border-color:#94a3b821;background:#ffffff05;color:#c3cadcb8}.geo-hint-message,.geo-result{margin:.75rem 0 0;color:#c3cadcc2;font-size:.86rem;line-height:1.5}.geo-result{color:#d7dce8e0}.geo-versus-footnote{margin:.9rem 0 0;border-top:1px solid rgba(148,163,184,.09);padding-top:.8rem;color:#9ba5bc94;font-size:.76rem;line-height:1.5}@media(max-width:620px){.geo-versus{padding:.85rem}.geo-versus-header{align-items:flex-start;flex-direction:column}}@media(prefers-reduced-motion:reduce){.geo-hint-ring{animation:none}.geo-node,.geo-edge,.geo-versus-controls button{transition:none}}.geo-game-picker{display:flex;flex-direction:column;gap:.45rem;min-width:0;border-right:1px solid rgba(148,163,184,.08);padding-right:.8rem}.geo-panel-label{display:block;margin-bottom:.2rem;color:#a5afc685;font-size:.67rem;font-weight:650;letter-spacing:.09em;text-transform:uppercase}.geo-game-option{appearance:none;width:100%;margin-bottom:.4rem;border:1px solid transparent;border-radius:.55rem;padding:.48rem .55rem;background:transparent;color:inherit;font:inherit;text-align:left;cursor:pointer;transition:background .14s ease,border-color .14s ease,color .14s ease}.geo-game-option strong{display:block;color:#d0d8e8c2;font-size:.8rem;font-weight:580;line-height:1.25}.geo-game-option span{display:block;margin-top:.1rem;color:#919cb470;font-size:.68rem;line-height:1.3}.geo-game-option:hover{border-color:#a0aac31a;background:#ffffff06}.geo-game-option-active{border-color:#afb9d226;background:#ffffff0b}.geo-game-option-active strong{color:#e2e7f2eb}.geo-game-option-active span{color:#a5b0c69e}.geo-game-option:focus-visible{outline:1px solid rgba(190,200,220,.55);outline-offset:2px}.geo-game-info{display:flex;flex-direction:column;justify-content:space-between;min-width:0;margin-top:.67rem;border-left:1px solid rgba(148,163,184,.08);padding-left:.8rem;color:#b4bed29e;font-size:.76rem;line-height:1.5}.geo-game-info p{margin:0}.geo-versus-controls{display:flex;gap:.4rem;margin-top:.8rem}.geo-versus-controls button{appearance:none;border:1px solid rgba(155,165,188,.14);border-radius:.5rem;padding:.42rem .68rem;background:#ffffff06;color:#cad2e2bd;font:inherit;font-size:.74rem;font-weight:550;cursor:pointer;transition:background .14s ease,border-color .14s ease,color .14s ease}.geo-versus-controls button:hover:not(:disabled){border-color:#afb9d040;background:#ffffff0d;color:#e1e6f0eb}.geo-versus-controls button:disabled{opacity:.3;cursor:default}