Adding some IE-specific styling