@charset "utf-8";
/* CSS Document */
div.debug {
	height: 50pt;
	overflow:scroll;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 8pt;
	color: #333;
	background-color: #FFC;
	padding: 3px;
}