From 703a876a84ef784f1e7ac57af1e76968a4a61ccb Mon Sep 17 00:00:00 2001 From: Peli de Halleux Date: Thu, 19 Jan 2017 21:08:14 -0800 Subject: [PATCH] updates style --- theme/style.less | 8 +++++++- theme/theme.config | 2 +- 2 files changed, 8 insertions(+), 2 deletions(-) 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';