body {
       font-size: medium;
       margin-left: 15%;
       margin-right: 10%;
       color: rgb(0%, 0%, 0%);
       background-color: rgb(100%, 100%, 100%);
}

h1 {
      font-size: 200%;
      font-family: Times, TimesNR, "New Century Schoolbook", serif;
}

h2 {
      font-size: 150%;
      font-family: Times, TimesNR, "New Century Schoolbook", serif;
}

h3 {
      font-size: 120%;
      font-family: Times, TimesNR, "New Century Schoolbook", serif;
}

p {
      font-size: 100%;
      font-family: Arial, Helvetica, sans-serif;
}

ol {
      font-size: 100%;
      font-family: Helvetica, Arial, sans-serif;
}

ul {
      font-size: 100%;
      font-family: Helvetica, Arial, sans-serif;
}

#TOM {
      font-variant: small-caps;
       background-color: #98F5FF;
       padding: 1.5em 0 1.5em 1em;
}

.latin {
      font-style: italic;
}

.highlight {
      font-weight: bold;
}