small design changes for the GUI (larger fontsize (again) and larger
overall window-size)