function Dummy(){return}

function adjust_menu()
{
	Dummy();

	var max_height = 0;

	for (i=0; i<total_menu; i++) {
		top_menu = document.getElementById ("menu"+i);
		top_menu_link = document.getElementById ("menu_link"+i);

		top_menu.style.width = top_menu_link.offsetWidth;

		if (top_menu_link.offsetHeight > max_height)
			max_height = top_menu_link.offsetHeight;
	}

	for (i=0; i<total_menu; i++) {
		top_menu_link = document.getElementById ("menu_link"+i);
		top_menu_link.style.height = max_height;
	}
}