Hallo an alle,
ich habe aufgrund der erhaltenen Antworten nochmal über meine Frage nachgedacht und festgestellt, dass das Element <pre> eigentlich gar nicht viel macht.
Wenn man einfach mal unterstellt, dass die Browser schlau genug sind, <code> in dicktengleicher Schrift darzustellen (Mozilla 1.7.8 unter Linux tut dies jedenfalls), und man mit CSS dies auch nochmal sicherheitshalber zusätzlich festschreibt, dann bringt <pre> eigentlich nur bei den Zeilenumbrüchen etwas Erleichterung. Wenn man nun, da "white-space" ja noch nicht so toll unterstützt wird, die Zeilenumbrüche wie üblich mit <br> festlegt, hat man wieder eine recht sauber Trennung von Inhalt und Darstellung.
Und das "white-space"-Element zeigt mir wieder mal, dass es eine 100%ige Trennung sowieso nicht geben kann: (Fehlende) Zeilenumbrüche sind zunächst einmal eine Sache des Aussehens, aber natürlich können Sie auch den Sinn beeinflussen (zumindest bei Quelltext).
Schöne Grüße und nochmal danke für Eure Antworten
Def