// Declaració de l'array d'enllaços
var navURL = new Array();

// Omplim l'array d'enllaços
navURL[0] = new Array("overview","index.html")
navURL[1] = new Array("features","features.html")
navURL[2] = new Array("screenshots","screenshots.html")
navURL[3] = new Array("requirements","requirements.html")
navURL[4] = new Array("download and install","download.html")
navURL[5] = new Array("quickstart","quickstart.html")
navURL[6] = new Array("development","development.html")



function menu() 
{
  for (var i in navURL) 
	{
		if (location.href.indexOf(navURL[i][1]) != -1)
		{
			document.writeln("<div class=\"selected_menu_button\">&gt; " + navURL[i][0] + "</div>");
		} 
		else 
		{
			document.writeln("<div class=\"menu_button\"><a href=\""  + navURL[i][1] + "\" title=\"" + navURL[i][0] + "\">" + navURL[i][0] + "</a></div>");
		} 
	}
}