Hallo Rolf,
Das Ersetzen von \t durch finde ich allerdings merkwürdig, was spricht gegen die tab-size Eigenschaft des pre-Elements?
als ich das Script vor etwa 10 Jahren geschrieben habe, kannte ich die tab-size Eigenschaft des pre-Elements noch nicht. Kann wahrscheinlich weg.
Gruß
Jürgen