Library Manager Font setting

Using Arduino IDE 1.x
1

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

2

Someone seems to have hacked your account and included a septic tank cleaning service in your personal text, but I've fixed that for you, like your friend with the painting services.

3

Talk to this guy - he seems to have a very similar problem.

4