var timer = 0;
function MyMenu(){
//definisco distanza dal top sia per firefox che chrome ... ie?
if (document.documentElement.scrollTop>document.body.scrollTop) {
scrolling = document.documentElement.scrollTop
}else{
scrolling = document.body.scrollTop
}
if (scrolling==0) {
d_div = getOffsetTop(document.getElementById('menu_list'));
}
if (scrolling > d_div) {
document.getElementById('menu_list').style.position = "fixed";
document.getElementById('menu_list').style.top = 0;
}
else{
document.getElementById('menu_list').style.position = "relative";
var divh = document.getElementById('menu_list').offsetHeight;
document.getElementById('correggi').style.height = divh+"px";
}
timer = setTimeout("MyMenu()", 1);

}
function Stop()
{
clearTimeout(timer);
}

function getOffsetTop(obj) {
offsetTop = obj.offsetTop;
var parentEl = obj.offsetParent;
while (parentEl!=null){
offsetTop = offsetTop +parentEl.offsetTop;
parentEl = parentEl.offsetParent;
}
return offsetTop;
}