.website {
  color: #FF8040;
  font-family: Arial;
  font-size: 10pt;
}

.website:visited {
  color: #D0D0C0;
  font-family: Arial;
  font-size: 10pt;
}

A.website:hover {
  color: #502010;
  background: #FF8040;
  font-family: Arial;
  font-size: 10pt;
}

.comment {
  font-family: Arial;
  color: #D0D0C0;
  font-size: 10pt;
}

.heading {
  color: #CCCC00;
  font-size: 12pt;
  font-family: Arial;
}

.subset {
  font-size: 10pt;
  font-family: Arial;
  color: lime;
  text-indent: 48pt;
}

.tag {
  font-family: Arial;
  font-size: 8pt;
  font-variant: small-caps;
  color: black;
  background-color: fuchsia;
}

.minicomment {
  font-family: Arial;
  color: #D0D0C0;
  font-size: 8pt;
}