3 ms·I use DejaVu Sans Mono, which is more or less the same as Bitstream Vera Sans Mono.by parbo 19y agoI use DejaVu Sans Mono, which is more or less the same as Bitstream Vera Sans Mono.