// Grabs info about the browser and OS
var agt    = navigator.userAgent.toLowerCase();
var appVer = navigator.appVersion.toLowerCase();

// Determines OS
var is_win = ( agt.indexOf( "windows" ) != -1 );

// Determines browser name.
var is_ie  = ( agt.indexOf( "msie"    ) != -1 );

// Only applies resize on Windows/IE when the header is
// shorter than 100 px.
if( is_win && is_ie ) {
  
  // Grabs header DIV as an object
  var obj = document.getElementById('header');
  
//  if( obj.offsetTop + obj.offsetHeight < 178 ) {
//    obj.style.height = "179px";
//  }
  if( obj.offsetTop + obj.offsetHeight < 128 ) {
    obj.style.height = "128px";
  }
}