function positionFooter() {
  var em = 24;
  var f = document.getElementById("footer");
  f.style.paddingTop = em + "px";
  f.style.paddingTop = Math.max(em, document.body.offsetHeight - getOffsetTop(f) - f.offsetHeight) + "px";
}