function hiddenLayer(holiday) {
    var theMenu = document.getElementById(holiday+"choice");
    theMenu.style.visibility = 'hidden';
}

function showLayer(holiday) {
    var theMenu = document.getElementById(holiday+"choice");
    theMenu.style.visibility = 'visible';
	theMenu.style.backgroundColor = '#FFFFE1';
	theMenu.style.borderColor = '#6666ff';
	theMenu.style.borderBottomWidth = '2px';	
	theMenu.style.borderRightWidth = '2px';
	theMenu.style.textAlign = 'left';
	theMenu.style.borderTopWidth = '0px';	
	theMenu.style.borderLeftWidth = '0px';	
	theMenu.style.borderStyle = 'groove';	
}