def _height_tag_option()

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 ""