Exemple #1
0
 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)
Exemple #2
0
 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)