tweak colors in coq and proofgeneral