/* bonk_ncs - Edited June, 2009 to add a title change when a menu opens/closes  - for accessibility */

function show(id) {
	var d = document.getElementById(id);
	for (var i = 0; i <= 40; i++) {
		if (document.getElementById('smenu' + i)) {
			if (document.getElementById('smenu' + i).style.display != 'block')
			document.getElementById('smenu' + i).style.display = 'none';
		}
	}
	if (d) {d.style.display = 'block';}	
}

function showHide(element_id) {
	if (document.getElementById && document.getElementById(element_id) && document.getElementById(element_id).style) {
		var menu  = document.getElementById(element_id);
		var arrow = document.getElementById(element_id + '_arrow');
		var title = document.getElementById(element_id + '_arrow');

		if (menu.style.display == "block") {
			menu.style.display = "none";
			if (arrow.src) { arrow.src = arrow.src.replace("down","right");}
			if (title.title) { title.title = title.title.replace("Close","Open");} 
		}
		else {
			menu.style.display = "block";
			if (arrow.src) { arrow.src = arrow.src.replace("right","down");}
			if (title.title) { title.title = title.title.replace("Open","Close");}
			}
		}
}

function changeHeight(new_height) {
	document.getElementById('banner').style.height = new_height + 'px';
}