.javamenu { color: #ffffff; font: 9pt Arial; text-decoration: none }
.javamenu:hover { font-size: 9pt }
.javasubmenu { color: white; font: 9pt Arial; text-decoration: none }
.javasubmenu:hover { font-size: 9pt }