Files changed (1)
Returns a short title for the given titled section. If the section has a short mark, then it is the shortmark.
Determines whether or not the given section has a short mark, as specified by <generate_any_SHORTMARK>, which
Returns an HTML string which can be used to separate the section's shortmark from other text, for instance the section number.