function renderSearchResults() {
  var wrapper = document.getElementById("divResultsWrapper");
  var results = document.getElementById("divResults");
  var close = document.getElementById("close");

  // current width of the 'wrapper'
  var width = parseInt(getStyle(document.getElementById("ZoekAlfabetisch"), "width"));

  // IE fix
  if (!document.all)
    width -= 16;

  wrapper.style.width = width + "px";
  results.style.width = (document.all ? width - 16 : width) + "px"; // wrapperWidth - padding

  // obtain user agent height	
  var height = document.all ? document.body.offsetHeight : window.innerHeight;
  // set wrapper height
  // modificator: user agent dependent
  var modif = document.all ? 340 : 360;
  wrapper.style.height = height - modif + "px";
  // set results height
  results.style.height = (height - 390) + "px"; // wrapper height - 392

  // needed for Firefox
  close.style.width = (document.all ? width - 16 : width) + "px"; // wrapperWidth - padding
}