Example #1
0
 def visit_document(self,node):
     HTMLTranslator.visit_document(self,node)
     self.doctitle = node.get('title')