h1 {
	font-family: verdana;
	font-size: 16pt;
	font-weight: bold;
	color: #333333;
}

h2 {
	font-family: verdana;
	font-size: 12pt;
	font-weight: bold;
	color: #336699;
}

span#h2 {
	font-family: verdana;
	font-size: 10pt;
	font-weight: bold;
}

p, a {
	font-family: verdana;
	font-size: 9pt;
	}
	
p#code {
	font-family: courier;
	font-size: 9pt;
	color: #336600;
	margin-left: 20px;
	}

pre {
border: 1px dashed rgb(0, 0, 0); padding: 8px; background-color: rgb(240, 255, 240); font-family: 'courier new'; font-size: 8pt; 
}

pre#excode {
border: 1px dashed rgb(0, 0, 0); padding: 8px; background-color: rgb(255, 255, 255); font-family: 'courier new'; font-size: 8pt; 
}

span#lit {
	color: #A31515;
	}
	
span#keyw {
	color: #0000FF;
	}
	
span#cmt {
	color: #008000;
	}
	
span#dtyp {
	color: #2B91AF;
	}
	
li, li#ex {
	font-family: verdana;
	font-size: 10pt;
	margin-top: 8px;
	}