Use color theme: solarized-dark