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

Sun Aug 15 01:25:38 UTC 2021

Hello!

On Sat, Aug 14, 2021 at 08:10:07AM -0700, Duncan Lock wrote:

> # 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>

Thank you for the patch.  I don't think this is something we want 
to customize in the example pages such as index.html, especially 
given that we don't set other colors.

-- 
Maxim Dounin
http://mdounin.ru/