BODY {
	font-family: Arial, Helvetica, sans-serif;
	background-color: #000;
	color: #fff;
}
a {
	color: #ddd;
	text-decoration: underline;
	font-size: 1em;
	cursor: pointer;
}
pre {
	background-color: #222;
	margin-left: 2em;
	margin-right: 2em;
	padding: 5px;
	border: 1px solid silver;
}
.smalltext {
	font-size: 0.70em;
}