// JavaScript Document
var windowWidth, windowHeight;
var thumbHeight;
var agent = navigator.userAgent.toLowerCase();
var mac = (agent.indexOf("mac")!=-1);
var ie = ((agent.indexOf("msie") != -1)&& (agent.indexOf('opera')==-1));

function setHeight(thumbFrameHeight){
	if (!(mac && ie)){
		windowSize();
		thumbHeight = thumbFrameHeight;

		document.getElementById("BottomFrame").style.height=(thumbHeight+20) + "px";
		document.getElementById("TopFrame").style.height=((windowHeight-thumbHeight) * .85) + "px";
		document.getElementById("TopFrame").style.width=(windowWidth*.9) + "px";
		document.getElementById("BottomFrame").style.width=(windowWidth*.9) + "px";
	}
}

function resizeThis(){
	setHeight(thumbHeight);
}

function windowSize() {
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else if( document.documentElement &&
      ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
    //IE 6+ in 'standards compliant mode'
    myWidth = document.documentElement.clientWidth;
    myHeight = document.documentElement.clientHeight;
  } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
    //IE 4 compatible
    myWidth = document.body.clientWidth;
    myHeight = document.body.clientHeight;

  }
  windowWidth = myWidth;
  windowHeight = myHeight;
}