Re: Dark mode styling for the website

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