Now using solarized-dark again