
var focusedTab = null;

function focusTab(tab)
{
	if (focusedTab != null)
		focusedTab.className = 'tab';

	focusedTab = tab;
	focusedTab.className = 'tab active_tab';
}
