body {
	background-color: #333;
	color: #DDC;
	font-family: monospace;
	margin: 0;
}
a {
	color: #DDC;
}
a:hover {
	text-decoration: underline;
	text-decoration-style: dotted;
	color: #88C;
}
ul.links {
	list-style-type: square;
	line-height: 2em;
}
ul.links a {
	text-decoration: none;
	font-weight: bold;
}
h1.top {
	background-color: #000;
	border-bottom: 1px solid #DDC;
	margin-top: 0;
	padding: 8px 8px 4px;
}
div.content {
	padding: 8px;
}