The default font size is too small at high resolutions. We would appreciate a feature to customize the font size.