| 901 | |
| 902 | # Cute little class to pump out a horizontal rule between sections. |
| 903 | class HorizontalRule: |
| 904 | def __init__(self): |
| 905 | self.needone = 0 |
| 906 | def maybe(self): |
| 907 | if self.needone: |
| 908 | push('<hr>\n') |
| 909 | self.needone = 1 |
| 910 | hr = HorizontalRule() |
| 911 | |
| 912 | # List the mro, if non-trivial. |