Hello,

this is not a (direct) solution to your problem. You could try though to increase the font size of your gnome shell and see if you are happy with it. If not, you can revert back easily: ...