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

> On 6 Nov 2024, at 07:10, David Rowley <dgrowleyml@gmail.com> wrote:
>
> On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson <daniel@yesql.se> wrote:
>>
>>> On 29 Oct 2024, at 23:36, David Rowley <dgrowleyml@gmail.com> wrote:
>>> 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.
>
> Thanks. Patch attached.

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.

--
Daniel Gustafsson