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?
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/