Diff margin options

* Immediately apply changes to the diff margin colors when they are saved in the Fonts & Colors options
* Add an option to disable the diff margin