var menu = document.getElementById('menu');
  if(menu != null)
  {
  var content = document.getElementById('content');
  if(content != null)
  {
  if(content.clientHeight < menu.clientHeight+80)
      {
        content.style.height = menu.clientHeight+80 + 'px';
      }
    }
  }