mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
7 lines
114 B
CSS
7 lines
114 B
CSS
.ve-ui-mwTocWidget {
|
|
cursor: default;
|
|
user-select: none;
|
|
-moz-user-select: none;
|
|
-webkit-user-select: none;
|
|
}
|