From b9d5b5c0e09d3f1837900f88d864d4bcd7908ae3 Mon Sep 17 00:00:00 2001 From: Andreas Gohr Date: Tue, 29 Jul 2025 10:37:33 +0200 Subject: [PATCH] fix available version display in extension manager --- css/plugins/extension__manager.less | 18 ++---------------- 1 file changed, 2 insertions(+), 16 deletions(-) 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; }