Changes related to LaTeX coloring (bluecloud)