div.debug
{
	text-align:left;
	border:1px dashed red;
	padding:4px;
	margin:4px;
	background:white;
}

div.debug p
{
	font-family:Courier;
	font-size:11pt;
	color:red;
	text-decoration:none;
	font-weight:normal;
	padding:0;
	margin:0;
}