body {
	margin: 0 0 1em 0;
	padding: 25px 0 0;
	background: #F3F3F3;
	color: black;
	font-size: 12px;
	font-family: tahoma;
}
a:link, a:visited, a:hover {
	text-decoration: none;
	color: blue;
}
div.topLinks {
	padding: 4px 0 0 4px;
	background: #DDE;
	border-bottom: 1px solid gray;
	white-space: nowrap;
	text-align: left;
	font: bold 12px Arial, sans-serif;
	position: fixed;
	top: 0;
	bottom: auto;
	height: auto;
	left: 0;
	right: 0;
	width: 100%;
}
div.topLinks a {
	color: #404080;
	text-decoration: none;
	background: #CCD;
	padding: 2px 3px 0px 3px;
	margin: 0;
	border: 1px solid gray;
}
a#current {
	color: black;
	background: #F3F3F3;
	border-bottom-color: #F3F3F3;
}
/* non-topLink styles */
h4 {
	margin: 0.5em 0 0.25em 0;
	padding-left: 0.25em;
	border-bottom: 1px solid gray;
}
p {
	margin: 1px 0;
	padding: 0.1em 0.5em;
}
p.even {
	background-color: #EFEFEF;
}
ul {
	margin: 0;
	padding-left: 2em;
}
ul ul {
	padding-left: 1.25em;
}