table {
  border-collapse: collapse;
}
td {
  vertical-align: top;
}
body {
  font-family: Garamond,Times;
}
u {
  text-decoration: none;
  color: maroon;
  font-weight: bold;
}
pre {
  border: 1px solid black;
  padding-left: 12pt;
}
tt {
  background-color: maroon;
  color: white;
  font-weight: bold;
}
hr {
  border: 5px;
  color: maroon;
  background-color: maroon;
}
@media print {
  .nav {
    display: none;
  }
  .top {
    page-break-before: always;
  }
  tt {
    border: 1px solid maroon;
  }
}