// highlight tabs and switch content on home page
function toggleTab(tab) {
	var tabs = new Array('default', 'top', 'middle', 'bottom');
	//document.getElementById("copy-default").style.display = "none";
	for (i = 0; i < tabs.length; i++) {
		if (tabs[i] == tab) {
			if (tabs[i] != 'default') {
				document.getElementById("tab-" + tabs[i] + "-on").style.visibility = "visible"; 
			}
			document.getElementById("copy-tab-" + tabs[i]).style.display = "block";
		}
		else {
			if (tabs[i] != 'default') {
				document.getElementById("tab-" + tabs[i] + "-on").style.visibility = "hidden";
			}
			document.getElementById("copy-tab-" + tabs[i]).style.display = "none";
		}
	}
	return;
}