Made the console and proof manager text boxes to be resizable by the user.
Changed how the proof information is displayed.