function getMapSizeForScreen(){
	var br = document.documentElement;
	var h = br.clientHeight - 90;
	if($.browser.msie == true){
		h = h - 4;
	}

  $('#navigation').css({height: h+'px', overflow: 'auto'});
  $('#content').css({height: h+'px', overflow: 'auto'});
  $('#extra').css({height: h+'px', overflow: 'auto'});
	return true;
};

$(window).resize(getMapSizeForScreen);