<!--
// onmouseover event, needed by IE to work properly because
// it doesn't handle the css :hover for other tag than link
function mouseEffect() {
  if (document.getElementById) {
    var lis = document.getElementsByTagName('li');
    for (var i=0; i<lis.length; i++) {
      lis[i].onmouseover = function() {
        // Erase class name
        if (document.getElementById) {
          var lis = document.getElementsByTagName('li');
          for (var i=0; i<lis.length; i++) {
            lis[i].className = lis[i].className.replace(" hover", "");
          }
        }
        // Write class name
        this.className+=' hover';
        return false;
      }
    }
  }
}
//-->