added solarized-dark theme, removed two unused color definitions