Feature: UI size slider #3067
Description
UI can look bad if Windows UI scaling is set to 125%, or similar settings in Android etc.
Not everyone is aware of those settings. They can be like that by default and mess up the UI.
And not everyone is aware they can change the browser zoom let alone the shortcut for it.
So, let's introduce a UI size slider in settings. For inspiration you could look at how fork Terratomic.io did it.
Such a slider is also welcome for mobile or ultrawide screens.