@media print {
  nav#TOC, #TOC {
    display: block !important;
    visibility: visible !important;
    position: static !important;
    height: auto !important;
    overflow: visible !important;
  }
}