> On 29 Oct 2024, at 23:36, David Rowley <dgrowle...@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
