UI scaling for large-screen Android devices
Menu to use own font instead of sharing font
GUI scaling for campaign, quit and controls dialogs