function e(id) {return document.getElementById(id);}
function getWinHeight() {if (window.self && self.innerHeight) {return self.innerHeight;}if (document.documentElement && document.documentElement.clientHeight) {return document.documentElement.clientHeight;}return 0;}
function getWinWidth() {if (window.self && self.innerWidth) {return self.innerWidth;}if (document.documentElement && document.documentElement.clientWidth) {return document.documentElement.clientWidth;}return 0;}
function resizeApp() {
	var hdrHeight = 155; // 174
	var ftrHeight = 36;
	var sidePanelWidth = 255;
	var m = e("map");
	var height = getWinHeight() - hdrHeight - ftrHeight;
	var width = getWinWidth() - sidePanelWidth;
	if (height >= 0) {
		m.style.height = height + "px";
		m.style.width = width + "px";
	}
}