function addClassName(elt, s) {
    elt.className += " " + s;
}
function removeClassName(elt, s) {
    var r = new RegExp('\\b' + s + '\\b', 'i');
    elt.className = elt.className.replace(r, '');
}

function $(id) { return document.getElementById(id); }

function optionOn(elt, first) {
    if (first) { 
        addClassName($('navbar-item-first'), 'first-over');
        addClassName($('navbar-item-first2'), 'middle-over');
    } else {
        addClassName(elt, 'middle-over');
    }
}
function optionOff(elt, first) {
    if (first) {
        removeClassName($('navbar-item-first'), 'first-over');
        removeClassName($('navbar-item-first2'), 'middle-over');
    } else {
        removeClassName(elt, 'middle-over');
    }
}