mediawiki.toc.print.css: Restore ID selector #toc

The ID selector #toc is necessary to overwrite

 #toc {
    display: table;
 }

with a higher specificity.

This change partly reverts fbf939cdda and restores the functionality
from T2482.

Change-Id: I7134132979a832828cf9618218d489727fc2dbc3

diff --git a/resources/src/mediawiki/mediawiki.toc.print.css b/resources/src/mediawiki/mediawiki.toc.print.css
index 69e9440..5f6eb25 100644 (file)
--- a/resources/src/mediawiki/mediawiki.toc.print.css
+++ b/resources/src/mediawiki/mediawiki.toc.print.css
@@ -1,3 +1,4 @@
+#toc.tochidden,
 .toc.tochidden,
 .toctoggle {
        display: none;