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

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

#debug {
	width: 500px;
	border: 1px solid red;
	background: #ffffff;
	position: absolute;
	bottom: 5px;
	right: 5px;
	padding: 5px;
	overflow: auto;
	height: 200px;
}