body {
  background-color: white;
  color: black;
  font-family: Verdana, Geneva, sans-serif;
}

img {
  border: none;
}

div#main {
  max-width: 55em;
  margin-left: auto;
  margin-right: auto;
  border-left: 3px solid #F0F0F0;
  padding-left: 2ex;
}

div#main img{
  max-width: 55em;
}

#header {
  padding-bottom: 0.5ex;
  margin-bottom: 2em;
  border-bottom: 1px solid black;
}

#footer {
  font-size: smaller;
  margin-top: 5ex;
}

h1 {
  font-weight: normal;
}

.headermenuitem {
  display: inline-block;
  font-size: x-large;
  padding: 0.5ex 1ex;
  background-color: #00BDF2;
  color: white;
  margin: 0.5ex 0.25ex 0px;
  vertical-align: bottom;
  min-width: 8ex;
  text-align: center;
}

.headermenuitem a {
  color: white;
  text-decoration: none;
  font-variant: small-caps;
}

.headermenuitem a:visited {
  color: rgb(200, 250, 255);
}

.tocEntry {
  margin-bottom: 2ex;
}

.tocEntryLink {
  font-size: large;
  font-weight: bolder;
}

.tocEntryDetail {
  font-weight: lighter;
}