You asked: How do I change the height of a text box in HTML?

If you simply want to specify the height and font size, use CSS or style attributes, e.g. //in your CSS file or

IT IS INTERESTING:  Is HTML front end?
HTML5 Robot