// Work-around for Konqueror/Safari. Doesn't handle resizes because
// scrollHeight is affected.
if (/KHTML/.test(navigator.userAgent)) {
  var A = document.getElementsByTagName("table");
  A[0].style.pixelHeight=document.body.scrollHeight-5;
  A[1].style.pixelHeight=document.body.scrollHeight-5;
}