.headline1 {  font-family: "Courier New", Courier, mono; font-size: x-large; font-weight: bold}
.smalltext {  font-family: "Times New Roman", Times, serif; font-size: x-small}
a {  font-family: "Courier New", Courier, mono; font-weight: normal; color: #990000}
.headline2 {  font-family: "Courier New", Courier, mono; font-size: large; font-weight: bold}
a {  font-size: small}
.smalllink {  font-family: "Courier New", Courier, mono; font-size: small}