www/wiki/resources/src/mediawiki/mediawiki.toc.css


1
2
3
4
5
6
7
8
9
10
11

.tochidden,
.toctoggle {
	-moz-user-select: none;
	-webkit-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

.toctoggle {
	font-size: 94%;
}