body {
  color: #144B94;
  margin-left: 2%;
  margin-right: 2%;
  font-family: sans-serif;
}

h1 {
  font-size: 200%;
  text-shadow: #75A6C5 3px 3px 6px;
}

h2 {
  font-size: 180%;
  text-shadow: #75A6C5 3px 3px 6px;
}

h3 {
  font-size: 150%;
  text-shadow: #75A6C5 3px 3px 6px;
}

h4 {
  font-size: 130%;
  text-shadow: #75A6C5 1px 1px 3px;
}

h5 {
  font-size: 120%;
  text-shadow: #75A6C5 1px 1px 3px;
}

hr {
  height: 1px;
  border: 0;
  color: navy;
  background-color: #003399;
}

A:link, A:visited, A:active {
  color: #CB0B23;
  text-decoration: none;
}

pre {
  background-color: #DBDBFF;
  border: 1px solid #B0B0FF;
  margin-left: 2%;
  margin-right: 2%;
  padding: 1em;
  font-weight: normal;
  font-family: monospace;
  color: #0000FF;
}