Minor adjustment to Android theme.