.definition{  font-family: Arial, Georgia, Times New Roman, Times; font-size: 9pt; font-style: normal; font-weight: normal; color: #7F0000}