Add pre and tt to HTML tagmap.