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

#debugNav {
	margin-top: 20px;
}

#debug {
	margin-top: 5px;
	border: 1px solid red;
	background: #ffffff;
	padding: 5px;
	overflow: auto;
	height: 400px;
}