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 }