Non-standard color support

[mathstuf]

Users can set colors themselves, so assuming green is not really robust (e.g., red/green colorblind users might have a non-green addition color set). It might just be better to not use color and instead use something like colordiff to color the diff afterwards.