body {
  padding-left: 1em;
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: black;
  background-color: #c2d3df
}
ol.a {list-style-type:upper-alpha;}
ol.b {list-style-type:upper-roman;}
ol.c {list-style-type:lower-alpha;}
ol.d {list-style-type:lower-roman;}
a:link {
  color: #9900aa }
a:visited {
  color: #444444 }
A:hover { background: red }


address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted }