function loadTopmenu() {
        var iframe = document.createElement("iframe");
        iframe.setAttribute("src", "/topmenu.html");
        iframe.setAttribute("width", "100%");
        iframe.setAttribute("height", "51px");
        iframe.frameBorder = 0;
        document.body.insertBefore(iframe, document.body.firstChild);
        document.title += ' [SF <%= scope.function_hiera(["sf_version"]) %>]';
};

if (document.body) {
    loadTopmenu();
} else {
    window.onload = function() {loadTopmenu();};
};

function loadTopmenu() {
        var iframe = document.createElement("iframe");
        iframe.setAttribute("src", "/topmenu.html");
        iframe.setAttribute("width", "100%");
        iframe.setAttribute("height", "51px");
        iframe.frameBorder = 0;
        document.body.insertBefore(iframe, document.body.firstChild);
        document.title += ' [SF <%= scope.function_hiera(["sf_version"]) %>]';
};

if (document.addEventListener) {
    document.addEventListener("DOMContentLoaded", loadTopmenu, false);
} else {
    window.onload = loadTopmenu;
}

Fix bug in Jenkins configuration page
Fix bug in Jenkins configuration page

The Jenkins configuration page (http://tests.dom/jenkins/configure) was
basically unusable, because there is an gray overlay box that is blocking the
form fields and thus these fields are unusable. This overlay should be displayed
only during page load; but it didn't disappeared after due to a issue with the
JavaScript that loads the topmenu.

Tested on Firefox, Chrome and Safari.

Change-Id: Ia1ffbfd4200ffb3839cbf7f676737aa058ad119e
