Hi,
Es ist anscheinend nicht möglich, ein <div>, welches ein <pre> Element enthält, dynamisch in der Größe festzulegen.
Frage: Warum überhaupt <div> und <pre>?
Was passiert, wenn Du lediglich das dafür vorgesehene Element <code> verwendest und dieses entsprechend formatierst?
freundliche Grüße
Ingo