webapps.planet: dark mode

diff --git a/extra/webapps/planet/planet.css b/extra/webapps/planet/planet.css
index abbf1d5ede1c952361ce8b9e640eb68c321f6d3c..549e9e9b73a7bb80050291b01f22adf7919df343 100644 (file)
--- a/extra/webapps/planet/planet.css
+++ b/extra/webapps/planet/planet.css
@@ -46,3 +46,14 @@ pre, code {
         margin-right: 0;
     }
 }
+
+/* Dark mode */
+@media (prefers-color-scheme: dark) {
+    .posting-title {
+        background-color: #373e48;
+    }
+
+    pre, code {
+        color: #bdc1c6;
+    }
+}