| From: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
|---|---|
| To: | David Rowley <dgrowleyml(at)gmail(dot)com> |
| Cc: | Bruce Momjian <bruce(at)momjian(dot)us>, "Jonathan S(dot) Katz" <jkatz(at)postgresql(dot)org>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Muhammad Ikram <mmikram(at)gmail(dot)com>, pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Date: | 2024-11-06 13:32:50 |
| Message-ID: | 3EECAAFF-6243-41A8-9073-DF9D3D4C276E@yesql.se |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
> On 6 Nov 2024, at 07:10, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
>
> On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>>
>>> On 29 Oct 2024, at 23:36, David Rowley <dgrowleyml(at)gmail(dot)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
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Alvaro Herrera | 2024-11-06 14:51:53 | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Previous Message | David Rowley | 2024-11-06 06:10:21 | Re: A minor bug in doc. Hovering over heading shows # besides it. |