BODY {
	FONT-WEIGHT: normal; COLOR: rgb(0,0,0); BACKGROUND-COLOR: rgb(248,248,255)
}
.keyword {
	FONT-WEIGHT: bold; COLOR: rgb(0,0,0); BACKGROUND-COLOR: transparent
}
.string {
	COLOR: rgb(0,100,0); BACKGROUND-COLOR: transparent
}
.comment {
	COLOR: rgb(0,0,128); FONT-STYLE: italic; BACKGROUND-COLOR: transparent
}
.number {
	COLOR: rgb(0,0,255); BACKGROUND-COLOR: transparent
}
.type {
	COLOR: rgb(0,128,128); BACKGROUND-COLOR: transparent
}
.preproc {
	COLOR: rgb(139,0,0); BACKGROUND-COLOR: transparent
}
.function {
	FONT-WEIGHT: bold; COLOR: rgb(47,79,79); BACKGROUND-COLOR: transparent
}