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