// =======================================================
// this is a lot more tedious than using jquery.js,
// but jquery is 77k and this is 2k
// =======================================================

function toggleMenu() {
	var elem = document.getElementById ('utility');
	if (elem == null)
		return;

	var bInvisible = elem.className == 'hide';

	if (bInvisible)
	{
		elem.className = '';
	}
	else
	{
		elem.className = 'hide';
	}

	elem = document.getElementById ('header');
	var nodes = elem.childNodes;
	for (var j = 0; j < nodes.length; ++j)
	{
		if (nodes[j].className == "leftButton")
		{
			if (bInvisible)
				nodes[j].style.backgroundColor = "#549DD5";
			else
				nodes[j].style.backgroundColor = "#327BB3";
		}
	}

	scrollTo (0, 0);
}


// -------------------------------------------------------
function initToggle1 (initialHide) {

	if (window.innerWidth && window.innerWidth <= 480)
	{
		if (initialHide)
		{
			// hide the menu initially
			var elem = document.getElementById ('utility');
			elem.className = 'hide';
		}
	}
	else
	{
		// hide the leftButton
		var elem = document.getElementById ('header');
		var nodes = elem.childNodes;
		for (var j = 0; j < nodes.length; ++j)
		{
			if (nodes[j].className == "leftButton")
			{
				nodes[j].style.display = 'none';
			}
		} // for nodes
	} // wide screen
} // function initToggle1 ()


// -------------------------------------------------------
function initToggle () {
	initToggle1 (true);
} // function initToggle ()