.menu { font-family: Trebuchet MS; text-decoration: none; font-size: 8pt; font-style: normal; color: black }
A.menu:hover { color: blue }
.submenu { font-family: Trebuchet MS; text-decoration: none; font-size: 9pt; font-style: normal; color: blue }
A.submenu:hover { color: red }
.menuchosen { font-family: Trebuchet MS; text-decoration: none; font-size: 9pt}
.popup { font-family: Verdana; font-size: 8pt}
.citation { font-family: Verdana; font-size: 10pt}