.txterror
{
	font-weight: bold;
	color: Red;
}

.highlight
{
	font-weight: bolder;
	font-style: italic;
	color: Navy;
}

.comment 
{
	font-style: normal;
	color: Red;
}