Hallo,
Am sichersten kannst du die Abfrage für IE mit
if(document.all && !window.opera)machen. meines Wissens.
Diese Abfrage ist alleine deshalb schon unbrauchbar, weil Konqueror ebenfalls document.all unterstützt. (Die Einteilung aller Browser in IE und Firefox ist freilich problematisch.)
Aber wie gesagt sind CSS-Weichen hier sinnvoller, am besten natürlich nur punktuell, wo tatsächlich unterschiedliche Styles notwendig sind.
Mathias