body { font-family: "Times New Roman", "Times", serif; }
pre { font-family: "Times New Roman", "Times", serif; }
.author { font-size: 0.7em; font-style:italic; }

#navigation, #side-bar, #courtesy-navigation, .no-print {
  display: none;
}

hr {
  color: black;
  background-color: black;
  height : 1px;
  border: 0px;
}

table { border-collapse: collapse; }
td, th { border: 1px solid silver; }