Hallo,
Ich habe testweise beim style des divs width: 800px; angegeben; dann funktioniert das in allen Browsern. Das Problem ist nur, dass ich die Breite nicht in Pixeln (bzw. %) angeben kann, da ich nicht weiss, wieviel Platz für das pre zur Verfügung steht..
Warum weisst du das nicht? Das Element, dass das pre-Element enthält wird doch wohl auch eine definierte Breite besitzen?
Gruß