//Create calendar button rollover
if ( document.images )
{
	con_cal_on = new Image ( );
	con_cal_off = new Image ( );

	con_cal_on.src = "images/calendar_button_hover.png";
	con_cal_off.src = "images/calendar_button.png";
  
	uniclarion_on = new Image ( );
	uniclarion_off = new Image ( );

	uniclarion_on.src = "images/uniclarion_hover.png";
	uniclarion_off.src = "images/uniclarion.png";
  
	login_on = new Image ( );
	login_off = new Image ( );
  
	login_on.src = "images/login_hover.png";
	login_off.src = "images/login.png";
	
	logout_on = new Image ( );
	logout_off = new Image ( );
  
	logout_on.src = "images/logout_hover.png";
	logout_off.src = "images/logout.png";
};
 
function button_on ( imgId )
{
  if ( document.images )
  {
	butOn = eval ( imgId + "_on.src" );
	document.getElementById(imgId).src = butOn;
  }
};

function button_off ( imgId )
{
  if ( document.images )
  {
	butOff = eval ( imgId + "_off.src" );
	document.getElementById(imgId).src = butOff;
  }
};
//End button rollover

//Resize iframes
//find the height of the internal page and set height of iframe
function calcHeight1()
{
	var div01=
	document.getElementById('iframe1').contentWindow.
	document.getElementById("content").firstChild;
	while(div01.nodeType!=1){
		div01 = div01.nextSibling;
	}
	var boxHeight = div01.offsetHeight;
	document.getElementById('iframe1').height = boxHeight-5;
};

//find the height of the internal page and set height of iframe
function calcHeight2()
{
	var div01=
	document.getElementById('iframe2').contentWindow.
	document.getElementById("content").firstChild;
	while(div01.nodeType!=1){
		div01 = div01.nextSibling;
	}
	var boxHeight = div01.offsetHeight;
	document.getElementById('iframe2').height = boxHeight-5;
};
//End resize iframes

//Match the height of two columns
function matchColumnHeight(){
var columnHeightLeft = document.getElementById('textbox4').offsetHeight;
var columnHeightRight = document.getElementById('textbox5').offsetHeight;
if (columnHeightRight >= columnHeightLeft) {  
    document.getElementById('textbox4').style.height = (columnHeightRight - 27) + 'px';  
	document.getElementById('textbox5').style.height = (columnHeightRight - 27) + 'px';
}
else {  
	document.getElementById('textbox4').style.height = (columnHeightLeft - 27) + 'px';
    document.getElementById('textbox5').style.height = (columnHeightLeft - 27) + 'px'; 
}};