BODY {
  font-size: x-small;
  color: white;
  background-color: black;
  font-family: verdana, arial, helvetica;
  text-align: left;
}

TABLE {}

TABLE.menu {
  color: #000;
  border-width: 0;
}

P {
  font-style: normal;
  font-size: x-small;
  color: black;
  font-family: verdana, arial, helvetica;
  text-align: left;
}

P.header {
  color: white;
  text-align: left;
  font-size: large;
}

P.footer {
  color: white;
  text-align: center;
  font-size: xx-small;
}

P.article {
  font-size: small;
}

P.section {
  margin-left: 1em;
  font-size: x-small;
}

P.pdf {
  text-align: right;
}

P.more {
  text-align: right;
  font-weight: bold;
}

P.updated {
  font-size: xx-small;
  font-style: italic;
}

SPAN.sectiontitle {
  font-style: italic;
  font-size: small;
}

SPAN.contact {
  font-weight: bold;
}

TD {
  font-style: normal;
  font-size: small;
  color: black;
  font-family: verdana, arial, helvetica;
  text-align: left;
}

TD.header {
  font-weight: bold;
  font-size: medium;
  color: black;
  background: #2A1672;
  text-indent: 2em;
}

.content {
  font-style: normal;
  font-size: small;
  color: black;
  font-family: verdana, arial, helvetica;
  text-align: left;
}

em {
  font-style: italic;
  font-weight: bold;
  color: black;
  font-family: verdana, arial, helvetica;
}

IMG {
  color: #ffffff;
  border-width: 0;
}

IMG.menu {
  color: #ff0000;
  border-width: 0;
}

IMG.display {
  color: #ff0000;
  border-width: 2;
}

A:link {
  color: gray;
  text-decoration: none;
}

A:visited {
  color: #2A1672;
  text-decoration: none;
}

A:active {
  color: #ff0000;
}

A:hover {}

H1 {}

H2 {
  font-style: italic;
  color: black;
  font-family: verdana, arial, helvetica;
  text-align: center;
}

H3 {
  font-style: normal;
  font-size: medium;
  color: black;
  font-family: verdana, arial, helvetica;
}

SAMP {}

PRE {}

.center {
  text-align: center;
}

/* Experimental elements for new site */

.shaded {
    color: #000;
    background-color: #EEE;
}

.bordercell {
    background-color: #000;
}
.titlecell{
    background-color: #CCC;
}
.contentcell {
    background-color: #FFF;
}

.bannercell {
    background-color: #000;
    border: 0px;
    padding: 0px;
}
.bannerlink {
    display: block;
    background-color: #000;
    color: #fff;
}
.bordercell {
    background-color: #000;
}