mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 09:04:21 +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;
|
||
|
}
|