& CSS: style.pixelHeight festlegen

[bernd]

auf die schnelle

war das nicht
  document.getElementById("patDiv").style.height= (h-120) + "px";

???
Bernd