// Name:	JavaScript Page Adjuster
	// Author:	Hans-Christian Andersen
	//
	// Summary:	This piece of JavaScript code makes sure the page is adjusted vertically
	//			in the event that the person viewing it has a low resolution.
	//
	//			It uses JavaScript to generate an arbitrary anchor in the correct location
	//			on the page and directs the user there.
	
	
	// Get the base node to the body of the page and initialize variables
	var tb_bodyRef = document.getElementsByTagName("body").item(0);
	
	// create a new element of type DIV
	var tb_parentNode;
	tb_parentNode = document.createElement( 'div' );
	tb_parentNode.setAttribute( 'id', "pageAdjusterAnchor" );
	
	// Create a new element of type A (link)
	var tb_childNode;
	tb_childNode = document.createElement( 'a' );
	tb_childNode.setAttribute( 'name', "midPageAnchor" );
	tb_parentNode.appendChild( tb_childNode );
	
	// Create a new element of type IMG (image)
	var tb_childChildNode;
	tb_childChildNode = document.createElement( 'img' );
	tb_childChildNode.setAttribute( 'src', "images/spacer.gif" );
	tb_childChildNode.setAttribute( 'height', "1" );
	tb_childChildNode.setAttribute( 'width', "1" );
	tb_childChildNode.setAttribute( 'border', "0" );
	tb_childNode.appendChild( tb_childChildNode );
	
	// Attach all the created nodes to the BODY of the page
	tb_bodyRef.appendChild( tb_parentNode ); 
	
	// Add some style information to the tags:
	document.getElementById('pageAdjusterAnchor').style.position = "absolute";
	document.getElementById('pageAdjusterAnchor').style.top = "50px";
	document.getElementById('pageAdjusterAnchor').style.left = "50px";