Android: permit increase in font size