window.onresize = resize_divs;

function resize_divs()
{
  if (document.documentElement.clientHeight)
    window_height = document.documentElement.clientHeight;
  else
    window_height = window.innerHeight;
  window_height = window_height - 93;

  content_height = document.getElementById("content").offsetHeight;

  if (content_height > window_height)
    window_height = content_height - 30;
  else
    window_height = window_height - 70;

  document.getElementById("left").style.visibility = "hidden";
  document.getElementById("left").style.height = window_height + "px";
  document.getElementById("left").style.visibility = "visible";
  
  document.getElementById("content").style.height = document.getElementById("left").style.height;
}