function ELF_Edit() {
    var sPath = window.location.pathname;
    var sPage = sPath.substring(sPath.lastIndexOf('/') + 1);
    if(sPage == null || sPage == ""){sPage = "index.shtml";}
    window.location = "ELF/edit_content.php?page=" + sPage.substr(0, sPage.indexOf("."));
}

function toggle_ELF_edit(){
    document.getElementById("ELF_edit_button").style.display = (document.getElementById("ELF_edit_button").style.display == "none") ? "block" : "none";
}