wikimedia/mediawiki-extensions-VisualEditor

.ve-ui-mwTocWidget {
    cursor: default;
    user-select: none;
    -moz-user-select: none;
    -webkit-user-select: none;
}