tree 7a12bc7ebe6d2c1088a938a67d876e5bd56377b0
parent fbf7a0a83325cb04f0a87fb1fb0b65a6b1b097be
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1653369248 +0200
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1653369588 +0200

Fix semantic HTML.

Applies recommendations by https://validator.w3.org/nu/:

 - Replaces untitled sections with divs.  (Sections are supposed to
   represent semantic, not structural, units.)
 - Replaces bookmark title h1. with h2s.  (While not strictly required
   according to the HTML spec, you are supposed to make heading levels
   independent of semantic structure tags.)

Change-Id: I81c634b67bb1044214b5f88a7e05f00d8ba87d5c