:root{--fg:#111;--bg:#fff;--muted:#666;--line:#ddd;--hidden:#ececec;--hidden-hover:#e0e0e0;--card-hover:#fafafa}:root[data-theme=dark]{--fg:#ededed;--bg:#0d0d0d;--muted:#9a9a9a;--line:#2a2a2a;--hidden:#242424;--hidden-hover:#313131;--card-hover:#171717}*{box-sizing:border-box}html{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){html{--lightningcss-light: ;--lightningcss-dark:initial}}html,body{background:var(--bg);color:var(--fg);-webkit-font-smoothing:antialiased;margin:0;padding:0;font-family:Times New Roman,Times,Georgia,serif;line-height:1.6}a{color:var(--fg);text-underline-offset:2px;text-decoration:underline}a:hover{color:var(--muted)}.container{max-width:720px;margin:0 auto;padding:64px 24px 96px}.center{text-align:center}h1{margin:0 0 20px;font-size:34px;font-weight:700;line-height:1.25}.game-title{font-size:28px}h2{border-bottom:1px solid var(--line);margin:44px 0 12px;padding-bottom:6px;font-size:20px;font-weight:700}h3{margin:24px 0 8px;font-size:17px;font-weight:700}p{margin:0 0 16px}.muted{color:var(--muted)}.small{font-size:14px}.authors{margin-bottom:4px;font-size:16px}.affil{color:var(--muted);margin-bottom:28px;font-size:14px}.abstract{text-align:left;border:1px solid var(--line);margin:0 0 8px;padding:20px 24px;font-size:15px}.abstract .label{font-weight:700}hr{border:none;border-top:1px solid var(--line);margin:40px 0}.linkrow{flex-wrap:wrap;justify-content:center;gap:16px;margin:24px 0 8px;display:flex}.btn{border:1px solid var(--fg);background:var(--bg);color:var(--fg);padding:8px 18px;font-family:inherit;font-size:15px;text-decoration:none;display:inline-block}.btn:hover{background:var(--fg);color:var(--bg)}.linkrow .btn{justify-content:center;align-items:center;width:200px;min-height:44px;line-height:1.6;display:inline-flex}.cards{gap:20px;margin-top:20px;display:grid}.card{border:1px solid var(--fg);text-align:left;color:var(--fg);padding:22px 24px;text-decoration:none;display:block}.card:hover{background:var(--card-hover);color:var(--fg)}.card .lift{float:right;border:1px solid var(--fg);padding:1px 8px;font-size:13px}.card h3{margin:0 0 6px}.card p{color:var(--muted);margin:0;font-size:15px}.board-wrap{flex-direction:column;align-items:center;gap:16px;display:flex}.game-controls{border:1px solid var(--line);width:min(100%,600px)}.game-toolbar,.agent-toolbar,.difficulty-toolbar{justify-content:space-between;align-items:center;gap:16px;padding:16px;display:flex}.game-toolbar{border-bottom:1px solid var(--line)}.game-stats{align-items:baseline;gap:20px;margin:0;display:flex}.game-stat{align-items:baseline;gap:4px;display:flex}.game-stat dt{color:var(--muted);font-size:13px}.game-stat dd{margin:0;font-weight:700}.game-actions,.agent-actions,.difficulty-actions{flex-wrap:wrap;gap:8px;display:flex}.game-actions{justify-content:flex-end}.game-controls .btn{min-height:0;padding:4px 12px}.control-label{color:var(--muted);white-space:nowrap;font-size:13px}.agent-toolbar,.difficulty-toolbar{flex-wrap:wrap;justify-content:space-between}.difficulty-toolbar{border-top:1px solid var(--line)}.agent-actions,.difficulty-actions{margin-left:auto}.stop-agent{margin-left:0}.board{border:2px solid var(--fg);-webkit-user-select:none;user-select:none;touch-action:manipulation;display:grid}.cell{border:1px solid var(--line);background:var(--hidden);cursor:pointer;width:26px;height:26px;color:var(--fg);-webkit-touch-callout:none;-webkit-user-select:none;user-select:none;justify-content:center;align-items:center;padding:0;font-family:Courier New,monospace;font-size:13px;font-weight:700;line-height:1;display:flex}.cell:hover{background:var(--hidden-hover)}.cell.revealed{background:var(--bg);cursor:default}.cell.revealed:hover{background:var(--bg)}.cell.mine{background:var(--fg);color:var(--bg)}.status-line{min-height:24px;font-size:16px;font-weight:700}.hint{color:var(--muted);text-align:center;max-width:520px;font-size:13px}ul.tight{text-align:left;margin:8px 0 0;padding-left:20px;font-size:15px}ul.tight li{margin-bottom:6px}.backlink{margin-bottom:24px;font-size:14px;display:inline-block}table.results{border-collapse:collapse;width:100%;margin:8px 0 16px;font-size:15px}table.results th,table.results td{border:1px solid var(--line);text-align:center;padding:6px 10px}table.results th{font-weight:700}.figure{text-align:center;margin:20px 0 8px}.figure svg{max-width:100%;height:auto}.figcaption{color:var(--muted);margin-top:8px;font-size:13px;font-style:italic}.formula{border:1px solid var(--line);flex-direction:column;align-items:center;gap:18px;margin:18px 0;padding:18px 20px;font-family:Times New Roman,Times,Georgia,serif;display:flex}.eq{align-items:center;gap:10px;font-size:19px;font-style:italic;display:flex}.eq .sub{vertical-align:sub;font-size:.7em;font-style:italic}.frac{text-align:center;flex-direction:column;align-items:center;display:inline-flex}.frac .num{border-bottom:1px solid var(--fg);padding:0 8px 3px;font-size:16px}.frac .den{padding:3px 8px 0;font-size:17px}.eq .maxop{flex-direction:column;align-items:center;line-height:1;display:inline-flex}.eq .maxop .lab{font-size:20px;font-style:normal}.eq .maxop .cond{font-size:11px;font-style:italic}.cell.telegraph{background:var(--hidden);cursor:default;opacity:.85}.more-grid{grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:12px;margin-top:16px;display:grid}.more-card{border:1px solid var(--line);color:var(--fg);flex-direction:column;gap:4px;padding:13px 15px;text-decoration:none;display:flex}.more-card:hover{border-color:var(--fg);background:var(--card-hover);color:var(--fg)}.more-title{font-size:15px;font-weight:700}.more-tag{color:var(--muted);font-size:12.5px;line-height:1.4}.code{border:1px solid var(--line);background:var(--card-hover);white-space:pre;tab-size:4;color:var(--fg);margin:8px 0 0;padding:16px 18px;font-family:Courier New,monospace;font-size:12.5px;line-height:1.55;overflow-x:auto}.code code{font-family:inherit}.code strong{font-weight:700}.code .str{color:var(--muted)}.code .com{color:var(--muted);font-style:italic}.btn.active{background:var(--fg);color:var(--bg)}.btn:focus-visible,.cell:focus-visible{outline:2px solid var(--fg);outline-offset:2px}.board.locked{pointer-events:none}@media (max-width:560px){.container{padding-left:20px;padding-right:20px}h1{font-size:28px}.game-title{font-size:24px}.game-toolbar{flex-direction:column;align-items:flex-start}.game-stats{justify-content:space-between;width:100%}.game-actions{justify-content:flex-end;width:100%}.game-actions .btn{flex:1}.agent-actions,.difficulty-actions{width:auto;margin-left:auto}}