// JavaScript Document
//store the browser info
var browser_info = navigator.appVersion;
var IE=false, Safari=false, FireFox=false, other=false;	//initialize browser variables

//these should be pretty self-explanatory
if	(browser_info.indexOf("MSIE") != -1)
{
	IE = true;
}
else if (browser_info.indexOf("Safari") != -1)
{
	Safari = true;
}
else if (browser_info.indexOf("Windows; en-US") != -1)
{
	FireFox = true;
}
else
	other = true;

onload=makeHeight;
function makeHeight()
{
	//get the element on the page that has the id of pageheight and expand it to fill the page
	e = document.getElementById("pageheight");
	if (FireFox)
	{
		e.style.height = window.innerHeight - 112 + "px";
	}
	else if (IE)
	{
		//of course IE has to do this a different way than everyone else just to make it hard
		e.style.height = document.body.clientHeight  - 112 + "px";	
	}
	else
	{
		e.style.height = window.innerHeight - 112 + "px";
	}
}

//just like the php isset function
function isset(variable_name)
{
	try
	{
		if (typeof(eval(variable_name)) != 'undefined')
			if (eval(variable_name) != null)
				return true;
	}
	catch(e)
	{ }

	return false;
}