BODY { background-color: #eeeebd }


.contentframe {
     border: 2px solid #008583;
     background: #e6e6ac;
     min-height: 25em;
}

A.MENU_ilinkstyle:hover, TABLE.MENU TR:hover {
   background:white;
   text-decoration:none;
}


TD.MENU_head {
   background: #008583;
}

TABLE.MENU {
   border: 2px solid #008583;
   background: #e6e6ac;
}

tr.thead                 
{ 
   background-color: #008583;   
   text-align: left; 
   font-family: Helvetica;
   font-weight: bold;
   font-size:small; 
   color: white;
}  
 
IMG.top { margin-left: 0em; margin-bottom: -0.4em; padding: 0em; padding-right: 1.6em}
IMG.bottom { margin-left: 0em; margin-top:  0.3em; padding: 0em; vertical-align:top;}

.bottomline {padding-top: 0.6em; text-align: right; vertical-align: top;}
  

div.float {
/*  float: left; */
  padding: 0.2em; 
  }
  
div.float img {
   border: thin solid;
}
div.float p {
   margin-top: 0.2em;
   font-style: italic;
   font-size: 12;
}


TABLE.textfr TD { vertical-align: top; padding-right: 0.4em;}


/*
 * Table content and listings/examples 
 */
PRE.ex, TABLE.fdoc TD{
    padding: 0.2em; 
    padding-left: 0.4em;
    padding-right: 0.4em;
    background:  #eeeebd;
    border: thin dotted #999;
    vertical-align: top;
}
PRE.ex {
   padding: 0.4em; 
   margin-left: 1em;
   margin-right: 1em;
}