def depart_enumerated_list(self, node):
TextTranslator.depart_enumerated_list(self, node)
self.add_text(' }')
def depart_enumerated_list(self, node):
TextTranslator.depart_enumerated_list(self, node)
# insert a blank line after the list
if len(self.list_counter) == 0:
self.add_lines([''])