more color tweaks in proofgeneral