Date: Mon, 18 Nov 2024 14:51:43 -0500
From: Bruce Momjian <bruce@momjian.us>
To: Daniel Gustafsson <daniel@yesql.se>
Cc: Alvaro Herrera <alvherre@alvh.no-ip.org>,
	David Rowley <dgrowleyml@gmail.com>,
	"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: <ZzuazxFg-sYwi26z@momjian.us>
References: <202411061451.snrlwla6epdp@alvherre.pgsql>
 <96B69B40-E104-4930-8EBC-D31C2A53BA55@yesql.se>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <96B69B40-E104-4930-8EBC-D31C2A53BA55@yesql.se>
Archived-At: 
 <https://www.postgresql.org/message-id/ZzuazxFg-sYwi26z%40momjian.us>
Precedence: bulk

On Wed, Nov  6, 2024 at 03:58:18PM +0100, Daniel Gustafsson wrote:
> > On 6 Nov 2024, at 15:51, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> > 
> > 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?
> 
> You're right, I mistakenly remembered there being no concensus and didn't
> re-read the thread when it was revived with the patch in question.  Re-reading
> it now I see multiple +1's for using a ¶ instead so will fix that.  Thanks for
> the heads-up.

Uh, has this change been made?  I still see "#":

	https://www.postgresql.org/docs/devel/tutorial-arch.html

I am actually fine with "#" since that is the symbol that will be added
to the URL.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  When a patient asks the doctor, "Am I going to die?", he means 
  "Am I going to die soon?"