added support for black background w/ green foreground and increased font size.
To adjust, look for appropriate constants in ProofError, ProofSubgoal.
(ideally proof display should mirror the fonts and color of editor window)