Sorry for the slow reply. In case you read this later, my favorite coding font is actually Georgia. It's not perfect; Georgia's lowercase o looks a lot like 0.

Sorry for the slow reply. In case you read this later, my favorite coding font is actually Georgia. It's not perfect; Georgia's lowercase o looks a lot like 0. But in practice that has never been a problem for me. And unlike many proportional fonts which have monospaced numbers, even the numbers are proportional in Georgia. But I just like the way it looks and the readability it has - for my eyes.