色々ぐぐったりして調べたけど、結局はBitstream Vera Sans Monoに行き着いた。 Bitstream Vera Sans MonoはThe Gnome ProjectのBitstream Veraシリーズの等幅フォントです。Bitstream Vera Sans Monoはプログラマを意識して0（ゼロ）にドットが入っています…