Allow changing the user interface font size
In the dark theme the user interface font is small and very difficult to read on my Ubuntu 19.04 system in version 3.1.0. It's like 9-point light grey on dark grey. Can you provide an option to increase it? Or allow users to provide their own themes?