+
+.pv, #pv, #history, #lowdepth .depth { /* Mute move colors a bit. */
+ color: #555;
+}
+
+@media (prefers-color-scheme: dark) {
+
+body {
+ background: black;
+ color: #eee;
+}
+.pv, #pv, #history { /* Mute move colors a bit. */
+ color: #bbb;
+}
+#numviewers {
+ color: #bbb;
+}
+a.move, a.move:link {
+ color: #eee;
+}
+a:link {
+ color: rgb(128,128,238);
+}
+
+}