Dem gegenüber hat ein
<div>
allerdings den Vorteil, dass es gar nicht erst versucht, eine Semantik vorzutäuschen.
wenn du meinen post zuende liest, wirst du feststellen, dass ich das pre-element nicht als notwenig erachte - ein white-space: pre auf das code-element reicht auch aus
das pre-element drumherum hat aber den vorteil, dass der text auch mit default-stylesheet vorformatiert bleibt, bei einem div-element ist das nicht der fall