Editor Style
Define Fonts and Syntaxhilighting.
Note:
On some platforms, usage of bold and italic leads to an unusable editor. Also it may happen, that some fonts do not work properly. Solution: don't use italic and bold fonts.