Added an HTML generator macro in util