body {
  background-color: #000000;
  color: #FFFFFF;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-size: 14px;
  font-weight: normal;
}

h1 {
  color: #FFFFFF;
  border-bottom: 1px #999999 dotted;
  font-size: 18px;
  font-weight: bold;
  text-align: left;
  padding-left: 20%;
}

div.summary {
  text-align: justify;
  margin-left: 20%;
  margin-right: 10%;
  margin-top: 0;
  margin-bottom: 0;
  padding: 3px;
  background-color: transparent;
  border: 1px #555555 dotted;
}

a.basic {
  color: #AA66DD;
  text-decoration: none;
  font-weight: bold;
}

a.basic:hover { color: #FFFFFF; }

a.basic:active { color: #0000FF; }