| From: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
|---|---|
| To: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> |
| Cc: | David Rowley <dgrowleyml(at)gmail(dot)com>, 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 14:58:18 |
| Message-ID: | 96B69B40-E104-4930-8EBC-D31C2A53BA55@yesql.se |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
> On 6 Nov 2024, at 15:51, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)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.
--
Daniel Gustafsson
| From | Date | Subject | |
|---|---|---|---|
| Next Message | David Rowley | 2024-11-06 19:31:35 | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Previous Message | Alvaro Herrera | 2024-11-06 14:51:53 | Re: A minor bug in doc. Hovering over heading shows # besides it. |