body {
  background: white;
  color: black;
  font-family: arial, verdana, helvetica, times, sans-serif;
  font-size: 12pt;
}

h1 {
  background: white;
  color: black;
  font-size: 28pt;
  font-weight: bold;
  text-align: center;
}

h2 {
  background: white;
  color: black;
  font-size: 12pt;
  font-weight: bold;
}

h3 {
  background: white;
  color: black;
  font-size: 14pt;
  font-weight: bold;
}

a:link {
  background: white;
  color: blue;
  text-decoration: none;
}

a:visited {
  background: white;
  color: red;
  text-decoration: none;
}

code {
  background: white;
  color: black;
  font-family: courier, fixed, monospace;
  font-size: 12pt;
}

img {
  border: 0px;
}

div#menu {
  float: left;
  width: 150px;
  margin-left: 5px;
  font-size: 10pt;
}

div.menutitle {
  margin-top: 10px;
  margin-bottom: 2px;
  font-size: 12pt;
  font-weight: bold;
}

div#body {
  margin-right: 20px;
  margin-left: 190px;
  text-align: justify;
}

div#footer {
  border: 1px solid;
  padding-left: 10px;
  padding-right: 10px;
  margin-top: 20px;
  float: left;
  font-size: 10pt;
}