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(at)postgresql(dot)org> wrote:
>
> On 10/20/22 6:53 AM, Dave Page wrote:
>> On Thu, 20 Oct 2022 at 09:40, Dave Page <dpage(at)pgadmin(dot)org <mailto:dpage(at)pgadmin(dot)org>> wrote:
>> On Thu, 20 Oct 2022 at 02:08, Jonathan S. Katz <jkatz(at)postgresql(dot)org
>> <mailto:jkatz(at)postgresql(dot)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
>