dark mode: adapt front page

The front page is the first page users see, therefore we need to make
sure that it looks good in dark mode.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

assets/sass/dark-mode.css

@@ -72,6 +72,18 @@
                 background-color: rgba(111, 110, 105, 0.33);
             }
 
+            #front-nav img {
+                filter: none;
+            }
+
+            div.monitor {
+                filter: brightness(.85);
+            }
+
+            .monitor a {
+                color: $font-color;
+            }
+
             #documentation #main div.verseblock pre.content {
                 color: var(--light-font-color);
                 background-color: #5e5951;