HTML BODY {
	margin: 1em 8% 1em 10%;
	line-height: 1.2;
        background-color: #FDFDFD;
        font: 0.8em Tahoma, Arial, Helvetica, sans-serif;
        color:#575757;
}

hr {
	height:10px;
        background-color : #F1F1F1;
        border: 1px solid #575757;
       /* filter:alpha(opacity=45);-moz-opacity:.45;opacity:.45; */
	}


a, a:active {color:#156E8E;}
a:visited {color:#8E5986;}
a:hover {color:#23B4E9;}


.navheader a:visited, .navfooter a:visited { text-decoration:none;}

BODY H1, BODY H2, BODY H3, BODY H4, BODY H5, BODY H6 {
	line-height: 1.3;
        font-family: "Bitstream Vera Serif", Georgia, "Trebuchet MS", "Century Schoolbook", "Times New Roman" Times serif;*/
	}

BODY H1{
 font-weight: bold;
 text-align: center;
 margin:20px 0px 10px 0px;
 color:#990000;

}

/*div.author h3 {text-align:right; font-size:smaller;} */

.author span  {margin-top:10px;}
div.revhistory td, div.revhistory th {padding:2px 10px;}
div.legalnotice h4, {border-bottom:1px solid #575757;}

div.toc { padding-bottom: 10px;background-color:white;}
 div.toc dt {
background-color:#FAFAFA;
 /* filter:alpha(opacity=45);-moz-opacity:.45;opacity:.45; */ }


BODY H2, BODY H3 {
	margin: .8em 0 0 0;
}

BODY H4{
	margin: .8em 0 .4em 0;
        text-align:center;
}


H1, H2, H3, H4, H5, H6,
DIV.EXAMPLE P B
 {
	color: #990000;
}


DL {
	margin: .8em 0;
	line-height: 1.2;
}

.releaseinfo {padding:10px 0 0 0; margin:0;}
.copyright {padding:0; margin:0 0 10px 0;}
.copyright, .releaseinfo, div.example .title {font-family: "Small Fonts", Verdana; font-size: xx-small;}
.data {text-align:center; padding:0; margin:2px;font-family: "Small Fonts", Verdana;}

div.example .title {color: #aaa; margin: 0; }


div.table table {
  background: #FAFAFA;
  color: black;
  padding:6px;
  border:1px solid #575757;
 
}

div.table td {
  background: #F0F8FF; /* #ddddff #F0F8FF #FAEBD7  #F8F8FF */
  color: black;
  padding:6px;
  border:1px solid #575757;
}


.emphasis {font-weight:bold;}


DIV.chapter, DIV.sect1, DIV.appendix, DIV.colophon, DIV.glossary, DIV.preface{
	margin: 0 3em 0 3em;
}
DIV.example {
border: 1px dashed #CCC;
width:auto;
padding:10px;
background-color:white;
}

.informalexample {background-color: #FAFAFA;
                  padding:10px;
                  width:auto;
                  border: 1px solid #bbb;
                  overflow: auto;
                  font-size:  10pt;
}

pre, textarea {
     background: #FFFDF0;
     padding:10px;
     border: 1px solid #bbb;
     width:auto;
     color:#000;
     overflow: auto;
     font-size:  10pt;
}


.example textarea {

     min-height:300px; width:100%;

}

div.header {width: 100%;
            padding: 0;
            text-align:center;margin-top: 0px;font-size: 8pt;}
div.header h4 {font-size: 12pt;}

table.header h4 {text-align:center;}

div.navheader {
  color: #575757;
  background-color : #F1F1F1;
  padding: 2px 5px;
  margin-top: 0px;
  width: 100%;
  border: 1px solid #575757;
  font-size: 8pt;
/*-moz-border-radius-topleft: 1.0em;
-moz-border-radius-topright: 1.0em;
-moz-border-radius-bottomleft: 1.0em;
-moz-border-radius-bottomright: 1.0em;*/

}

div.navheader td { padding:0; margin:0;
}

div.navheader table tr td {
  color:#575757;
  background-color: inherit;
}

div.navheader table tr td {
  color: #575757;
  background-color: inherit;
}

img {background:transparent; border: 0;}

div.navfooter{
  color:#575757;
  background-color : #F1F1F1;
  padding: 5px;
  margin-top: 10px;
  width: 100%;
  border: 1px solid #575757;
  font-size:8pt;
/*-moz-border-radius-topleft: 1.0em;
-moz-border-radius-topright: 1.0em;
-moz-border-radius-bottomleft: 1.0em;
-moz-border-radius-bottomright: 1.0em;*/

}

div.navfooter table tr td a {
  color: #575757;
  background-color: inherit;
}

div.navfooter table tr td a :visited {
  color: #575757;
  background-color: inherit;
}

div.footer {width:100%;
            margin:10px 0 ;
            font-family: "Small Fonts", Verdana; font-size: xx-small;
            text-align:center;
            }


span.copy {text-decoration:line-through;}


.selectall{
padding: 3px 6px 4px 6px;
text-decoration: none;
font: bold 13px Verdana;
color: navy;
background-color: #FFFFAA;
border: 1px solid gray;
border-bottom-width: 0;
}

.selectall:hover{
border-color: black;
color: black;
background-color: #ffef97;
background-image: none;
}

DIV.revhistory table{background:#FAFAFA; margin-bottom:30px}

DIV.glossary dt {font-weight: bold;}
DIV.glossdiv {border-bottom: 1px solid #575757;}
DIV.sect2 {padding:10px 0 10px 0;}

div.note h3 {margin-top:4px;}
div.note {
  background-color : #FAEBD7;
  border: 1px dashed #575757;
  padding:6px;
  font-size: xx-small;
  margin-top:40px;
}
td.gg {padding: 0 15px 0 0 ; margin:0; 
}

div.gg { text-align:center; margin:10px 0px;

}