.style1 {
	border: 2px solid #000000;
}
.style2 {
	font-size: xx-large;
}
.style3 {
	color: #93A2BF;
}
.style4 {
	border: 3px solid #000080;
}
.style5 {
	text-align: left;
	border: 0 solid #93A2BF;
	background-color: #000080;
}
.style6 {
	color: #FFFF00;
	font-weight: normal;
	font-family: Arial, Helvetica, sans-serif;
}
.style7 {
	font-size: x-large;
}
.style10 {
	border-width: 4px;
	background-color: #93A2BF;
}
.style14 {
	border-color: #FFFFFF;
	border-width: 0;
	background-color: #FFFFFF;
}
.style15 {
	border-style: solid;
	border-width: 3px;
	margin-top: 1px;
}
.style16 {
	background-color: #FFFFFF;
}