var newheight;

function getWindowHeight(){
	var winHeight=window.innerHeight ? window.innerHeight : document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body.clientHeight;
	return winHeight;
	}

// function that adjusts the height of the divs if the user resizes the window
function doLayout() {
	newheight = getWindowHeight()-225;
	if(newheight<517) {newheight=517;};
	if(newheight>742) {newheight=742;};
	document.getElementById('navversion').style.height = newheight + "px";
	document.getElementById('navbook').style.height = newheight + "px";
	document.getElementById('navchapter').style.height = newheight + "px";
	document.getElementById('content').style.height = (newheight + 28) + "px";
};

newheight = getWindowHeight()-225;
if(newheight<517) {newheight=517;};
if(newheight>742) {newheight=742;};
document.write('<style type="text/css">#navversion, #navbook, #navchapter {height: ' + newheight + 'px\;} iframe#content {height: ' + (newheight + 28) + 'px\;}</style>');