/* Internet Explorer CSS hacks */