// JavaScript Document

var origColor;
var newLoc;

function act(elemName) {
	origColor = document.getElementById(elemName).style.color;
	document.getElementById(elemName).style.backgroundColor = "#DDDDDD";
	
	if (elemName == "products") {
		document.getElementById("size").style.visibility = "";
	}
}

function inact(elemName) {
	document.getElementById(elemName).style.backgroundColor = origColor;
	
	if (elemName == "products") {
		document.getElementById("size").style.visibility = "hidden";
	}
}

function opening(elemName) {
	
	newLoc = elemName + ".php"

	document.location.href = newLoc;
}

function over(elemName) {
	document.getElementById(elemName).style.visibility="";
}

function off(elemName) {
	document.getElementById(elemName).style.visibility="hidden";
}