var Resizer = {
	"init" : function() {
		Resizer.element = PythonElement.get("footer-links-container");
		
		/* General version, in this case we always use 0 */
		// Resizer.initialTop = ;
		 
		Resizer.initialTop = Resizer.element.offsetTop;
		Resizer.resize();
		Resizer.timeout = "";
	},
	"resize" : function() {
	
		// Slightly rubbish hack here because sometimes we get here and the element has somehow become unset	
		if (Resizer.element == null)
		{
			Resizer.init();
			return;
		}
		
		// Cause the Resizer to wait until the events stop firing, saves lots of processing
		window.clearTimeout(Resizer.timeout);
		Resizer.timeout = window.setTimeout("Resizer.move()", 10);
	
		
		
	},
	"move" : function() {
		// alert("Body content height: " + PythonElement.get("body-content").offsetHeight + ", Element height: " + Resizer.element.offsetHeight + ", Current element top: " + Resizer.element.offsetTop + ", Viewport height: " + PythonWindow.viewportHeight() + ", Scroll position: " + PythonWindow.scrollPosition()[1])
		Resizer.maxY = PythonElement.get("body-content").offsetHeight - Resizer.element.offsetHeight - Resizer.initialTop;
		var top = PythonWindow.viewportHeight() - Resizer.element.offsetHeight - Resizer.initialTop + PythonWindow.scrollPosition()[1];
		Resizer.element.style.top = Math.max(0, Math.min(top, Resizer.maxY)) + "px";
	}
}