GUI.writeMain can change text style

Added a second parameter to GUI.writeMain that allows the user to
specify the CSS class for the text written to the window.