p {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12px; color: #A60000; height: 9px; clip:   rect(   ); position: relative; top: 1px}
pre {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; color: #A60000}
body {  background-color: #FFCCFF}
a {  color: #993366; font-style: italic; text-decoration: none}
.titles {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12px; font-style: italic}