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