body {
  color: #000000;
  background-color: #D0D0FF;
  margin-left: 0;
  margin-top: 0;
  margin-width: 0;
  margin-height: 0;
}

p {
  font-family: arial, helvetica, sans-serif;
  color: #000000;
  font-size: 100%;
}
p.heading {
  color: #FFFFFF;
  font-weight: bold;
  font-size: 125%;
}
p.heading2 {
  color: #FFFFFF;
  font-weight: bold;
}
p.small {
  font-size: 75%;
}
span.emph {
  color: #905000;
  font-weight: bold;
}
a:link {
  font-family: arial, helvetica, sans-serif;
  color: #000080;
}
a:visited {
  font-family: arial, helvetica, sans-serif;
  color: #4040C0;
}
a:active {
  font-family: arial, helvetica, sans-serif;
  color: #FFFFA0;
}
td {
  font-size: 100%;
  vertical-align: top;
}
ul {
  font-family: arial, helvetica, sans-serif;
  color: #000000;
  font-size: 100%;
  list-style-type: square;
  list-style-position: outside;
  padding-left: 20;
}

div#navbar p {
  font-size: 100%;
  color: #000000;
  border: #8080E0 1px solid;
  border-left: #8080E0 10px solid;
  background-color: #B0B0FF;
  margin-top: 0;
  margin-bottom: 2;
  margin-left: 0;
  margin-right: 5;
  padding: 1;
}
div#navbar p:hover {
  background-color: #C0C0FF;
  border: #9090F0 1px solid;
  border-left: #9090F0 10px solid;
}
div#navbar p.cur {
  background-color: #8080E0;
  border: #8080E0 1px solid;
  border-left: #8080E0 10px solid;
  color: #FFFFFF
}
div#navbar p.cur:hover {
  background-color: #8080E0;
  border: #5050D0 1px solid;
  border-left: #5050D0 10px solid;
}
div#navbar p.sep {
  padding: 0;
  margin-bottom: 7px;
  border-style: none;
}
div#navbar a {
  font-size: 100%;
  text-decoration: none;
  color: #000000;
}
div#navbar a:hover {
  font-size: 100%;
  text-decoration: underline;
  color: #000000;
}
div#navbar tr {
  background-color: #FFFFFF
  border-color: #FFFFFF
  border-style: none
}
div#navbar td {
  background-color: #404080
}

div#margintext p {
  font-size: 75%;
  text-align: center;
  padding-left: 10;
  padding-right: 10;
}
div#margintext form {
  text-align: center;
}

div#textcol p {
  font-size: 100%;
  color: #000000;
}
div#textcol a {
  color: #000080;
}
div#textcol h1 {
  font-size: 110%;
  font-weight: bold;
  background-color: #C0C0FF;
  border: #6060C0 1px solid;
  border-left: #6060C0 10px solid;
  border-bottom: #6060C0 2px solid;
  padding: 1px;
  padding-left: 5px;
  margin-top: 0;
}

thead.list {
  color: #FFFFFF;
  background-color: #5050FF;
  font-weight: bold;
}
tbody.list {
  background-color: #B0B0FF;
}
tbody.head {
  color: #FFFFFF;
  background-color: #5050FF;
  font-weight: bold;
}