.RedNavDots {
	font-size: 24px;
	font-family: Courier, mono;
	color: #FF6600;
}
.white_type {
	color: #FFFFFF;
}
.yellow_type {
	font-size: 16px;
	color: #FFFF00;
}
.light_blue_nav {
	color: #63CEFF;
}
.blueLink14 {
	font-size: 14px;
	font-style: italic;
	font-weight: bold;
	color: #0000FF;
}