diff NEWS @ 24737:dce57ce0b860

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.
author Mark Doliner <mark@kingant.net>
date Mon, 15 Dec 2008 01:13:17 +0000
parents 4490b3002b89
children a60655fc1b4f
line wrap: on
line diff