/* Normal, standard links. */
a:link
{
	color: #476C8E;
	text-decoration: none;
}
a:visited
{
	color: #476C8E;
	text-decoration: none;
}
a:hover
{
	text-decoration: underline;
}

/* Navigation links - for the link tree. */
.nav, .nav:link, .nav:visited
{
	color: #000000;
	text-decoration: none;
}
a.nav:hover
{
	color: #cc3333;
	text-decoration: underline;
}

body
{
	color: black;
	background-color: #e5e5e8;
}
body, td, .normaltext
{
	font-family: Verdana, arial, helvetica, serif;
	font-size: small;
}

table
{
	empty-cells: show;
}
.code
{
	font-size: x-small;
	font-family: monospace;
	border: 1px solid black;
	margin: 1px;
	padding: 1px;
}
.quote
{
	font-size: x-small;
	border: 1px solid black;
	margin: 1px;
	padding: 1px;
}
.smalltext, .quoteheader, .codeheader
{
	font-size: x-small;
}
.largetext
{
	font-size: large;
}
hr
{
	height: 1px;
	border: 0;
	color: black;
	background-color: black;
}