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([''])