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