improved picker buttons

13 years ago · 61a67adb3e
1 changed files with 4 additions and 1 deletions
--- a/css/_edit.css
+++ b/css/_edit.css
@ -36,7 +36,10 @@ div.picker.pk_hl {
    width: auto;
 }
 /* buttons inside of picker */
-div.picker button.pickerbutton {
+div.picker button.pickerbutton,
+div.picker button.toolbutton {
+    padding: .1em .35em;
+    border-width: 0;
 }

 /*____________ edit textarea ____________*/