/* classes for validator */
.red {
	color: #FF0000;
	font-size: larger;
}
.tfvHighlight {
	color: red;
}
.tfvNormal {
	color: black;
}