.title {
   margin-top: .5em;
   margin-bottom: 0;
   background-color: #6F6F6F;
   color: #FFFFFF}
.nav {
   background-color: #F9F9F1;
   font-size: 80%}
.here {color:  #6F6F6F}
table .nav, .source {
  background-color: #bce6f7;
}
h1 {
   font-size: 175%;
   background-color: #0000B2;
   color: #FFFFFF;
   margin-top: 0;}
.leftside ul {
   margin: 0 0 0 10px;
   padding: 0 0 0 10px;
   list-style-type: none;
}
.rightside ul {
  margin-top: .2em;
  padding-left: 0px;
  margin-left: 20px;
}
a:link {
   text-decoration: none;
}
th {
  text-align: left;
}
div h1 {
   background-color: #FFFFFF;
   color: #0000B2}
code {font-size: 80%}
body {
   color : #020202;
   background-color: #FFFFFF;
   font-family: arial, helvetica;
   line-height: 19px;
   font-size: 14px;
}
body.press {
   color: #000000;
   background-color: #FFFFFF}
h1.press{
   background-color: #0000B2;
   color: #FFFFFF;
   text-align: center}
.press {
   background-color: #D5D5AA;
   color: #000000;}

.main {
  margin-left: 18%;
  margin-right:  19%; 
}
h1, h2, h3 {
   color: #0000B2;
   margin-bottom: 0.5em;
   }
p {
   margin-top: .2em;
  }

p.summary {
   text-align: justify;
  }
mg {
   border: none;
  }
body>h2, body>h3 {
  clear: left;
  }
.leftside {
   position: absolute;
   top: 110px;
   left: 10px;
   background-color: #F9F9F1;
   font-size: 80%;
   line-height: 120%;
   margin-top: .5em;
   margin-right: 2em;
   width: 15%;
   padding-bottom: .5em;
}
.rightside {
   position: absolute;
   top: 110px;
   right: 10px;
   background-color: #F9F9F1;
   font-size: 80%;
   line-height: 120%;
   margin-top: .5em;
   margin-left: 2em;
   width: 17%;
   padding-bottom: .5em;
}

.description {
  margin-left: 20px;
  margin-right: 340px;
}
a:link {
   color: #A75F59;
   font-weight: bold;
   text-decoration: none;
}

a:visited {
   color: #A75F59;
   font-weight: bold;
   text-decoration: none;
}

a:active {
   color: #A75F59;
   font-weight: bold;
   text-decoration: none;
}

table {
  border-color: #B2B2B2;
}

td, th {
  padding-right: 8px;
}

.red {
  color: #FF0000;
  background-color: #FFFFFF
}