From 59002390454e2af08b5fb4f42031840f213724e7 Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <samelh@microsoft.com>
Date: Thu, 12 Jan 2017 10:45:39 -0800
Subject: [PATCH] changing editor button colors

---
 theme/style.less | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/theme/style.less b/theme/style.less
index 2699b723..9cfb478e 100644
--- a/theme/style.less
+++ b/theme/style.less
@@ -29,10 +29,18 @@
     &:extend(.orange all);
 }
 
+.ui.button.editortools-btn {
+    &:extend(.blue all);
+}
+
 #filelist, #editortools {
     background: #fff url(https://az742082.vo.msecnd.net/pub/psopafpj) 0 0 repeat !important;
 }
 
+#downloadArea {
+    background: transparent !important;
+}
+
 /*******************************
              Blockly
 *******************************/