/* Hide the header and side navigation when printing, since that's not as
   important as the actual content. */
#navskip {
  display: none;
}

header {
  display: none;
}

#sidenav {
  display: none;
}

div.body div.content {
  width: 100%;
  float: none;
}