.style31 {
	background-color: #FFFFFF;
}
.style32 {
	font-size: large;
}
.style33 {
	border-width: 0;
}
.style34 {
	border: 6px solid #000080;
	background-color: #E8E3DB;
}
.style35 {
	border-width: 0;
	margin-top: 4px;
	margin-bottom: 4px;
}