body {
	margin-bottom: 10;
	margin-left: 0;
	margin-right: 10;
	margin-top: 0;
	}
.menu {
	font-family: sans-serif;
	font-style: normal;
	font-weight: normal;
	cursor: default;
	font-size: small;
	text-decoration: none;
}
.menuovr {
	font-family: sans-serif;
	font-style: normal;
	font-weight: bold;
	cursor: pointer;
	font-size: small;
	text-decoration: none;
}

a.link:active {
	background-color: #FF0000;
	font-family: sans-serif, serif;
	color: #FFFFFF;
	text-decoration: none;
}

a.link:hover {
	font-family: sans-serif, serif;
	color: #000066;
	text-decoration: underline;
}

a.link {
	font-family: sans-serif, serif;
	color: #000066;
	text-decoration: none;
}

a.link:visited {
	font-family: sans-serif, serif;
	color: #000066;
	text-decoration: none;
}

.menudwn {
	font-family: sans-serif, serif;
	font-style: normal;
	font-weight: bold;
	background-color: #8B0000;
	cursor: pointer;
	font-size: small;
	text-decoration: none;
}

.sidenote {
	font-family: monospace;
	font-size: x-small;
	font-stretch: normal;
	font-variant: small-caps;
	font-weight: bold;
}

p.para {
	text-indent: 15pt;
}