<!--
var tocTop=0;
var toc;

function refLoc() {
	var scrollTop=document.body.scrollTop;

    if (scrollTop<66) {
		scrollTop=0
	} else {
		scrollTop-=66
	}
    scrollTop-=tocTop;
    if (scrollTop>0) {
        scrollTop=Math.round((Math.sqrt(1+8*scrollTop)-1)/2)
    } else if (scrollTop<0) {
        scrollTop=Math.round((1-Math.sqrt(1-8*scrollTop))/2)
    }
	if (scrollTop!=0) {
		tocTop+=scrollTop;
		toc.style.marginTop=tocTop+'px';
	    setTimeout('refLoc()',30)
	} else {
		setTimeout('refLoc()',300)
	}
}

function startFloatMenu(menu) {
	toc = menu;
	refLoc();
}
//-->