.token.keyword {
	font-weight: bold;
	color : rgba(139, 15, 45, 255);
}

.token.constant {
	font-weight: bold;
	color: black;
}

.token.kernel-function.property {
	font-weight: bold;
	color : rgba(255, 135, 47, 255);
}

.token.function {
	color : rgba(255, 135, 47, 255);
}

.token.string {
	color : rgba(213, 3, 208, 255);
}

.uvm-token, .ovm-token {
	color : rgba(160, 21, 240, 255);
	font-weight: bold;
}

.token.number {
	color : rgba(20, 16, 255, 255);
}