.comment.mantiscomment{
	color: blue	
}

.string.mantisstring{
	color: LimeGreen
}

.keyword.mantiskeyword{
	color: red
}