diff options
-rwxr-xr-x | css/_edit.css | 6 | ||||
-rwxr-xr-x | css/design.css | 6 |
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; |