addLoadEvent(Bootstrap_Menu);
var all_buttons = new Array();
function Bootstrap_Menu() {
    if (elements != null) {
        var thiselement;
        for (var i = 0; i < elements.length; i++) {
            thiselement = elements[i];
            if (thiselement.className == "Menu_Button_Class") {
                thiselement.onmouseover = mouseovermenubutton;
                thiselement.onmouseout = mouseoutmenubutton;
                all_buttons[all_buttons.length] = thiselement;
            }
            if (thiselement.id.indexOf("HF_Active_Button") != -1) {
            }
        }
    }
    else {
        setTimeout(function () { Bootstrap_Menu(); }, 1000);
    }
}
var current_menu_target;
function mouseovermenubutton() {
    document.body.style.cursor = "Pointer";
    current_menu_target = document.getElementById(this.id + "underline");
    current_menu_target.style.borderBottom = "solid 2px #F26722";
}
function mouseoutmenubutton() {
    document.body.style.cursor = "Auto";
    if (current_menu_target.style != null) {
        current_menu_target.style.borderBottom = "solid 2px black";
    }
}