.linenum {
	color:gray;
	/*background-color:#E5E5E5;*/
	border-right:1px solid gray;
}
.symbol {
	color:black;
	font-weight:bold;
}
.comment {
	color:gray;
}
.type {
	color:#6997BF;
}
.keyword {
	color:black;
	font-weight:bold;
}
.normal {
	color:black;
}
.cbracket {
	color:black;
	font-weight:bold;
}
.string {
	color:#B20000;
}
.function {
	color:#00347D;
}
.number {
	color:green;
}