body {  color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; line-height:10pt; margin-top: 4px}
a {  color: #000000; text-decoration: none; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt}
a:hover {  color: #990000; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt}
p {  color: #000000}
.defaultTOC { color: red; text-decoration: none; font-family: Arial; font-size: 18pt; font-style: italic; font-weight: bold; }
.toc3 { font-style: italic; }