/* Print shows one certificate, always the one the page opens on, so a printed copy
   does not depend on what the reader last clicked. The rest of the page's styles
   are templates/paper-publication.css, above; this rule stays here because it
   names the page's default certificate. */
@media print {
  .cert-figure[data-cert="19-5"][hidden] { display: block !important; }
  .cert-figure:not([data-cert="19-5"]) { display: none !important; }
  /* Keep the edition history compact without changing manuscript or footnote spacing. */
  .cert-page #version-history + ul > li + li { margin-block-start: 0; }
}