Interface improvements

Most importantly - changed font size on buttons, and button size along
with it.

Changed the window size so that it doesn’t fill up the display (90% of
display dimensions).