1/**
2 * This file provides styles for extension manager
3 */
4
5
6/* + + + + + global + + + + + */
7
8.dokuwiki #extension__manager {
9 .actions {
10 font-size: 0;
11
12 > button {
13 font-size: .92rem;
14 margin-left: .3rem;
15 padding-left: .3rem;
16 padding-right: .3rem;
17 }
18 }
19}
20
21