//fonction du menu du haut
function montre(id) {
  var d = document.getElementById(id);
  if (d) {
    if (d.style.display != 'block') {
      d.style.display='block';
    }
  } else {
    document.getElementById('smenu1').style.display='none';
  }
}

//fonction de deplacement des menus de gauche et de droite
function alignerMenus() {
  var scrollY = 0;

  if( typeof( window.pageYOffset ) == 'number' ) {
    //Netscape compliant
    scrollY = window.pageYOffset;
  } else if( document.body && ( document.body.scrollLeft || document.body.scrollTop ) ) {
    //DOM compliant
    scrollY = document.body.scrollTop;
  } else if( document.documentElement && ( document.documentElement.scrollLeft || document.documentElement.scrollTop ) ) {
    //IE6 standards compliant mode
    scrollY = document.documentElement.scrollTop;
  }

  if( window.innerHeight && window.scrollMaxY) { // Firefox
    hauteurEcran = window.innerHeight + window.scrollMaxY;
  } else if ( document.body.scrollHeight > document.body.offsetHeight ) { // all but Explorer Mac
    hauteurEcran = document.body.scrollHeight;
  } else { // works in Explorer 6 Strict, Mozilla (not FF) and Safari
    hauteurEcran = document.body.offsetHeight + document.body.offsetTop;
  }

// if (menuGauche) { //297
//    if (scrollY < (297+decalage)) {
      //on ne fait rien, comme ça ça reste au même endroit
//      document.getElementById("colonne-gauche-menu").style.top = (297+decalage) + "px";
//    } else {
//      document.getElementById("colonne-gauche-menu").style.top = (scrollY+10) + "px";
//    }
//  }
  if (menuDroite) { //259
    if (scrollY < (259+decalage)) {
      //on ne fait rien, comme ça ça reste au même endroit
      document.getElementById("colonne-droite").style.top = (0+decalage) + "px";
    } else if (scrollY < hauteurEcran-670) {
      document.getElementById("colonne-droite").style.top = (scrollY-259+10) + "px";
    } else {
      document.getElementById("colonne-droite").style.top = (hauteurEcran-670-259) + "px";
    }
  }
}


