From 60074b053ac1c51d1d88720a5b5e30d27e239cfd Mon Sep 17 00:00:00 2001
From: "Mark A. Hershberger" <mah@users.mediawiki.org>
Date: Thu, 2 Jun 2011 16:02:04 +0000
Subject: [PATCH] Revert r88502 since this can be done with a gadget

---
 skins/common/commonPrint.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/skins/common/commonPrint.css b/skins/common/commonPrint.css
index b28042b8c0..eaf9f6bb86 100644
--- 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;
-- 
2.20.1