window.onresize = check_height;

function check_height () { 
  // some browsers require workarounds
  if ( "undefined" === typeof BrowserDetect ) {
    var workaround_adjustment = 0;
  } else {
    if ( ( "Opera" == BrowserDetect.browser ) && ( "Windows" == BrowserDetect.OS ) ) {
      var workaround_adjustment = 4;
    } else {
      var workaround_adjustment = 0;
    }
  }
  // STRUCTURE: html > body > div #global_frame .global_frame > div #tab_home .tabcontent > iframe #iframe_home .content_iframe
  var screen_height = get_screen_height();
  document.getElementById("pseudo_top_menu").style.height = document.getElementById("top_menu").clientHeight + "px";
  document.getElementById("global_frame").style.height = ( screen_height - document.getElementById("top_menu").clientHeight - workaround_adjustment ) + "px";
}

check_height ();