move get/set_element_css_size to html5.h