.comment {
	font-family: Calibri, Verdana, Helvetica, Arial, sans-serif;
	color: #007F00;
}
.num {
	color: #007F7F;
}
.text {
	color: #7F007F;
}
.keyword {
	font-weight: bold;
	color: #00007F;
}
.classname {
	font-weight: bold;
	color: #0000FF;
}
.fnname {
	font-weight: bold;
	color: #007F7F;
	background: #FFFFFF;
}
.punc {
	font-weight: bold;
	color: #000000;
	background: #FFFFFF;
}
pre {
	font-family: 'Lucida Console', 'Courier New', Courier, monospace;
	color: #000000;
	background: #FFFFFF;	
}