// JavaScript Document

function changePanelSize()
{
	var leftPanelHeight  = document.getElementById("panel-left-bg").clientHeight;
	var mainPanel        = document.getElementById("main-panel-bg");

	mainPanel.style.height = leftPanelHeight - 145;

}