Get border size properly in IE < 10.