Merge pull request #9601 from JosJuice/android-scrollbar-width Android: Minor design tweaks to the in-game menu