.style1 {
	font-size: small;
}
.style2 {
	font-size: small;
	font-family: Verdana;
}
.style3 {
	color: #0000FF;
}
.style5 {
	text-align: center;
}
.style7 {
	border-style: solid;
	border-width: 1px;
}
.style9 {
	font-size: large;
}
.style10 {
	font-size: x-large;
}
.style11 {
	border: 2px solid #000080;
}
.style13 {
	font-weight: bold;
	border: 2px solid #000080;
}
.style14 {
	border: 1px solid #000080;
	background-color: #FFFFFF;
}
.style15 {
	border-width: 0;
}
.style16 {
	border: 0 solid #000080;
}