Merge pull request #2996 from elkcityhazard/feature/theme-toggle

feature/theme-toggle fixes #2909
jashkenas · Jul 24, 2024 · 1205eb5 · 1205eb5
2 parents 1abc36c + bd3468b
commit 1205eb5
Showing 1 changed file with 49 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -259,6 +259,55 @@
         width: 100%;
       }
     }
+
+    @media screen and (prefers-color-scheme: dark) {
+      body {
+        background: #111 !important;
+        color: #c6c6c6;
+      }
+      div#sidebar {
+        background: #111;
+        border-right: 1px solid #666;
+        box-shadow: 0 0 20px #555;
+        -webkit-box-shadow: 0 0 20px #555;
+        -moz-box-shadow: 0 0 20px #555;
+      }
+      a.toc_title,
+      a.toc_title:visited {
+        color: #f4f4f4;
+      }
+      a.toc_title:hover {
+        text-decoration: underline;
+      }
+      .toc_section li a {
+        text-decoration: none;
+        color: #f4f4f4;
+      }
+      img#logo {
+        filter: invert(1) hue-rotate(180deg) brightness(0.9);
+      }
+      div.warning {
+        color: #CC6060;
+      }
+      a,
+      a:visited {
+        color: #f4f4f4;
+      }
+      a:active,
+      a:hover {
+        color: #ffffff;
+      }
+      table .rule {
+        background: #777;
+      }
+      tt {
+        background: #444;
+        border: 1px solid #777;
+      }
+      pre {
+        border-left: 5px solid #aaa;
+      }
+    }
   </style>
 </head>
 <body>
@@ -4333,6 +4382,5 @@ <h2 id="changelog">Change Log</h2>
         }
       })
   </script>
-
 </body>
 </html>