var menu_scrolling_elements = new Array();
var menu_scrolling_speeds = new Array();

var menu_timeout = null;


function menuUpdate()
{
	for (i = 0; i < menu_scrolling_elements.length; ++i)
	{
		element = menu_scrolling_elements[i];
		speed = menu_scrolling_speeds[i];
		if (speed == 0)
			continue;

		old_width = element.clientWidth;
		if (speed > 0)
			new_width = old_width + speed * 10;
		else
			new_width = old_width + speed * 2;
		
		// Check if we've finished animating.
		if (new_width > 144)
		{
			new_width = 144;
			menu_scrolling_speeds[i] = 0;
		}
		else if (new_width < 111)
		{
			new_width = 111;
			menu_scrolling_speeds[i] = 0;
		}

		element.style.width = new_width + 'px';
	}

	menu_timeout = setTimeout("menuUpdate()", 10);
}

function menuScrollElement(element, speed)
{
	if (!menu_timeout)
		menu_timeout = setTimeout("menuUpdate()", 20);

	for (i = 0; i < menu_scrolling_elements.length; ++i)
	{
		if (menu_scrolling_elements[i] == element)
		{
			menu_scrolling_speeds[i] = speed;
			return;
		}
	}

	menu_scrolling_elements.push(element);
	menu_scrolling_speeds.push(speed);
}