Style tweaks for #28

mozilla · Jul 25, 2018 · dd1ef2e · dd1ef2e
1 parent 84f8ac4
commit dd1ef2e
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 2 deletions.
diff --git a/src/client/global.scss b/src/client/global.scss
@@ -51,7 +51,7 @@ html, body, #app {
     flex: 1;
 
     .mosaic-window-toolbar {
-      background-color: $panel;
+      background-color: $toolbar;
       height: 24px;
     }
 

diff --git a/src/client/theme.scss b/src/client/theme.scss
@@ -13,6 +13,7 @@ $aqua: #8abeb7;
 $blue: #81a2be;
 $purple: #b294bb;
 $deemphasized: grey;
+$toolbar: #101010;
 $header: #1b1b1b;
 $shadow-color: rgba(12, 12, 13, .5);
 $shadow-20: 0 2px 8px $shadow-color;

diff --git a/src/client/ui/InputGroup.scss b/src/client/ui/InputGroup.scss
@@ -19,6 +19,6 @@
     display: flex;
     flex-direction: row;
     margin-left: 4px;
-    flex: 2.5;
+    flex: 2.4;
   }
 }
diff --git a/src/client/vendor/react-ui-tree/index.scss b/src/client/vendor/react-ui-tree/index.scss
@@ -79,6 +79,8 @@
 
     .caret-down:before {
       content: "\25BE";
+      // Firefox decided to align this differently. This fixes it.
+      line-height: -moz-block-height;
     }
   }
 }