jQuery(function($) {
  var menuHeight = $(".linkerbalkcontent").height();
  var contentHeight = $(".inhoudelijk").height();
  if (menuHeight > contentHeight) {
    // Set margin-top for footer:
    var offset = $("#footer").height() + ($.browser.msie ? parseInt($("#footer").css("paddingTop"), 0) * 2 : 0);
    var paddingTop = (menuHeight - contentHeight) - offset;
    if (paddingTop > 0) {
      $("#footer").css("paddingTop", paddingTop);
    }
  }
});