body {
	font: 8pt Verdana, Arial;
}
pre {
	font-family: lucida console;
	margin-left: .35in;
	line-height: 1.2em;
	font-size: 1em;
	background: #f7f7f7;
	border: 3px double #999999
}
.footnote {
	font: 7pt Arial;
}