Font é muito grande no Arduino IDE 1.8.5 Xubuntu

Question

Como alterar a fonte na barra de menu menor no Arduino IDE 1.8.5. Eu pesquisei no fórum que informa a instalação fontconfig-infinality , a configuração java_tool_options fonts e alterei do padrão ubuntu OpenJDK 8 para o OracleJDK 9. Mas isso não funciona para mim.

Meu sistema: Xubuntu 16.04
Java: OracleJDK 9