.style5 {
	color: #F0F0F0;
	border-top-style: double;
	border-top-color: #CC0000;
	border-bottom-style: none;
	border-left-style: none;
}
body {
	margin-top: 0px;
	margin-bottom: 0px;
	background-color: #14285F;
}
.style6 {color: #0099FF}
.style7 {
	color: #000033
}
.style8 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 16px;
	color: #CC3300;
	font-weight: bold;
}