Hmmm, habs herausgefunden.
x = document.getElementById('oben');
y = document.getElementById('unten');
if(document.all)
x.style.top = document.all['oben'].offsetHeight;
else
x.style.top = y.style.height;
Tja, manchmal sieht man den Wald vor lauter Bäumen nicht!