pre {
	margin: 2px;
}

pre.error {
	color: #F00;
	font-family: sans-serif;
	font-size: 10pt;
}

pre.melding {
	color: #008000;
	font-family: sans-serif;
	font-size: 10pt;
}

pre.warning {
	color: #FFA500;
	font-family: sans-serif;
	font-size: 10pt;
}