<!-- debut du script
var g1 = ""; var g2 = ""; var menumax=2;
nom = new Array(menumax); titre= new Array(menumax); drapeau=new Array(menumax);
nom[0] = "histoire_fr.html"; titre[0] = "Français"; drapeau[0]="drapeau_fr.gif";
nom[1] = "histoire_oc.html"; titre[1] = "Occitan"; drapeau[1]="drapeau_oc.gif";


document.write("&nbsp; &nbsp;");
for(i=0;i<menumax;i++) 
  { compare(i);
  document.write("<div>&nbsp;&nbsp;<A HREF=",nom[i],">","<img src=images/",drapeau[i],">",g1,"&nbsp;",titre[i],g2,"</A></div>");}

function compare(a)
{if (document.location.pathname.indexOf(nom[a])!=-1)
{g1="<i><b><FONT size=+1 color=#3333FF>"; g2="</FONT></i></b>";}
   else {g1 = "<b><FONT size=+1 color=#0000AA>"; g2="</FONT></b>";} }
// fin du script-->
