Switched to solarized dark theme