.banner {  font-family: Georgia, "Times New Roman", Times, serif; color: #0033CC; font-weight: bold}
.footnote {  font-family: Georgia, "Times New Roman", Times, serif; font-size: xx-small; text-align: center}
.menu {  font-family: Georgia, "Times New Roman", Times, serif; text-align: right}
.todo {  font-family: "Courier New", Courier, mono; font-weight: bold; color: #FF0000}
th {  font-family: Georgia, "Times New Roman", Times, serif; font-weight: bold; color: #FF9900; background-color: #003399}
h1 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: medium; font-weight: bold}
h2 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: small; font-weight: bold}