/*
 * print.css
 * Print-specific CSS styles
 */

/* Hide the useless Home link in the header bar */
header div.trigger {
    display: none;
}

/* Hide site description in the footer */
#footer-description {
    display: none;
}

/* Control where page breaks occur */
h1, h2, h3, h4, h5, h6 {
  page-break-after: avoid;
  break-after: avoid-page;
}

table, figure, pre, div.highlight {
  /* page-break-inside: avoid;
  break-inside: avoid-page; */
}

pre, div.highlight {
  page-break-before: avoid;
}