body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt}
h3 { font-size: 150%}
.Credits {
	font-size: 8pt;
	font-family: "Times New Roman", Times, serif;
}
h2 { font-size: 200%}
h4 { }
td { font-size: 10pt}
ul {
	font-size: 10pt;
}