.page-title {  font-family: "Times New Roman", Times, serif; font-size: large; font-weight: bold; color: #000099; background-position: center}
.menu-title {  font-family: "Times New Roman", Times, serif; font-size: medium; font-weight: bold; color: #000000; background-position: right}
.menu-item {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; font-weight: bold; line-height: 30px}
.credits {  font-family: Arial, Helvetica, sans-serif; font-size: x-small; background-position: center}
p {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; line-height: 22px}
dl {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; line-height: 22px}
.notation {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small; line-height: 15px}
.caption {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small; line-height: normal}
.prompt {  font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; font-size: small}
.sub-heading { font-family: "Times New Roman", Times, serif; font-size: medium; font-weight: bold; color: #000000; background-position: right }
li {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; line-height: 22px}
.section-heading { font-family: "Times New Roman", Times, serif; font-size: small; font-weight: bold; color: #000000; background-position: right }
.top {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; color: #000099; text-decoration: none; text-align: right; font-weight: bold}