a.ctlink:active {  color: #99FF33; text-decoration: underline}
a.ctlink:hover {  color: #FFFF00; text-decoration: underline}
a.ctlink:link {  color: #FFFFFF; text-decoration: underline}
a.ctlink:visited {  color: #990066; text-decoration: underline}
.searchbox {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; color: #000000; background-color: #C5A5CB; clip:    rect(   ); font-weight: normal; height: 20px; width: 90px; margin-bottom: 3px}
a.articlelink {  font-family: Arial, Helvetica, sans-serif; font-weight: bold; color: #000066; text-decoration: none}
B { font-family:arial, helvetica} 
DIV { font-family:Arial, Helvetica, sans-serif; font-size:11px} 
TD { font-family:arial, helvetica; font-size:12px }
PRE {font-family:arial, helvetica; font-size:12px }
a.tools:active {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #FFFFFF; text-decoration: underline}
a.tools:hover {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #FFFFFF; text-decoration: underline} 
a.tools:link {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #000000; text-decoration: underline}
a.tools:visited {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #000000; text-decoration: underline}
a.toolsRed:active {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #FFFFFF; text-decoration: underline}
a.toolsRed:hover {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #FFFFFF; text-decoration: underline} 
a.toolsRed:link {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #990000; text-decoration: underline}
a.toolsRed:visited {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #990000; text-decoration: underline}

.toolsSmall { font-family: Arial, Helvetica, sans-serif; font-size: 10px; font-weight: normal; color: #000000; text-decoration: underline }
.header { font-family: "Times New Roman", Times, serif; font-size: 24px; font-weight: bold; color: #000066; font-style: normal}