Feedback-ID: ia2694551:Fastmail
Date: Wed, 6 Nov 2024 15:51:53 +0100
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
To: Daniel Gustafsson <daniel@yesql.se>
Cc: David Rowley <dgrowleyml@gmail.com>, Bruce Momjian <bruce@momjian.us>,
	"Jonathan S. Katz" <jkatz@postgresql.org>, Tom Lane <tgl@sss.pgh.pa.us>,
 Muhammad Ikram <mmikram@gmail.com>,
	pgsql-docs@lists.postgresql.org
Subject: Re: A minor bug in doc. Hovering over heading shows # besides it.
Message-ID: <202411061451.snrlwla6epdp@alvherre.pgsql>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <3EECAAFF-6243-41A8-9073-DF9D3D4C276E@yesql.se>
Archived-At: 
 <https://www.postgresql.org/message-id/202411061451.snrlwla6epdp%40alvherre.pgsql>
Precedence: bulk

On 2024-Nov-06, Daniel Gustafsson wrote:

> Committed, and with some help from Magnus, the docs site has been reloaded with
> the new CSS.  Everything seems to behave as expected when testing in Firefox,
> Safari, Chrome and Edge.

Ah, but we kept the #?  I thought it was going to be changed to ¶ ...
was there any voice against that?

-- 
Álvaro Herrera               48°01'N 7°57'E  —  https://www.EnterpriseDB.com/