se guardi il codice della pagina trovi nelle prime righe
<script language="JavaScript" src="/cm/js/css.js"></script>

il file css.js contiene i controlli per i vari browser... quello per IE è
codice:
if (brws=='IE4PC') document.write('<link rel="Stylesheet" href="/cm/css/ms.css">');