Für den IE ist die Sache nun sehr einfach, denn document.body.scrollHeight weist immer die tatsächlich benötigte Höhe inkl. margin des BODY Elements aus.
Und das liegt wohl daran, dass der IE mit margin=0 beim BODY arbeitet und den "Rand" als padding ausbildet.
Und genau letztere ist im FF und Opera das Problem, weil ich sie nicht kenne. Dort bekomme ich die Höhe in document.documentElement.offsetHeight - aber exkl. margin.
Ich kenne die Werte natürlich aus Versuchen. 10px beim FF und 6px beim Opera. Ich suche aber nach einer Methode, um die reale margin zu ermitteln (weil sie z.B. in % angegeben ist).