body {
  font-family: verdana, helvetica, sans-serif;
  margin: 0;
  background-color: white;
  color: black;
  padding: 0 0 0 1%;
}

img {
  border-style: none;
}

h1 {
  font-size: 144%;
  margin: 8px 0;
  padding: 2px 1%;
  color: black;
  background-color: silver;
  text-align: center;
  border-style: solid;
  border-color: black;
  border-width: 2px 0;
}

h2 {
  font-size: 120%;
}

h3 {
  font-size: 100%;
}

#logo {
  text-align: right;
  height: 72px;
}

#logo img {
  max-width: 100%;
  height: 60px;
}

#menu {
  position: absolute;
  top: 72px;
  left: 4px;
  margin: 0;
  padding: 0;
  width: 160px;
}

#menu a {
  text-decoration: none;
}

#content {
  margin: 0 23% 0 172px;
}

#links {
  position: absolute;
  top: 72px;
  right: 1%;
  margin: 0;
  width: 20%;
}

#content p {
  text-align: justify;
  padding: 4px 4%;
}

#links h2 {
  font-size: 10pt;
  margin: 0;
}

#content ul {
  margin: 1em 0 1em 16px;
  padding: 4px 2% 4px 5%;
  text-align: justify;
}

#links ul {
  list-style-type: none;
  font-size: 80%;
  padding: 4px 2px 4px 6px;
  margin: 0;
}

.sub {
  margin: 0;
  font-size: 66%;
}

#last-mod {
  font-family: "courier new", monospace !important;
  font-size: 80% !important;
  text-align: center !important;
}