all the cool kids have the solarized color theme?