span.top-right-links a {
	color: #666666;
	text-decoration: none;
}
span.top-right-links a:hover {
	color: #666666;
	text-decoration: underline;
}

.navtitle    { font-size: 14pt; font-weight: bold; margin-bottom: 16px; }
.navbar      { font-size: 10pt; padding-bottom: 10px; border-bottom: 1px solid #888888; margin-bottom: 15px;}
.navbar a    { color : #666666; text-decoration: none; }
.navbar a:hover    { color : #666666; text-decoration: underline; }

td.toc a { text-decoration: none; }