table.debugger {
  font-family: Verdana;
	font-size: 10px;
	padding: 0px;
	width: 800px;
	margin: 0px;
	background-color: White;
}

table.debugger tr.rowHeader {
	background-color: #87CEFA;
	font-weight: bold;
	font-family: Verdana;
	font-size: 10px;
}

table.debugger tr.intRowHeader {
	background-color: #FEFF75;
	font-weight: bold;
	font-family: Verdana;
	font-size: 10px;
}

table.debugger tr.intVarRowHeader {
	background-color: #B9FF75;
	font-weight: bold;
	font-family: Verdana;
	font-size: 10px;
}

table.debugger tr.titleRow {
	background-color: #E6E6FA;
	font-weight: bold;
	font-family: Verdana;
	font-size: 10px;
}

table.debugger tr.bodyRowHeader {
	background-color: #FFE4E1;
	font-weight: bold;
	font-family: Verdana;
	font-size: 9px;
}

table.debugger td.contentBody {
	font-size: 9px;
}