How to change Arduino IDE menu font size?

haHAHAHA! at least was a funny glitch