Well, looking at the source for that page reveals that its simply some javascript rollover effects. There's an onmouseover="" in the div tag that changes the CSS class of the div.
Imho, a more elegant solution would be simply to create a CSS hover pseudoclass for the div. For example (CSS):
div.menu
{
color: #FFFFFF;
background-color: #000000;
}
div.menu:hover
{
color: #FFFFFF;
background-color: #666666;
}
Of course, this will only work in a good CSS-supporting browser like Mozilla/Firebird. IE is so sucky and outdated, that it only does the :hover pseudoclass for anchors.