<!--
function navClassNew(obj, new_style) {
    obj.className = new_style;
}
//-->