Use solarized-dark theme