On 12 February 2015 at 19:20, Robert J. Rockefeller <bob@bobrockefeller.com> wrote:

I use Panic San in 11pt, or Source Code Pro in 12pt, as my editing font. The big 16pt font in the file browser looks out of place.

I use Source Code Pro at 11 pt and not seeing a massive difference between that and the file browser: