ANDROID: use system based font size