Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 29 Oct 2024, at 23:36, David Rowley <dgrowleyml@gmail.com> wrote:

> My thoughts are that it doesn't seem excessively critical that this is
> perfect on the first attempt. I'd be happy to see us try to improve
> this. Maybe if there's some better way, someone will appear and tell
> us how to do it properly. I am hopeful that we're not just swapping
> one problem for another.

Agreed, even if not perfect I think this is an improvement.

> Do you have access to make this change?  I think it needs to go into
> https://www.postgresql.org/media/css/main.css

I have a pgweb commitbit so if you roll a patch for it I can take care of the
rest.

--
Daniel Gustafsson