function highlightMenu(id) {
    if (document.all) {
	try {
	    // IE. Style must match "menuactive" in thelimo.css.
	    document.getElementById(id).style.background = "#DDDDDD";
	} catch(e) {}
    } else if (document.getElementById) {
	try {
	    // Mozilla et al.
	    document.getElementById(id).setAttribute("class", "menuactive");
	} catch(e) {}
    } else {
	//nothing
    }
}