body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
}
.menu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
}
td {
	font-size: x-small;
}
tt {
	font-family: "Courier New", Courier, mono;
	font-size: small;
}
pre {
	font-family: "Courier New", Courier, mono;
	font-size: small;
}