Use of Solarize for syntax-highlighting