body {
  font-family: serif;
  background-color: #d0d0d0;
  /* background-image: url(bg.jpg); */
  /* background-attachment: fixed; */
  margin-top: 0;
  a:link{ color:#0000ee };
  a:visited{ color:#551a8b };
}
img {
  border: 0;
  margin: 0;
}
h3 {
  background: steelblue;
  color: orange;
  text-align: center;
  margin: 0pt;
}
h4 {
  font-family: sans-serif;
  background: #88dddd;
  color: black;
  padding: 3pt;
}
code {
    font-family: sans-serif;
    font-weight: bold;
}
pre {
    font-family: monospace;
    font-weight: bold;
	background: #ddffff;
}
p {
  margin: 0pt;
  text-indent: 1em;
}
table.mainmenu {
  background: #99ffff;
  : center
  cell-padding: 2
}
table.mainmenu th {
  text-align: center;
  background: #88ffff;
  color: black;
  font-size: x-medium;
  padding: 5pt;
}
table.mainmenu td {
  text-align: left;
  background: #ccffff;
  color: black;
  font-size: x-medium;
  padding: 5pt;
}
hr.footing {
  width: 100%
  size: 4
}
div.footnote {
  font-size: x-small;
}