Since each devices have different font width (especially for music symbols), a way to work around this problem would be to add in the general setting a slider where the users could adjust the text font size