/* @option Height (header/slide show) [EC 1] */
document.write('<style type="text/css" media="screen">.pageHeader{height:100%;}</style>');
var headerHeightVariable = true;