function resize() {
  if (document.getElementById) {
    var menuh = document.getElementById("menu").offsetHeight;
    var mainh = document.getElementById("main").offsetHeight;
    if (menuh > mainh) {
      document.getElementById("main").style.height = menuh + "px";
    }
  }
}