From cda2580ff661910ab67da739608a7275a6f9f912 Mon Sep 17 00:00:00 2001 From: Anika Henke Date: Sun, 22 Jan 2012 14:04:07 +0000 Subject: moved pickerbutton styling to general _edit stylesheet --- css/_edit.css | 6 +++++- css/design.css | 6 ------ 2 files changed, 5 insertions(+), 7 deletions(-) (limited to 'css') 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; -- cgit v1.2.3