body {
  font-family: Arial, Helvetica, sans-serif;
  font-size: small;
  font-style: normal;
  color: black;
  background-color: white;
}

input, textarea {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 110%;
}

.serif {
  font-size: 110%;
  font-family: 'Times New Roman', Times, serif;
}

.narrow {
  font-size: 110%;
  font-family: 'Arial Narrow', Arial, Helvetica, sans-serif;
}

sub {
  font-size: 70%;
  font-family: Arial, Helvetica, sans-serif;
}

a:link {
  text-decoration: none;
  color: #0000CC;
}

a:visited {
  text-decoration: none;
  color: #660099;
}

a:hover {
  text-decoration: underline;
}

h1,h2,h3 {
  font-family: 'Arial Rounded MT Bold', Arial, Helvetica, sans-serif;
}

h1 {
  font-size: 160%;
  font-weight: bold;
}

h2 {
  font-size: 130%;
  font-weight: bold;
}

h3 {
  font-size: 120%;
  font-style: italic;
}

img {
  border: 0px;
  vertical-align: bottom;
}

pre, tt, code {
  font-family: Courier, 'Courier New', monospace;
  font-size: 110%;
}

.grey {
  color: #666666;
}

.red {
  color: #990000;
}

.brightred {
  color: #CC3300;
}

.green {
  color: #009900;
}

.blue {
  color: #000099;
}

.orange {
  color: #CC6600;
}

table.header {
  font-size: 110%;
  border-width: 2px;
  background-color: #FFFF99;
  border-style: solid;
  border-color: #990000;
  padding-left: 6px;
  padding-right: 6px;
  padding-top: 2px;
  padding-bottom: 2px;
  margin-top: 2px;
  margin-bottom: 8px;
}

tr.infoline {
  font-size: small;
}

p.separator {
  align: center;
  width: 100%;
  margin-top: 2px;
  margin-bottom: 10px;
  margin-left: 0px;
  margin-right: 0px;
}

.match {
  background-color: #FFFF33;
  font-weight: bold;
}

.location {
  color: #000066;
  background-color: #CCFFCC;
  font-weight: bold;
}

.target {
  border-bottom-style: solid;
  border-bottom-width: 2px;
  border-bottom-color: black;
}

.keyword {
  border-bottom-style: solid;
  border-bottom-width: 2px;
  border-bottom-color: #CC0000;
}

p.footnote {
  font-size: 95%;
  color: #442288;
  margin-left: 4px;
  margin-top: 8px;
}

p.footnote code {
  color: #444444;
}