wikimedia/mediawiki-extensions-VisualEditor

/*!
 * VisualEditor MediaWiki UserInterface help list toolgroup styles.
 *
 * @copyright See AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */
@import 'mediawiki.skin.variables.less';

.ve-ui-mwHelpListToolGroup {
    &-tools {
        // Required in monbook
        white-space: normal;

        &-footer {
            padding: 10px;
            width: 300px;
            line-height: 1.5;
            border-top: @border-subtle;
        }

        > .oo-ui-tool {
            width: 320px;

            .oo-ui-tool-link {
                /* These labels can be very long, so allow them to wrap (T190796) */
                white-space: normal;
            }
        }
    }

    &-version-link,
    &-version-date {
        font-size: 0.9em;
        color: @color-subtle;
    }

    /*
     * Bidi-isolate the version number,
     * so it won't mess up the date after it.
     * T70688
     */
    &-version-link {
        unicode-bidi: embed;
    }
}