input {  font-size: 9pt; height: auto}