Dave Page 5389adf8f5 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.

2022-10-20 11:49:25 +01:00

..

admin_pgweb.js

Re-do markdown handling for better user experience and security

2020-11-12 18:52:04 +01:00

bootstrap-4.4.1.min.js

Upgrade bootstrap and popper dependencies

2020-09-12 14:18:39 +02:00

bootstrap-4.4.1.min.js.map

Upgrade bootstrap and popper dependencies

2020-09-12 14:18:39 +02:00

download.js

Move all the non-Yum event handler setup into one shared script, per discussion.

2020-07-09 12:03:28 +01:00

featurematrix.js

Clean up javascript indentation

2020-07-12 14:09:25 +02:00

forms.js

Re-do markdown handling for better user experience and security

2020-11-12 18:52:04 +01:00

jquery-3.4.1.slim.min.js

Update jquery dependency to 3.4.1

2020-09-12 14:19:34 +02:00

main.js

Dark mode for the website.

2022-10-20 11:49:25 +01:00

markdown_preview.js

Fix bug in markdown preview of new objects

2021-03-16 18:27:01 +01:00

popper-1.16.0.min.js

Upgrade bootstrap and popper dependencies

2020-09-12 14:18:39 +02:00