var strHref = window.location.href; // not sure what this is being used for

// can't use $ becuase of presence of jquery on certain pages
// can't use $$ because lightbox uses it!

function getOffset(obj,leftOrTop) {
	var errorTotal = 0
	var totalOffset = 0
	tempVal = eval("obj.offset"+leftOrTop);
	totalOffset += tempVal;
	opv = ""; // "offsetParentValue"	
	while (errorTotal < 2) {
		try {
			opv += "offsetParent."
			tempVal = eval("obj." + opv + "offset" + leftOrTop);
			totalOffset += tempVal;
		} 
		catch(e) {
			errorTotal += 1;
			break;
		}
	}
	return totalOffset;
}
	
function setMenuOffset() { 
	var header = document.getElementById('floatr');
	if (!header) return;
	var currentOffset = document.documentElement.scrollTop || document.body.scrollTop; // body for Safari
	var startPos = parseInt(setMenuOffset.initialPos) || 0;
	var desiredOffset = startPos - currentOffset;
	if (desiredOffset < 10)
		desiredOffset = 1;
	if (desiredOffset != parseInt(header.style.top)) 
		header.style.top = desiredOffset + 'px';
}

function getStyle(el,styleProp) {
	var x = document.getElementById(el);
	if (x.currentStyle)
		var y = x.currentStyle[styleProp];
	else if (window.getComputedStyle)
		var y = document.defaultView.getComputedStyle(x,null).getPropertyValue(styleProp);
	return y;
}

window.onload = function () {
	setMenuOffset.initialPos = (document.getElementById("sdebrR").offsetHeight + getOffset(document.getElementById("sdebrR"),"Top")) + "px";
	window.onscroll = document.documentElement.onscroll = setMenuOffset;
	setMenuOffset();
}