function setMenuDivHeight() {
  document.getElementById('submenu-div').style.height = document.getElementById('content-div').offsetHeight-50 + 'px';
}