body {
	margin-left: 0px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
}
pre.small {
	font-size: 5px;
}
pre.mid {
	font-size: 10px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: gray; 
}