a   { font-size: 11pt; line-height: 15px; font-family: "Times New Roman", Times; text-decoration: none; margin-left: 3px; color: blue; padding-left: 5px}
a:hover { text-decoration: underline }