Ist ein wenig Off topic, aber:
PHP-Code:
@import url("StyleIE.css"); 
Diesen Befehl kann man in eine CSS Datei reinschreiben. Er funzt nur beuim IE und desshalb kann man damit IE spezifische Formate machen. Wäre eine Alternative zu der oben genannten Lösung

manni