// JavaScript Document
//Drop Down Menus in Header
function drop_down(el){

if(document.getElementById(el).style.display == "none"){
document.getElementById(el).style.display = "block";
}
}

function pull_up(el){

if(document.getElementById(el).style.display == "block"){
document.getElementById(el).style.display = "none";
}
}
//----------------------------------------------------------------------