body {
	background-image: url('index.jpg');
	color: #FFFFFF;
	font-family: "Courier New", Courier, "DejaVu Sans Mono", Anonymous, fixed;
	line-height: 1.5
}

span.n {
	background-color: #000000;
}

span.t {
	background-color: #FFFFFF;
	color: #000000;
	font-size: smaller;
}

ol {
	font-weight: bold;
}
a {
	text-decoration: none;
	color: #FFFFee;
	font-weight: bold;
	background-color: #000000;
}

a:hover {
	color: #000000;
	background-color: #FFFFAA;
}

div.misc {
	float: right;
	background-color: none;
	font-size: smaller;
}

div.download {
	float: left;
	font-size: 18pt;
}

span.m {
	background-color: #FFFFFF;
	color: #000000;
}