def header_number(self, tag, level, attrs): # make sure we have at least 3*fontsize vertical space available: self.require_vspace(3) # now call the base class: HTMLParser.header_number(self, tag, level, attrs)