Code-Tag oder welches Markup

[hotti]

hi,

wo ich immer mal ein bischen Code auf meine Seiten bringe, nehme ich den Code-Tag mit einem style="white-space: pre", weil ich denke, das ist das richtige Makeup. Beim Rauskopieren aus dem Browser, verhalten sich FF und IE wie immer unterschiedlich, beim IE kommen die Zeilenumbrüche mit, beim FF nicht. Es reift die Zeit zur Frage: "Was ist zweckmäßig?"

a) nur code-Tag mit o.g. Style
b) nur pre-Tag
c) code-Tag + pre-Tag

Was meint Ihrs?
Horst