Fix a color conflict with solarized.