Use solarized.