// Frame functions
function windowSize()
{
	var w = 0;
	var h = 0;

	//IE
	if(!window.innerWidth)
	{
		//strict mode
		if(!(document.documentElement.clientWidth == 0))
		{
			w = document.documentElement.clientWidth; // - 15;
			h = document.documentElement.clientHeight; // - 15;
		}
		//quirks mode
		else
		{
			w = document.body.clientWidth; // - 15;
			h = document.body.clientHeight; // - 15;
		}
	}
	//w3c
	else
	{
		w = window.innerWidth;
		h = window.innerHeight;
	}
	return {width:w,height:h};
}

function fitToWindow()
{  
  var pagediv = document.getElementById( 'page' );
  var headerdiv = document.getElementById( 'header' );
  var menudiv = document.getElementById( 'menu' );
  var maindiv = document.getElementById( 'main' );
  var footerdiv = document.getElementById( 'footer' );
  var pageWidth = windowSize().width - 10;
  var pageHeight = windowSize().height;
  if ( (menudiv.clientHeight+headerdiv.clientHeight+footerdiv.clientHeight) > pageHeight)
    pageWidth = Math.max( 850, pageWidth-10 );  
  else
    pageWidth = Math.max( 850, pageWidth );  

  pagediv.style.width = pageWidth +'px';
  headerdiv.style.width = pageWidth +'px';
  footerdiv.style.width = pageWidth +'px';
  maindiv.style.width = (pageWidth-menudiv.clientWidth) +'px';
  maindiv.style.height = Math.max(menudiv.clientHeight, (pageHeight-headerdiv.clientHeight-footerdiv.clientHeight)) +'px';
  Set_Cookie( 'pagewidth', pageWidth, 3, '/', '', '' );
  Set_Cookie( 'mainwidth', maindiv.clientWidth, 3, '/', '', '' );
  Set_Cookie( 'mainheight', maindiv.clientHeight, 3, '/', '', '' );
}

function Set_Cookie( name, value, expires, path, domain, secure )
{
// set time, it's in milliseconds
var today = new Date();
today.setTime( today.getTime() );

/*
if the expires variable is set, make the correct
expires time, the current script below will set
it for x number of days, to make it for hours,
delete * 24, for minutes, delete * 60 * 24
*/
if ( expires )
{
expires = expires * 1000 * 60 * 60 * 24;
}
var expires_date = new Date( today.getTime() + (expires) );

document.cookie = name + "=" +escape( value ) +
( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) +
( ( path ) ? ";path=" + path : "" ) +
( ( domain ) ? ";domain=" + domain : "" ) +
( ( secure ) ? ";secure" : "" );
}

function Get_Cookie( check_name ) {
	// first we'll split this cookie up into name/value pairs
	// note: document.cookie only returns name=value, not the other components
	var a_all_cookies = document.cookie.split( ';' );
	var a_temp_cookie = '';
	var cookie_name = '';
	var cookie_value = '';
	var b_cookie_found = false; // set boolean t/f default f

	for ( i = 0; i < a_all_cookies.length; i++ )
	{
		// now we'll split apart each name=value pair
		a_temp_cookie = a_all_cookies[i].split( '=' );


		// and trim left/right whitespace while we're at it
		cookie_name = a_temp_cookie[0].replace(/^\s+|\s+$/g, '');

		// if the extracted name matches passed check_name
		if ( cookie_name == check_name )
		{
			b_cookie_found = true;
			// we need to handle case where cookie has no value but exists (no = sign, that is):
			if ( a_temp_cookie.length > 1 )
			{
				cookie_value = unescape( a_temp_cookie[1].replace(/^\s+|\s+$/g, '') );
			}
			// note that in cases where cookie is initialized but no value, null is returned
			return cookie_value;
			break;
		}
		a_temp_cookie = null;
		cookie_name = '';
	}
	if ( !b_cookie_found )
	{
		return null;
	}
}

// DesignSoft functions
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

function gone()
{
  location = document.jumpy.example.options[document.jumpy.example.selectedIndex].value;
}

function gonetutorial()
{
  location = document.languages.example.options[document.languages.example.selectedIndex].value;

}