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