Fix for bug #760 (fontSize returns different values in IE). This was part of a larger...