Dark mode for the website.
authorDave Page <dpage@pgadmin.org>
Thu, 20 Oct 2022 10:49:25 +0000 (11:49 +0100)
committerDave Page <dpage@pgadmin.org>
Thu, 20 Oct 2022 10:49:25 +0000 (11:49 +0100)
commit5389adf8f50c4226af091a4916e3791622b9fbde
treea89ed9322352418d16c24718e3b8b70a29924204
parent4df1020b1e29aacefbea51237c33d26eedbbdd66
Dark mode for the website.

This patch also changes the stylesheets to use CSS vars for all
the colour definitions. Dark mode is enabled automatically if the
users browser prefers it.

Patch by me, with improvements from Jonathan Katz.
Review by Jonathan Katz, Vik Fearing, and Hubert Depesz Lubaczewski.
media/css/main.css
media/js/main.js