.MJX-TEX{font-size:12.5px!important}