I've been really liking Monoid. Been using it for the past year or so. GitHub - larsenwork/monoid: Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/[^]