.menu {font-family: Times New Roman, Arial, Verdana, Helvetica, sans-serif;   font-size: 12px;   font-weight: bold;}