body {
	color: #150567;
	background: #faf8cc none;
	font-family: serif;
	font-size: 12pt;
	}

h1, h2 {
	font-family: sans-serif;
	}

p.colofon {
	font-style: italic;
	}

p.fout {
	color: red;
	}

img.logo {
	float: right;
	}

th {
	font-family: sans-serif;
	font-size: 12pt;
	text-align: left;
	}

td {
	font-family: serif;
	font-size: 12pt;
	}

tt, pre {
	font-family: courier, monospace;
	background: ffebcd
	}

hr {
	border: solid;
	}