Merge pull request #10402 from Simonx22/android-design-fixing Android: Fix in-game menu font spacing and checkbox margin
