@sorenpeter@darch.dk If it says “pixel”, it should make use of a pixel font. To me that would be consistent. Well, at least you chose a monospace font. ;-)