Font size of nested headlines counterintuitive

On 1/11/19 7:54 AM, PG Doc comments form wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/11/collation.html
Description:

The font size of level 4 headlines (<h4>, e.g. "23.2.2.3. Creating New
Collation Objects") is remarkably smaller than the font size of level 5
headlines (<h5>, e.g. "23.2.2.3.1. libc collations") which is
counterintuitive and at least a little bit confusing.

Thanks for reporting. This has been adjusted so that the font size for
<h5> blocks are explicitly smaller than <h4> and larger.

Best,

Jonathan