/**
 * 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;
        }
    }
}