body { font-family: Verdana, Tahoma, Arial; font-size: 10pt; }
table { font-family: Verdana, Tahoma, Arial; font-size: 10pt; }
table.tblnav {
color : white; background-color: black; 
font-size: 14pt;
position: relative;
top: 0px;
left: 0px; width:100%
}

a.navlink{color : white; background-color: black; }

div.code {
    font-family: "Courier New" , Courier, mono; font-size: 10pt; 
	border:2px dotted gray;
	padding:0em 1em;
	background-color:#FCFBC4;
	margin-bottom:1em;
}

span.keyword {color:blue}
span.comment {color:green}
span.string {color:#A31515}