Settings for various editors customized with the dark Solarized color scheme