body {  font-family: Verdana, Arial, Helvetica, sans-serif; background-color: #FFFFFF}
a:hover {  color: #0066FF; text-decoration: underline overline; background-color: #EEEEEE}
a:link {  color: #0000CC; text-decoration: none}
pre {  font-family: "Courier New", Courier, mono}
a:visited {  text-decoration: none}
.javalink
{
    CURSOR: hand;
    COLOR: blue;
    TEXT-DECORATION: underline
}