var Info = navigator.platform;
var name = navigator.appName;
var vers = navigator.appVersion;

var shortvers = vers.substring(0,1);

if (Info.indexOf("Mac") != -1)
{
	if ((shortvers == 4) && (name == "Netscape"))
	{
		document.write('<!-- No style sheet for Netscape 4 Mac -->');
	}
	else
	{
		if (vers.indexOf("Mac_PowerPC") != -1) // Detecte Opera sous Mac
		{
		  document.write('<style type="text/css"><!--body,p,div,span,th,td{font-weight: normal;font-size: 11px;font-family:Tahoma, Helvetica, Geneva, Verdana;line-height: 13px;}--></style>');	
	    }
	    else
	    {
		  document.write('<style type="text/css"><!--body,p,div,span,th,td{font-weight: normal;font-size: 11px;font-family:Arial, Tahoma, Helvetica, Geneva, Verdana;line-height: 13px;}--></style>');	
	    }
	}
}
else
{
	document.write('<style type="text/css"><!--body,p,div,span,th,td{font-weight: normal;font-size: 12px;font-family:Verdana, Arial, Helvetica;line-height: 14px;}--></style>');
}

if (document.images) 
{
  accueil          = new Image() ;
  accueil.src      = "menu/accueil.gif" ;
  publications     = new Image() ;
  publications.src = "menu/publications.gif" ;
  recherche        = new Image() ;
  recherche.src    = "menu/recherche.gif" ;
  autresliens      = new Image() ;
  autresliens.src  = "menu/autresliens.gif" ;
  contact          = new Image() ;
  contact.src      = "menu/contact.gif" ;
  menu             = new Image() ;
  menu.src         = "menu/aucun.gif" ;
}

function buttondown(buttonname)
{
  if (document.images) document[ "menu" ].src = eval( buttonname + ".src" );
}

function buttonup (butonname)
{
  if (document.images) document[ "menu" ].src = menu.src;
}