Display size not consistent in pop-up menus and notifications (Android 10, June Patch, display size = small, font size = default)