gs-element-blockly.html in gobstones-blockly-0.25.4

- old
+ new

@@ -6880,17 +6880,17 @@
               if (isLabel && isTheRightCategory) {
                 const row = toolbarNode.parentElement;
                 row.style["pointer-elements"] = "none";
                 row.style["background"] = "#15546f";
                 row.style["color"] = "#ffffff";
-                row.style["margin-top"] = "15px";
-                row.style["margin-bottom"] = "15px";
+                row.style["margin-top"] = "8px";
+                row.style["margin-bottom"] = "8px";
                 row.style["pointer-events"] = "none";
                 row.style["user-select"] = "none";
 
                 if (toolbarNode.innerHTML.startsWith("*")) {
                   row.style["margin-top"] = "0";
-                  row.style["margin-bottom"] = "-15px";
+                  row.style["margin-bottom"] = "-8px";
                   row.style["font-weight"] = "900";
                   toolbarNode.innerHTML = toolbarNode.innerHTML.replace("*", "");
                 }
 
                 toolbarNode.innerHTML = `<span>${toolbarNode.innerHTML}</span>`;
\ No newline at end of file