body,p,font,th,td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

pre {
	background-color: #CCCCCC;
	border: 1px solid #009900;
	padding: 10px;
}

.bigbold {
	font-size: larger;
	font-weight: bold;
}