td
{
	font-size : 10pt;
}
#java_1
{
	font-size: 12pt;
	font-weight : bold;
	color: #336699;
	border:3px #336699 double;
	padding-top : 5px;
	padding-bottom : 5px;
	background-color:#D1E0EF;
}
#java_2
{
	font-size: 11pt;
	font-weight : bold;
	color: #660000;
	padding-top : 2px;
	padding-bottom : 2px;
	background-color:#ECECC6;
}
#java_2a
{
	border-top:1px #ECECC6 dotted;
	border-bottom:1px #ECECC6 dotted;
	margin-top : 2px;
	margin-bottom : 2px;
}
#java_3
{
	font-size: 12pt;
	font-weight : bold;
	color : #ffffff;
}