The generated text would look better on the right side of the screen. In addition to that, longer proofs would be possible without forcing the user to scroll to the bottom every time they wish to see the generated text. As of now, they do not need separate scrolling bars, but they should be moved.
The generated text would look better on the right side of the screen. In addition to that, longer proofs would be possible without forcing the user to scroll to the bottom every time they wish to see the generated text. As of now, they do not need separate scrolling bars, but they should be moved.