/* http://homepages.inf.ed.ac.uk/bundy/ */
<!-- hide this stuff from other browsers 

function f_details(link)
{
	var detailsWindow = window.open(link,"Details",'toolbar=yes,location=yes,directories=no,status=yes,menubar=yes,scrollbars=yes,resizable=yes,width=550,height=400');
	detailsWindow.focus();
}

/* 
window.document works for Netscape (but not from home page
whilst parent menu makes both work for Opera and IE but not Netscape 
*/

function f_menuButtons(thisOne)
{	
	var thisButton = eval("top.frames.menu.document." + thisOne);
	var buttons = new Array("Admin","CV","Teaching","Publications","Research","Seminars","HowtoGuides","Personal"); 
	var buttonOff = "";
	var buttonOn = "";
	for (var loop = 0; loop <buttons.length; loop++)
	{
		thatButton = eval("parent.frames.menu.document." + buttons[loop]);
		buttonOff= "Graphics/buttonOff" + buttons[loop] + "140x20.jpg";
		buttonOn= "Graphics/buttonOn" + buttons[loop] + "140x20.jpg";
		if (buttons[loop] == thisOne)
		{
			thisButton.src = buttonOn;

		}
		else
		{
			thatButton.src = buttonOff;
		}
	}
}

// end the hiding comment -->