when the textarea JS first modifies the height, you know what the initial height is in CSS, don't you?