[texinfo] Change formatting of transitions.

2026-09-03 20:52:55 -05:00 · 2013-02-19 04:03:21 -06:00
parent 225b85365e
commit c8d8f69b96
1 changed files with 1 additions and 1 deletions
@@ -1053,7 +1053,7 @@ class TexinfoTranslator(nodes.NodeVisitor):
        pass

    def visit_transition(self, node):
-        self.body.append('\n\n@exdent @w{    %s}\n\n' % ('* ' * 30))
+        self.body.append('\n\n%s\n\n' % ('_' * 66))
    def depart_transition(self, node):
        pass