BODY {
  color:black;
  font-family:arial,helvetica;
  font-variant:normal;
  font-style:normal;
  background-color:white;
  background-repeat:no-repeat;
  padding:0px 20px 0px 20px;
}
A:link {
  color:#00f;
  text-decoration:none;
  background-color:transparent;
}
A:visited {
  color:#007;
  text-decoration:none;
  background-color:transparent;
}
A:hover {
  color:#080;
  text-decoration:underline;
  background-color:transparent;
}
A:active {
  color:#0f0;
  text-decoration:underline;
  background-color:#dfd;
}
.primary-heading {
  color:#000;
  font-size:300%;
  font-weight:normal;
}
.secondary-heading {
  color:#000;
  font-size:150%;
  font-weight:normal;
}
.normal {
  padding-bottom:10px;
  padding-right:10px;
}
.ad-normal {
  margin:10px;
}
.ad-floatright {
  float:right;
  margin:10px;
}
.ad-floatleft {
  float:left;
  margin:10px;
}
.console {
  font-family:courier,times;
  font-size:80%;
  margin:10px 30px 10px 30px;
  padding:10px;
  border:2px solid black;
}
.abstract {
  margin:10px 30px 10px 30px;
  font-size:80%;
}
.app {
  color:#303;
}
.list {
}
.user {
  font-weight:normal;
  font-style:italic;
  color:#700;
}
.noteref {
}
.host {
  font-weight:normal;
  font-style:italic;
  color:#003;
}
.file {
  font-style:italic;
  color:#030;
}
.notes {
  font-size:80%;
  font-weight:normal;
  margin:10px 20px 10px 20px;
}
.note {
  font-size:100%;
  margin:0px 10px 0px 10px;
}
.license {
  font-size:60%;
}