.article_names {
	text-decoration:underline;
}
.sect_titles {
	font-style:italic;
	font-weight:bold;
}
div.nav {
	font-size:x-small;
	text-align:center;
}
div.nav a:link {
	color:#336600;
	background-color:#ffffff;
}
div.nav a:visited {
	color:#336600;
	background-color:#ffffff;
}
div.nav a:hover {
	color:#336600;
	background-color:#ffff99;
}
a.top_link {
	color:#336699;
}