body {
	margin-left: 0px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	background-color: #333333;
}
.style1 {font-size: medium}
.style5 {font-weight: bold; color: #003366;}
.style6 {font-size: x-small}
.style7 {
	color: #990000;
	font-size: large;
	font-weight: normal;
}
.style9 {font-size: medium; color: #000000; }
.style10 {font-size: large; color: #990000;}
.style12 {font-weight: bold; color: #003366; font-size: medium; }