-
- def html_build(self, builder):
- if self.HTML_SECTION:
- builder.start_element(
- 'a', {"name": "f18", "class": "target"}
- )
- builder.push_text(" ")
- builder.end_element()
-
- builder.start_element(
- "a", {"href": "#f18", "class": "anchor"}
- )
- builder.push_text("18")
- builder.end_element()
-