Internet Explorer and small theme tweaks