.defaultpage {
  background-color:#C0C0C0;
  margin:0px;
  padding:0px;
  font-size: 100.1%;
}

.defaultpage img{
  border-style:none;
}

.defaultpage p{
  margin:0;
  padding:0;
}

.head {
  margin-right:2em;
  margin-bottom:0.5em;
  text-align:right;
  font-size: 80%;
}
.head a{
  color:maroon;
  text-decoration:none;
  font-weight:bold;
}

.navigation {
  float: left;
  width: 10em;
  margin-left: 1em;
  margin-right: 2em;
  background-color:#E0E0E0;
  border-color:white black black white;
  border-style:solid;
  border-width:1px;
  padding:0;
}

.navigation ul{
  font-size: 0.95em;
  float: left;
  margin: 0;
/*  margin-bottom:1em; */
  padding: 0;
  width: 10em;
}

.navigation li {
  list-style: none;
  margin: 0; padding: 0.2em;
}

.navigation ul ul{
  list-style: none;
  font-size:0.90em;
  margin-left:0.5em;
  float: none;
}

.navigation ul a {
  display: block;
  padding: 0.2em;
  font-weight: bold;
  text-decoration: none;
  color: black;
}


.navigation ul a:link {
  color: black;
}

.navigation ul a:visited {
  color: black;
}

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

.navigation ul a:active {
  color: white;
  background-color: gray;
}

.navigation p {
  background-color: #E0E0E0;
  text-align: center;
  padding: 0 1px 3px 1px;
}

.navigation img {
   border-style: none;
}

.content{
  margin-left:12em;
  padding-left:1em;
  padding-right:1em;
  padding-bottom:2ex;
  margin-right:1em;
  background-color:#E0E0E0;
  border-style:solid;
  border-color:white black black white;
  border-width:1px;
}

.content a{
  font-weight:bold;
  text-decoration:none;
  color:maroon;
}

.content pre{
  background-color:#EEEEEE;
  border-style:solid;
  border-width:thin;
  border-color:#FFFFFF;
  margin-left:2em;
  margin-right:3em;
  padding-left:0.5em;
}

/*.content ul{
  margin-top:1ex;
  margin-bottom:1ex;
}*/

.content p{
  margin-top:1em;
  margin-bottom:1em
}

.content table{
  width:95%;
  border-width:thin;
  border-style:solid;
  border-color:#EEEEEE;
  margin:1ex 2.5% 0 2.5%;
/*border-colapse:collapse;*/
}
.content td{
  border-width:thin;
  border-style:solid;
  border-color:#EEEEEE;
}



.img_left{float:left;width:50%;}
.img_left img{width:100%}
.img_left_text{margin-left:52%;}
.img_center{
  margin-top: 1ex;
  margin-right: 0ex;
  margin-left: 0ex;
  padding:0px;
  text-align: center;
  font-size: 80%;
  margin-bottom: 1ex
}

.cleanup{clear:both;}

.plainlist{
  list-style-type:none;
  margin-top:1ex;
  margin-bottom:1ex;
}

.footer a{
  text-decoration:none;
  font-weight:bold;
  color:maroon;
}

.footer p{
  text-align:center;
}