font: add HEIGHTDIFF for changing font height