code: def html_short_title(self):
          
          return self.format_short_title(format='html5', deparagraph=True,
                                         mathjax=False, smart=True)
docs: HTML5-formatted document short title (`str`).