Fix solarized theme: use original color values

This changes the solarized theme to use the original, intended color codes.