p {  margin-top: 8px; margin-bottom: 8px; font-size: x-small}
a:hover {  color: #000000; text-decoration: underline overline}
a { color: #000000; text-decoration: none}
h1 {  font-size: large; font-weight: normal; color: #FF3399}
dt { font-size: x-small}
body {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; color: #666666; background-color: #FFFFFF}
.subheading {  font-size: small}
.notice {  font-size: xx-small}
blockquote {  margin-top: 2px; margin-bottom: 2px}
.details {  font-size: 10px; color: #BBBBBB}
h3 { color: #FF3399}
h4 {  font-size: medium; font-weight: normal; color: #FF3399}
hr {  color: #7575FF; line-height: 1px; font-weight: 100; font-size: 1px; border-style: none; height: 1px}
pre {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small}
h5 { font-size: small; font-weight: normal; color: #FF3399 }