Small modifications to colors in dot proof output