From 2ae21efb7b9d2e6ffb432c72d88f4d9fbf32b8b9 Mon Sep 17 00:00:00 2001 From: Sam El-Husseini Date: Tue, 6 Dec 2016 15:06:16 -0800 Subject: [PATCH] Moving blockly toolbox button margins to target. --- theme/style.less | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/theme/style.less b/theme/style.less index 3fa6d9a2..6b35e3af 100644 --- a/theme/style.less +++ b/theme/style.less @@ -115,6 +115,11 @@ .organization { top: auto; } + /* Blockly Toolbox buttons */ + #blocklyToolboxButtons { + margin-right: 0.5rem; + margin-left: 0.5rem; + } } /* Small Monitor */ @@ -122,6 +127,11 @@ .organization { top: auto; } + /* Blockly Toolbox buttons */ + #blocklyToolboxButtons { + margin-right: 1rem; + margin-left: 1rem; + } } /* Large Monitor */ @@ -130,4 +140,9 @@ width: 230px; padding-left: 1rem; } + /* Blockly Toolbox buttons */ + #blocklyToolboxButtons { + margin-right: 2rem; + margin-left: 2rem; + } }