Panic, Inc. which makes Coda, distributes Panic Sans.
Ranked in these QuestionsQuestion Ranking
Pro Clearly distinguishes clashing characters
Panic Sans has added uniqueness for characters that are easily confused, such as "0" and "O", "l" and "1".
Pro Clarity and appealing to the eye
There is great line spacing and italics in Panic Sans.