#debug
{
	position: fixed;
	top: 10%;
	left: 10%;
	width: 50%;
	height: 50%;
	font-family: sans-serif;
	font-size: 9pt;
	padding: 9pt;
	background-color: #ffe;
	color: black;
	border: 5px double black;
	overflow: scroll;
	z-index: 99;
}

#debug p
{
	margin: 1em;
}

#debug p:first-letter
{
	margin-left: -.5em;
}

span.debughead
{
	color: red;
}

#debug b
{
	color: blue;
}
