/* CSS Document */

body {
	margin-left: 0px;
	margin-top: 5px;
	margin-right: 0px;
	margin-bottom: 0px;
	background-color: #FFFFEA;
	font-family: Georgia, "Times New Roman", Times, serif;
}
.menu {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
	color: #006699;
	border-top-width: 2px;
	border-top-style: solid;
	border-top-color: #006699;
	padding: 2px;
	border-bottom-width: 2px;
	border-bottom-style: solid;
	border-bottom-color: #006699;
}
h1 {
	margin-right: 10px;
	margin-left: 10px;
	color: #006699;
}
p {
	margin-right: 10px;
	margin-left: 10px;
}
.table_border {
	border: 1px dashed #006699;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: medium;
	padding: 2px;
}