.BlueFont12  { font-family: serif; font-size: 12pt; color: #004080; font-weight: bold; 
               line-height: 150%; word-spacing: 0; margin-top: 0; 
               margin-bottom: 10 }
.fontRed12   { font-size: 12pt; font-family: serif; color: #FF0000; font-weight: bold }
.afterSource { font-family: Times New Roman; font-size: 10pt; color: #004080; font-weight: 
               bold }
.8fontbold   { font-family: Times New Roman; font-size: 8pt; color: #000000; font-weight: 
               bold }
span.Source  { font-family: Times New Roman; font-size: 12pt; color: #FF0000; font-weight: 
               bold }
span.Times10 { font-family: Times New Roman; font-size: 10pt }
.MainPageBack { font-family: Times New Roman; font-size: 12pt }
.RedUp14     { font-family: serif; font-size: 14pt; color: #FF0000; font-weight: bold }