body {
	font-family: arial, helvetica, sans-serif;
}
tt {
	font-family: courier, monospace;
}
pre {
	font-size: 90%;
	font-family: courier, monospace;
}