Merge "Fix positioning of jQuery.tipsy tooltip arrows"

[mediawiki.git] / resources / src / mediawiki / mediawiki.toc.print.css

#toc.tochidden,
.toctoggle {
        display: none;
}