// Set min-height of content div depending on nav ul height: //
function setDims()
{
var navHeight = document.getElementById('NavEnv').offsetHeight;
var contentHeight = document.getElementById('content').offsetHeight;
document.getElementById('content').style.marginTop=-navHeight+'px';
if (navHeight > contentHeight)
{
document.getElementById('content').style.minHeight=navHeight+'px';
}
// Tidy up background for narrow screens: //
var realWidth = document.getElementById('Env001').offsetWidth;
if (realWidth < 936)
{
document.getElementById('Env001').style.marginRight=0;
document.getElementById('Env001').style.marginLeft=0;
document.getElementsByTagName('body')[0].style.backgroundImage='none';
document.getElementsByTagName('body')[0].style.backgroundColor='#5a9cce';
}
}