Moin Lanzelot,
ich habe schon versucht das ganze im HTML 4.01 Standard nachzulesen, aber der ist in dieser Hinsicht etwas schwammig.
Evtl. habe ich auch an der falschen Stelle geschaut.
Mir geht es nur darum, wie ich einen entsprechenden Bugfix aufziehe. Wenn das IE Verhalten korrekt ist, dann ist es ein Bugfix für Mozilla & Co. Wenn Mozilla Verhalten korrekt, dann ein entsprechender Bugfix für IE.
Ganz zu schweigen davon, dass IE nicht immer IE ist, wenn man IE unter Mac und IE unter Windows betrachtet. Grmpf 
Moin Frank!
Nun meine Frage: Was ist das richtige Verhalten?
Naja, das kommt halt auf die Definition an:
Ist die Höhe absolut oder soll sie sich auf den Inhalt
beziehen?
Oder anders gesagt, soll das Padding die angebene Höhe nicht
verändern und dafür den Inhalt zusammenquetschen?
Man mag mich steinigen, aber ich halte es für richtig
dargestellt, wenn die angebene Höhe erhalten bleibt, also das
Padding nach innen gerichtet ist.
Genauso finde ich es auch natürlich und wird auch so von diversen CSS-Lektüren erklärt. Nur im W3C Standard habe ich die entsprechende Stelle noch nicht gefunden.
Gruss,
Frank