Re: Font size of nested headlines counterintuitive

2019-01-11 Thread Jonathan S. Katz
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 (, e.g. "23.2.2.3. Creating New > Collation Objects") is remarkab

Font size of nested headlines counterintuitive

2019-01-11 Thread PG Doc comments form
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 (, e.g. "23.2.2.3. Creating New Collation Objects") is remarkably smaller than the font size of level 5 headlines (, e.g. "23