Re: [PATCH htdocs] add dark mode support
"Jose E. Marchesi via Cgen" <[email protected]> Fri, 22 Dec 2023 11:57:38 +0100
| Newsgroups | gmane.comp.tools.cgen.devel |
|---|---|
| Message-ID | <[email protected]> |
OK. Thanks.
> Very basic, but gets the job done.
>
> Index: index.html
> ===================================================================
> RCS file: /cvs/cgen/htdocs/index.html,v
> retrieving revision 1.31
> diff -u -p -r1.31 index.html
> --- index.html 22 Dec 2023 01:25:42 -0000 1.31
> +++ index.html 22 Dec 2023 01:39:24 -0000
> @@ -2,6 +2,24 @@
> <head>
> <title>CGEN</title>
> <meta name="viewport" content="width=device-width, initial-scale=1.0">
> +
> +<style type="text/css"><!--
> +body {
> + background-color: white;
> + color: black;
> +}
> +
> +@media (prefers-color-scheme: dark) {
> + body {
> + background-color: #333;
> + color: #FFF;
> + }
> +
> + a:link {
> + color: #8CB4FF;
> + }
> +}
> +--></style>
> </head>
> <body>
>