font and color of proof windows are now derived from the global netbeans settings and match that of the editor. this means, one can customize these properties via the netbeans settings instead of changing plugin code.
However, the color used to highlight compiled/checked part is still hard-coded in the plugin code.

Also, in some settings, one might prefer to have a different font for the Proof windows. For example, I use two screens while working. One of them shows the editor and the other one shows the proof and query window. these screens have dramatically different pixel densities. So, I addded 2 buttons (+ and -) to adjust the font size of the proof window relative to the editor font size.