Hi Greg,

If I recall correctly, it’s probably “Bitstream Vera Sans Mono“. It may also be “Droid Sans Mono“, which is my current coding font of choice.