]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - resources/src/mediawiki/mediawiki.toc.css
scripts.mit.edu / autoinstalls / mediawiki.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
MediaWiki 1.30.2
[autoinstalls/mediawiki.git] / resources / src / mediawiki / mediawiki.toc.css
1 .tochidden,
2 .toctoggle {
3         -moz-user-select: none;
4         -webkit-user-select: none;
5         -ms-user-select: none;
6         user-select: none;
7 }
8
9 .toctoggle {
10         font-size: 94%;
11 }
MediaWiki autoinstaller for scripts.mit.edu