var panels = new Array('tools', 'files');
var selectedTab = null;

function showPanel(tab, name) {
	if (selectedTab) {
		selectedTab.style.backgroundColor = '';
		selectedTab.style.paddingTop = '';
		selectedTab.style.marginTop = '';
	}
		selectedTab = tab;
		selectedTab.style.backgroundColor = '';
		selectedTab.style.paddingTop = '';
		selectedTab.style.marginTop = '';        

	for(i = 0; i < panels.length; i++) {
		document.getElementById(panels[i]).style.display = (name == panels[i]) ? 'block':'none';
	}
	return false;
}