merging microbit changes

2016-11-01 08:35:45 -07:00
commit 94e72784b9
@@ -10,4 +10,4 @@
 *******************************/

@mainMenuHeight: 5rem;
-@mainMenuMinHeight: (@itemVerticalPadding * 2) + 2em;
+@mainMenuMinHeight: (@itemVerticalPadding * 2) + 2em;
@@ -12,4 +12,4 @@

 .rtl .ui.inverted.input input {
    padding-right: 0.6em !important;
-}
+}
@@ -36,3 +36,4 @@
 *******************************/

@blocklyToolboxColor: #F6F4E6;
+