h1 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bold;
}
h2 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: medium;
	font-weight: bold;
}
h3 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
}
p {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}
li {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}
a:hover {
	background-color: #BBE2FE;
}
.dummy {
	padding: 1000px;
}
td {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}
.comment {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
	color: #FF0000;
}