Use solarized-dark colors