Yes, I agree - colours is the key element which is impossible to check in a proof.
However, it should still give you a pretty good idea. For example, if text is expected to be red, then it should appear blue in the proof. (The exception, of course, is when the colour is used to highlight spot...