div#nav{
	color : #000000;
	height : 20px;
	font-size: 65%;
	padding-right: 10px;
	font-weight: 700;
	font-family: Arial, Helvetica, sans-serif;
}

div#nav ul {
	list-style-type: none;
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 56px;
	margin-right: 0px;
	padding: 2px 0 0 0;
}
div#nav ul li {
	display: inline;
	margin-right: 5px;
	margin-left: 5px;
}
a:link {
	color: #0000FF;
}
a:visited {
	color: #0099FF;
}
a:hover {
	color: #339900;
}
a:active {
	color: #FF6600;
}
.notReadyLinks {color: #CCCCCC}
.currentSection {
	color: #333333;
	font-weight: bold;
}