public static UIFont getDefault() { if (default_font == null) default_font = UIFont.createGuiFont("Kasper_R", 32); return default_font; }