body
{
	margin: 0px;
	padding: 10px;
	font-family: Verdana, Tahoma, Helvetica, sans-serif;
	font-size: 80%;
	background: #000000;
	color: #FFFFFF;
}

pre
{
	font-family: Verdana, Tahoma, Helvetica, sans-serif;
	font-size: 100-%;
}