.bright_red {
	color: #CC0000;
}
.go_green {
	color: #006633;
}
.orange {
	color: #FF6600;
}
.dark_blue {
	color: #000099;
}
.yellow_highlighter {
	color: #CC0000;
	background-color: #FFFF66;
	padding-top: 2px;
	padding-right: 2px;
	padding-bottom: 2px;
	padding-left: 2px;
}
.rctc_blue {
	color: #003366;
}