body
{
  background-color: #f8f8ff;
  color: black;
  font-family: 'Verdana';
}

h1
{
  color: navy;
  font-family: 'Arial, sans-serif';
  font-size: x-large;
  font-weight: bolder;
}

h2
{
  color: navy;
  font-family: 'Arial, sans-serif';
  font-size: large;
  font-weight: bolder;
}

h3
{
  color: navy;
  font-family: 'Arial, sans-serif';
  font-size: large;
  font-weight: lighter;
}

h4
{
  background: #315;
  color: #eee;
  width: auto;
  padding: 3px;
  margin: 0;
  font-style: italic;
  font-weight: bold;
  border: 1px dotted #9484a8;
  border-top: 1px solid #9484a8;
  border-bottom: 1px solid #9484a8;
  padding-left: 2em;
}

h5
{
  background: #416;
  color: #eee;
  padding: 3px;
  width: auto;
  margin: 0;
  font-style: italic;
  font-weight: bold;
  border: 1px dotted #9c84b0;
  border-top: 1px solid #9c84b0;
  border-bottom: 1px solid #9c84b0;
  padding-left: 4em;
}

div.sub
{
  background: transparent;
  margin: 0.5em;
}

div#nav 
{
  z-index: 1;
  float: left;
  position: fixed;
  width: 18%;
  padding: 0;
  margin: 0;
}


div.menu
{
  margin-bottom: 2em;
  border: 2px solid black;
  background: #468; 
  color: white;
}

div.info
{
  clear: both;
  width: 100%;
  text-align: center;
  font-size: small;
  padding: 2px;
}

div.info a
{
  color: black;
  text-decoration: none;
  border-bottom: 1px dashed #023;
}

div.info a.img { border: none; }
div.info a.img:hover { border: none; }

div.info a:hover { border-bottom: 1px solid #023; }

div.menu a
{
  display: block;
  text-align: right;
  text-decoration: none;
  font-weight: normal;
  color: white;
  border: 2px solid transparent;
  margin: 0;
  /*padding: 3px;*/
}

div.menu h4 { background: #246; color: #eff; border: 1px solid #357; }

div.menu a:hover
{
  border: 2px        solid #57a;
  border-right: 2px  solid #357;
  border-bottom: 2px solid #357;
}

div#main
{
  background: #e4e4ee;
  float: right;
  width: 80%; 
  height: auto;
  text-align: left;
  border: 2px solid #f0f0f6;
  z-index: 2;
}

div#main form
{
  background: #468;
  color: white;
  padding: 7px;
  margin-bottom: 5px;
}

div.update h4
{
  color: #337;
  background: #d4d4dd;
  border: 1px dotted #e4e4ee;
}

a
{
  margin: 2px;
  color: #369;
  text-decoration: none;
  border-bottom: 1px #369 dashed;
}

a.nav
{
  color: #346;
  text-align: center;
  text-decoration: none;
  background: white;
  border: 2px solid #346;
  margin: 0;
  width: 50px;
  font-size: large;
  font-weight: bolder;
  display: table-cell;
}

a.img
{
  background: transparent;
  text-align: center;
  text-decoration: none;
  border: none;
}

a.img:hover { text-decoration: none; border: none; }

a:hover
{
  text-decoration: none;
  border-bottom: 1px #57a solid;
}

table
{
  width: 95%;
  border: 1px solid black;
  background: white;
  margin: 1em;
}

table a:hover 
{
  text-decoration: none;
  background: transparent;
}

tr.alternating { background: #cef; }

tr.alternating th { background: #234; }

th
{
  background: #468;
  color: white;
}

hr { border: 2px dashed #236; }

img { border: none }

applet { text-align: center }