body {
	background: #444;
	color: #ddd;
	margin: 0px;
	font-family: sans-serif;
	font-size: 12pt;
}
h1 {
	background: #667;
	color: #eef;
	padding: 10px;
	margin: 0px;
	font-family: sans-serif;
	font-size: 22pt;
}
h2 {
	margin: 0px;
	margin-top: 10px;
	padding: 4px;
	color: #444;
	background: #aab;
}
img {
	margin-right: 20px;
}
a {
	font-weight: bold;
	color: #dad;
	text-decoration: none;
}
div.download {
	margin-top: 15px;
	float: right;
}
div.others {
	float: left;
}
div.download a {
	background: #8a8;
	border-radius: 4px;
	padding: 10px;
	color: #444;
}
div.others h3, div.older h3 {
	margin: 0;
	margin-top: 15px;
	font-size: 12pt;
	color: #aaa;
}
div.others a, div.older a {
	display: block;
	font-size: 10pt;
	margin-left: 10px;
	color: #8a8;
}