// JavaScript Document

// changes background color of menu item
function changeColor(id, bgcolor) {
  if (document.all) {
	document.all[id].style.background = bgcolor;
	document.all[id].style.cursor = 'hand';
  }
  if (document.getElementById) {
	document.getElementById(id).style.background = bgcolor;
	document.getElementById(id).style.cursor = 'hand';
  }
}

// makes element a link
function makeLink(url) {
  self.location = url;
}

// define these variables so it's easy to change menu colors :)
var menu_bg = '#420000';
var menu_bg_hot = '#680001';