Re: Dark mode styling for the website

It looks amazing with the dark mode, awesome job.

> On 20 Oct 2022, at 12:54, Jonathan S. Katz <jkatz@postgresql.org> wrote:
>
> On 10/20/22 6:53 AM, Dave Page wrote:
>> On Thu, 20 Oct 2022 at 09:40, Dave Page <dpage@pgadmin.org <mailto:dpage@pgadmin.org>> wrote:
>>    On Thu, 20 Oct 2022 at 02:08, Jonathan S. Katz <jkatz@postgresql.org
>>    <mailto:jkatz@postgresql.org>> wrote:
>>        On 10/18/22 11:43 AM, Dave Page wrote:
>>         > Hi
>>         >
>>         > I've put a note in my calendar to commit this at or after
>>        11AM UK time
>>         > on Thursday. Unless I hear objections before then, I'll do that.
>>        Here's a diff with the discussed color changes.
>>        There were some places where swapping the PG default with the
>>        lighter
>>        shade would be a bit too bright, so I focused mainly on the
>>        text/buttons. I did move the topbar to using the color, since
>>        that is
>>        something we do want to draw attention to.
>>    Thanks. Demo site updated. I'll push the changes to prod in 1:30
>>    hours or thereabouts. And... done!
>> Thanks folks.
>
> Thanks everyone!
>
> Jonathan
>