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.