Subject: Re: Headers for each index
To: me+github@nenad.dev, pgsql-docs@lists.postgresql.org
References: <162671182338.698.5254959558346988008@wrigleys.postgresql.org>
From: =?UTF-8?Q?J=c3=bcrgen_Purtz?= <juergen@purtz.de>
Message-ID: <ea63c888-e797-7462-aabc-9d40fc26b5de@purtz.de>
Date: Tue, 20 Jul 2021 12:11:04 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <162671182338.698.5254959558346988008@wrigleys.postgresql.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: en-US
Archived-At: 
 <https://www.postgresql.org/message-id/ea63c888-e797-7462-aabc-9d40fc26b5de%40purtz.de>
Precedence: bulk

> 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