This fixes the appearance of the different sections in the generated
documentation.
(this is a backport of 50ae059a67
from master)
This fixes the appearance of the different sections in the generated
documentation.
(this is a backport of 50ae059a67
from master)