/* --- PRINT OVERRIDES --- */
header {
  color: #000000;      /* black text for print */
  font-size: 20pt;     /* 20 point heading */
}

main {
  font-family: "Times New Roman", serif;
  font-size: 12pt;     /* 12 point body text */
}

/* Hide navigation when printing */
nav { 
  display: none; 
}