update static version

dream/platform/static/toolbox/toolbox.css

-.tools{border:1px solid #999;margin:20px 0;border-radius:10px;padding-bottom:20px}.tools-container{margin-bottom:4px}.tools .ui-button{margin:4px 0}.tool{border:1px solid #d3d3d3;box-shadow:1px 1px 2px #aaa;min-width:7em;min-height:6em;box-sizing:border-box;z-index:10001;color:gray;font-family:serif;font-style:italic;font-size:.9em;margin:.8em;display:inline-block;border-radius:5px;text-align:center;padding-top:1.3em;cursor:move}
\ No newline at end of file
+.tools{border:1px solid #999;margin:20px 0;border-radius:10px;padding-bottom:20px}.tools-container{margin-bottom:4px}.tools .ui-button{margin:4px 0}.tool{border:1px solid #d3d3d3;box-shadow:1px 1px 2px #aaa;min-width:100px;min-height:100px;box-sizing:border-box;z-index:10001;color:gray;font-family:serif;font-style:italic;font-size:.9em;margin:.8em;display:inline-block;border-radius:5px;text-align:center;padding-top:1.3em;cursor:move}
\ No newline at end of file

dream/platform/static/toolbox/toolbox.js

@@ -52,7 +52,10 @@
                     tool.title = _class.description;
                 }
                 Object.keys(_class.css || {}).forEach(function(k) {
+                    // some styles are ignored here, to keep the rendering of toolbox consistent.
+                    if (k != "line-height") {
                         tool.style[k] = _class.css[k];
+                    }
                 });
                 tools_container.appendChild(tool);
             }