Defined top and bottom margins for input elements cf. #95