def _width_tag_option()

in source/ext/extref.py [0:0]


    def _width_tag_option(self):
        if 'width' in self.options.keys():
            width = self.options['width']
            if width[-1] in "0123456789":
                width += "px"
            return "width: {0};".format(width)
        return ""