p.code
{
	background-color: #EEEEFF;
	font-family: "Courier New", Courier, mono;
	font-size: 12px; padding: 10px;
}
td.vspacer
{
	border-top: 1px dotted #333333;
}
td.rw1
{
	background-color: #F8F8FF;
	padding: 0.5em 0.5em 0.5em 1em;
}
td.rw2
{
	background-color: #FFF8F8;
	padding: 0.5em 0.5em 0.5em 1em;
}
.bl
{
	color: #000088;
}
.db
{
	background-color: #4682b4;
	color: #FFFFFF;
}