/* CSS Document */

div.debug
{
	white-space: pre;
}

div.debug {
	overflow: auto;
	width: 350px;
	/*height: 300px;*/
	margin: 1em;
	padding: 1em;
	white-space: pre;
	font-size: 0.8em;
	border: 1px dashed #609;
	background-color: #f9f9f9;
}