.red-link {  color: #FF3333}
.red-link:visited { color: #FF3333}
.red-link:active { color: #FF3333}
.red-link:hover {  color: #FF9999}
.text7 { font-size: 7pt}
.text8 {  font-size: 8pt}
.text9 {  font-size: 9pt}
.text10 {  font-size: 10pt}
.text11 {  font-size: 11pt}
.text12 { font-size: 12pt}
.text14 { font-size: 14pt}
.attention { font-weight: bold; color: #FF0000}
.quiet { font-weight: bold; color: #009900}
.saved { font-size: 8pt; font-weight: bold; color: #009900}
.design { color: #999999; font-size: 8pt}
.border-design { border: 1px solid; border-color: #999999 #999999 #999999 #999999}
.back-design { background-color: #EEEEEE}
.inherited { color: #999999}