PRE	{ 	font-size:14pt;
		font-weight:bold;
		color:#00009f;
		}
.DEF	{color:brown;}
.RED {	color:red;}
.BLUE {	color:blue;}

A {text-decoration:none; color:blue;}
A:hover {color:red; text-decoration:underline;font-weight:bold;}
A:link {color:blue;}
.L {font-size:14pt; font-weight:bold;}