.body   { font-size: 9pt; font-family: Tahoma; text-decoration: none }
a.alternative { color: #000080; font-size: 12pt; font-family: Tahoma; font-weight: bold; text-decoration: none }
a.alternative:hover { color: #5a5a5a; font-size: 12pt; font-family: Tahoma; font-weight: bold; text-decoration: none }