Comment 9 for bug 613277

Thanks Paul.

Yes, we have gone over this in some detail with Dalton Maag, who have brought us to a consensual view that the styling is appropriate and in keeping with the rest of the font. So, we'll close this bug as a difference of opinion.