def visit_section(self, node: Element) -> None:
    self.next_section_ids.update(node.get('ids', []))
    if (not self.seen_title):
        return
    if self.previous_section:
        self.add_menu(self.previous_section['node_name'])
    else:
        self.add_menu('Top')
    node_name = node['node_name']
    pointers = tuple(([node_name] + self.rellinks[node_name]))
    self.body.append(('\n@node %s,%s,%s,%s\n' % pointers))
    for id in sorted(self.next_section_ids):
        self.add_anchor(id, node)
    self.next_section_ids.clear()
    self.previous_section = cast(nodes.section, node)
    self.section_level += 1
def visit_section(self, node: Element) -> None:
    self.next_section_ids.update(node.get('ids', []))
    if (not self.seen_title):
        return
    if self.previous_section:
        self.add_menu(self.previous_section['node_name'])
    else:
        self.add_menu('Top')
    node_name = node['node_name']
    pointers = tuple(([node_name] + self.rellinks[node_name]))
    self.body.append(('\n@node %s,%s,%s,%s\n' % pointers))
    for id in sorted(self.next_section_ids):
        self.add_anchor(id, node)
    self.next_section_ids.clear()
    self.previous_section = cast(nodes.section, node)
    self.section_level += 1