Spacing reserved for number tags need reevaluating after adjusting math font metric from scaling
Created by: timtylin
Hey guys, thanks for all the work on v2.5, it's an amazing release. I'm just reporting on the remaining bugs that I see in our publication collection.
This one concerns the spacing in an expression usually reserved for number tags. Let's start with a long expression with a numbering tag on the left (or right, doesn't matter), so that the expression is already uncomfortably butting against the numbering:
Now, let's bring in a font that is larger than normal (or just has a large x-height). Note that now the expression got bigger since the font size got adjusted up. In fact, it now squishes into the numbering, which should never happen. I'm guessing this is because the spacing needs re-calculation after the scaling, but it isn't done:
The reason why this is semi-serious is because matchFontHeight is turned on by default, so any CSS have the potential to trigger this behavior. Turning off matchFontHeight solves this issue:
And just to show that adjusting the scale property in the HTML-CSS writer also causes this problem:
