Fix extensions dialog header color (#686)

2018-06-14 11:03:20 -07:00
parent 51cb7a5299
commit 2bc2bda502
1 changed files with 7 additions and 1 deletions
--- a/theme/site/globals/site.variables
+++ b/theme/site/globals/site.variables
@@ -197,4 +197,10 @@

@serialBackgroundColor: #fff;
@serialGraphBackground: #F2F2F2;
-@serialConsoleBackground: @serialGraphBackground;
+@serialConsoleBackground: @serialGraphBackground;
+
+/*-------------------
+   Extensions
+--------------------*/
+
+@extensionsHeaderBackground: #999;