html { background-color: #EFEFEF; }

body{
  background-color: #FFFFFF; /* #EFEFEF;*/
  color: #000000;
  font-family: Verdana,Geneva,Arial,Helvetica,sans-serif;
  font-size: small;
  padding:0;
  margin: 8px ; ;
  border: 3px solid #4a83ce ;
  padding: 5px ;
}


a:link {
background-color: transparent;
color: #005193 ;
text-decoration: none;
}

a:visited {
background-color: transparent;
color: #005193;
text-decoration: none;
}

a:hover {
background-color: transparent;
color: #c15555;
text-decoration: underline;
}

a:active {
background-color: transparent;
color: #c15555;
text-decoration: underline;
}

.keyword { font-weight : bold ; color : Red }
.keywordsign { color : #C04600 }
.superscript { font-size : 4 }
.subscript { font-size : 4 }
.comment { color : Green }
.constructor { color : Blue }
.type { color : #5C6585 }
.string { color : Maroon }
.warning { color : Red ; font-weight : bold }
.info { margin-left : 3em; margin-right : 3em }
.code { color : #465F91 ; font-size: 10pt}
.typetable { border-style : hidden }
.indextable { border-style : hidden }
.paramstable { border-style : hidden ; padding: 5pt 5pt}
td.typefieldcomment { background-color : transparent }
pre { margin-bottom: 4px ; font-size: 10pt}
code { font-size: 10pt}

h1 {
  color: #c15555 ;
  background-color : transparent ;
  font-family:  ;
  text-align: center ;
  font-size: 18pt;
  margin: 0px;
  padding: 0px;
}

h2 {
  color: #c15555;
  background-color: transparent;
  font-family:  ;
  text-align: left ;
  font-size:130%;
  margin-bottom: 1em ;
  border-bottom:1px dotted #c15555;
}

h3 {
  color: #c15555;
  background-color: transparent;
  font-family:  ;
  text-align: left ;
  font-size:small;
  line-height:120%;
  margin-top: 6px ;
  margin-bottom: 3px;
}

h4{
  color: #69c;
  background-color: transparent;
  font-family:  ;
  text-align: left ;
  font-weight:700;
  font-size:small;
  border-bottom:1px dotted #69c;
}

h5{
  color: #69c;
  background-color: transparent;
  font-family:  ;
  text-align: left ;
  font-weight:500;
  font-size:small;
}