h1
{
  font-family: verdana, arial, helvetica, sans-serif;
  margin-top: 0px;
  padding-top: 5px;
  font-size: 20pt;
  font-weight: bold;
  font-variant: small-caps;
  margin-left: 5px;
  margin-bottom: 12px;
}

.banner_logo
{
  float: left;
  margin-left: -40px;
  margin-top: 5px;
}

.figure
{
  font-size: .8em;
  font-weight: bold;
  font-variant: small-caps;
}

.caption
{
  font-size: .8em;
  font-weight: normal;
  margin: 0px;
  padding: 1em;
  padding-top: 0em;
}
  
#banner
{
  color: white;
  background-color: black;
  margin: 12px;
  margin-top: -10px;
  padding-bottom: 10px;
}

#navigation
{
  list-style: none;
  margin-top: -10px;
  margin-left: -20px;
}

#navigation li
{
  display: inline;
}

#navigation a:link, #navigation a:visited
{
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 11pt;
  font-weight: bold;
  font-variant: small-caps;
  color: white;
  background-color: black;
  text-align: center;
  text-decoration: none;
  padding-top: 2px;
  padding-bottom: 3px;
  padding-left: 4px;
  padding-right: 4px;
  border: 1px solid black;
}

#navigation a:hover
{
  color: black;
  background-color: white;
}

#tableOfContents
{
  border-style: solid;
  border-color: black;
  border-width: 1px;
  float: right;
  font-size: 12pt;
  margin: 24px;
  padding: 12px;
  padding-top: 0px;
  background-color: #FAF3D1;
}

#tableOfContents h3
{
  color: white;
  background-color: black;  
  font-size: 14pt;
  font-weight: normal;
  margin-left: 6px;
  margin-right: 12px;
  padding: 12px;
}

#tableOfContents ul
{
  list-style: none;
  margin: 0px;
  margin-left: 18px;
  margin-right: 12px;
}

#footer
{
  font-size: 9pt;
  line-height: 1.2em;
  clear: both;
}