Library Manager Font setting

Hi, I'm new to Arduino and I am doing my first experiments. I'd like to play a bit with the libraries, but on my 4k monitor on linux the library manager default font is simply unreadable (ok, I've been twenty a couple of times). There is any way to increase default font size in library manager?

Thank you for your help


Yes, same problem here