GUI: style toolbox in px, like everywhere else

abc5458a · Jérome Perrin · 9e7dfa50 · abc5458a
Commit abc5458a authored Apr 15, 2015 by Jérome Perrin
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

dream/platform/src/toolbox/toolbox.css dream/platform/src/toolbox/toolbox.css +2 -2

No files found.
--- a/dream/platform/src/toolbox/toolbox.css
+++ b/dream/platform/src/toolbox/toolbox.css
@@ -16,8 +16,8 @@
 .tool {
  border: 1px solid lightgray;
  box-shadow: 1px 1px 2px #aaa;
-  min-width:7em;
+  min-width:100px;
-  min-height:6em;
+  min-height:100px;
  box-sizing: border-box;
  z-index: 10001;
  color: gray;