Hallo,
Es funktioniert in beiden Browsern, wenn man es folgendermaßen schreibt:
document.getElementById("abschnitt").style.color="#FF0000";
Das funktioniert auch in allen Browsern, die JavaScript beherrschen.
document.getElementById("abschnitt").setAttribute("style", "Color:#FF0000;");
Diese Zeile ist überflüssig.
viele Grüße
Axel