Adjust whitespace for the source view
It would be desirable to tweak the aesthetics of the main UI. One of the most striking thing to me is the text crammed all the way to the edge of the textview.
It would be nice to give it some whitespace.
(I am aware of the focus outline issues unrelated to this in particular).