mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-05 03:08:37 +00:00
fd1adfb3b5
Change-Id: I6ad8cd8cbd7ef902204408673eb096b7405abd24
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;
|
|
}
|