Adjusted HTML documentation and size of main GUI window.