pre {
	margin: 0;
	width: 100%;
	overflow: hidden;
}

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

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

}

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

}

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