https://bugzilla.redhat.com/show_bug.cgi?id=1088033
--- Comment #19 from Jens Petersen petersen@redhat.com --- I think we should use Ariel, Times New Roman, and Courier, etc as references to decide if any stylist change makes sense. Mainly we should just focus on bug fixes and not making changes to the font.