body, p, ol, ul, li {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  color: #000033
  }
body {
  background-color: #003366;
  }

.b { font-weight:bold }
.i { font-style: italic}
.s { text-decoration: line-through}
.t { color: #ffffff;
     font-size: 180% }
.wh { color: #ffffff }
.gy { color: #999999 }
.sm { font-size: 80% }
.on {
  background-color: #336699;
  color: #ffffff;
  border-color: #ffffff;
  border-style: solid;
  border-width: 0px 1px 0px 0px;
  padding: 0px 10px;
  }


a {
  text-decoration: none;
  }
a:link {color: #003399}
a:visited {color: #003399}
a:active {color: #0066cc}
a:hover { 
  text-decoration: underline;
  color: #0066cc;
  }

a.nav:link {color: #cccccc}
a.nav:visited {color: #ccccff}
a.nav:active {color: #ffffff}
a.nav:hover {color: #ffffff}
a.nav {
  border-color: #ffffff;
  border-style: solid;
  border-width: 0px 1px 0px 0px;
  padding: 0px 10px;
  }

a.nav2:link {color: #cccccc}
a.nav2:visited {color: #ccccff}
a.nav2:active {color: #ffffff}
a.nav2:hover {color: #ffffff}
a.nav2 {
  border-color: #ffffff;
  border-style: solid;
  border-width: 0px 1px 0px 0px;
  padding: 0px 10px;
  }

a.inv { color: #003366; }


div.body {
  width: 700px;
  margin-right:auto;
  margin-left:auto;
  padding: 0px;
  background-color: #ffffff;
  border-color: #333333;
  border-width: 3px;
  border-style: double;
  }

div.title {
  background-image: url(/images/bg-4x4.png);
  background-color: #003366;
  border-color: #333333;
  text-align: right;
  }

div.main {
  background-color: #ffffff;
  border-color: #333333;
  text-align: left;
  padding: 0px 10px;
  min-height: 400px;
  }

div.subsection {
  background-color: #336699;
  border-color: #000066;
  color: #ffffff;
  border-width: 1px 0px;
  border-style: solid;
  text-align: left;
  }

div.section {
  color: #cccccc;
  background-color: #000033;
  border-color: #999966;
  border-width: 1px 0px;
  border-style: solid;
  }

span.selected {
  padding: 0px 10px;
  margin: 25px;
  font-size: 150%;
  background-color: #ffffcc;
  }

span.current {
  font-size: 120%;
  padding: 0px 20px;
  margin: 20px;
  background-color: #ffffff;
  border-color: #cccccc;
  border-width: 1px 2px 0px 2px;
  border-style: solid;
  }

ul {
    display: inline;
    list-style: none;
    margin: 0px;
    padding: 5px 0px;
}

li {
  border-color: #000066;
  border-width: 1px;
  border-style: solid;
  padding: 0px 5px;
  }

ul li ul li {
  border: none;
  }