[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.