/* Print / PDF export.
   Quick export: open page in Chrome → Print → Save as PDF (enable background graphics).
   Headless:     chrome --headless --print-to-pdf=out.pdf <file>
   Press-ready (bleed, running heads, real pagination): add Paged.js when we go to print. */

@media print {
  html { background: none; }

  .book { display: block; box-shadow: none; max-width: none; }

  nav.tabs { display: none; }

  main.page { padding: 0; }

  header.chapter-head { margin: 0 0 1.5rem; }

  h2, h3 { break-after: avoid; }

  table.stats, aside.callout, blockquote.flavor, figure.shot { break-inside: avoid; }

  table.stats thead { display: table-header-group; }

  a { color: inherit; text-decoration: none; }

  .no-print { display: none; }
}

@page {
  size: letter;
  margin: 0.75in 0.65in;
}

/* Spoiler blocks print expanded — the design-doc build is meant to be read whole. */
@media print {
  details.spoiler { break-inside: avoid; }
  details.spoiler > .spoiler-body {
    display: block !important;
    content-visibility: visible !important;
  }
  .devnote { break-inside: avoid; }
}