body, td {
	font-family: "Times New Roman", Times, serif;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: large;
	font-weight: bold;
}
.menu {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
}
.Highlight {
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bold;
	color: #CC0000;
}
.TinyText {
	font-family: Arial, Helvetica, sans-serif;
	font-size: x-small;
}