body
{
  font-family: times, "Times New Roman", serif;
  color: #000000;
  background-color: #FFFFFF;
}

h2
{
  font-size: x-large;
  font-weight: bold;
  padding-top: 20px;
  margin: 0;
}

h3
{
  font-size: large;
  font-weight: bold;
  padding-top: 20px;
  margin: 0;
}

h4
{
  font-size: medium;
  font-weight: bold;
  padding-top: 10px;
  margin: 0;
}

.emphasis
{
  font-weight: bold;
}

p.emphasis
{
  margin-bottom: -10px;
  font-weight: bold;
}

div#logo
{
  margin-left: 100px;
}

div#separator
{
  height: 1px;
  background-color: black;
  margin: 0 0 16px 0;
  max-width: 860px;
  min-width: 460px;
}

div#pre-content
{
  margin: 0 0 0 230px;
  max-width: 600px;
  min-width: 200px;
  background-color: #FFFFFF;
  height: 2px;
  padding-left: 10px;
  padding-right: 10px;
}

div#post-content
{
  margin: 0 0 0 230px;
  max-width: 600px;
  min-width: 200px;
  background-color: #FFFFFF;
  height: 2px;
  padding-left: 10px;
  padding-right: 10px;
}

div#content
{
  margin: 0 0 0 230px;
  max-width: 600px;
  min-width: 200px;
  background-color: #FFFFFF;
  padding: 0 10px 10px 10px;
}

img 
{
  border: 0;
}

a, a:visited
{
  color: #000099;
}

a:hover
{
  color: #0000DD;
}

div#menu
{
  position: absolute;
  top: 124px;
  left: 15px;
  width: 190px;
  z-index: 100;
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 90%;
  color: #000000;
  background-color: #8888BB;
  padding: 5px;
}

div#menu a
{
  display: block;
  text-align: center;
  padding: 7px 10px;
  margin: 0 0 1px;
  border-width: 0;
  text-decoration: none;
  color: #000000;
  background-color: #E6E6F6;
}

div#menu a:hover
{
  color: #0000FF;
  background-color: #FFFFFF;
}

div#menu a.selected
{
  color: #000000;
  background-color: #FFFFFF;
}

div#menu a.selected:hover
{
  color: #0000FF;
  background-color: #FFFFFF;
}


div#submenu
{
  width: 170px;
  z-index: 110;
  font-family: verdana, arial, helvetica, sans-serif;
  color: #000000;
  background-color: #FFFFFF;
  padding: 10px;
}

div#submenu a
{
  display: block;
  text-align: center;
  padding: 7px 10px;
  margin: 0 0 1px;
  border-width: 0;
  text-decoration: none;
  color: #000000;
  background-color: #FFFFFF;
}