diff options
Diffstat (limited to 'www/wiki/resources/src/mediawiki/mediawiki.toc.css')
| -rw-r--r-- | www/wiki/resources/src/mediawiki/mediawiki.toc.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/www/wiki/resources/src/mediawiki/mediawiki.toc.css b/www/wiki/resources/src/mediawiki/mediawiki.toc.css new file mode 100644 index 00000000..835a4516 --- /dev/null +++ b/www/wiki/resources/src/mediawiki/mediawiki.toc.css @@ -0,0 +1,11 @@ +.tochidden, +.toctoggle { + -moz-user-select: none; + -webkit-user-select: none; + -ms-user-select: none; + user-select: none; +} + +.toctoggle { + font-size: 94%; +} |