| Did you know ... | Search Documentation: |
| Predicate section_comment_header/3 |
section(Type, Title), where Title is an atom holding the
section title and Type is an atom holding the text between <>.
| Lines | - List of Indent-Codes. |
| Header | - DOM term of the format \section(Type, Title),
where Type is an atom from <type> and Title is
a string holding the type. |