solarized-dark-color-theme.json