How can I increase fontsize of the LibraryManager to make it read- and useable. Arduino 1.6.5 on Linux 64
thx