{ "font.text_1.DOOR", UNDEFINED_FILENAME },
{ "font.text_1.DOOR.clone_from", "font.level_number" },
{ "font.text_2", "RocksFontSmall.pcx" },
{ "font.text_1.DOOR", UNDEFINED_FILENAME },
{ "font.text_1.DOOR.clone_from", "font.level_number" },
{ "font.text_2", "RocksFontSmall.pcx" },