From fb74e6abff5a646c6b394a3ad0340c70e74afc3e Mon Sep 17 00:00:00 2001
From: Derk-Jan Hartman <hartman@users.mediawiki.org>
Date: Sun, 4 Dec 2011 15:59:38 +0000
Subject: [PATCH] Remove tocindent and tocinline from print stylesheet. These
 seem to have been unused since r7073

---
 skins/common/commonPrint.css | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/skins/common/commonPrint.css b/skins/common/commonPrint.css
index 97b0526831..6d02e7e04d 100644
--- a/skins/common/commonPrint.css
+++ b/skins/common/commonPrint.css
@@ -18,12 +18,6 @@ a.new {
 	background-color: #f9f9f9;
 	padding: 5px;
 }
-.tocindent {
-	margin-left: 2em;
-}
-.tocline {
-	margin-bottom: 0;
-}
 
 /* images */
 div.floatright {
@@ -392,4 +386,4 @@ p {
 .catlinks li:first-child {
 	padding-left: .2em;
 	border-left: none;
-}
\ No newline at end of file
+}
-- 
2.20.1