Tweak editor help font sizes for better readability

Created by: Calinou

The "normal" font size is now consistent with the source font size. Titles are also larger now.

See the screenshots below for examples of how it looks:

Edit: The source font size has been made slightly smaller, see here for an updated screenshot.