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

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

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

}

pre.dbg_message {
	color: #008000;
	font-family: consolas;
	font-size: 10pt;
	text-align: left;
	padding: 20px;
	width: 500px;
	background: white;
	margin: 20px;

}

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