body, td {
	font-size: 80%;
	font-family: "Courier New", Courier, monospace;
	/*font-family: system;*/
	background-color: navy;
	color: darkgray;
}

.header {
	color: white;
}

pre {
	font-size: 100%;
	font-family: "Courier New", Courier, monospace;
	/*font-family: system;*/
}

a {
	color: white;
	text-decoration: none;
}

a:visited {
	color: lightgrey;
}

a:hover {
	text-decoration: underline;
}