body {
  margin-left: 5%;
  margin-right: 5%;
  color: black;
  background: white;
  font-family: Helvetica, Arial, sans-serif; 
}

h1.title {
  background-color: rgb(204,204,255);
  color: black;
}
dl {
  margin:0 0 1em; }
dt {
  font-weight: bold }
dd {
  padding:3px 0 1.2em 0; }
table {
  border-spacing: 1px;
  padding: 0px;
  margin: 0.0em 0 }
tr {
  vertical-align: top }
td, th {
  text-align: left;
  /*border-bottom: thin dotted;*/
  padding: 0.2em
}
table.wide {
  border-spacing: 6px;
  padding: 6px;
  margin: 1.3em 0 }
th.title {
  font-family: Helvetica, Arial, sans-serif;
  font-weight: bold;
  font-size: large;
  background-color: rgb(204,204,255);
  color: black;
}
td.title {
  font-weight: bold;
  font-size: large;
  background-color: rgb(204,204,255);
  color: black;
}
td.home {
  background-color: rgb(204,204,255);
  color: black;
}
td.navigationbg {
  background: rgb(204, 255, 255);
  color: black;
}
tr.navigation {
  vertical-align: middle }
} 
td.navigation {
  background: rgb(204,204,255);
  padding: 3px;
  border-spacing: 3px;
}
tr.fill {
  vertical-align: baseline }
td.line {
  padding: 0.2em
  border-spacing: 3px;
  
}
p.comment {
  font-size: xx-small;
}