body {
	color: #037;
	background-color: white;
	padding: 20px;
	font: bold 10pt Verdana, Arial, sans-serif;
}
h1, h2 {
	font: bold 16pt FreeMono, monospace;
}
h2 {
	font-size: 12pt;
}