BODY {
  color: black;
  font-family: arial,helvetica;
  font-variant: normal;
  font-style: normal;
  background-color: white;
  background-repeat: no-repeat;
  padding: 0px 0px 0px 0px;
}
A:link {
  color: #0000ff;
  text-decoration: none;
  background-color: transparent;
}
A:visited {
  color: #000077;
  text-decoration: none;
  background-color: transparent;
}
A:hover {
  color: #008800;
  text-decoration: underline;
  background-color: transparent;
}
A:active {
  color: #00ff00;
  text-decoration: underline;
  background-color: #ddffdd;
}
.primary-heading {
  color: #000000;
  font-size: 300%;
  font-variant: bold;
  padding:0px 5px 5px 5px;
  margin:0px 0px 0px 0px;
}
.secondary-heading {
  color: #000000;
  font-size: 125%;
  font-weight: normal;
  padding:5px 0px 0px 0px;
  margin:0px 0px 0px 0px;
}
.abstract {
  margin:10px 30px 10px 30px;
  font-size:80%;
}
.normal {
  padding:5px;
  margin:0px;
}
.console {
  font-family:courier,times;
  font-size:80%;
  margin:10px 30px 10px 30px;
  padding:10px;
  border:2px solid black;
}
.floatright {
  float:right;
  padding:0px;
  margin:10px 10px 10px 20px;
}
.floatleft {
  float:left;
  padding:0px;
  margin:5px;
}
.file {
  color:#050;
  #background-color:#dfd;
  font-weight:normal;
  font-style:italic;
}
.noteref {
}
.notes-title {
  font-size:100%;
  font-weight:bold;
}
.notes {
  font-size:80%;
  font-weight:normal;
  margin:10px 20px 10px 20px;
}
.note {
  #font-size:80%;
  margin:0px 50px 0px 50px;
  text-indent:-20px;
}
.links-title {
  font-size:110%;
  font-weight:bold;
}
.license {
  font-size:60%;
}