[html] Height of an HTML select box (dropdown)