Change font of IDE (navigator and search results)

Is there a way to make the fonts in the navigator and the search results larger? I’ve got this nice new monitor with a resolution of 2560x1440 pixels and both navigator and search results are hard on the eyes. The rest is okay. At least I can finally do some Retina work without cursing the new IDE.

There isn’t. File a feature request though.

See <> .