in source/ext/extref.py [0:0]
def _height_tag_option(self):
if 'height' in self.options.keys():
height = self.options['height']
if height[-1] in "0123456789":
height += "px"
return "height: {0};".format(height)
return ""