Some styling modifications
- Added new "Style" tab to the options dialog - Moved syntax color settings and default font to "Style" tab - Changed font in the "About" dialog - No functional changes
Authored by: numere 2017-08-01
Parent: [r184]
Child: [r186]