From 8a04a916181850af93c6a2d7c9e3cbd591e2c344 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Thu, 2 Feb 2023 14:10:54 +0100
Subject: Add an initial dark theme

A proper dark theme would need more work, though.

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 6971947..933d00d 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -311,3 +311,22 @@ img.travis {
         display: none;
     }
 }
+
+/*
+ * Dark scheme.
+ */
+@media (prefers-color-scheme: dark) {
+    /*
+     * Loosely based on:
+     *
+     * https://material.io/archive/guidelines/style/color.html#color-themes
+     */
+    body {
+        color: #eee;
+        background-color: #212121;
+    }
+
+    h1, h2, h3, h4, h5, h6 {
+        color: #eee;
+    }
+}
-- 
cgit v0.10-9-g596f