.menulinks    { font-size: 14px; font-family: Times, "Times New Roman"; font-stretch: semi-expanded; text-decoration: none }
.menulinks a:link    { font-size: 14px; font-family: Times, "Times New Roman"; font-stretch: semi-expanded; text-decoration: none }
.menulinks a:visited    { font-size: 14px; font-family: Times, "Times New Roman"; font-stretch: semi-expanded; text-decoration: none }
.menulinks a:hover { font-size: 14px; font-family: Times, "Times New Roman"; font-stretch: semi-expanded; text-decoration: underline }