IE10 cosmetic tweaks related to control height.