The font used in default.png is a modified version of Invasion 2000, a font by Jakob Fischer. (AKA Pizzadude.)

I have written permission to use this in a non-commercial product.

Check out pizzadude.dk for more fonts.