Tweaked default colors for diff highlighting
Now with commonly used red and green colors, and without the ugly bright green for locations.
Please register or sign in to comment
Now with commonly used red and green colors, and without the ugly bright green for locations.