Make MIUI's v5 font smaller in Messages app?