derive pre- and postfix height from input
Merge pull request #4655 from eimermusic/prefix-size

Derive pre- and postfix height from input instead of label