html {
  background-color: #fafafa;
}
body {
  min-height: 100%;
  color: black;
  font-family: Arial, Trebuchet, sans-serif;
  margin: 0;
  padding: 0;
}

div {
  padding: 0;
  margin: 0;
}

#header {
  vertical-align: top;
  left: 0;
  top: 0;
  position: absolute;
  margin: 0;
  padding: 0;
  right: 0;
  width: 100%;
  height: 5em;
  background-color: #5070d0;
  max-height: 5em;
  color: white;
  border-bottom: 0.2em solid #80b0e0;
}

#header h1 {
  text-align: left;
  position: absolute;
  display: block;
  top: 0;
  margin: 0;
  padding: 0;
  padding-left: 0.33em;
  font-size: 2.4em;
  font-weight: bold;
}

#header h2 {
  text-align: left;
  position: absolute;
  display: block;
  top: 3.4em;
  margin: 0;
  padding: 0;
  padding-left: 1em;
  font-size: 0.8em;
  font-weight: bold;
}

#header a {
  color: white;
  height: 100%;
  margin: 0;
  margin-left: 1em;
  margin-right: 1em;
  font-weight: bold;
  text-decoration: none;
}


#header a:hover {
  background-color: white;
  color: #5070d0;
}

#mainLinkList {
  bottom: 0em;
  font-size: 0.9em;
  width: 100%;
  border-top: 0.1em solid white;
  position: absolute;
}

#content {
  position: absolute;
  top: 5em;
  margin: 1em;
  font-size: 0.9em;
  padding-bottom: 2em;
  overflow: hidden;
}


#content a {
  color: #5070d0;
  text-decoration: none;
}

#content a[title="FIXED"], #content a[title="FIXED"]:visited {
  text-decoration: line-through;
}

#content a:hover {
  color: #5070d0;
  text-decoration: underline;
}

#content a:visited {
  color: #d070d0;
  text-decoration: none;
}

#content h2 {
  font-weight: normal;
  border-bottom: 1px solid #80b0e0;
}

#toc {
  padding: 0.4em;
  border: 1px solid #80b0e0;
  top: 1em;
  right: 0em;
}

td {
  padding: 3px;
}

thead td {
  font-weight: bold;
}

.warning {
  font-weight: bold;
  color: red;
  font-size: 110%;
}