Minor UI changes to the mobile view and accompanying changes for pxt/#2558 PR (#467)

theme/style.less

@@ -125,6 +125,12 @@ span.blocklyTreeLabel {
         padding-top: 0.25rem;
         height: 2.4rem;
     }
+    .blocklyToolboxDiv, .monacoToolboxDiv {
+        border-left: 0 !important;
+    }
+    div.blocklyTreeRoot {
+        padding: 0;
+    }
 }
 
 /* Tablet */
@@ -132,6 +138,12 @@ span.blocklyTreeLabel {
     #filelist {
         background: transparent !important;
     }
+    .blocklyToolboxDiv, .monacoToolboxDiv {
+        border-left: 0 !important;
+    }
+    div.blocklyTreeRoot {
+        padding: 0;
+    }
 }
 
 /* Small Monitor */

theme/theme.config

@@ -49,7 +49,7 @@
 /* Modules */
 @accordion  : 'default';
 @checkbox   : 'default';
-@dimmer     : 'default';
+@dimmer     : 'pxt';
 @dropdown   : 'default';
 @embed      : 'default';
 @modal      : 'pxt';
@@ -66,7 +66,7 @@
 
 /* Views */
 @ad         : 'default';
-@card       : 'default';
+@card       : 'pxt';
 @comment    : 'default';
 @feed       : 'default';
 @item       : 'default';