Обсуждение: Headers for each index

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/13/indexes-types.html
Description:

For easier visual navigation could you please add headers or color the
different types of indexes? At the moment, one needs to read the whole
document or do search in the page to find the available indexes.

Thanks a ton!

> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/13/indexes-types.html
> Description:
>
> For easier visual navigation could you please add headers or color the
> different types of indexes? At the moment, one needs to read the whole
> document or do search in the page to find the available indexes.
>
> Thanks a ton!

The look&feel has changed in version 14 in a way that hopefully matches 
your suggestion: https://www.postgresql.org/docs/14/indexes-types.html

--

Jürgen Purtz