I have checked the button styles, and they are identical:
Button unselected:
- Padding: 1mm, 1mm, 2 mm, 2 mm
- Margin: 1mm, 1mm, 1mm, 1mm
- Border: Line, Thickness 1
Button selected:
- Derive: Button unselected
Button pressed:
- Padding: 1mm ,1mm, 2mm, 2mm
- Margin: 1mm, 1mm, 1mm, 1mm
- Border: Line, Thickness 1
What surprises me is that I observe this effect only in the iOS7 emulator, and not in any other iOS or Android emulator.
As you can see in the video, the sizing problem is not consistent: Sometimes the button shinks, but frequently it behaves just as expected.
How can this be non-deterministic?
PS: It is also not dependent on the screen resolution, as the effect appears both in the iPhone3gs_os7 and iPhone5_os7 skins.