This was used with Solarized