body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	margin-top: 3;
	margin-bottom: 8;
	margin-right: 2;
	margin-left: 2;
	padding: 3px;
}
a {
	/* color: #003366; */
	color: #3C5E80;
	/* text-decoration: none; */
}

a:hover {
	/* color: #336699; */
	border-bottom: 1px;
	/* text-decoration: underline; */
}

th {
  font-family: Verdana, Helvetica, sans-serif;
  font-size: 10pt;
  color: #333333;
}

td {
  font-family: Verdana, Helvetica, sans-serif;
  font-size: 10pt;
  color: #333333;
}

.code {          
  overflow: hidden;
  color: maroon;
  background-color: #DDDDDD;
  padding: 3px;
  font-size: 10pt;
  border: 1px solid black;
  cursor: default;
  max-height: 900px;

  width: 760px;
  min-height: 35px;
  font-family: Courier, Monospace, Lucida Console;                     
}

.code:hover { 
  overflow: auto;
}
                   
.centeredImage
{
  text-align:center;
  margin-top:0px;
  margin-bottom:0px;
  padding:0px;
}
    
.textbox {
	width:90%; 
  max-height: 900px;

	background-color:#FFFFF2; 
	color:maroon; 
	border:solid 1px black;
	margin-top:3px;
	padding: 5 5 5 5;
}

.rec {
  overflow: hidden;
  color: #000000;
  background-color: #ECF5FF;
  padding: 3px;
  font-size: 10pt;
  border: 1px solid #000080;
  margin-top: 2px;
  cursor: default;
  max-height: 900px;

  width: 100%;
  min-height: 35px;
}

.browse {
  overflow: hidden;
  color: #000000;
  background-color: #EDFAFE;
  padding: 3px;
  font-size: 10pt;
  -moz-border-radius: 3px;
  border: 1px dotted #0000FF;
  margin-top: 2px;
  cursor: default;
  max-height: 900px;

  width: 100%;
  min-height: 35px;
}

.elm {
  color: #000000;
  background-color: #ECF5FF;
  padding: 3px;
  font-size: 14pt;
  font-weight: bold;
  border: 0px solid #808080;
}

.descr  { 
  color: #000080;
  background-color: #FFFFFF;
  padding: 3px;
  font-size: 10pt;
  border: 1px dotted #0000FF
}

.example  { 
  color: #000080;
  background-color: #FFFFF0;
  padding: 3px;
  font-size: 10pt;
  border: 1px dotted #800000;
  margin-top: 2px
}

.hover.example { 
  overflow: auto;
}

.sintax  { 
  color: #003300;
  background-color: #FFFFF2;
  padding: 3px;
  font-size: 10pt;
  border: 1px dotted #0000FF;
}

.param  { 
  color: #000080;
  background-color: #FFFFF0;
  padding: 3px;
  font-size: 9pt;
  font-family: courier;
  border: 1px dotted #000080;
}

.seealso  { 
  color: #000000;
  background-color: #FFFFEA;
  padding: 3px;
  font-size: 9pt;
  border: 1px dotted #000080;
}

.nlink {
  color: navy;
  text-decoration: underline;
}

.onmouseover.nlink {
  color: white;
  text-decoration: none;
  background-color: navy;
}

hr.bold {
  border: 1px solid #3C5E80;
}

li {
margin-top: 1;
}
