// Add extra items to the main menu

function menuitem(url, text) {
    var li = document.createElement("li");
    var a = document.createElement("a");
    var span = document.createElement("span");

    span.innerHTML = text;
    a.appendChild(span);
    a.setAttribute("href", url);

    li.appendChild(a);

    return li;
}

// Add resources
if (typeof ($$('#nav')[0]) != "undefined") {
    var resourcesitem = menuitem("/resources", "Resources");
    Element.insert($$('#nav')[0].lastChild, { before: resourcesitem });
}