body {
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: black;
  background-color: #FFFFFF }
a:link {
  color: blue }
a:visited {
  color: purple }
pre {
  font-family: Courier, monospace;
  font-style : normal ;
  font-size : 1em ;
  margin-left: 1em;
  color : purple;}
h1 {
  font-family: Bookman, serif;
  font-style : normal ;
  font-size : 2em ;
  color : blue;}
h1.heading {
  font-family: Bookman, serif;
  font-style : italic ;
  font-size : 4em ;
  color : green;}
table.margin {
  background: white;
  margin: 0.5em 0;
  padding: 0.3em;
  position: absolute;
  top:   0em;
  left:  0.5em;
  right: 0.5em;
  width: 7em; }
table.margin td{
  background: #C0C0C0;
  font-size : 0.75em ;
  margin: 0.5em 0;
  padding: 0.3em;
  width: 7em }
table.margin a{
  background: #C0C0C0;
  color : black;
  text-decoration: none;}
table.margin td.button{
  background: white;
  margin: 0 0;
  padding: 0; }