Changing Fonts and Colors

You can edit the fonts and colors used in the Edit window by following instructions described in: