Horizontal lines

The paragraph style "hr" can be used to produce a horizontal line in the HTML output (this will be translated to the <hr> tag).