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.