.border {
	background-color: #FFFFFF;
	border: 1px ridge #000000;
}
.boldborder {
	border: 2px solid #000000;
}
.13font {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold;
	color: #990000;
}
.12bold {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #000000;
}