diff --git a/theme/style.less b/theme/style.less
index 2b07785b..dbbfde75 100644
--- a/theme/style.less
+++ b/theme/style.less
@@ -12,17 +12,23 @@
 /*******************************
     Add your custom CSS here
 *******************************/
+/* not relevant in new UI
 .openproject {
     background: #4ECC60 !important;
-}
+} */
 
 .blocks-menuitem.active, .javascript-menuitem.active {
     background: #738791 !important;
 }
 
+/* not relevant in new UI
 .help-dropdown-menuitem, .more-dropdown-menuitem {
     background: #424955 !important;
     margin-right:0px !important;
+} */
+
+.huge.download-button i {
+    display:none !important; // otherwise spans 2 lines
 }
 
 .play-button {
diff --git a/theme/theme.config b/theme/theme.config
index ea08973c..381e8d73 100644
--- a/theme/theme.config
+++ b/theme/theme.config
@@ -32,7 +32,7 @@
 @input      : 'pxt';
 @label      : 'pxt';
 @list       : 'pxt';
-@loader     : 'pulsar';
+@loader     : 'pxt';
 @rail       : 'pxt';
 @reveal     : 'pxt';
 @segment    : 'pxt';