[Sommaire] [Imprimer]

   1  sfHover = function() {
   2      if (document.getElementById("menu")) 
   3      {        
   4          var sfEls = document.getElementById("menu").getElementsByTagName("LI");
   5          for (var i=0; i<sfEls.length; i++) 
   6          {
   7              sfEls[i].onmouseover = function() {
   8                  this.className+=" sfhover";
   9                  hideSelectBox();
  10              }
  11              sfEls[i].onmouseout=function() {
  12                  this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
  13                  showSelectBox();
  14              }
  15          }
  16      }
  17      if (document.getElementById("menuPDF")) 
  18      {
  19          var sfEls = document.getElementById("menuPDF").getElementsByTagName("LI");
  20          for (var i=0; i<sfEls.length; i++) 
  21          {
  22              sfEls[i].onmouseover = function() {
  23                  this.className+=" sfhover";
  24                  hideSelectBox();
  25              }
  26              sfEls[i].onmouseout=function() {
  27                  this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
  28                  showSelectBox();
  29              }
  30          }
  31      }
  32      if (document.getElementById("lang")) {
  33          var elemLang = document.getElementById("lang");
  34          var elemLangTmp = document.getElementById("langTmp");
  35          elemLangTmp.value = elemLang.options[elemLang.selectedIndex].text;
  36          var max = 0;
  37          var imax = -1;
  38          var i = 0;
  39          for (i=0; i < elemLang.options.length; i++) {
  40              if (elemLang.options[i].text.length > max) {
  41                  max = elemLang.options[i].text.length;
  42                  imax = i;
  43              }
  44          }
  45          //alert(js_direction);
  46          //alert(elemLang.size);
  47          //elemLangTmp.style.width = elemLang.style.width - 20;
  48      }
  49  }
  50  function hideSelectBox(e) {
  51      if ((document.getElementById("lang"))
  52          && (((js_direction=="rtl") && (event.clientX < 300))
  53              || ((js_direction=="ltr") && (event.clientX > 710)))) {
  54              document.getElementById("lang").style.display="none";
  55              document.getElementById("langTmp").style.display="";
  56      }
  57  }
  58  function showSelectBox (e) {
  59      if (document.getElementById("lang")) {
  60          document.getElementById("lang").style.display="";
  61          document.getElementById("langTmp").style.display="none";
  62      }
  63  }
  64  if (window.attachEvent) window.attachEvent("onload", sfHover);