css tweak for consistent android font size