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:underline;
  background-color:transparent;
}
A:visited {
  color:#00c;
  text-decoration:none;
  background-color:transparent;
}
A:hover {
  color:#080;
  text-decoration:underline;
  background-color:#afa;
}
A:active {
  color:#0f0;
  text-decoration:underline;
  background-color:#050;
}
.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;
}
.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:#000;
  #background-color:#ddd;
}
.adsense {
}
.floatright {
  float:right;
  margin:0px 0px 0px 20px;
}
.list {
}
.user {
  color:#800;
  #background-color:#fdd;
  font-weight:normal;
  font-style:italic;
}
.host {
  color:#005;
  #background-color:#ddf;
  font-weight:normal;
  font-style:italic;
}
.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%;
}