From cfc3eae77c4d137fa09ea8c445c706389fbed4f2 Mon Sep 17 00:00:00 2001 From: Sam El-Husseini Date: Wed, 7 Dec 2016 17:03:28 -0800 Subject: [PATCH] adding monacotoolboxbuttons margin --- theme/style.less | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/theme/style.less b/theme/style.less index f9342769..6aac8106 100644 --- a/theme/style.less +++ b/theme/style.less @@ -117,7 +117,7 @@ top: auto; } /* Blockly Toolbox buttons */ - #blocklyToolboxButtons { + #blocklyToolboxButtons, #monacoToolboxButtons { margin-right: 0.5rem; margin-left: 0.5rem; } @@ -129,7 +129,7 @@ top: auto; } /* Blockly Toolbox buttons */ - #blocklyToolboxButtons { + #blocklyToolboxButtons, #monacoToolboxButtons { margin-right: 1rem; margin-left: 1rem; } @@ -142,7 +142,7 @@ padding-left: 1rem; } /* Blockly Toolbox buttons */ - #blocklyToolboxButtons { + #blocklyToolboxButtons, #monacoToolboxButtons { margin-right: 2rem; margin-left: 2rem; }