Github user uce commented on the pull request:
https://github.com/apache/flink/pull/1499#issuecomment-171250982
@fhueske The previous font size was 14 px, the changed version has 16 px. A
screenshot for comparison. Maybe it's OK with 14 px, because the text is
narrower now. If more people agree, I'm happy to revert the font size change.
Two screenshots for comparison:

(16px)

(14px)
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---