// JavaScript Document

//function to change background image of navigation button when there is mouse over event
function change_state(id){
	document.getElementById(id).style.backgroundImage = "url(images/nav_mouse_over.png)";
}

//function to change background back to nothing of navigation button when there is mouse out event
function reset_state(id){
	document.getElementById(id).style.backgroundImage = "url()";
}

function show_dropdown(){
	document.getElementById("drop_down_container").style.visibility = "visible";		
}

function hide_dropdown(){
	document.getElementById("drop_down_container").style.visibility = "hidden";		
}

function change_drop_down(id){
	document.getElementById(id).style.backgroundColor = "#313131";
}

function reset_drop_down(id){
	document.getElementById(id).style.backgroundColor = "#750000";
}