/* This function is used to change the menu's colors style class of an element */
var lastmenu;
function mouseOver(a){
	if (lastmenu) {
		lastmenu.style.display = 'none';
	}
	var o = a.getElementsByTagName('div');
	if (o && o.length > 0) {
		lastmenu = o[0];
		lastmenu.style.display = 'block';
	}
	if (a.parentNode.parentNode.className == 'menu') return;
	a.style.backgroundImage = "url('styles/simplicity/images/menu-hover.gif')";
	var z = a.getElementsByTagName('a');
	if (z && z.length > 0) {
		z[0].style.color = 'white';
	}
}
function mouseOut(b){
	if (b.parentNode.parentNode.className == 'menu') return;
	b.style.backgroundImage = "url('styles/simplicity/images/menu-normal.gif')";
	var z = b.getElementsByTagName('a');
	if (z && z.length > 0) {
		z[0].style.color = 'black';
	}
}