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; }