body
{
  margin-left: 0.5em;
  margin-right: 0.5em;
  color: black;
  background-color: #F0ffff;
  font-family: Verdana,Arial,helvetica,sans-serif;
  font-size: 10pt;
}


h1 
{ 
  font-size: 14pt;
  
  color: rgb(99,150,239); /* cornflowerblue */
}

h1.center
{
  text-align: center;
}

h2 
{ 
  font-size: 14pt;
}
h3 
{ 
  font-size: 12pt;
}

div.figrow{
 width: 770px;
 height: 90px;
}

div.rowfigs {
  float: left;
  width: 150px;
  height: 88px;
  margin: 0px;
}
div.rightpic{
  float: right;
  width: 152px;
  height: 88px;
  margin: 0px;
}
div.leftpic{
  float: left;
  width: 152px;
  height: 88px;
  margin: 0px;
}
div.rightpiccol{
  float: right;
  width: 154px;
  height: 260px;
  margin: 0px;
}

a 
{
  color:blue;
  background: inherit;
}   

a:visited 
{
  color: purple;
  background: inherit;
}

a:hover
{
  color:red;
  background: inherit;
}

img
{
  border: 0;
}

li{
padding-bottom: 0.3em;
}

.updated
{
   font-size: 8pt;
   text-align: center;
}

.abstract
{
  text-align: center;
}

.note
{
  font-size: 8pt;
  font-style: italic;
}

#top-banner
{
  
  border-style: solid;
  border-color: #80ffff;
  background-color: #e0efef;
  display: block;
  height: 160px;
}

#bottom-banner
{
  
  border-style: solid;
  border-color: #80ffff;
  background-color: #e0efef;
  display: block;
  height: 100px;
  margin: 0.1em 0.1em 0.1em 0em;
  padding-left: 1.5em;
}


.logo
{
  margin: 0.2em;
  float: left;
  display: inline;
  padding: 0.5em;
}



#title-box
{
  background-color: #e0efef;
    margin: 1.2em 0.2em 0.1em 0.2em;

}


#page-body
{
  border-style: solid;
  border-color: #80ffff;
  padding: 0.2em;
}
#header
{
  padding-bottom: 0.5em;
}

#content
{
  margin-left: 10.5em;
  margin-bottom: 0.5em;
  padding-left: 1.5em;
  padding-bottom: 0.5em;
  font-size: 10pt;
}

#menu
{
  width: 9em;
  float: left;
  color: inherit;
  background-color: rgb(60%,80%,100%);
  border-top: solid;
  border-bottom: solid;
  border-color: rgb(30%,30%,50%);
  font-size: 10pt;
  padding-bottom: 0.9em;
  position: fixed;
}

#menu a, #menu em
{
  display: block;
  margin: 0 0.5em;
}

#menu a
{
  font-weight: bold;
  font-size: 9pt;

}

#menutitle
{
  color: #FFFFFF;
  background: #00000F;
  padding-bottom: 0.5em;
  font-weight: bold;
  text-indent: 0.5em;
}

.subcontents
{
  padding-left: 0.5em;
}

.small-print{
  font-size: 6pt;
}
.small-print-header{
  font-size: 8pt;
  font-weight: bold;
}
.copyright
{
  margin-left: 0.5em;
  font-size: 8pt;
}
.validated
{
  margin-left: 0.5em;
  font-size: 8pt;
}

div.navpanel{
   height: 38px;
   width: 276px;
   margin: 2px;
   padding: 3px;
}
div.navbutton{
   border-style: solid;
   border-width: thin;
   border-color: silver;
   background-color: #e0efef;
   height: 26px;
   width: 80px;
   padding: 3px;
   margin: 2px;
   float: left;
   text-align: center;
   vertical-align: middle;
}

.newitem
{
  color: red;
  background: inherit;
}