add option for darkmode navbar and invert logo.svg when darkmode is used

launch.html

@@ -288,6 +288,10 @@
         color: #eee;
       }
 
+      :root.dark .navbar {
+        background: rgba(36, 36, 36, 0.72);
+      }
+
       :root.dark .card {
         background: rgba(36, 36, 36, 0.72);
       }
@@ -344,6 +348,10 @@
         color: #7ee2a8;
       }
 
+      :root.dark .logo-bar img {
+        filter: url(#logo-dark-tint);
+      }
+
       :root.dark .adhoc-link a {
         color: #99ccff;
       }
@@ -351,6 +359,15 @@
   </head>
 
   <body>
+    <svg width="0" height="0" style="position: absolute;" aria-hidden="true">
+      <filter id="logo-dark-tint">
+        <feColorMatrix type="matrix" values="0 0 0 0 0.8667
+                                             0 0 0 0 0.8431
+                                             0 0 0 0 0.8235
+                                             0 0 0 1 0"/>
+      </filter>
+    </svg>
+
     <nav class="navbar">
       <div id="logoBar" class="logo-bar hidden">
         <img id="logoImage" src="data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7" alt="Logo">