Color TeX Help buffer.