.Normal      { font-family: verdana,arial,helvetica; font-size: 9pt; }
.smalllinks { color: #000099; font-size: 9pt; font-family: verdana,arial,helvetica; }
.greenlinks { color: green; font-size: 9pt; font-family: verdana,arial,helvetica; 
               font-weight: bold; }