Fix #100: Good enough fix for the time being is to scale and color the fonts differently for each need, instead of creating a separate bitmap font for each purpose.