mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +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;
|
|
}
|