/*
	Filename: debug.css
	Author: Riccardo Degni AKA RD (http://www.riccardodegni.net/)
	Description: Contiene lo stile relativo al debugging
*/

div#bOOst_debug {
	font-family:"Lucida Sans", Arial, "Times New Roman";
}

div.debug_top {
	background-color:#000000;
	color:#FFFFFF;
	width:100px;
	height:14px;
	font-size:10px;
}

div.debug_main {
	margin:0px 0px 14px 0px;
	border-top:1px solid #999999;
	border-bottom:1px solid #999999;
	font-size:18px;
	background-color:#FFFFFF;
}

span.debug_name {
	color:#990000;
	font-weight:bold;
}

span.debug_txt {
	color:#990000;
	font-weight:bold;
	font-family:"Courier New", Courier, mono;
	background-color:#CCCCCC;
}

span.debug_type {
	color:#00CCFF;
	font-weight:bold;
}

span.debug_val {
	color:#CC0000;
	font-weight:bold;
}

span.debug_length {
	color:#999999;
	font-weight:bold;
	font-size:0.9em;
}

div.debug_clear {
	clear:both;
}