added more HTML defs