stretch();
lastVisit();

/*	Force layout to reach bottom of page.	*/
function stretch(adjust){
	if(adjust===undefined){
		adjust = 0;}
	var where = document.getElementById("column");
	var old = where.clientHeight-100;
	var max = document.documentElement.clientHeight-395+adjust;
	if(old<max){where.style.height = max+"px";}}

/*	Center element vertically on the page.	*/
function center(element){
	var where = document.getElementById(element);
	if(!where){return;}
	var parent = where.parentNode;
	if(!parent){
		parent = document.documentElement;}
	var top = (parent.clientHeight-where.clientHeight)/2;
	where.style.position = "relative";
	where.style.top = top+"px";}

/*	Load another page inside of an existing HTML element.	*/
function load(url, where, append){
	where = document.getElementById(where);
	if(!where){
		return false;}
	var xmlhttp = new XMLHttpRequest();
	xmlhttp.onreadystatechange = function(){
		if (xmlhttp.readyState==4){
			if (xmlhttp.status==200){
				if(append==true){
					where.innerHTML += xmlhttp.responseText;}else{
						where.innerHTML = xmlhttp.responseText;}
				}else{
					where.innerHTML = "Problem retrieving data."}}}
	xmlhttp.open("GET",url,true);
	xmlhttp.send(null);
	return true;}
	
/* Displays time of last visit using localStorage. */
function lastVisit(){
	if(!localStorage){return false;}
	var where = document.getElementById("welcome");
	if(!where){return false;}
	var month = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	
	var lastVisit = parseInt(localStorage.getItem("lastVisit"));
	if(!lastVisit){
		var msg = "This is your first visit.";}else{
			var time = new Date(lastVisit);
			var minutes = time.getMinutes();
			if(minutes<10){minutes = "0"+minutes;}
			if(time.getHours()>12){
				var hour = -12;
				var msg = "Your last visit was "+month[time.getMonth()]+" "+time.getDate()+", "+time.getFullYear()+" "+hour+":"+minutes+" PM.";}else{
					var msg = "Your last visit was "+month[time.getMonth()]+" "+time.getDate()+", "+time.getFullYear()+" "+time.getHours()+":"+minutes+" AM.";}}
	where.innerHTML = msg;
	var time = new Date();
	localStorage.setItem("lastVisit", time.getTime());}