[PATCH] Add support for dark color scheme in default index.html page

Sat Aug 14 15:10:07 UTC 2021

# HG changeset patch
# User Duncan Lock <duncan.lock at gmail.com>
# Date 1628952253 25200
#      Sat Aug 14 07:44:13 2021 -0700
# Node ID 81294b370e774c792210904f710abc0a494c5c05
# Parent  dda421871bc213dd2eb3da0015d6228839323583
Add support for dark color scheme in default index.html page

Add a little CSS to index.html to support dark color schemes.
This will display the index page in dark colors if the user has
requested a dark color scheme in their system UI or browser, and
display the same as the previous version if not.

See: https://developer.mozilla.org/en-US/docs/Web/CSS/@media/prefers-color-scheme

diff -r dda421871bc2 -r 81294b370e77 docs/html/index.html

--- a/docs/html/index.html      Tue Aug 10 23:43:17 2021 +0300
+++ b/docs/html/index.html      Sat Aug 14 07:44:13 2021 -0700
@@ -8,6 +8,15 @@
         margin: 0 auto;
         font-family: Tahoma, Verdana, Arial, sans-serif;
     }
+    @media (prefers-color-scheme: dark) {
+               body {
+                       background-color: #363839;
+                       color: #d1cec9;
+               }
+               a {
+                       color: #c4c4ff;
+               }
+    }
 </style>
 </head>
 <body>
