body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: medium;
	color: #000066;
	background-color: #FFFFCC;
	left: 15px;
	top: 15px;
	right: 15px;
	bottom: 15px;
	border-left: thick solid Navy;
	border-top: thick solid Navy;
	border-bottom: thick solid Navy;
	border-right: thick solid Navy;
}

#leftnav {
	border-right: medium groove Gray;
	font-size: small;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}
.botnav {
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
}