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

