[syntax_highlight] Simplify plugin code
Fixes a deprecation warning in the plugin’s config dialog (override_font and override_background_color are both deprecated in favor of CSS styling).
This also resets the background color to default if overriding the color is unchecked.
Uses the new plugin config dialog.
Edited by Daniel Brötzmann