h1 {font-family: Georgia, "Times New Roman", Times, serif;font-size: 120%;font-weight: bold;color: #990000;}
h2 {font-size: 110%;color: #990000;font-weight: bold;margin-bottom: 0.5em;}
.red {color: #990000;}
body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}