def mapHeaderTagNodeName(self, tag):
    if "level" in tag.attributes:
        return "h%s" % tag.attributes["level"]
dataset/ETHPy150Open joehewitt/devon/devon/renderers/html.py/mapHeaderTagNodeName/original