Use different CSS compaction for IE compatibility