@charset "utf-8";
/* CSS Document */

tr {
	vertical-align: top;
}
h2 {
	font-style: italic;
}
h3 {
	font-style: italic;
}
a:visited { color: rgb(128, 128, 128);
text-decoration: none;
}

a:visited:hover { color: rgb(255, 0, 0);
text-decoration: underline;
}



a:link { color: rgb(0, 0, 128);
text-decoration: none;
}

a:link:hover { color: rgb(255, 0, 0);
text-decoration: underline;
}

.header {
	vertical-align: middle;
}

.superhighlight {
	font-weight: bold;
	color: #FF0000;
}

.nav {
	padding: 5px;
	margin: 5px;
}
.navindented {
	margin-left: 10px;
}