Skip to content

doc: use semantically appropriate tag for lines

Rodrigo Muino Tomonari requested to merge github/fork/aduh95/doc-hr-tag into master

The HTML <hr> element represents a thematic break between paragraph-level elements: for example, a change of scene in a story, or a shift of topic within a section.
The HTML Content Division element (<div>) is the generic container for flow content and does not inherently represent anything.

The <hr> tag semantically fits better the meaning of the line between the lists.

Refs: https://html.spec.whatwg.org/multipage/grouping-content.html#the-hr-element

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • commit message follows commit guidelines

Merge request reports