.sokoban-page { max-width: 68rem; }
.sokoban-page h2 { margin: 0 0 1rem; font: 400 clamp(1.7rem, 4vw, 2rem)/1.25 Georgia, serif; letter-spacing: -0.025em; }
.sokoban-page h3 { margin: 0; font-size: 1.25rem; font-weight: 500; }
.intro { max-width: 48rem; }
.intro h1 { font-size: clamp(2.4rem, 7vw, 3.6rem); }
.intro .status { display: flex; align-items: center; gap: 0.5rem; }
.status-dot { width: 0.5rem; height: 0.5rem; border-radius: 50%; background: #a66e19; }
.lead { margin: 0; max-width: 42rem; color: var(--muted); font-size: 1.15rem; }
.section-links { display: flex; flex-wrap: wrap; gap: 0.5rem 1.5rem; margin-top: 1.5rem; font-size: 0.95rem; }
.snapshot { margin-top: 2.5rem; border-block: 1px solid var(--line); }
.snapshot-numbers { display: grid; grid-template-columns: 1.7fr 1fr 1fr; gap: 1.5rem; margin: 0; padding: 1.6rem 0; }
.snapshot-numbers dt { color: var(--muted); font-size: 0.85rem; }
.snapshot-numbers dd { margin: 0.3rem 0 0; font: 400 2.4rem/1.1 Georgia, serif; font-variant-numeric: lining-nums tabular-nums; }
.snapshot-numbers .unit { font: 400 1.1rem/1.3 system-ui, sans-serif; color: var(--muted); }
.snapshot-note { border-top: 1px solid var(--line); margin: 0; padding: 0.9rem 0; font-size: 0.9rem; color: var(--muted); }
.sokoban-page section[id] { margin-top: 3.2rem; scroll-margin-top: 2rem; }
.section-heading { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 0.5rem 1rem; margin-bottom: 1.25rem; }
.section-heading h2 { margin: 0; }
.small-link { font-size: 0.85rem; }
.explorer { display: grid; grid-template-columns: 1.15fr 1fr; gap: 2rem; }
.board-column { min-width: 0; }
.board-controls { display: flex; gap: 1rem; align-items: flex-end; justify-content: space-between; margin-bottom: 1rem; }
.board-select { display: grid; gap: 0.3rem; flex: 1; max-width: 15rem; }
.board-select label, .eyebrow { font-size: 0.75rem; color: var(--muted); }
.board-select select { width: 100%; padding: 0.5rem 2rem 0.5rem 0.65rem; min-height: 2.75rem; color: var(--text); border: 1px solid var(--line); border-radius: 4px; font: inherit; font-size: 0.95rem; background: var(--background); }
.step-controls { display: flex; align-items: center; gap: 0.4rem; font-size: 0.75rem; white-space: nowrap; color: var(--muted); }
.step-controls button { min-width: 2.75rem; min-height: 2.75rem; padding: 0.3rem; border: 1px solid var(--line); border-radius: 4px; background: transparent; color: var(--text); font: inherit; font-size: 1rem; cursor: pointer; }
.step-controls button:disabled { opacity: 0.4; cursor: default; }
.step-controls button:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
.sokoban-page select:focus-visible, .sokoban-page button:focus-visible, .sokoban-page input:focus-visible, .sokoban-page summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.board-figure { margin: 0; background: color-mix(in srgb, var(--line) 22%, var(--background)); border: 1px solid var(--line); border-radius: 7px; overflow: hidden; }
.board-image { display: flex; align-items: center; justify-content: center; padding: 1.4rem; min-height: 23rem; }
.board-image svg { display: block; max-width: 100%; max-height: 25rem; width: 100%; height: auto; }
.board-wall { fill: color-mix(in srgb, var(--muted) 45%, var(--background)); stroke: var(--background); stroke-width: 0.65; }
.board-floor { fill: var(--background); }
.board-box { fill: #c38a45; stroke: #805321; stroke-width: 1.4; }
.board-box-inset { fill: none; stroke: #805321; stroke-width: 1; opacity: 0.65; }
.board-goal { fill: none; stroke: var(--benchmark-teal); stroke-width: 2.5; }
.board-placed { fill: #4c9886; stroke: #245f51; stroke-width: 1.4; }
.board-placed-mark { fill: none; stroke: #fafff9; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.board-player { fill: #5678df; stroke: #2148ac; stroke-width: 1.2; }
.board-player-mark { fill: #fff; }
.board-figure figcaption { display: flex; flex-wrap: wrap; justify-content: center; gap: 0.5rem 1rem; padding: 0.75rem; border-top: 1px solid var(--line); color: var(--muted); font-size: 0.7rem; }
.board-figure figcaption > span { display: inline-flex; align-items: center; gap: 0.35rem; white-space: nowrap; }
.board-figure i { display: inline-block; width: 0.8rem; height: 0.8rem; }
.legend-box { border-radius: 2px; border: 1px solid #805321; background: #c38a45; }
.legend-goal { border: 2px solid var(--benchmark-teal); border-radius: 50%; }
.legend-placed { border-radius: 2px; border: 1px solid #245f51; background: #4c9886; }
.legend-player { border-radius: 50%; background: #5678df; }
.board-footer { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 0.4rem; margin-top: 0.65rem; color: var(--muted); font-size: 0.75rem; }
.board-detail { padding: 1.5rem 0 0; }
.eyebrow { margin: 0 0 0.4rem; }
.board-detail h3 { font: 400 1.8rem/1.2 Georgia, serif; }
.bound-range { display: flex; align-items: flex-end; gap: 1rem; margin-top: 1.8rem; }
.bound-range > div { display: grid; gap: 0.2rem; }
.bound-range > div:last-child { text-align: right; }
.bound-label { color: var(--muted); font-size: 0.75rem; }
.bound-range strong { font-size: 1.9rem; line-height: 1.2; font-weight: 400; font-variant-numeric: tabular-nums; }
.range-line { flex: 1; border-bottom: 1px solid var(--line); margin-bottom: 1rem; position: relative; }
.range-line::before, .range-line::after { content: ''; width: 1px; height: 7px; position: absolute; bottom: -3px; background: var(--line); }
.range-line::after { right: 0; }
.board-gap { margin: 1.6rem 0 0.5rem; font-size: 0.9rem; }
.board-gap strong { font-size: 1.4rem; font-weight: 500; }
.weight-bar { height: 0.35rem; background: var(--line); border-radius: 1rem; overflow: hidden; }
.weight-bar span { display: block; height: 100%; background: var(--benchmark-teal); }
.weight-caption { margin: 0.5rem 0 1.3rem; color: var(--muted); font-size: 0.75rem; }
.weight-caption strong { font-weight: 500; color: var(--text); }
.bound-definition { font-size: 0.9rem; color: var(--muted); margin: 0 0 1.25rem; }
.evidence-status { font-size: 0.8rem; margin: 0 0 0.7rem; }
.evidence-status > div { display: flex; justify-content: space-between; gap: 1rem; border-top: 1px solid var(--line); padding: 0.4rem 0; }
.evidence-status dt { color: var(--muted); }
.evidence-status dd { margin: 0; text-align: right; }
.bound-sources { margin-top: 0.8rem; font-size: 0.75rem; color: var(--muted); }
.bound-sources summary { cursor: pointer; }
.bound-sources p { margin: 0.6rem 0; }
.bound-table-wrap { margin-top: 2rem; }
.bounds-table { width: 100%; min-width: 30rem; border-collapse: collapse; text-align: right; font-size: 0.9rem; font-variant-numeric: tabular-nums; }
.bounds-table caption { text-align: left; color: var(--muted); font-size: 0.8rem; margin-bottom: 0.5rem; }
.bounds-table th, .bounds-table td { padding: 0.55rem 0.8rem; border-bottom: 1px solid var(--line); font-weight: 400; }
.bounds-table tr > :first-child { text-align: left; }
.bounds-table thead th { color: var(--muted); font-size: 0.75rem; }
.bounds-table tbody tr.selected { background: color-mix(in srgb, var(--accent) 9%, var(--background)); }
.bounds-table tbody th { padding: 0; }
.bounds-table button { display: block; width: 100%; padding: 0.65rem 0.8rem; text-align: left; border: 0; background: transparent; color: var(--accent); font: inherit; cursor: pointer; text-decoration: underline; text-underline-offset: 0.2em; }
.bounds-table tfoot th, .bounds-table tfoot td { border-top: 1px solid var(--muted); border-bottom: 0; padding-top: 0.85rem; font-weight: 600; }
.section-copy { max-width: 45rem; color: var(--muted); font-size: 1rem; }
.score-formula { display: flex; align-items: center; justify-content: center; flex-wrap: wrap; gap: 0.7rem; margin: 1.5rem 0; padding: 1.5rem; border: 1px solid var(--line); border-radius: 6px; font-size: 1rem; }
.fraction { display: inline-grid; text-align: center; }
.fraction span { padding: 0.2rem 0.5rem; }
.fraction span:first-child { border-bottom: 1px solid var(--muted); }
.score-preview { display: grid; grid-template-columns: 1.4fr 1fr; gap: 2.5rem; border-block: 1px solid var(--line); padding: 1.5rem 0; margin: 1.8rem 0 1rem; }
.preview-control h3 { margin-bottom: 0.8rem; font-size: 1rem; }
.preview-control label { font-size: 0.85rem; color: var(--muted); }
.slider-labels { display: flex; justify-content: space-between; align-items: center; gap: 1rem; margin-top: 1rem; color: var(--muted); font-size: 0.75rem; font-variant-numeric: tabular-nums; }
.slider-labels output { color: var(--text); font-size: 1rem; font-weight: 500; }
#closed-gap { width: 100%; margin: 0.65rem 0; accent-color: var(--benchmark-teal); min-height: 1.5rem; cursor: pointer; }
.preview-control p { color: var(--muted); font-size: 0.75rem; margin: 0.5rem 0 0; }
.preview-results { display: flex; flex-wrap: wrap; align-content: center; gap: 1.3rem; margin: 0; border-left: 1px solid var(--line); padding-left: 2rem; }
.preview-results dt { font-size: 0.75rem; color: var(--muted); }
.preview-results dd { margin: 0.3rem 0 0; font-size: 1.75rem; font-variant-numeric: tabular-nums; line-height: 1.1; }
.parity-note { max-width: 49rem; color: var(--muted); font-size: 0.85rem; }
.audit-summary { display: flex; flex-wrap: wrap; gap: 1.5rem 3rem; margin: 1.5rem 0; }
.audit-summary dt { color: var(--muted); font-size: 0.8rem; }
.audit-summary dd { margin: 0.3rem 0 0; font-size: 1.5rem; }
.source-list { padding-left: 1.2rem; font-size: 0.9rem; }
.source-list li { margin: 0.5rem 0; }
.snapshot-details { margin-top: 1.5rem; border-top: 1px solid var(--line); font-size: 0.85rem; }
.snapshot-details summary { padding: 1rem 0; cursor: pointer; }
.snapshot-details dl { margin: 0; }
.snapshot-details dl > div { margin: 0.75rem 0; }
.snapshot-details dt { color: var(--muted); }
.snapshot-details dd { margin: 0.2rem 0 0; overflow-wrap: anywhere; }
.snapshot-details code { font-size: 0.75rem; }
.download-links { display: flex; flex-wrap: wrap; gap: 0.5rem 1.5rem; }
.results-note { margin-top: 2.5rem; border-top: 1px solid var(--line); padding-top: 1.5rem; }
.results-note p { color: var(--muted); font-size: 1rem; }
.load-status { margin-top: 2rem; color: var(--muted); font-size: 0.9rem; }
@media (max-width: 700px) {
  .sokoban-page { padding-inline: 1.1rem; margin-top: 2rem; }
  .sokoban-page .page-header { margin-bottom: 2rem; }
  .snapshot-numbers { gap: 1rem; grid-template-columns: 1.5fr 0.8fr 0.8fr; }
  .snapshot-numbers dd { font-size: 2rem; }
  .snapshot-numbers dt { font-size: 0.7rem; }
  .snapshot-numbers .unit { font-size: 0.85rem; }
  .explorer { grid-template-columns: 1fr; gap: 1.25rem; }
  .board-image { min-height: 20rem; padding: 1rem; }
  .board-detail { padding: 0.5rem 0 0; }
  .bound-range { margin-top: 1.1rem; }
  .board-gap { margin-top: 1.2rem; }
  .score-preview { grid-template-columns: 1fr; gap: 1.5rem; }
  .preview-results { border-left: 0; border-top: 1px solid var(--line); padding: 1.25rem 0 0; justify-content: space-between; }
  .score-formula { font-size: 0.8rem; gap: 0.5rem; padding: 1.2rem 0.6rem; }
  .bounds-table { min-width: 27rem; }
}
@media print { .section-links, .board-controls, .score-preview, .download-links { display: none; } }