We are looking in to this issue; just increasing the font size would cause issues with the UI, though. I'll forward these comments to the people involved.