| 919 | |
| 920 | # Cute little class to pump out a horizontal rule between sections. |
| 921 | class HorizontalRule: |
| 922 | def __init__(self): |
| 923 | self.needone = 0 |
| 924 | def maybe(self): |
| 925 | if self.needone: |
| 926 | push('<hr>\n') |
| 927 | self.needone = 1 |
| 928 | hr = HorizontalRule() |
| 929 | |
| 930 | # List the mro, if non-trivial. |