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;
}

div.regel {
	border: 5px solid white;
	background: #efefef;
	text-align: left;
	margin: 0 auto 0 auto;
	width: 902px;
}