Reminder of good code-sharing font size.