Would it be difficult to reintroduce editable font sizes?