div#debug {
	text-align: left;
}
pre {
	margin: 0;
}

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

pre.dbg_error {
	color: #FF0000;
	font-family: sans-serif;
	font-size: 10pt;

}

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

}

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