change font size of the number in minted env