wikimedia/mediawiki-core

.toctoggle {
    -moz-user-select: none;
    -webkit-user-select: none;
    -ms-user-select: none;
    user-select: none;
    font-size: 94%;
}