a { color: #808080; text-decoration:none;  font-size:12pt; }
a:hover { color: #800000; text-decoration:underline;  font-size:12pt;  }