a 	{text-decoration: none;}a:hover {color: #000080;}a.bodylink {font-size:13px;			color: #000080;			text-decoration: none;}a.javalink {font-size:14px;			color: #000080;			text-decoration: none;}a:hover.bodylink {color: #0000FF;}a:hover.javalink {color: #ff0000;}a.botnav {font color:#0000FF;}a:hover.botnav{color: #000080;}.bodycopy 	{font-size: 12px; 	line-height: 18px;	text-decoration: none;}	.bodybox 	{font-size: 12px; 	line-height: 17px;	text-decoration: none;}	.bodystage 	{font-size: 12px; 	line-height: 14px;	text-decoration: none;}	.bodytitle 	{font-size: 16px; 	line-height: 18px;	font-weight: bold;	text-decoration: none;}