no wlaśnie, skąd to:
document.getElementById('id').style.setProperty("font-size","20pt","");

?
setAttribute jest lepszy. A co do idioty (czytaj: IE) to on sobie działa jak chce (IE 6 dziala inaczej na XP inaczej na 2000 ...).
Poza tym próbujesz zmienić styl (fontSize), który w tym znaczniku nie istnieje! Owszem, pod FF działa. IE (program do wymiany wirusów i instalacji trojanów) jest bardzo oporny, dlatego dużą część styli trzeba w taga władować w postaci style="..." zeby działało.
Lepiej/ładniej:
Ustawiasz elementom a class, może być puste. Następnie przy onclick podmieniasz nazwe klasy/dodajesz albo usuwasz. działa, chociaz oczywiście nie wszystkie style (chociaz nawet idioci z redmond nie wiedzą które).