Remove obsolete `font` elements

Though once normalized in HTML 3.2, the `font` element was deprecated in HTML 4.01, then obsoleted in HTML5. Starting with HTML 4, HTML does not convey styling information anymore (outside the `style` element or the `style` attribute of each element).