module HTMLRenderer