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