/* default stylesheet */

h1, h2, h3, h3, h4, h5, h6, body {
  font-family: sans-serif;
  color: rgb(139,0,0); /* Dark Red */
}

h1 {
  text-align: center;
}

body {
  font-size:   12pt;
  background:  rgb(0,0,139); /* Dark Blue */
}

.header {
  background: rgb(248,248,215); /* Ghost White */
}

.data {
  background: rgb(245,245,255); /* White Smoke */
}

.footer {
  background:  rgb(248,248,215); /* Ghost White */
}

.banner {
  font-weight: bold;
  background:  rgb(0,0,139); /* Dark Blue */
  color:       rgb(245,245,255); /* White Smoke */
}

p.footer {
  font-size:   10pt;
  color:       rgb(0,0,139); /* Dark Blue */
}

p.middle, td.middle {
  font-size:   12pt;
  color:       rgb(139,0,0); /* Dark Red */
}

em {
  font-weight: bold;
  font-style:  normal;
  color:       rgb(255,0,0); /* Red */
}

p.subfooter {
  color:       rgb(0,0,139); /* Dark Blue */
  font-size:   8pt;
}

.mono {
  font-family: monospace;
  font-size:   10pt;
  color:       rgb(0,0,139); /* Dark Blue */
}

a:link {
  font-weight: bold;
  color: rgb(0,0,139); /* Dark Blue */
}

a:visited {
  font-weight: bold;
  color: rgb(139,0,0); /* Dark Red */
}

a:link:hover, a:visited:hover {
  font-weight: bold;
  color:       rgb(255,0,0); /* Red */
}

a.plain:link {
  font-weight: normal;
  color: rgb(0,0,139); /* Dark Blue */
}

a.plain:visited {
  font-weight: normal;
  color: rgb(139,0,0); /* Dark Red */
}

a.plain:link:hover, a.plain:visited:hover {
  font-weight: normal;
  color: rgb(255,0,0); /* Red */
}

.navigation {
  font-weight: bold;
  background:  rgb(0,0,139);     /* Dark Blue */
  /*background:  rgb(59,125,64); Ozibug green */
  /*color:       rgb(255,255,204);*/ /* Clean Turtle Yellow */
  color:       rgb(245,245,255); /* White Smoke */
}

a.button:link {
  font-weight:     bold;
  text-decoration: none;
  /*color:           rgb(255,255,204);*/ /* Clean Turtle Yellow */
  color:       rgb(245,245,255); /* White Smoke */
}

a.button:visited {
  font-weight:     bold;
  text-decoration: none;
  /*color:           rgb(255,255,204);*/ /* Clean Turtle Yellow */
  color:       rgb(245,245,255); /* White Smoke */
}

a.button:hover {
  font-weight:     bold;
  text-decoration: none;
  color:           rgb(255,0,0); /* Red */
}