def visit_enumerated_list(self, node): TextTranslator.visit_enumerated_list(self, node) self.add_text(' +listing{')