body {
  font-size: 10pt;
  font-family: times new roman, times, serif;
}
#nav {
  display: none;
}