add type attribute to ordered list in html5 backend