body {
	color: black;
	background-color: white;
	padding: 0px;
	margin: 0 12pt;
}
h1, p.version {
	margin: 0 -12pt;
	padding: 2pt 12pt;
	background: #E82020;
	color: white;
}
h1 {
	margin-bottom: 0.8em;
}
h2 {
	border-bottom: 2px dashed #C0C0C0;
}
a:link {
	color: #C02020;
}
a:visited {
	color: #606060;
}
p.version {
	font-size: 50%;
	text-align: right;
	padding-right: 6pt;
}
p.todo {
	color: red;
}
p.sfnet {
	text-align: right;
	margin: 0 -12pt;
	padding: 2pt 6pt;
}