// This file implements the mouseover effect for the navigation buttons

// Some variables

var base= "common/";
var nrm = new Array();
var omo = new Array();
var stuff = new Array('home','puzzles','photos','quotes','files','links','games','contact','running','partners','papers');

// Pre-load part.

if (document.images)
{
	for (i=0;i<stuff.length;i++)
	{
		nrm[i] = new Image;
		nrm[i].src = base + stuff[i] + "-outline.gif"
		omo[i] = new Image;
		omo[i].src = base + stuff[i] + ".gif";
	}
}

// The functions: first mouseover, then mouseout

function over(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = omo[no].src
	}
}

function out(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = nrm[no].src
	}
}