.ftext{
	font-family:	"Times New Roman", Times, serif;
	font-size:		12pt;
	color:			#000000;
}


.fbold{
	font-family:	"Times New Roman", Times, serif;
	font-size:		12pt;
	font-weight:	bold;
	color:			#000000;
}


.fhighlight {
}

.fblue {
}