Change HTML for body, sectioning
Theorem-like units in HTML