Commit 6a22332b authored by Jérome Perrin's avatar Jérome Perrin

GUI: style toolbox in px, like everywhere else

parent 6eeafd11
......@@ -16,8 +16,8 @@
.tool {
border: 1px solid lightgray;
box-shadow: 1px 1px 2px #aaa;
min-width:7em;
min-height:6em;
min-width:100px;
min-height:100px;
box-sizing: border-box;
z-index: 10001;
color: gray;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment