Use color names specific to solarized

Replaces #444.