/*      sfHover = function() {
      	var sfEls = document.getElementById("topmenu").getElementsByTagName("li");
      	for (var i=0; i<sfEls.length; i++) {
      		sfEls[i].onmouseover=function() {
      			this.className+="sfhover";
      		}
      		sfEls[i].onmouseout=function() {
      			this.className=this.className.replace(new RegExp("sfhover\\b"), "");
      		}
      	}
      }*/
			
//content scrollable
window.addEvent('load', function() {

    var tab_content = $('content').getSize();
	var tab_scroll = $('scroll_content').getSize();

	var H_content=tab_content['size']['y'];
	var H_scroll=tab_scroll['size']['y'];
			
	if (H_content<H_scroll) {
		nb_pixel_scroll=H_scroll-H_content;
		$('barre_scroll').setStyle('display', 'block'); 
        mySlider = new Slider($('barre_scroll'), $('bouton_scroll'), {	
        	steps: nb_pixel_scroll,	
			mode: 'vertical',
			onChange: function(step){						
				$('scroll_content').setStyle('top','-' + step + 'px');
            }
            }).set(0);
		
		//init Mouse wheel 
       if (window.addEventListener)
       /** DOMMouseScroll is for mozilla. */
       window.addEventListener('DOMMouseScroll', wheel, false);
       /** IE/Opera. */
       window.onmousewheel = document.onmousewheel = wheel;

	}
	else
	{
		$('barre_scroll').setStyle('display', 'none'); 
	}
					
});
			
			/** This is high-level function.
 * It must react to delta being more/less than zero.
 */
function handle(delta) {
				//$('bouton_scroll').setHTML(delta);
		if (delta>0){
			 if (mySlider.step>0 ){
			 		mySlider.set(mySlider.step-10);
			 }
		}
		else
		{
		 	if (mySlider.step<nb_pixel_scroll){
			 		mySlider.set(mySlider.step+10);
			 }
		}
		

																					 		

}

/** Event handler for mouse wheel event.
 */
function wheel(event){
        var delta = 0;
        if (!event) /* For IE. */
                event = window.event;
        if (event.wheelDelta) { /* IE/Opera. */
                delta = event.wheelDelta/120;
                /** In Opera 9, delta differs in sign as compared to IE.
                 */
                if (window.opera)
                        delta = -delta;
        } else if (event.detail) { /** Mozilla case. */
                /** In Mozilla, sign of delta is different than in IE.
                 * Also, delta is multiple of 3.
                 */
                delta = -event.detail/3;
        }
        /** If delta is nonzero, handle it.
         * Basically, delta is now positive if wheel was scrolled up,
         * and negative, if wheel was scrolled down.
         */
        if (delta)
                handle(delta);
        /** Prevent default actions caused by mouse wheel.
         * That might be ugly, but we handle scrolls somehow
         * anyway, so don't bother here..
         */
        if (event.preventDefault)
                event.preventDefault();
	event.returnValue = false;
}