> On 6 Nov 2024, at 20:34, David Rowley wrote:
>
> On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson wrote:
>>
>>> On 6 Nov 2024, at 15:51, Alvaro Herrera wrote:
>>> Ah, but we kept the #? I thought it was going to be changed to ¶ ...
>>> was there any voice against that?
>>
>> You're right, I
On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson wrote:
>
> > On 6 Nov 2024, at 15:51, Alvaro Herrera wrote:
> > 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
On Thu, 7 Nov 2024 at 02:33, 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.
Great. Thank you to you both.
David
> On 6 Nov 2024, at 15:51, Alvaro Herrera 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.
>
>
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
> On 6 Nov 2024, at 07:10, David Rowley wrote:
>
> On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson wrote:
>>
>>> On 29 Oct 2024, at 23:36, David Rowley 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 hav
