@charset "utf-8";
/* CSS Document */

.debug
{
	font-weight:bold;
	font-size:11pt;
	font-family:Arial, Helvetica, sans-serif;
}



dbprint1
{
	font-family:Arial, Helvetica, sans-serif;
	font-size:11pt;
	color:#000000;
	font-weight:bold;
}
dbprint2
{
	font-family:Arial, Helvetica, sans-serif;
	font-size:11pt;
	color:#000000;
	font-weight:bold;
}
.dbprint2 #_true
{
	color:#00C000;
	background-color:#ffffff;
}
.dbprint2 #_false
{
	color:#ac0000;
	background-color:#ffffff;
}