def visit_document(self,node): HTMLTranslator.visit_document(self,node) self.doctitle = node.get('title')