body {
  font-family: sans-serif;
  font-size: 0.8em;
  width: 50em;
  background-color: white;
  color: black;
  padding: 2em;
  margin: 4em;
}

em { font-style: italic; }
strong { font-weight: bold; }

p {
  margin: 0pt;
  margin-top: 1em;
}
.title {
    text-align: left;
}

#postamble {
    font-size: x-small;
    text-align: right;
    color: gray;
    border-top: 0.1em solid gray;
    margin-top: 2em;
    padding-top: 1em;
}

#postamble p {
    margin-top: 0em;
}

pre {
  white-space: pre;
  font-family: monospace;
  margin-left: 5%;
}

pre.example {
  margin: 10px;
}

table {
  border-style: none;
  border-spacing: 0px;
}

img {
  border: none;
}

.contents {
  background-color: white;
  color: black;
}

.navheader {
    color: gray;
    border-top: 0.1em solid gray;
    border-bottom: 0.1em solid gray;
    margin-bottom: 2em;
}

.navheader table {
  border-style: none;
  border-spacing: 0px;
}

.navheader a {
  color: gray;
  font-weight: bold;
  text-decoration: none;
}

.navheader a:hover {
  color: white;
  background-color: gray;
}

.footer {
  border-top: 0.1em solid gray; 
  border-bottom: 0.1em solid gray;
  color: gray;
  margin-top: 2em;
}

.footer td {
 padding: 0.2em;
 vertical-align: middle;
}

.footer a {
  color: white;
  font-weight: bold;
}