// If user resizes, refresh the page to recheck height:

function reDo()
{
window.location.reload()
}
window.onresize = reDo;

// If height less than navigation panel unfix the panel:

var y;
if (self.innerHeight) // all except Explorer
{
y = self.innerHeight;
}
else if (document.documentElement && document.documentElement.clientHeight)
// Explorer 6+ Strict Mode
{
y = document.documentElement.clientHeight;
}
else if (document.body) // other Explorers
{
y = document.body.clientHeight;
}
if (y < 488)
{
document.write('<style type="text/css">@import "css/ShortMonitor.css";</style>')
}