// Title: GI & GIS menu
// Description: functions for the navigation menu
//
// Version: 1.0
// Date: 02-10-2002 (dd-mm-yyyy)
	
	function linkOn(currentLink, cell) {
		currentLink.style.color = "#990000";
		currentLink.style.textDecoration = "underline";	
		
		var currentCell = document.getElementById(cell);
		currentCell.style.backgroundColor = "#CCCCCC";
	}
	
	function linkOff(currentLink, cell) {
		currentLink.style.color = "#FFFFFF";
		currentLink.style.textDecoration = "none";
		
		var currentCell = document.getElementById(cell);
		currentCell.style.backgroundColor = "#24759B";
	}
	
	//function openWin(aURL,aname, w, h) {
  		//var ah = screen.availHeight - 100;
 // 		var aw = (screen.availWidth - 360/3)/ 2;
 // 		var str = "toolbar=no,status=no,scrollbars=yes,resize=no,menubar=no";
 // 		str += ",top=" + 40 + ",screenY=" + 40;
 // 		str += ",left=" + aw + ",screenX=" + aw;
 // 		str += ",height=" + h + ",innerHeight=" + h;
 // 		str += ",width=" + w + ",innerWidth=" + w;
 // 		awindow=window.open(aURL,aname,str);
 // 		awindow.focus();
 // 	}
	function openWin(aURL,aname){
  var ah = screen.availHeight - 100;
  var aw = (screen.availWidth - 360/3)/ 2;
  var str = "toolbar=no,status=no,scrollbars=yes,resize=no,menubar=no";
  str += ",top=" + 40 + ",screenY=" + 40;
  str += ",left=" + aw + ",screenX=" + aw;
  str += ",height=" + 400 + ",innerHeight=" + 400;
  str += ",width=" + 380 + ",innerWidth=" + 380;
  awindow=window.open(aURL,aname,str);
  awindow.focus();
}

function mailPerson(title, name, surname, domain) {
		if (name == ' ')
			document.write('<a href=\"mailto:' + surname + '@' + domain + '\">');
		else
			document.write('<a href=\"mailto:' + name + '.' + surname + '@' + domain + '\">');
		document.write(title + ' ' + name + ' ' + surname + '</a>');
	}
function mailPersonJrc(email, name, surname) {
		document.write('<a href=\"mailto:' + email  + '@' + 'jrc.it' + '\">');
		document.write( name + ' ' + surname + '</a>');
	}
 
	
	 
	
	function currentDate() {
		var monthName = new Array();
		
		monthName[0] = 'January';
		monthName[1] = 'February';
		monthName[2] = 'March';
		monthName[3] = 'April';
		monthName[4] = 'May';
		monthName[5] = 'June';
		monthName[6] = 'July';
		monthName[7] = 'August';
		monthName[8] = 'September';
		monthName[9] = 'October';
		monthName[10] = 'November';
		monthName[11] = 'December';
	
		var now = new Date(document.lastModified);
		
		var lm_year = now.getYear();
		if (lm_year<1000){ 				//just in case date is delivered with 4 digits
		if (lm_year<70){
			lm_year=2000+lm_year;
		}
			else lm_year=1900+lm_year;
		}								//end workaround
		var lm_month = now.getMonth() + 1;
		if (lm_month<10){
			lm_month='0'+lm_month;
		}
		var lm_day = now.getDate();
		if (lm_day<10){
			lm_day='0'+lm_day;
		}
		
		document.write(monthName[lm_month - 1] + " " + lm_day + " " + lm_year);
	}