> On 29 Oct 2024, at 23:36, David Rowley <dgrowleyml@gmail.com> wrote:
> My thoughts are that it doesn't seem excessively critical that this is
> perfect on the first attempt. I'd be happy to see us try to improve
> this. Maybe if there's some better way, someone will appear and tell
> us how to do it properly. I am hopeful that we're not just swapping
> one problem for another.
Agreed, even if not perfect I think this is an improvement.
> 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.
--
Daniel Gustafsson