function sizeElements() {
  var mainDiv = document.getElementById("mainDiv");
  var sepCol = document.getElementById("sepCol");
  var footer = document.getElementById("footer");
  var rightBorder = document.getElementById("rightBorder");

  var rightheight = mainDiv.offsetHeight + 45 + "px";
  var sepheight = mainDiv.offsetHeight - footer.offsetHeight - 26 + "px";

  rightBorder.style.height = rightheight;
  sepCol.style.height = sepheight;
}

function showLogin(show) {
  document.getElementById("loginctrls").style.display = (show ? "block" : "none");
  document.getElementById("loginlink").style.display = (show ? "none" : "block");
}