body {
    font-family: Verdana,Arial,Sans-Serif;
    font-size: 9pt;
    color: black;
    background-color: white;
}

td {
    font-family: Verdana,Arial,Sans-Serif;
    font-size: 9pt;
}

a:link {color: #0040FF; text-decoration: none;}
a:visited {color: #0040FF; text-decoration: none;}
a:hover {color: #0040FF; text-decoration: underline;}

div.footer {
  text-align: center;
  font-family: Verdana,Arial,Sans-Serif;
  font-size: 8pt;
}

h1 {
  font-family: Verdana,Arial,Sans-Serif;
  color: darkblue;
  font-size: 15pt;
  background-color: lightgray;
}

h2 {
  font-family: Verdana,Arial,Sans-Serif;
  color: black;
  font-size: 13pt;
  font-weight: bold;
}

h3 {
	font-family: Verdana,Arial,Sans-Serif;
	color: black;
	font-size: 10pt;
	font-weight: bold;
}

pre.code {
  border:1px solid #140F55;
  padding: 5px;
  font-family:Courier New;
  font-size: 9pt;
  line-height: 130%;
}


span.hlNormal { }
span.hlInt { color: #0000FF; }
span.hlFlt {  color: #0000FF; }
span.hlHex {  color: #0000FF; }
span.hlSym { color: black; }
span.hlRes {  color: #000080; font-weight: bold; }
span.hlOpt { color: green; }
span.hlCom { color: #008000; font-style: italic; }
span.hlStr { color: #0000FF; }
span.hlAsm { color: blue; }
span.hlAsmRes { color: blue; font-weight: bold; }
span.example {font-weight:bold; font-size:8pt;}

span.hlMark {background-color:yellow;}