Change the way we handle <span style='font-size: whatever;'> tags slightly. We really only support a few specific values for that css attribute--we don't support things like "12pt" for example. But this code was setting <font size="3"> for any unknown font-size css value. So if someone specified a css font-size of 72px we set the font size to 3, which is basically the default font size, which is clearly wrong. So change this to just do nothing if we don't understand the value.