// activateTool script (won't work right with images in mozilla, careful)

function activateTool(theTool) {
	var toolbg = '#e0e6ee';
	document.getElementById(theTool).style.display = 'block'; document.getElementById(theTool+'Tab').style.backgroundColor = toolbg;
	if (theTool != 'Data') { document.getElementById('Data').style.display = 'none'; document.getElementById('DataTab').style.backgroundColor = '#fff'; }
	if (theTool != 'Search') { document.getElementById('Search').style.display = 'none'; document.getElementById('SearchTab').style.backgroundColor = '#fff'; }
	if (theTool != 'Discuss') { document.getElementById('Discuss').style.display = 'none'; document.getElementById('DiscussTab').style.backgroundColor = '#fff'; }
	if (theTool != 'Contact') { document.getElementById('Contact').style.display = 'none'; document.getElementById('ContactTab').style.backgroundColor = '#fff'; }
}