Benutze einfach offsetHeight des Elementes.
Das gibt mir die _Höhe_ des Elements?genau.
Naja, es ist height + border-width-top + border-width-bottom.
Also "ungefähr" das was ich wollte.
Ist den 'document.getElementById("foo").style.height' hier wrklich
falsch?
Gruß
Steffen