moved pickerbutton styling to general _edit stylesheet

2 files changed, 5 insertions, 7 deletions

diff --git a/css/_edit.css b/css/_edit.css
index 67f076914..3adbc1d96 100755
--- a/css/_edit.css
+++ b/css/_edit.css
@@ -35,8 +35,12 @@ div.picker {
 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 ____________*/
diff --git a/css/design.css b/css/design.css
index ec6056df9..1b596d590 100755
--- a/css/design.css
+++ b/css/design.css
@@ -307,12 +307,6 @@
     border-bottom-right-radius: 4px;
 }
 
-div.picker button.pickerbutton,
-div.picker button.toolbutton {
-    padding: .1em .35em;
-    border-width: 0;
-}
-
 .dokuwiki div.section_highlight {
     margin-left: -2em;
     border-left-width: 1em;