UI: increased font sizes

As texts were not readable on high resolution screens the font size for
many widgets has been changed.

Closes #82.