Font tag is not cleaned properly

The following HTML:

<font size="5" face="Arial">foo</font>

is cleaned into:

<span style="font-family=Arial;font-size=5pt;">foo</span>

Two things have to be fixed:

• first, the CSS is well written:

  font-family:Arial;font-size:5pt;

• second, the size attribute is not well translated into font-size CSS property:

  size="1" -> font-size:8pt
  size="2" -> font-size:10pt
  size="3" -> font-size:12pt
  size="4" -> font-size:14pt
  size="5" -> font-size:18pt
  size="6" -> font-size:24pt
  size="7" -> font-size:36pt