// Used to track current highlighted tab id
g_loaded = false;

function OnMouseOver(id)
{
	var szId = "id" + id;
	element = document.getElementById(szId);

	if (element && g_loaded)
	{
		element.style.fontSize	='12pt';
		element.style.cursor	='pointer';
	}
}


function OnMouseOut(id)
{
	var szId = "id" + id;
	element = document.getElementById(szId);

	if (element && g_loaded)
	{
		element.style.fontSize	='8pt';
		element.style.cursor	='auto';
	}
}