a.menu:hover {  text-decoration: underline;}
a.menu{  text-decoration: none;}

a:hover {  text-decoration: underline;}
a:visited {  color:#990033;}

.f10px {  font-size: x-small; line-height: 120%;}
.f12px {  font-size: x-small; line-height: 130%;}
.f14px {  font-size: medium;  line-height: 140%;}