diff --git a/css/plugins/extension__manager.less b/css/plugins/extension__manager.less index eae01b4..be0135d 100644 --- a/css/plugins/extension__manager.less +++ b/css/plugins/extension__manager.less @@ -1,18 +1,4 @@ -/** - * This file provides styles for extension manager - */ - -/* + + + + + global + + + + + */ -.dokuwiki #extension__manager { - .actions { - font-size: 0; - - > button { - font-size: .92rem; - margin-left: .3rem; - padding-left: .3rem; - padding-right: .3rem; - } - } +.dokuwiki #extension__manager .actions { + padding-top: 1.3rem !important; }