Revert r88502 since this can be done with a gadget

diff --git a/skins/common/commonPrint.css b/skins/common/commonPrint.css
index b28042b..eaf9f6b 100644 (file)
--- a/skins/common/commonPrint.css
+++ b/skins/common/commonPrint.css
@@ -14,7 +14,9 @@ a.new {
 }
 
 #toc {
-       display: none;
+       border: 1px solid #aaaaaa;
+       background-color: #f9f9f9;
+       padding: 5px;
 }
 .tocindent {
        margin-left: 2em;